Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | -98 | 1800.23 | 1800.9 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_3.opb |
| MD5SUM | d487c80c335f688d99ca29b5d7c254e0 |
| 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 | -125 |
| 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 | -125 |
| 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 | 47 |
| 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) | 31622 |
| Sum of products size (including duplicates) | 63244 |
| Number of different products | 15811 |
| Sum of products size | 31622 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666686-1276662395.opb>
0.19/0.24 c original problem has 16811 variables (16811 bin, 0 int, 0 impl, 0 cont) and 16811 constraints
0.19/0.24 c problem read
0.19/0.24 c presolving settings loaded
0.39/0.46 o 0
0.39/0.46 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.46 c presolving:
0.88/0.96 c (round 1) 15811 del vars, 1000 del conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63244 impls, 0 clqs
1.18/1.21 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.18/1.21 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.18/1.21 c presolving (2 rounds):
1.18/1.21 c 15811 deleted vars, 1000 deleted constraints, 15811 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.18/1.21 c 94866 implications, 0 cliques
1.18/1.21 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15811 constraints
1.18/1.21 c 15811 constraints of type <logicor>
1.18/1.21 c transformed objective value is always integral (scale: 1)
1.18/1.21 c Presolving Time: 0.72
1.18/1.21 c - non default parameters ----------------------------------------------------------------------
1.18/1.21 c # SCIP version 1.2.1.2
1.18/1.21 c
1.18/1.21 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.18/1.21 c # [type: int, range: [-1,2147483647], default: -1]
1.18/1.21 c conflict/interconss = 0
1.18/1.21 c
1.18/1.21 c # should binary conflicts be preferred?
1.18/1.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.18/1.21 c conflict/preferbinary = TRUE
1.18/1.21 c
1.18/1.21 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.18/1.21 c # [type: int, range: [-1,2147483647], default: 0]
1.18/1.21 c constraints/agelimit = 1
1.18/1.21 c
1.18/1.21 c # should enforcement of pseudo solution be disabled?
1.18/1.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.18/1.21 c constraints/disableenfops = TRUE
1.18/1.21 c
1.18/1.21 c # frequency for displaying node information lines
1.18/1.21 c # [type: int, range: [-1,2147483647], default: 100]
1.18/1.21 c display/freq = 10000
1.18/1.21 c
1.18/1.21 c # maximal time in seconds to run
1.18/1.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.18/1.21 c limits/time = 1799.77
1.18/1.21 c
1.18/1.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.18/1.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.18/1.21 c limits/memory = 1620
1.18/1.21 c
1.18/1.21 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.18/1.21 c # [type: int, range: [-1,2147483647], default: 1]
1.18/1.21 c lp/solvefreq = 0
1.18/1.21 c
1.18/1.21 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.18/1.21 c # [type: char, range: {lafpsqd}, default: l]
1.18/1.21 c lp/pricing = a
1.18/1.21 c
1.18/1.21 c # should presolving try to simplify inequalities
1.18/1.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.18/1.21 c constraints/linear/simplifyinequalities = TRUE
1.18/1.21 c
1.18/1.21 c # should presolving try to simplify knapsacks
1.18/1.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.18/1.21 c constraints/knapsack/simplifyinequalities = TRUE
1.18/1.21 c
1.18/1.21 c # priority of node selection rule <dfs> in standard mode
1.18/1.21 c # [type: int, range: [-536870912,536870911], default: 0]
1.18/1.21 c nodeselection/dfs/stdpriority = 1000000
1.18/1.21 c
1.18/1.21 c -----------------------------------------------------------------------------------------------
1.18/1.21 c start solving
1.18/1.22 c
1.89/1.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.97 c t 1.5s| 1 | 0 | 1100 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.99/2.06 o -1
1.99/2.06 c R 1.6s| 1 | 0 | 1100 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
2.10/2.15 o -2
2.10/2.15 c s 1.7s| 1 | 0 | 1100 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.79/2.87 c 2.4s| 1 | 0 | 1178 | - | 44M| 0 | 992 |1000 | 15k|1000 | 15k| 10 | 0 | 0 |-4.960000e+02 |-2.000000e+00 | 99.60%
2.79/2.89 o -96
2.79/2.89 c b 2.4s| 1 | 0 | 1178 | - | 44M| 0 | 992 |1000 | 15k|1000 | 15k| 10 | 0 | 0 |-4.960000e+02 |-9.600000e+01 | 80.65%
3.99/4.07 c 3.6s| 1 | 0 | 1420 | - | 44M| 0 | 984 |1000 | 15k|1000 | 15k| 24 | 0 | 0 |-4.920000e+02 |-9.600000e+01 | 80.49%
5.19/5.21 c 4.7s| 1 | 0 | 1587 | - | 44M| 0 | 980 |1000 | 15k|1000 | 15k| 32 | 0 | 0 |-4.900000e+02 |-9.600000e+01 | 80.41%
6.19/6.28 c 5.8s| 1 | 0 | 1722 | - | 44M| 0 | 976 |1000 | 15k|1000 | 15k| 39 | 0 | 0 |-4.880000e+02 |-9.600000e+01 | 80.33%
7.38/7.42 c 6.9s| 1 | 0 | 1904 | - | 44M| 0 | 969 |1000 | 15k|1000 | 15k| 49 | 0 | 0 |-4.845000e+02 |-9.600000e+01 | 80.19%
8.59/8.67 c 8.1s| 1 | 0 | 2090 | - | 44M| 0 | 964 |1000 | 15k|1000 | 15k| 57 | 0 | 0 |-4.820000e+02 |-9.600000e+01 | 80.08%
10.09/10.10 c 9.6s| 1 | 0 | 2329 | - | 44M| 0 | 958 |1000 | 15k|1000 | 15k| 66 | 0 | 0 |-4.790000e+02 |-9.600000e+01 | 79.96%
11.19/11.27 c 10.7s| 1 | 0 | 2476 | - | 44M| 0 | 955 |1000 | 15k|1000 | 15k| 73 | 0 | 0 |-4.775000e+02 |-9.600000e+01 | 79.90%
12.48/12.51 c 11.9s| 1 | 0 | 2638 | - | 44M| 0 | 949 |1000 | 15k|1000 | 15k| 80 | 0 | 0 |-4.745000e+02 |-9.600000e+01 | 79.77%
14.20/14.22 c 13.6s| 1 | 0 | 2937 | - | 44M| 0 | 944 |1000 | 15k|1000 | 15k| 94 | 0 | 0 |-4.715000e+02 |-9.600000e+01 | 79.64%
15.59/15.67 c 15.1s| 1 | 0 | 3214 | - | 44M| 0 | 939 |1000 | 15k|1000 |1312 | 103 | 0 | 0 |-4.695000e+02 |-9.600000e+01 | 79.55%
15.99/16.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.99/16.08 c 15.5s| 1 | 0 | 3515 | - | 44M| 0 | 906 |1000 | 15k|1000 |1319 | 110 | 0 | 0 |-4.680000e+02 |-9.600000e+01 | 79.49%
16.59/16.66 c 16.0s| 1 | 0 | 3978 | - | 45M| 0 | 927 |1000 | 15k|1000 |1700 | 491 | 0 | 0 |-4.675000e+02 |-9.600000e+01 | 79.47%
17.28/17.33 c 16.7s| 1 | 0 | 4380 | - | 45M| 0 | 930 |1000 | 15k|1000 |2027 | 818 | 0 | 0 |-4.670000e+02 |-9.600000e+01 | 79.44%
17.78/17.89 c 17.2s| 1 | 0 | 4763 | - | 45M| 0 | 930 |1000 | 15k|1000 |2085 | 876 | 0 | 0 |-4.660000e+02 |-9.600000e+01 | 79.40%
18.48/18.50 c 17.9s| 1 | 0 | 5297 | - | 45M| 0 | 929 |1000 | 15k|1000 |2142 | 933 | 0 | 0 |-4.650000e+02 |-9.600000e+01 | 79.35%
19.18/19.26 c 18.6s| 1 | 0 | 6063 | - | 45M| 0 | 922 |1000 | 15k|1000 |1982 |1120 | 0 | 0 |-4.630000e+02 |-9.600000e+01 | 79.27%
19.88/19.95 c 19.3s| 1 | 0 | 6729 | - | 46M| 0 | 934 |1000 | 15k|1000 |2100 |1238 | 0 | 0 |-4.627500e+02 |-9.600000e+01 | 79.25%
20.69/20.71 c 20.0s| 1 | 0 | 7019 | - | 46M| 0 | 923 |1000 | 15k|1000 |3576 |2714 | 0 | 0 |-4.625000e+02 |-9.600000e+01 | 79.24%
21.68/21.77 c 21.1s| 1 | 0 | 7994 | - | 46M| 0 | 924 |1000 | 15k|1000 |3610 |2748 | 0 | 0 |-4.610000e+02 |-9.600000e+01 | 79.18%
22.68/22.75 c 22.0s| 1 | 0 | 8900 | - | 47M| 0 | 915 |1000 | 15k|1000 |3641 |2779 | 0 | 0 |-4.580000e+02 |-9.600000e+01 | 79.04%
23.69/23.70 c 23.0s| 1 | 0 | 9771 | - | 47M| 0 | 910 |1000 | 15k|1000 |3677 |2815 | 0 | 0 |-4.565000e+02 |-9.600000e+01 | 78.97%
24.49/24.56 c 23.8s| 1 | 0 | 10440 | - | 47M| 0 | 905 |1000 | 15k|1000 |3203 |2892 | 0 | 0 |-4.555000e+02 |-9.600000e+01 | 78.92%
25.48/25.50 c 24.8s| 1 | 0 | 11494 | - | 47M| 0 | 945 |1000 | 15k|1000 |3273 |2962 | 0 | 0 |-4.542222e+02 |-9.600000e+01 | 78.86%
27.18/27.25 c 26.5s| 1 | 0 | 11847 | - | 47M| 0 | 907 |1000 | 15k|1000 |5273 |4962 | 0 | 0 |-4.535000e+02 |-9.600000e+01 | 78.83%
28.08/28.12 c 27.4s| 1 | 0 | 12396 | - | 47M| 0 | 903 |1000 | 15k|1000 |5282 |4971 | 0 | 0 |-4.515000e+02 |-9.600000e+01 | 78.74%
29.38/29.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.38/29.47 c 28.7s| 1 | 0 | 13207 | - | 47M| 0 | 896 |1000 | 15k|1000 |5291 |4980 | 0 | 0 |-4.490000e+02 |-9.600000e+01 | 78.62%
30.38/30.40 c 29.6s| 1 | 0 | 13682 | - | 47M| 0 | 895 |1000 | 15k|1000 |5321 |5010 | 0 | 0 |-4.480000e+02 |-9.600000e+01 | 78.57%
31.68/31.75 c 30.9s| 1 | 0 | 14538 | - | 47M| 0 | 893 |1000 | 15k|1000 |3277 |5045 | 0 | 0 |-4.465000e+02 |-9.600000e+01 | 78.50%
32.18/32.25 c 31.4s| 1 | 0 | 14875 | - | 47M| 0 | 885 |1000 | 15k|1000 |3284 |5052 | 0 | 0 |-4.455000e+02 |-9.600000e+01 | 78.45%
32.99/33.03 c 32.2s| 1 | 0 | 15547 | - | 47M| 0 | 888 |1000 | 15k|1000 |3368 |5136 | 0 | 0 |-4.440000e+02 |-9.600000e+01 | 78.38%
33.48/33.55 c 32.7s| 1 | 0 | 15927 | - | 47M| 0 | 883 |1000 | 15k|1000 |3377 |5145 | 0 | 0 |-4.425000e+02 |-9.600000e+01 | 78.31%
34.28/34.30 c 33.5s| 1 | 0 | 16619 | - | 47M| 0 | 878 |1000 | 15k|1000 |3418 |5186 | 0 | 0 |-4.410000e+02 |-9.600000e+01 | 78.23%
35.08/35.12 c 34.3s| 1 | 0 | 17379 | - | 47M| 0 | 873 |1000 | 15k|1000 |3468 |5236 | 0 | 0 |-4.395000e+02 |-9.600000e+01 | 78.16%
35.87/35.94 c 35.1s| 1 | 0 | 18098 | - | 47M| 0 | 883 |1000 | 15k|1000 |3050 |5310 | 0 | 0 |-4.387500e+02 |-9.600000e+01 | 78.12%
37.07/37.14 c 36.3s| 1 | 0 | 19462 | - | 47M| 0 | 885 |1000 | 15k|1000 |3154 |5414 | 0 | 0 |-4.376250e+02 |-9.600000e+01 | 78.06%
37.96/38.08 c 37.2s| 1 | 0 | 20182 | - | 47M| 0 | 870 |1000 | 15k|1000 |3540 |5800 | 0 | 0 |-4.357500e+02 |-9.600000e+01 | 77.97%
39.17/39.25 c 38.4s| 1 | 0 | 21460 | - | 48M| 0 | 908 |1000 | 15k|1000 |3628 |5888 | 0 | 0 |-4.340385e+02 |-9.600000e+01 | 77.88%
39.87/39.96 c 39.1s| 1 | 0 | 21687 | - | 48M| 0 | 868 |1000 | 15k|1000 |4936 |7196 | 0 | 0 |-4.340000e+02 |-9.600000e+01 | 77.88%
40.68/40.78 c 39.9s| 1 | 0 | 22025 | - | 48M| 0 | 871 |1000 | 15k|1000 |4943 |7203 | 0 | 0 |-4.330000e+02 |-9.600000e+01 | 77.83%
42.37/42.48 c 41.5s| 1 | 0 | 23125 | - | 48M| 0 | 862 |1000 | 15k|1000 |4734 |7237 | 0 | 0 |-4.310000e+02 |-9.600000e+01 | 77.73%
43.27/43.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.27/43.34 c 42.4s| 1 | 0 | 23659 | - | 48M| 0 | 861 |1000 | 15k|1000 |4741 |7244 | 0 | 0 |-4.305000e+02 |-9.600000e+01 | 77.70%
44.47/44.51 c 43.6s| 1 | 0 | 24447 | - | 48M| 0 | 858 |1000 | 15k|1000 |4750 |7253 | 0 | 0 |-4.290000e+02 |-9.600000e+01 | 77.62%
45.67/45.70 c 44.7s| 1 | 0 | 25244 | - | 48M| 0 | 853 |1000 | 15k|1000 |4755 |7258 | 0 | 0 |-4.275000e+02 |-9.600000e+01 | 77.54%
46.96/47.02 c 46.0s| 1 | 0 | 26210 | - | 48M| 0 | 853 |1000 | 15k|1000 |4786 |7289 | 0 | 0 |-4.265000e+02 |-9.600000e+01 | 77.49%
47.77/47.81 c 46.8s| 1 | 0 | 26657 | - | 49M| 0 | 852 |1000 | 15k|1000 |4794 |7297 | 0 | 0 |-4.260000e+02 |-9.600000e+01 | 77.46%
49.56/49.66 c 48.7s| 1 | 0 | 28066 | - | 49M| 0 | 847 |1000 | 15k|1000 |4231 |7305 | 0 | 0 |-4.245000e+02 |-9.600000e+01 | 77.39%
50.77/50.89 c 49.9s| 1 | 0 | 29266 | - | 49M| 0 | 845 |1000 | 15k|1000 |4258 |7332 | 0 | 0 |-4.235000e+02 |-9.600000e+01 | 77.33%
51.76/51.83 c 50.8s| 1 | 0 | 29960 | - | 49M| 0 | 836 |1000 | 15k|1000 |4286 |7360 | 0 | 0 |-4.228333e+02 |-9.600000e+01 | 77.30%
53.07/53.11 c 52.1s| 1 | 0 | 31079 | - | 49M| 0 | 872 |1000 | 15k|1000 |4404 |7478 | 0 | 0 |-4.214231e+02 |-9.600000e+01 | 77.22%
54.06/54.17 c 53.1s| 1 | 0 | 31971 | - | 49M| 0 | 848 |1000 | 15k|1000 |4509 |7583 | 0 | 0 |-4.200000e+02 |-9.600000e+01 | 77.14%
55.66/55.72 c 54.7s| 1 | 0 | 33302 | - | 50M| 0 | 837 |1000 | 15k|1000 |4617 |7691 | 0 | 0 |-4.185000e+02 |-9.600000e+01 | 77.06%
57.66/57.77 c 56.7s| 1 | 0 | 35080 | - | 50M| 0 | 861 |1000 | 15k|1000 |3590 |7700 | 0 | 0 |-4.172500e+02 |-9.600000e+01 | 76.99%
59.27/59.33 c 58.2s| 1 | 0 | 36683 | - | 50M| 0 | 858 |1000 | 15k|1000 |3682 |7792 | 0 | 0 |-4.153333e+02 |-9.600000e+01 | 76.89%
60.37/60.41 c 59.3s| 1 | 0 | 37808 | - | 50M| 0 | 821 |1000 | 15k|1000 |3953 |8063 | 0 | 0 |-4.135000e+02 |-9.600000e+01 | 76.78%
61.47/61.54 c 60.4s| 1 | 0 | 38913 | - | 50M| 0 | 804 |1000 | 15k|1000 |4029 |8139 | 0 | 0 |-4.120000e+02 |-9.600000e+01 | 76.70%
62.57/62.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.57/62.60 c 61.5s| 1 | 0 | 39954 | - | 50M| 0 | 823 |1000 | 15k|1000 |4283 |8393 | 0 | 0 |-4.100000e+02 |-9.600000e+01 | 76.59%
63.36/63.45 c 62.3s| 1 | 0 | 40608 | - | 50M| 0 | 850 |1000 | 15k|1000 |4313 |8423 | 0 | 0 |-4.093333e+02 |-9.600000e+01 | 76.55%
64.95/65.10 c 64.0s| 1 | 0 | 42096 | - | 50M| 0 | 852 |1000 | 15k|1000 |4177 |8519 | 0 | 0 |-4.088571e+02 |-9.600000e+01 | 76.52%
66.36/66.40 c 65.2s| 1 | 0 | 43132 | - | 50M| 0 | 816 |1000 | 15k|1000 |4355 |8697 | 0 | 0 |-4.085000e+02 |-9.600000e+01 | 76.50%
66.86/66.99 c 65.8s| 1 | 0 | 43425 | - | 50M| 0 | 819 |1000 | 15k|1000 |4375 |8717 | 0 | 0 |-4.085000e+02 |-9.600000e+01 | 76.50%
68.46/68.58 c 67.4s| 1 | 0 | 44816 | - | 51M| 0 | 833 |1000 | 15k|1000 |4404 |8746 | 0 | 0 |-4.078886e+02 |-9.600000e+01 | 76.46%
69.66/69.75 c 68.6s| 1 | 0 | 45941 | - | 52M| 0 | 865 |1000 | 15k|1000 |4414 |8756 | 0 | 0 |-4.071496e+02 |-9.600000e+01 | 76.42%
70.96/71.01 c 69.8s| 1 | 0 | 46951 | - | 52M| 0 | 807 |1000 | 15k|1000 |4590 |8932 | 0 | 0 |-4.065000e+02 |-9.600000e+01 | 76.38%
74.16/74.25 c 73.0s| 1 | 0 | 49478 | - | 52M| 0 | 804 |1000 | 15k|1000 |4102 |9003 | 0 | 0 |-4.050000e+02 |-9.600000e+01 | 76.30%
75.95/76.09 c 74.8s| 1 | 0 | 51421 | - | 53M| 0 | 833 |1000 | 15k|1000 |4171 |9072 | 0 | 0 |-4.039460e+02 |-9.600000e+01 | 76.23%
77.55/77.65 c 76.4s| 1 | 0 | 52602 | - | 53M| 0 | 828 |1000 | 15k|1000 |4331 |9232 | 0 | 0 |-4.033048e+02 |-9.600000e+01 | 76.20%
78.95/79.03 c 77.8s| 1 | 0 | 53692 | - | 53M| 0 | 825 |1000 | 15k|1000 |4440 |9341 | 0 | 0 |-4.025860e+02 |-9.600000e+01 | 76.15%
80.55/80.65 c 79.4s| 1 | 0 | 55004 | - | 54M| 0 | 823 |1000 | 15k|1000 |4480 |9381 | 0 | 0 |-4.016000e+02 |-9.600000e+01 | 76.10%
83.85/83.91 c 82.6s| 1 | 0 | 57130 | - | 55M| 0 | 838 |1000 | 15k|1000 |4494 |9395 | 0 | 0 |-4.013343e+02 |-9.600000e+01 | 76.08%
86.45/86.57 c 85.2s| 1 | 0 | 59034 | - | 55M| 0 | 816 |1000 | 15k|1000 |4195 |9489 | 0 | 0 |-3.995000e+02 |-9.600000e+01 | 75.97%
88.75/88.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.75/88.86 c 87.5s| 1 | 0 | 60524 | - | 56M| 0 | 809 |1000 | 15k|1000 |4227 |9521 | 0 | 0 |-3.990000e+02 |-9.600000e+01 | 75.94%
91.35/91.43 c 90.0s| 1 | 0 | 62253 | - | 58M| 0 | 827 |1000 | 15k|1000 |4256 |9550 | 0 | 0 |-3.975000e+02 |-9.600000e+01 | 75.85%
94.15/94.26 c 92.9s| 1 | 0 | 64277 | - | 59M| 0 | 875 |1000 | 15k|1000 |4331 |9625 | 0 | 0 |-3.963393e+02 |-9.600000e+01 | 75.78%
96.85/96.91 c 95.5s| 1 | 0 | 66027 | - | 60M| 0 | 806 |1000 | 15k|1000 |4575 |9869 | 0 | 0 |-3.947500e+02 |-9.600000e+01 | 75.68%
101.45/101.55 c 100s| 1 | 0 | 68870 | - | 60M| 0 | 817 |1000 | 15k|1000 |4645 |9939 | 0 | 0 |-3.931643e+02 |-9.600000e+01 | 75.58%
106.25/106.37 c 105s| 1 | 0 | 71738 | - | 61M| 0 | 828 |1000 | 15k|1000 |4412 | 10k| 0 | 0 |-3.923338e+02 |-9.600000e+01 | 75.53%
108.44/108.55 c 107s| 1 | 0 | 73477 | - | 61M| 0 | 862 |1000 | 15k|1000 |4558 | 10k| 0 | 0 |-3.909129e+02 |-9.600000e+01 | 75.44%
110.94/111.01 c 109s| 1 | 0 | 75071 | - | 63M| 0 | 805 |1000 | 15k|1000 |4830 | 10k| 0 | 0 |-3.888333e+02 |-9.600000e+01 | 75.31%
114.74/114.87 c 113s| 1 | 0 | 77293 | - | 65M| 0 | 803 |1000 | 15k|1000 |4861 | 10k| 0 | 0 |-3.884583e+02 |-9.600000e+01 | 75.29%
116.84/116.92 c 115s| 1 | 0 | 78225 | - | 65M| 0 | 817 |1000 | 15k|1000 |4870 | 10k| 0 | 0 |-3.875000e+02 |-9.600000e+01 | 75.23%
124.04/124.10 c 122s| 1 | 0 | 81821 | - | 65M| 0 | 831 |1000 | 15k|1000 |4897 | 10k| 0 | 0 |-3.869018e+02 |-9.600000e+01 | 75.19%
129.43/129.51 c 128s| 1 | 0 | 85088 | - | 66M| 0 | 795 |1000 | 15k|1000 |4683 | 10k| 0 | 0 |-3.864915e+02 |-9.600000e+01 | 75.16%
133.74/133.88 c 132s| 1 | 0 | 87830 | - | 68M| 0 | 876 |1000 | 15k|1000 |4805 | 10k| 0 | 0 |-3.850043e+02 |-9.600000e+01 | 75.07%
135.63/135.76 c 134s| 1 | 0 | 88744 | - | 68M| 0 | 844 |1000 | 15k|1000 |4962 | 10k| 0 | 0 |-3.848390e+02 |-9.600000e+01 | 75.05%
140.43/140.53 c 139s| 1 | 0 | 91796 | - | 69M| 0 | 837 |1000 | 15k|1000 |4973 | 10k| 0 | 0 |-3.835000e+02 |-9.600000e+01 | 74.97%
147.34/147.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.34/147.42 c 146s| 1 | 0 | 95982 | - | 69M| 0 | 871 |1000 | 15k|1000 |4998 | 10k| 0 | 0 |-3.823346e+02 |-9.600000e+01 | 74.89%
150.22/150.39 c 149s| 1 | 0 | 97965 | - | 71M| 0 | 895 |1000 | 15k|1000 |5098 | 10k| 0 | 0 |-3.817572e+02 |-9.600000e+01 | 74.85%
153.94/154.05 c 152s| 1 | 0 |100199 | - | 74M| 0 | 894 |1000 | 15k|1000 |4767 | 11k| 0 | 0 |-3.803859e+02 |-9.600000e+01 | 74.76%
156.93/157.03 c 155s| 1 | 0 |102200 | - | 76M| 0 | 890 |1000 | 15k|1000 |4915 | 11k| 0 | 0 |-3.794816e+02 |-9.600000e+01 | 74.70%
159.72/159.85 c 158s| 1 | 0 |104089 | - | 79M| 0 | 894 |1000 | 15k|1000 |4951 | 11k| 0 | 0 |-3.781336e+02 |-9.600000e+01 | 74.61%
162.23/162.38 c 160s| 1 | 0 |105761 | - | 81M| 0 | 920 |1000 | 15k|1000 |5072 | 11k| 0 | 0 |-3.769877e+02 |-9.600000e+01 | 74.53%
165.03/165.16 c 163s| 1 | 0 |107497 | - | 83M| 0 | 906 |1000 | 15k|1000 |5179 | 11k| 0 | 0 |-3.756863e+02 |-9.600000e+01 | 74.45%
172.22/172.34 c 170s| 1 | 0 |111255 | - | 85M| 0 | 887 |1000 | 15k|1000 |5253 | 11k| 0 | 0 |-3.743556e+02 |-9.600000e+01 | 74.36%
180.11/180.22 c 178s| 1 | 0 |115261 | - | 88M| 0 | 914 |1000 | 15k|1000 |5038 | 11k| 0 | 0 |-3.737627e+02 |-9.600000e+01 | 74.32%
183.52/183.64 c 182s| 1 | 0 |116553 | - | 88M| 0 | 904 |1000 | 15k|1000 |5121 | 11k| 0 | 0 |-3.729509e+02 |-9.600000e+01 | 74.26%
186.82/186.91 c 185s| 1 | 0 |118627 | - | 90M| 0 | 922 |1000 | 15k|1000 |5215 | 11k| 0 | 0 |-3.720998e+02 |-9.600000e+01 | 74.20%
192.01/192.14 c 190s| 1 | 0 |121212 | - | 90M| 0 | 923 |1000 | 15k|1000 |5381 | 11k| 0 | 0 |-3.708542e+02 |-9.600000e+01 | 74.11%
196.91/197.04 c 195s| 1 | 0 |123520 | - | 90M| 0 | 919 |1000 | 15k|1000 |5464 | 12k| 0 | 0 |-3.696364e+02 |-9.600000e+01 | 74.03%
203.21/203.31 c 201s| 1 | 0 |126365 | - | 90M| 0 | 927 |1000 | 15k|1000 |5533 | 12k| 0 | 0 |-3.687782e+02 |-9.600000e+01 | 73.97%
210.40/210.50 c 208s| 1 | 0 |129404 | - | 91M| 0 | 915 |1000 | 15k|1000 |5522 | 12k| 0 | 0 |-3.672809e+02 |-9.600000e+01 | 73.86%
214.60/214.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.60/214.71 c 212s| 1 | 0 |131197 | - | 91M| 0 | 914 |1000 | 15k|1000 |5656 | 12k| 0 | 0 |-3.665248e+02 |-9.600000e+01 | 73.81%
218.71/218.83 c 217s| 1 | 0 |132758 | - | 91M| 0 | 933 |1000 | 15k|1000 |5706 | 12k| 0 | 0 |-3.653249e+02 |-9.600000e+01 | 73.72%
224.10/224.21 c 222s| 1 | 0 |134738 | - | 91M| 0 | 939 |1000 | 15k|1000 |5786 | 12k| 0 | 0 |-3.641802e+02 |-9.600000e+01 | 73.64%
229.10/229.25 c 227s| 1 | 0 |136281 | - | 91M| 0 | 934 |1000 | 15k|1000 |5869 | 12k| 0 | 0 |-3.634414e+02 |-9.600000e+01 | 73.59%
234.70/234.87 c 232s| 1 | 0 |138266 | - | 91M| 0 | 933 |1000 | 15k|1000 |5959 | 12k| 0 | 0 |-3.626218e+02 |-9.600000e+01 | 73.53%
240.20/240.31 c 238s| 1 | 0 |140171 | - | 91M| 0 | 935 |1000 | 15k|1000 |5769 | 12k| 0 | 0 |-3.618013e+02 |-9.600000e+01 | 73.47%
245.49/245.61 c 243s| 1 | 0 |142068 | - | 91M| 0 | 941 |1000 | 15k|1000 |5823 | 12k| 0 | 0 |-3.609273e+02 |-9.600000e+01 | 73.40%
250.79/250.95 c 248s| 1 | 0 |143859 | - | 91M| 0 | 955 |1000 | 15k|1000 |5870 | 12k| 0 | 0 |-3.603950e+02 |-9.600000e+01 | 73.36%
256.10/256.28 c 254s| 1 | 0 |145359 | - | 91M| 0 | 951 |1000 | 15k|1000 |5949 | 13k| 0 | 0 |-3.600099e+02 |-9.600000e+01 | 73.33%
262.59/262.79 c 260s| 1 | 0 |147643 | - | 91M| 0 | 959 |1000 | 15k|1000 |5981 | 13k| 0 | 0 |-3.591561e+02 |-9.600000e+01 | 73.27%
268.38/268.50 c 266s| 1 | 0 |149328 | - | 91M| 0 | 957 |1000 | 15k|1000 |6037 | 13k| 0 | 0 |-3.586266e+02 |-9.600000e+01 | 73.23%
274.38/274.56 c 272s| 1 | 0 |151140 | - | 91M| 0 | 957 |1000 | 15k|1000 |5714 | 13k| 0 | 0 |-3.576925e+02 |-9.600000e+01 | 73.16%
280.29/280.50 c 278s| 1 | 0 |153226 | - | 91M| 0 | 947 |1000 | 15k|1000 |5764 | 13k| 0 | 0 |-3.565575e+02 |-9.600000e+01 | 73.08%
286.48/286.69 c 284s| 1 | 0 |155423 | - | 91M| 0 | 954 |1000 | 15k|1000 |5806 | 13k| 0 | 0 |-3.550699e+02 |-9.600000e+01 | 72.96%
292.27/292.46 c 290s| 1 | 0 |157078 | - | 91M| 0 | 956 |1000 | 15k|1000 |5827 | 13k| 0 | 0 |-3.542831e+02 |-9.600000e+01 | 72.90%
297.88/298.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.88/298.04 c 295s| 1 | 0 |158771 | - | 91M| 0 | 968 |1000 | 15k|1000 |5848 | 13k| 0 | 0 |-3.537523e+02 |-9.600000e+01 | 72.86%
303.88/304.00 c 301s| 1 | 0 |160392 | - | 91M| 0 | 966 |1000 | 15k|1000 |5903 | 13k| 0 | 0 |-3.528369e+02 |-9.600000e+01 | 72.79%
309.97/310.10 c 307s| 1 | 0 |162103 | - | 90M| 0 | 965 |1000 | 15k|1000 |5783 | 13k| 0 | 0 |-3.523018e+02 |-9.600000e+01 | 72.75%
315.47/315.63 c 313s| 1 | 0 |163366 | - | 90M| 0 | 960 |1000 | 15k|1000 |5847 | 13k| 0 | 0 |-3.518585e+02 |-9.600000e+01 | 72.72%
321.66/321.87 c 319s| 1 | 0 |165315 | - | 90M| 0 | 966 |1000 | 15k|1000 |5885 | 13k| 0 | 0 |-3.508635e+02 |-9.600000e+01 | 72.64%
327.86/328.10 c 325s| 1 | 0 |167341 | - | 90M| 0 | 966 |1000 | 15k|1000 |5937 | 13k| 0 | 0 |-3.500811e+02 |-9.600000e+01 | 72.58%
334.17/334.33 c 331s| 1 | 0 |169257 | - | 90M| 0 | 959 |1000 | 15k|1000 |6008 | 13k| 0 | 0 |-3.492649e+02 |-9.600000e+01 | 72.51%
339.96/340.15 c 337s| 1 | 0 |170946 | - | 90M| 0 | 965 |1000 | 15k|1000 |6040 | 13k| 0 | 0 |-3.484813e+02 |-9.600000e+01 | 72.45%
347.46/347.62 c 345s| 1 | 0 |173386 | - | 90M| 0 | 966 |1000 | 15k|1000 |5907 | 13k| 0 | 0 |-3.471375e+02 |-9.600000e+01 | 72.35%
354.46/354.62 c 352s| 1 | 0 |175512 | - | 90M| 0 | 970 |1000 | 15k|1000 |5953 | 13k| 0 | 0 |-3.462084e+02 |-9.600000e+01 | 72.27%
360.45/360.62 c 358s| 1 | 0 |176785 | - | 90M| 0 | 975 |1000 | 15k|1000 |6032 | 13k| 0 | 0 |-3.458568e+02 |-9.600000e+01 | 72.24%
368.45/368.69 c 366s| 1 | 0 |179218 | - | 90M| 0 | 978 |1000 | 15k|1000 |6083 | 13k| 0 | 0 |-3.449467e+02 |-9.600000e+01 | 72.17%
375.95/376.11 c 373s| 1 | 0 |181426 | - | 90M| 0 | 973 |1000 | 15k|1000 |6189 | 14k| 0 | 0 |-3.439660e+02 |-9.600000e+01 | 72.09%
382.84/383.01 c 380s| 1 | 0 |183207 | - | 90M| 0 | 968 |1000 | 15k|1000 |6223 | 14k| 0 | 0 |-3.434915e+02 |-9.600000e+01 | 72.05%
389.64/389.84 c 387s| 1 | 0 |184984 | - | 90M| 0 | 977 |1000 | 15k|1000 |6107 | 14k| 0 | 0 |-3.428923e+02 |-9.600000e+01 | 72.00%
396.74/396.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.74/396.96 c 394s| 1 | 0 |186684 | - | 90M| 0 | 971 |1000 | 15k|1000 |6175 | 14k| 0 | 0 |-3.423861e+02 |-9.600000e+01 | 71.96%
403.54/403.73 c 400s| 1 | 0 |188169 | - | 90M| 0 | 988 |1000 | 15k|1000 |6235 | 14k| 0 | 0 |-3.418505e+02 |-9.600000e+01 | 71.92%
411.34/411.56 c 408s| 1 | 0 |189853 | - | 90M| 0 | 978 |1000 | 15k|1000 |6305 | 14k| 0 | 0 |-3.413693e+02 |-9.600000e+01 | 71.88%
418.93/419.14 c 416s| 1 | 0 |191821 | - | 90M| 0 | 971 |1000 | 15k|1000 |6329 | 14k| 0 | 0 |-3.407634e+02 |-9.600000e+01 | 71.83%
426.23/426.43 c 423s| 1 | 0 |193603 | - | 90M| 0 | 983 |1000 | 15k|1000 |6375 | 14k| 0 | 0 |-3.401841e+02 |-9.600000e+01 | 71.78%
433.82/434.07 c 431s| 1 | 0 |195324 | - | 90M| 0 | 981 |1000 | 15k|1000 |6259 | 14k| 0 | 0 |-3.396813e+02 |-9.600000e+01 | 71.74%
441.52/441.75 c 438s| 1 | 0 |197118 | - | 90M| 0 | 986 |1000 | 15k|1000 |6293 | 14k| 0 | 0 |-3.389208e+02 |-9.600000e+01 | 71.67%
449.82/450.03 c 446s| 1 | 0 |199071 | - | 90M| 0 | 984 |1000 | 15k|1000 |6371 | 14k| 0 | 0 |-3.383284e+02 |-9.600000e+01 | 71.63%
457.12/457.30 c 454s| 1 | 0 |200522 | - | 90M| 0 | 985 |1000 | 15k|1000 |6423 | 14k| 0 | 0 |-3.377724e+02 |-9.600000e+01 | 71.58%
465.11/465.38 c 462s| 1 | 0 |202342 | - | 89M| 0 | 989 |1000 | 15k|1000 |6480 | 14k| 0 | 0 |-3.372349e+02 |-9.600000e+01 | 71.53%
472.61/472.81 c 469s| 1 | 0 |203706 | - | 89M| 0 | 988 |1000 | 15k|1000 |6511 | 14k| 0 | 0 |-3.368704e+02 |-9.600000e+01 | 71.50%
480.71/480.93 c 477s| 1 | 0 |205454 | - | 89M| 0 | 988 |1000 | 15k|1000 |6369 | 14k| 0 | 0 |-3.362622e+02 |-9.600000e+01 | 71.45%
488.00/488.27 c 484s| 1 | 0 |206833 | - | 89M| 0 | 991 |1000 | 15k|1000 |6418 | 14k| 0 | 0 |-3.358456e+02 |-9.600000e+01 | 71.42%
495.91/496.11 c 492s| 1 | 0 |208268 | - | 89M| 0 | 991 |1000 | 15k|1000 |6438 | 14k| 0 | 0 |-3.353587e+02 |-9.600000e+01 | 71.37%
503.50/503.77 c 500s| 1 | 0 |209479 | - | 89M| 0 | 992 |1000 | 15k|1000 |6471 | 14k| 0 | 0 |-3.348656e+02 |-9.600000e+01 | 71.33%
511.69/511.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.69/511.99 c 508s| 1 | 0 |210959 | - | 89M| 0 | 992 |1000 | 15k|1000 |6510 | 14k| 0 | 0 |-3.342994e+02 |-9.600000e+01 | 71.28%
519.59/519.80 c 516s| 1 | 0 |212196 | - | 89M| 0 | 991 |1000 | 15k|1000 |6529 | 14k| 0 | 0 |-3.339661e+02 |-9.600000e+01 | 71.25%
528.69/528.99 c 525s| 1 | 0 |214173 | - | 89M| 0 | 992 |1000 | 15k|1000 |6446 | 14k| 0 | 0 |-3.331130e+02 |-9.600000e+01 | 71.18%
537.70/537.95 c 534s| 1 | 0 |216128 | - | 89M| 0 | 992 |1000 | 15k|1000 |6487 | 14k| 0 | 0 |-3.324819e+02 |-9.600000e+01 | 71.13%
545.79/546.06 c 542s| 1 | 0 |217691 | - | 89M| 0 | 987 |1000 | 15k|1000 |6519 | 14k| 0 | 0 |-3.320523e+02 |-9.600000e+01 | 71.09%
553.98/554.23 c 550s| 1 | 0 |219232 | - | 89M| 0 | 991 |1000 | 15k|1000 |6571 | 15k| 0 | 0 |-3.316844e+02 |-9.600000e+01 | 71.06%
561.88/562.13 c 558s| 1 | 0 |220342 | - | 88M| 0 | 993 |1000 | 15k|1000 |6605 | 15k| 0 | 0 |-3.314489e+02 |-9.600000e+01 | 71.04%
570.47/570.76 c 567s| 1 | 0 |221754 | - | 88M| 0 | 995 |1000 | 15k|1000 |6635 | 15k| 0 | 0 |-3.311450e+02 |-9.600000e+01 | 71.01%
578.87/579.11 c 575s| 1 | 0 |223008 | - | 88M| 0 | 993 |1000 | 15k|1000 |6577 | 15k| 0 | 0 |-3.307906e+02 |-9.600000e+01 | 70.98%
587.47/587.70 c 583s| 1 | 0 |224677 | - | 88M| 0 | 992 |1000 | 15k|1000 |6594 | 15k| 0 | 0 |-3.302087e+02 |-9.600000e+01 | 70.93%
595.27/595.55 c 591s| 1 | 0 |225707 | - | 88M| 0 | 993 |1000 | 15k|1000 |6624 | 15k| 0 | 0 |-3.299604e+02 |-9.600000e+01 | 70.91%
603.26/603.57 c 599s| 1 | 0 |226792 | - | 88M| 0 | 994 |1000 | 15k|1000 |6646 | 15k| 0 | 0 |-3.296995e+02 |-9.600000e+01 | 70.88%
610.65/610.92 c 606s| 1 | 0 |227526 | - | 88M| 0 | 995 |1000 | 15k|1000 |6677 | 15k| 0 | 0 |-3.295344e+02 |-9.600000e+01 | 70.87%
618.96/619.25 c 615s| 1 | 0 |228716 | - | 88M| 0 | 995 |1000 | 15k|1000 |6696 | 15k| 0 | 0 |-3.291189e+02 |-9.600000e+01 | 70.83%
626.96/627.27 c 623s| 1 | 0 |229695 | - | 88M| 0 | 994 |1000 | 15k|1000 |6628 | 15k| 0 | 0 |-3.286701e+02 |-9.600000e+01 | 70.79%
634.75/635.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.75/635.09 c 631s| 1 | 0 |230674 | - | 88M| 0 | 993 |1000 | 15k|1000 |6649 | 15k| 0 | 0 |-3.283773e+02 |-9.600000e+01 | 70.77%
643.16/643.47 c 639s| 1 | 0 |231909 | - | 87M| 0 | 991 |1000 | 15k|1000 |6670 | 15k| 0 | 0 |-3.280552e+02 |-9.600000e+01 | 70.74%
650.95/651.30 c 647s| 1 | 0 |232776 | - | 87M| 0 | 989 |1000 | 15k|1000 |6693 | 15k| 0 | 0 |-3.277993e+02 |-9.600000e+01 | 70.71%
659.24/659.52 c 655s| 1 | 0 |233829 | - | 86M| 0 | 991 |1000 | 15k|1000 |6710 | 15k| 0 | 0 |-3.274185e+02 |-9.600000e+01 | 70.68%
667.84/668.18 c 663s| 1 | 0 |235018 | - | 86M| 0 | 997 |1000 | 15k|1000 |6725 | 15k| 0 | 0 |-3.270958e+02 |-9.600000e+01 | 70.65%
676.04/676.33 c 672s| 1 | 0 |235868 | - | 85M| 0 | 995 |1000 | 15k|1000 |6658 | 15k| 0 | 0 |-3.269012e+02 |-9.600000e+01 | 70.63%
684.14/684.43 c 680s| 1 | 0 |236817 | - | 85M| 0 | 996 |1000 | 15k|1000 |6677 | 15k| 0 | 0 |-3.265356e+02 |-9.600000e+01 | 70.60%
692.13/692.43 c 688s| 1 | 0 |237745 | - | 85M| 0 | 996 |1000 | 15k|1000 |6697 | 15k| 0 | 0 |-3.263132e+02 |-9.600000e+01 | 70.58%
699.93/700.26 c 695s| 1 | 0 |238589 | - | 85M| 0 | 996 |1000 | 15k|1000 |6716 | 15k| 0 | 0 |-3.260976e+02 |-9.600000e+01 | 70.56%
707.72/708.09 c 703s| 1 | 0 |239426 | - | 84M| 0 | 993 |1000 | 15k|1000 |6737 | 15k| 0 | 0 |-3.258521e+02 |-9.600000e+01 | 70.54%
715.52/715.88 c 711s| 1 | 0 |240160 | - | 83M| 0 | 996 |1000 | 15k|1000 |6756 | 15k| 0 | 0 |-3.256264e+02 |-9.600000e+01 | 70.52%
723.02/723.32 c 718s| 1 | 0 |240686 | - | 82M| 0 | 994 |1000 | 15k|1000 |6728 | 15k| 0 | 0 |-3.254823e+02 |-9.600000e+01 | 70.51%
731.02/731.36 c 726s| 1 | 0 |241476 | - | 80M| 0 | 995 |1000 | 15k|1000 |6736 | 15k| 0 | 0 |-3.252747e+02 |-9.600000e+01 | 70.49%
738.71/739.06 c 734s| 1 | 0 |242088 | - | 80M| 0 | 996 |1000 | 15k|1000 |6756 | 15k| 0 | 0 |-3.250697e+02 |-9.600000e+01 | 70.47%
746.62/746.98 c 742s| 1 | 0 |242895 | - | 79M| 0 | 995 |1000 | 15k|1000 |6773 | 15k| 0 | 0 |-3.249124e+02 |-9.600000e+01 | 70.45%
754.51/754.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.51/754.82 c 750s| 1 | 0 |243588 | - | 78M| 0 | 995 |1000 | 15k|1000 |6787 | 15k| 0 | 0 |-3.247183e+02 |-9.600000e+01 | 70.44%
762.20/762.57 c 757s| 1 | 0 |244371 | - | 77M| 0 | 996 |1000 | 15k|1000 |6802 | 15k| 0 | 0 |-3.244348e+02 |-9.600000e+01 | 70.41%
769.90/770.25 c 765s| 1 | 0 |245032 | - | 77M| 0 | 996 |1000 | 15k|1000 |6763 | 15k| 0 | 0 |-3.242376e+02 |-9.600000e+01 | 70.39%
777.20/777.51 c 772s| 1 | 0 |245625 | - | 76M| 0 | 996 |1000 | 15k|1000 |6779 | 15k| 0 | 0 |-3.240922e+02 |-9.600000e+01 | 70.38%
783.90/784.29 c 779s| 1 | 0 |246028 | - | 76M| 0 | 998 |1000 | 15k|1000 |6792 | 15k| 0 | 0 |-3.240147e+02 |-9.600000e+01 | 70.37%
791.39/791.76 c 786s| 1 | 0 |246794 | - | 74M| 0 | 997 |1000 | 15k|1000 |6812 | 15k| 0 | 0 |-3.238311e+02 |-9.600000e+01 | 70.35%
798.89/799.20 c 794s| 1 | 0 |247448 | - | 74M| 0 | 997 |1000 | 15k|1000 |6825 | 15k| 0 | 0 |-3.237226e+02 |-9.600000e+01 | 70.34%
807.18/807.57 c 802s| 1 | 0 |248517 | - | 73M| 0 | 997 |1000 | 15k|1000 |6840 | 15k| 0 | 0 |-3.233400e+02 |-9.600000e+01 | 70.31%
814.19/814.54 c 809s| 1 | 0 |248956 | - | 73M| 0 | 997 |1000 | 15k|1000 |6804 | 15k| 0 | 0 |-3.232668e+02 |-9.600000e+01 | 70.30%
821.39/821.77 c 816s| 1 | 0 |249571 | - | 71M| 0 | 996 |1000 | 15k|1000 |6815 | 15k| 0 | 0 |-3.231189e+02 |-9.600000e+01 | 70.29%
828.18/828.53 c 823s| 1 | 0 |249934 | - | 71M| 0 | 996 |1000 | 15k|1000 |6828 | 15k| 0 | 0 |-3.230711e+02 |-9.600000e+01 | 70.29%
834.78/835.19 c 830s| 1 | 0 |250215 | - | 70M| 0 | 994 |1000 | 15k|1000 |6843 | 15k| 0 | 0 |-3.230487e+02 |-9.600000e+01 | 70.28%
841.58/841.91 c 836s| 1 | 0 |250541 | - | 70M| 0 | 967 |1000 | 15k|1000 |6860 | 15k| 0 | 0 |-3.230000e+02 |-9.600000e+01 | 70.28%
847.27/847.65 c 842s| 1 | 0 |250542 | - | 68M| 0 | 966 |1000 | 15k|1000 |6864 | 15k| 0 | 0 |-3.230000e+02 |-9.600000e+01 | 70.28%
949.53/949.99 c 944s| 1 | 2 |250542 | - | 64M| 0 | 966 |1000 | 15k|1000 |6864 | 15k| 0 | 54 |-3.230000e+02 |-9.600000e+01 | 70.28%
953.53/953.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.53/953.92 c 947s| 10000 | 71 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 30 | 54 |-3.230000e+02 |-9.600000e+01 | 70.28%
957.14/957.53 c 951s| 20000 | 70 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 48 | 54 |-3.230000e+02 |-9.600000e+01 | 70.28%
960.93/961.30 c 954s| 30000 | 68 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 58 | 54 |-3.230000e+02 |-9.600000e+01 | 70.28%
964.73/965.19 c 958s| 40000 | 68 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 70 | 54 |-3.230000e+02 |-9.600000e+01 | 70.28%
966.03/966.43 o -97
966.03/966.43 c * 959s| 43167 | 68 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 74 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
968.43/968.86 c 962s| 50000 | 67 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 80 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
971.93/972.38 c 965s| 60000 | 64 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 87 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
975.33/975.73 c 968s| 70000 | 66 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 93 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
978.53/978.90 c 971s| 80000 | 64 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 108 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
981.62/982.08 c 974s| 90000 | 64 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 117 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
985.02/985.42 c 978s|100000 | 67 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 128 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
988.53/988.95 c 981s|110000 | 65 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 145 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
992.02/992.44 c 984s|120000 | 67 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 159 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
995.21/995.68 c 987s|130000 | 66 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 168 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
998.42/998.88 c 990s|140000 | 68 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 178 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1001.51/1001.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.51/1001.90 c 993s|150000 | 64 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 191 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1004.42/1004.88 c 996s|160000 | 65 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 199 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1007.51/1007.99 c 999s|170000 | 67 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 207 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1010.82/1011.27 c 1002s|180000 | 65 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 210 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1014.31/1014.76 c 1006s|190000 | 67 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 219 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1017.91/1018.37 c 1009s|200000 | 68 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 230 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1021.31/1021.78 c 1012s|210000 | 68 |250542 | 0.0 | 65M| 91 | - |1000 | 15k| 0 | 0 | 15k| 246 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1024.71/1025.18 c 1016s|220000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 257 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1028.11/1028.57 c 1019s|230000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 272 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1031.50/1031.91 c 1022s|240000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 276 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1034.50/1034.90 c 1025s|250000 | 62 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 287 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1037.91/1038.34 c 1028s|260000 | 68 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 303 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1041.50/1041.95 c 1032s|270000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 314 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1045.00/1045.47 c 1035s|280000 | 68 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 327 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1048.60/1049.06 c 1038s|290000 | 70 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 340 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1052.09/1052.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.09/1052.53 c 1042s|300000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 349 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1055.70/1056.11 c 1045s|310000 | 67 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 366 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1059.39/1059.88 c 1049s|320000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 377 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1062.99/1063.47 c 1052s|330000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 386 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1066.69/1067.19 c 1056s|340000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 396 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1070.39/1070.80 c 1059s|350000 | 71 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 412 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1073.59/1074.07 c 1062s|360000 | 69 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 420 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1076.88/1077.34 c 1066s|370000 | 69 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 432 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1080.09/1080.59 c 1069s|380000 | 70 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 448 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1083.39/1083.87 c 1072s|390000 | 67 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 459 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1086.68/1087.19 c 1075s|400000 | 68 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 474 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1090.29/1090.71 c 1078s|410000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 490 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1093.58/1094.08 c 1082s|420000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 503 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1096.98/1097.41 c 1085s|430000 | 67 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 516 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1100.08/1100.57 c 1088s|440000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 524 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1103.58/1104.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.58/1104.00 c 1091s|450000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 530 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1107.18/1107.60 c 1095s|460000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 536 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1110.49/1110.96 c 1098s|470000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 538 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1113.98/1114.43 c 1101s|480000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 548 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1117.08/1117.58 c 1104s|490000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 556 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1120.27/1120.75 c 1107s|500000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 569 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1123.47/1123.91 c 1110s|510000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 578 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1126.67/1127.16 c 1113s|520000 | 68 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 587 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1129.86/1130.39 c 1116s|530000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 601 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1133.06/1133.57 c 1119s|540000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 617 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1136.46/1136.97 c 1123s|550000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 625 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1139.67/1140.13 c 1126s|560000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 636 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1142.96/1143.45 c 1129s|570000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 641 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1146.26/1146.74 c 1132s|580000 | 69 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 644 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1149.55/1150.08 c 1135s|590000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 657 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1153.06/1153.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.06/1153.53 c 1139s|600000 | 69 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 666 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1156.56/1157.02 c 1142s|610000 | 68 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 677 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1159.86/1160.34 c 1145s|620000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 692 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1163.16/1163.68 c 1148s|630000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 699 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1166.56/1167.10 c 1152s|640000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 715 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1170.05/1170.59 c 1155s|650000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 731 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1173.65/1174.12 c 1158s|660000 | 63 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 741 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1177.25/1177.77 c 1162s|670000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 753 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1180.65/1181.16 c 1165s|680000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 762 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1183.64/1184.19 c 1168s|690000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 771 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1186.95/1187.44 c 1171s|700000 | 67 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 778 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1190.14/1190.64 c 1174s|710000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 785 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1193.44/1193.97 c 1177s|720000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 790 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1196.74/1197.24 c 1180s|730000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 802 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1199.94/1200.43 c 1184s|740000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 808 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1203.14/1203.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1203.14/1203.70 c 1187s|750000 | 69 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 811 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1206.94/1207.49 c 1190s|760000 | 67 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 817 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1210.43/1210.98 c 1194s|770000 | 67 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 835 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1213.84/1214.30 c 1197s|780000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 848 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1216.94/1217.47 c 1200s|790000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 866 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1220.04/1220.59 c 1203s|800000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 888 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1223.33/1223.88 c 1206s|810000 | 68 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 904 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1226.73/1227.21 c 1209s|820000 | 67 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 915 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1229.93/1230.43 c 1212s|830000 | 67 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 926 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1233.03/1233.53 c 1215s|840000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 941 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1236.33/1236.85 c 1218s|850000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 950 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1239.72/1240.20 c 1222s|860000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 965 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1243.02/1243.51 c 1225s|870000 | 63 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 989 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1246.42/1246.93 c 1228s|880000 | 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k| 994 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1249.82/1250.39 c 1231s|890000 | 67 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1012 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1253.22/1253.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1253.22/1253.78 c 1235s|900000 | 63 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1023 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1256.62/1257.10 c 1238s|910000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1039 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1260.02/1260.55 c 1241s|920000 | 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1056 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1263.42/1263.95 c 1244s|930000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1071 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1266.91/1267.42 c 1248s|940000 | 62 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1083 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1270.41/1270.96 c 1251s|950000 | 63 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1096 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1273.82/1274.39 c 1254s|960000 | 63 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1104 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1277.31/1277.82 c 1258s|970000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1122 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1280.71/1281.25 c 1261s|980000 | 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1133 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1283.81/1284.36 c 1264s|990000 | 63 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1145 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1287.10/1287.63 c 1267s| 1000k| 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1154 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1290.41/1290.91 c 1270s| 1010k| 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1173 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1293.51/1294.07 c 1273s| 1020k| 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1182 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1296.80/1297.38 c 1276s| 1030k| 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1193 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1299.81/1300.32 c 1279s| 1040k| 62 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1201 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1302.81/1303.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1302.81/1303.39 c 1282s| 1050k| 63 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1208 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1305.90/1306.49 c 1285s| 1060k| 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1214 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1309.20/1309.71 c 1288s| 1070k| 68 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1223 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1312.39/1312.99 c 1291s| 1080k| 63 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1238 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1315.49/1316.08 c 1294s| 1090k| 63 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1247 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1318.50/1319.09 c 1297s| 1100k| 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1261 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1321.50/1322.06 c 1300s| 1110k| 67 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1269 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1324.40/1324.96 c 1303s| 1120k| 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1275 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1327.30/1327.88 c 1306s| 1130k| 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1285 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1330.10/1330.68 c 1308s| 1140k| 62 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1289 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1333.09/1333.63 c 1311s| 1150k| 62 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1296 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1335.79/1336.37 c 1314s| 1160k| 66 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1306 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1338.59/1339.17 c 1316s| 1170k| 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1314 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1341.59/1342.12 c 1319s| 1180k| 63 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1324 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1344.59/1345.11 c 1322s| 1190k| 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1325 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1347.49/1348.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1347.49/1348.03 c 1325s| 1200k| 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1330 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1350.48/1351.03 c 1328s| 1210k| 63 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1336 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1353.49/1354.08 c 1330s| 1220k| 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1348 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1356.59/1357.13 c 1333s| 1230k| 65 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1361 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1359.48/1360.09 c 1336s| 1240k| 64 |250542 | 0.0 | 65M| 93 | - |1000 | 15k| 0 | 0 | 15k|1376 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1362.48/1363.01 c 1339s| 1250k| 71 |250542 | 0.0 | 65M| 94 | - |1000 | 15k| 0 | 0 | 15k|1386 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1365.38/1365.97 c 1342s| 1260k| 60 |250542 | 0.0 | 65M| 94 | - |1000 | 15k| 0 | 0 | 15k|1389 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1368.48/1369.03 c 1345s| 1270k| 67 |250542 | 0.0 | 65M| 94 | - |1000 | 15k| 0 | 0 | 15k|1410 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1371.38/1371.99 c 1348s| 1280k| 65 |250542 | 0.0 | 65M| 94 | - |1000 | 15k| 0 | 0 | 15k|1432 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1374.49/1375.02 c 1350s| 1290k| 64 |250542 | 0.0 | 65M| 94 | - |1000 | 15k| 0 | 0 | 15k|1446 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1377.37/1377.92 c 1353s| 1300k| 63 |250542 | 0.0 | 65M| 94 | - |1000 | 15k| 0 | 0 | 15k|1459 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1380.38/1380.91 c 1356s| 1310k| 64 |250542 | 0.0 | 65M| 94 | - |1000 | 15k| 0 | 0 | 15k|1473 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1383.37/1383.98 c 1359s| 1320k| 67 |250542 | 0.0 | 65M| 94 | - |1000 | 15k| 0 | 0 | 15k|1489 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1386.27/1386.83 c 1362s| 1330k| 64 |250542 | 0.0 | 65M| 94 | - |1000 | 15k| 0 | 0 | 15k|1502 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1389.37/1389.91 c 1365s| 1340k| 64 |250542 | 0.0 | 65M| 94 | - |1000 | 15k| 0 | 0 | 15k|1514 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1392.37/1392.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.37/1392.92 c 1367s| 1350k| 61 |250542 | 0.0 | 65M| 94 | - |1000 | 15k| 0 | 0 | 15k|1530 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1395.56/1396.12 c 1370s| 1360k| 68 |250542 | 0.0 | 65M| 94 | - |1000 | 15k| 0 | 0 | 15k|1549 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1398.58/1399.11 c 1373s| 1370k| 66 |250542 | 0.0 | 65M| 95 | - |1000 | 15k| 0 | 0 | 15k|1570 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1401.67/1402.21 c 1376s| 1380k| 67 |250542 | 0.0 | 65M| 95 | - |1000 | 15k| 0 | 0 | 15k|1598 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1404.66/1405.27 c 1379s| 1390k| 70 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1617 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1407.67/1408.27 c 1382s| 1400k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1632 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1410.67/1411.23 c 1385s| 1410k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1648 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1413.77/1414.33 c 1388s| 1420k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1666 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1416.96/1417.55 c 1391s| 1430k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1683 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1420.06/1420.68 c 1394s| 1440k| 69 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1697 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1423.36/1423.91 c 1397s| 1450k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1716 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1426.56/1427.11 c 1400s| 1460k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1738 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1429.47/1430.03 c 1403s| 1470k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1755 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1432.45/1433.05 c 1406s| 1480k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1795 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1435.55/1436.12 c 1409s| 1490k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1812 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1438.56/1439.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1438.56/1439.15 c 1412s| 1500k| 67 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1828 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1441.45/1442.05 c 1414s| 1510k| 66 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1839 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1444.25/1444.81 c 1417s| 1520k| 67 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1851 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1447.15/1447.76 c 1420s| 1530k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1860 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1450.05/1450.65 c 1422s| 1540k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1867 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1453.05/1453.67 c 1425s| 1550k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1883 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1456.15/1456.79 c 1428s| 1560k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1903 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1459.54/1460.18 c 1432s| 1570k| 66 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1913 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1462.64/1463.28 c 1434s| 1580k| 66 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1923 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1465.75/1466.36 c 1437s| 1590k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1934 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1468.84/1469.44 c 1440s| 1600k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1943 | 54 |-3.230000e+02 |-9.700000e+01 | 69.97%
1470.34/1470.99 o -98
1470.34/1470.99 c *1442s| 1604k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1949 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1472.04/1472.62 c 1443s| 1610k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1961 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1475.14/1475.70 c 1446s| 1620k| 60 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1967 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1478.14/1478.72 c 1449s| 1630k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1986 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1480.94/1481.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.94/1481.54 c 1452s| 1640k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|1992 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1483.73/1484.37 c 1455s| 1650k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2001 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1486.73/1487.39 c 1457s| 1660k| 66 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2012 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1489.73/1490.31 c 1460s| 1670k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2021 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1492.64/1493.23 c 1463s| 1680k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2029 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1495.53/1496.17 c 1466s| 1690k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2036 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1498.74/1499.36 c 1469s| 1700k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2041 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1501.53/1502.17 c 1471s| 1710k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2050 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1504.53/1505.10 c 1474s| 1720k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2057 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1507.33/1508.00 c 1477s| 1730k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2068 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1510.22/1510.88 c 1480s| 1740k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2079 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1513.33/1513.96 c 1483s| 1750k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2098 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1516.23/1516.88 c 1486s| 1760k| 66 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2110 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1519.13/1519.77 c 1488s| 1770k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2126 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1521.83/1522.45 c 1491s| 1780k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2141 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1524.72/1525.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.72/1525.31 c 1493s| 1790k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2153 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1527.52/1528.15 c 1496s| 1800k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2159 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1530.42/1531.03 c 1499s| 1810k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2161 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1533.42/1534.05 c 1502s| 1820k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2164 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1536.31/1536.95 c 1505s| 1830k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2174 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1539.22/1539.82 c 1507s| 1840k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2181 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1542.01/1542.62 c 1510s| 1850k| 66 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2191 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1545.01/1545.63 c 1513s| 1860k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2194 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1548.02/1548.68 c 1516s| 1870k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2205 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1551.02/1551.69 c 1519s| 1880k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2221 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1554.12/1554.74 c 1522s| 1890k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2238 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1557.11/1557.78 c 1524s| 1900k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2252 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1560.22/1560.81 c 1527s| 1910k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2260 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1563.21/1563.86 c 1530s| 1920k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2264 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1566.30/1566.92 c 1533s| 1930k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2273 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1569.30/1569.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.30/1569.91 c 1536s| 1940k| 66 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2283 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1572.21/1572.80 c 1539s| 1950k| 67 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2292 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1575.01/1575.69 c 1541s| 1960k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2301 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1578.00/1578.65 c 1544s| 1970k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2310 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1580.90/1581.55 c 1547s| 1980k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2319 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1583.90/1584.55 c 1550s| 1990k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2323 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1587.00/1587.61 c 1553s| 2000k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2330 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1589.90/1590.54 c 1556s| 2010k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2335 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1592.90/1593.53 c 1558s| 2020k| 59 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2345 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1595.89/1596.50 c 1561s| 2030k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2358 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1598.99/1599.60 c 1564s| 2040k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2366 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1601.79/1602.44 c 1567s| 2050k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2375 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1604.69/1605.31 c 1570s| 2060k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2382 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1607.39/1608.01 c 1572s| 2070k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2396 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1610.19/1610.90 c 1575s| 2080k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2416 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1613.10/1613.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1613.10/1613.72 c 1578s| 2090k| 66 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2423 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1615.89/1616.56 c 1580s| 2100k| 67 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2438 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1618.88/1619.58 c 1583s| 2110k| 66 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2447 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1621.90/1622.59 c 1586s| 2120k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2467 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1624.88/1625.52 c 1589s| 2130k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2483 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1627.98/1628.60 c 1592s| 2140k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2494 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1630.78/1631.48 c 1594s| 2150k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2508 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1633.79/1634.42 c 1597s| 2160k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2516 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1636.68/1637.36 c 1600s| 2170k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2521 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1639.58/1640.28 c 1603s| 2180k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2538 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1642.68/1643.34 c 1606s| 2190k| 66 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2549 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1645.78/1646.41 c 1609s| 2200k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2559 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1648.87/1649.54 c 1612s| 2210k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2572 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1651.87/1652.57 c 1615s| 2220k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2591 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1654.88/1655.55 c 1617s| 2230k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2601 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1657.67/1658.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1657.67/1658.39 c 1620s| 2240k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2608 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1660.58/1661.27 c 1623s| 2250k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2612 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1663.58/1664.24 c 1626s| 2260k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2626 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1666.57/1667.20 c 1629s| 2270k| 60 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2639 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1669.57/1670.28 c 1632s| 2280k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2648 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1672.57/1673.29 c 1634s| 2290k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2658 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1675.57/1676.26 c 1637s| 2300k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2668 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1678.46/1679.12 c 1640s| 2310k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2679 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1681.27/1681.98 c 1643s| 2320k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2705 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1684.26/1684.97 c 1646s| 2330k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2721 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1687.26/1687.90 c 1648s| 2340k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2735 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1690.26/1690.99 c 1651s| 2350k| 68 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2749 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1693.36/1694.06 c 1654s| 2360k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2760 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1696.46/1697.10 c 1657s| 2370k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2770 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1699.46/1700.12 c 1660s| 2380k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2783 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1702.35/1703.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.35/1703.06 c 1663s| 2390k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2789 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1705.36/1706.08 c 1666s| 2400k| 60 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2798 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1708.45/1709.15 c 1669s| 2410k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2812 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1711.45/1712.17 c 1671s| 2420k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2830 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1714.65/1715.39 c 1675s| 2430k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2841 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1717.85/1718.58 c 1678s| 2440k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2859 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1720.94/1721.67 c 1681s| 2450k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2867 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1723.95/1724.67 c 1683s| 2460k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2875 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1726.94/1727.61 c 1686s| 2470k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2887 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1730.05/1730.71 c 1689s| 2480k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2901 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1732.95/1733.66 c 1692s| 2490k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2914 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1735.74/1736.44 c 1695s| 2500k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2929 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1738.84/1739.50 c 1698s| 2510k| 60 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2938 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1741.75/1742.49 c 1700s| 2520k| 60 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2949 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1744.84/1745.58 c 1703s| 2530k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2957 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1748.04/1748.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1748.04/1748.73 c 1706s| 2540k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2969 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1751.14/1751.84 c 1709s| 2550k| 62 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|2985 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1754.24/1754.99 c 1712s| 2560k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3004 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1757.34/1758.03 c 1715s| 2570k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3023 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1760.53/1761.22 c 1718s| 2580k| 69 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3033 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1763.54/1764.24 c 1721s| 2590k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3045 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1766.54/1767.24 c 1724s| 2600k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3059 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1769.83/1770.53 c 1727s| 2610k| 70 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3071 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1772.83/1773.59 c 1730s| 2620k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3088 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1776.03/1776.71 c 1733s| 2630k| 61 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3103 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1779.14/1779.80 c 1736s| 2640k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3112 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1782.23/1782.92 c 1739s| 2650k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3122 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1785.23/1785.98 c 1742s| 2660k| 64 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3129 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1788.33/1789.04 c 1745s| 2670k| 63 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3140 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1791.33/1792.03 c 1748s| 2680k| 67 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3147 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1794.32/1795.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1794.32/1795.04 c 1751s| 2690k| 60 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3154 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1797.42/1798.13 c 1754s| 2700k| 65 |250542 | 0.0 | 65M| 99 | - |1000 | 15k| 0 | 0 | 15k|3167 | 54 |-3.230000e+02 |-9.800000e+01 | 69.66%
1800.03/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.71 c
1800.03/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.71 c Solving Time (sec) : 1756.15
1800.03/1800.71 c Solving Nodes : 2708583
1800.03/1800.71 c Primal Bound : -9.80000000000000e+01 (49 solutions)
1800.03/1800.71 c Dual Bound : -3.23000000000000e+02
1800.03/1800.71 c Gap : 69.66 %
1800.03/1800.75 s SATISFIABLE
1800.03/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.03/1800.75 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 x961 -x960 -x959 -x958
1800.03/1800.75 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.03/1800.75 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.03/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.03/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.03/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.03/1800.75 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831
1800.03/1800.75 v -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810
1800.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/1800.75 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 x601 -x600
1800.03/1800.75 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579
1800.03/1800.75 v -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558
1800.03/1800.75 v -x557 x556 -x555 -x554 -x553 -x552 -x551 x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1800.03/1800.75 v -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1800.03/1800.75 v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495
1800.03/1800.75 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474
1800.03/1800.75 v -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
1800.03/1800.75 v -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1800.03/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.03/1800.75 v -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389
1800.03/1800.75 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369
1800.03/1800.75 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1800.03/1800.75 v -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326
1800.03/1800.75 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1800.03/1800.75 v -x304 -x303 -x302 -x301 x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
1800.03/1800.75 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1800.03/1800.75 v x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
1800.03/1800.75 v -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1800.03/1800.75 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1800.03/1800.75 v -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 x183 -x182 x181 -x180 x179 -x178
1800.03/1800.75 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 x161 -x160 -x159 -x158 -x157
1800.03/1800.75 v -x156 x155 -x154 -x153 -x152 -x151 x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136
1800.03/1800.75 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 x125 -x124 x123 x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114
1800.03/1800.75 v -x113 -x112 -x111 x110 x109 -x108 -x107 x106 -x105 -x104 x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91
1800.03/1800.75 v x90 -x89 -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
1800.03/1800.75 v -x63 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
1800.03/1800.75 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 x16 -x15 -x14 x13 x12
1800.03/1800.75 v -x11 -x10 -x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
1800.03/1800.75 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.75 c Solving Time : 1756.15
1800.03/1800.75 c Original Problem :
1800.03/1800.75 c Problem name : HOME/instance-2666686-1276662395.opb
1800.03/1800.75 c Variables : 16811 (16811 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.75 c Constraints : 16811 initial, 16811 maximal
1800.03/1800.75 c Presolved Problem :
1800.03/1800.75 c Problem name : t_HOME/instance-2666686-1276662395.opb
1800.03/1800.75 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.75 c Constraints : 15811 initial, 15816 maximal
1800.03/1800.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.75 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.75 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.75 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.75 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.75 c probing : 0.10 0 0 0 0 0 0 0 0
1800.03/1800.75 c linear : 0.10 15811 0 0 15811 0 1000 0 0
1800.03/1800.75 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.75 c root node : - 0 - - 0 - - - -
1800.03/1800.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.75 c integral : 0 0 0 1 0 0 0 0 0 2
1800.03/1800.75 c logicor : 15811+ 191 2760739 0 2 9971 3644824 16064 0 0
1800.03/1800.75 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.03/1800.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.75 c integral : 95.90 0.00 0.00 95.90 0.00
1800.03/1800.75 c logicor : 51.22 0.85 50.36 0.00 0.01
1800.03/1800.75 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.75 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.75 c vbounds : 2.41 2 0 0
1800.03/1800.75 c rootredcost : 2.20 2 0 0
1800.03/1800.75 c pseudoobj : 393.58 4836839 1190785 4753170
1800.03/1800.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.75 c propagation : 10.19 9971 3175 3175 76.4 0 0.0 -
1800.03/1800.75 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.75 c pseudo solution : 225.30 148558 0 0 0.0 0 0.0 -
1800.03/1800.75 c applied globally : - - - 3175 76.4 - - -
1800.03/1800.75 c applied locally : - - - 0 0.0 - - -
1800.03/1800.75 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.75 c cut pool : 1.64 190 - - 3682 - (maximal pool size: 12361)
1800.03/1800.75 c redcost : 0.00 191 0 0 0 0
1800.03/1800.75 c impliedbounds : 0.43 190 0 0 19342 0
1800.03/1800.75 c intobj : 0.00 0 0 0 0 0
1800.03/1800.75 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.75 c gomory : 455.81 188 0 0 64614 0
1800.03/1800.75 c strongcg : 2.47 20 0 0 10000 0
1800.03/1800.75 c cmir : 0.88 10 0 0 0 0
1800.03/1800.75 c flowcover : 0.68 10 0 0 0 0
1800.03/1800.75 c clique : 6.69 188 0 0 1586 0
1800.03/1800.75 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.75 c mcf : 0.03 1 0 0 0 0
1800.03/1800.75 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.75 c Pricers : Time Calls Vars
1800.03/1800.75 c problem variables: 0.00 0 0
1800.03/1800.75 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.75 c relpscost : 95.90 1 0 0 0 0 2
1800.03/1800.75 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.75 c inference : 16.26 1360563 0 0 0 0 2721126
1800.03/1800.75 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.75 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.75 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.75 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.75 c random : 0.00 0 0 0 0 0 0
1800.03/1800.75 c Primal Heuristics : Time Calls Found
1800.03/1800.75 c LP solutions : 0.00 - 0
1800.03/1800.75 c pseudo solutions : 0.00 - 2
1800.03/1800.75 c crossover : 0.00 0 0
1800.03/1800.75 c oneopt : 2.08 2 1
1800.03/1800.75 c trivial : 0.05 2 2
1800.03/1800.75 c simplerounding : 0.19 191 42
1800.03/1800.75 c zirounding : 0.00 1 0
1800.03/1800.75 c rounding : 12.00 191 1
1800.03/1800.75 c shifting : 12.87 191 1
1800.03/1800.75 c intshifting : 0.00 0 0
1800.03/1800.75 c twoopt : 0.00 0 0
1800.03/1800.75 c fixandinfer : 0.00 0 0
1800.03/1800.75 c feaspump : 0.00 0 0
1800.03/1800.75 c coefdiving : 0.00 0 0
1800.03/1800.75 c pscostdiving : 0.00 0 0
1800.03/1800.75 c fracdiving : 0.00 0 0
1800.03/1800.75 c veclendiving : 0.00 0 0
1800.03/1800.75 c intdiving : 0.00 0 0
1800.03/1800.75 c actconsdiving : 0.00 0 0
1800.03/1800.75 c objpscostdiving : 0.00 0 0
1800.03/1800.75 c rootsoldiving : 0.00 0 0
1800.03/1800.75 c linesearchdiving : 0.00 0 0
1800.03/1800.75 c guideddiving : 0.00 0 0
1800.03/1800.75 c octane : 0.00 0 0
1800.03/1800.75 c rens : 0.01 0 0
1800.03/1800.75 c rins : 0.00 0 0
1800.03/1800.75 c localbranching : 0.00 0 0
1800.03/1800.75 c mutation : 0.00 0 0
1800.03/1800.75 c dins : 0.00 0 0
1800.03/1800.75 c undercover : 0.00 0 0
1800.03/1800.75 c nlp : 1.09 0 0
1800.03/1800.75 c trysol : 1.25 0 0
1800.03/1800.75 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.75 c primal LP : 0.29 0 0 0.00 0.00
1800.03/1800.75 c dual LP : 347.92 191 250542 1311.74 720.11
1800.03/1800.75 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.75 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.75 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.75 c strong branching : 95.90 54 50012 926.15 521.50
1800.03/1800.75 c (at root node) : - 54 50012 926.15 -
1800.03/1800.75 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.75 c B&B Tree :
1800.03/1800.75 c number of runs : 1
1800.03/1800.75 c nodes : 2708583
1800.03/1800.75 c nodes (total) : 2708583
1800.03/1800.75 c nodes left : 60
1800.03/1800.75 c max depth : 99
1800.03/1800.75 c max depth (total): 99
1800.03/1800.75 c backtracks : 681876 (25.2%)
1800.03/1800.75 c delayed cutoffs : 1906
1800.03/1800.75 c repropagations : 3180 (9375 domain reductions, 1297 cutoffs)
1800.03/1800.75 c avg switch length: 2.00
1800.03/1800.75 c switching time : 44.54
1800.03/1800.75 c Solution :
1800.03/1800.75 c Solutions found : 49 (6 improvements)
1800.03/1800.75 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.16 seconds, depth 0, found by <trivial>)
1800.03/1800.75 c Primal Bound : -9.80000000000000e+01 (in run 1, after 1604790 nodes, 1441.85 seconds, depth 77, found by <relaxation>)
1800.03/1800.75 c Dual Bound : -3.23000000000000e+02
1800.03/1800.75 c Gap : 69.66 %
1800.03/1800.75 c Root Dual Bound : -3.23000000000000e+02
1800.03/1800.75 c Root Iterations : 250542
1800.12/1800.89 c Time complete: 1800.21.
OK -98
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666686-1276662395/watcher-2666686-1276662395 -o /tmp/evaluation-result-2666686-1276662395/solver-2666686-1276662395 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666686-1276662395.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.12 1.05 1.01 2/106 8356 /proc/meminfo: memFree=1754348/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=7872 CPUtime=0 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 1079 0 0 0 0 0 0 0 22 0 1 0 41841161 8060928 998 1992294400 4194304 8223781 140736870350656 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8356/statm: 1968 1008 348 984 0 981 0 [startup+0.069106 s] /proc/loadavg: 1.12 1.05 1.01 2/106 8356 /proc/meminfo: memFree=1754348/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=16296 CPUtime=0.05 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 3347 0 0 0 5 0 0 0 25 0 1 0 41841161 16687104 3266 1992294400 4194304 8223781 140736870350656 18446744073709551615 5651079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8356/statm: 4074 3266 366 984 0 3087 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 16296 [startup+0.101111 s] /proc/loadavg: 1.12 1.05 1.01 2/106 8356 /proc/meminfo: memFree=1754348/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=19064 CPUtime=0.09 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 4045 0 0 0 8 1 0 0 25 0 1 0 41841161 19521536 3964 1992294400 4194304 8223781 140736870350656 18446744073709551615 7189544 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8356/statm: 4766 3964 366 984 0 3779 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19064 [startup+0.301154 s] /proc/loadavg: 1.12 1.05 1.01 2/106 8356 /proc/meminfo: memFree=1754348/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=45912 CPUtime=0.29 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 11093 0 0 0 26 3 0 0 25 0 1 0 41841161 47013888 10648 1992294400 4194304 8223781 140736870350656 18446744073709551615 4461608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 11478 10649 383 984 0 10491 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 45912 [startup+0.70024 s] /proc/loadavg: 1.12 1.05 1.01 2/106 8356 /proc/meminfo: memFree=1754348/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=64364 CPUtime=0.69 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 15554 0 0 0 63 6 0 0 25 0 1 0 41841161 65908736 14756 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 16091 14756 432 984 0 15104 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 64364 [startup+1.50041 s] /proc/loadavg: 1.12 1.05 1.01 2/107 8357 /proc/meminfo: memFree=1696060/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=86356 CPUtime=1.49 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 22306 0 0 0 129 20 0 0 25 0 1 0 41841161 88428544 19888 1992294400 4194304 8223781 140736870350656 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 21589 19888 551 984 0 20602 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 86356 [startup+3.10075 s] /proc/loadavg: 1.12 1.05 1.01 2/107 8357 /proc/meminfo: memFree=1674980/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=91052 CPUtime=3.09 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 24181 0 0 0 286 23 0 0 25 0 1 0 41841161 93237248 20670 1992294400 4194304 8223781 140736870350656 18446744073709551615 6043689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 22763 20670 592 984 0 21776 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 91052 [startup+6.30043 s] /proc/loadavg: 1.11 1.05 1.01 2/107 8357 /proc/meminfo: memFree=1671508/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=92700 CPUtime=6.28 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 26510 0 0 0 600 28 0 0 25 0 1 0 41841161 94924800 21084 1992294400 4194304 8223781 140736870350656 18446744073709551615 5429448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 23175 21084 576 984 0 22188 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 92700 [startup+12.7008 s] /proc/loadavg: 1.10 1.05 1.01 2/107 8357 /proc/meminfo: memFree=1670268/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=93472 CPUtime=12.69 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 30579 0 0 0 1233 36 0 0 25 0 1 0 41841161 95715328 21331 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 23368 21331 577 984 0 22381 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 93472 [startup+25.5015 s] /proc/loadavg: 1.08 1.04 1.01 2/107 8357 /proc/meminfo: memFree=1656256/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=105612 CPUtime=25.48 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 43969 0 0 0 2497 51 0 0 25 0 1 0 41841161 108146688 24904 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 26403 24904 565 984 0 25416 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 105612 [startup+51.102 s] /proc/loadavg: 1.05 1.04 1.00 2/107 8357 /proc/meminfo: memFree=1637532/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=126320 CPUtime=51.06 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 70130 0 0 0 5030 76 0 0 25 0 1 0 41841161 129351680 29906 1992294400 4194304 8223781 140736870350656 18446744073709551615 6047802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 31580 29906 569 984 0 30593 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 126320 [startup+102.308 s] /proc/loadavg: 1.02 1.03 1.00 2/107 8359 /proc/meminfo: memFree=1624388/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=139648 CPUtime=102.25 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 114401 0 0 0 10107 118 0 0 25 0 1 0 41841161 142999552 32844 1992294400 4194304 8223781 140736870350656 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 34912 32844 567 984 0 33925 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 139648 [startup+162.302 s] /proc/loadavg: 1.01 1.02 1.00 2/107 8361 /proc/meminfo: memFree=1600456/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=162176 CPUtime=162.23 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 161011 0 0 0 16063 160 0 0 25 0 1 0 41841161 166068224 38676 1992294400 4194304 8223781 140736870350656 18446744073709551615 6568399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 40544 38676 567 984 0 39557 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 162176 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 8363 /proc/meminfo: memFree=1590040/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=173500 CPUtime=222.2 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 198364 0 0 0 22021 199 0 0 25 0 1 0 41841161 177664000 41280 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 43375 41280 567 984 0 42388 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 173500 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8363 /proc/meminfo: memFree=1589544/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=173236 CPUtime=282.18 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 223152 0 0 0 27985 233 0 0 25 0 1 0 41841161 177393664 41320 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 43309 41320 567 984 0 42322 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 173236 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8365 /proc/meminfo: memFree=1589048/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=173360 CPUtime=342.15 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 245286 0 0 0 33952 263 0 0 25 0 1 0 41841161 177520640 41405 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 43340 41405 567 984 0 42353 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 173360 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8367 /proc/meminfo: memFree=1589916/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=173776 CPUtime=402.13 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 268645 0 0 0 39917 296 0 0 25 0 1 0 41841161 177946624 41444 1992294400 4194304 8223781 140736870350656 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 43444 41444 567 984 0 42457 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 173776 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8369 /proc/meminfo: memFree=1588676/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=173500 CPUtime=462.11 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 286812 0 0 0 45886 325 0 0 25 0 1 0 41841161 177664000 41456 1992294400 4194304 8223781 140736870350656 18446744073709551615 6044414 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 43375 41456 567 984 0 42388 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 173500 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8369 /proc/meminfo: memFree=1588552/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=173584 CPUtime=522.09 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 305723 0 0 0 51853 356 0 0 25 0 1 0 41841161 177750016 41485 1992294400 4194304 8223781 140736870350656 18446744073709551615 6048110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 43396 41485 567 984 0 42409 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 173584 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8371 /proc/meminfo: memFree=1589296/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=173328 CPUtime=582.07 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 322691 0 0 0 57821 386 0 0 25 0 1 0 41841161 177487872 41270 1992294400 4194304 8223781 140736870350656 18446744073709551615 6044414 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 43332 41270 567 984 0 42345 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 173328 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8373 /proc/meminfo: memFree=1588552/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=173700 CPUtime=642.05 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 338019 0 0 0 63791 414 0 0 25 0 1 0 41841161 177868800 41453 1992294400 4194304 8223781 140736870350656 18446744073709551615 6560166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 43425 41453 567 984 0 42438 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 173700 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8379 /proc/meminfo: memFree=1590288/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=171464 CPUtime=881.96 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 414111 0 0 0 87660 536 0 0 25 0 1 0 41841161 175579136 40922 1992294400 4194304 8223781 140736870350656 18446744073709551615 6614298 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42866 40922 575 984 0 41879 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 171464 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8381 /proc/meminfo: memFree=1590908/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=171068 CPUtime=941.94 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 479312 0 0 0 93615 579 0 0 25 0 1 0 41841161 175173632 40736 1992294400 4194304 8223781 140736870350656 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42767 40736 575 984 0 41780 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 171068 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8383 /proc/meminfo: memFree=1591652/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1001.92 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486835 0 0 0 99394 798 0 0 25 0 1 0 41841161 173019136 40450 1992294400 4194304 8223781 140736870350656 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40450 581 984 0 41254 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 168964 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8385 /proc/meminfo: memFree=1591528/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1061.89 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486835 0 0 0 105142 1047 0 0 25 0 1 0 41841161 173019136 40450 1992294400 4194304 8223781 140736870350656 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40450 581 984 0 41254 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 168964 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8385 /proc/meminfo: memFree=1591528/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1121.87 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486835 0 0 0 110890 1297 0 0 25 0 1 0 41841161 173019136 40450 1992294400 4194304 8223781 140736870350656 18446744073709551615 5918822 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40450 581 984 0 41254 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 168964 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8387 /proc/meminfo: memFree=1591404/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1181.85 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486835 0 0 0 116639 1546 0 0 25 0 1 0 41841161 173019136 40450 1992294400 4194304 8223781 140736870350656 18446744073709551615 5907509 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40450 581 984 0 41254 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 168964 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8389 /proc/meminfo: memFree=1591156/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1241.82 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486835 0 0 0 122380 1802 0 0 25 0 1 0 41841161 173019136 40450 1992294400 4194304 8223781 140736870350656 18446744073709551615 5507400 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40450 581 984 0 41254 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 168964 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8391 /proc/meminfo: memFree=1590908/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1301.81 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486835 0 0 0 128131 2050 0 0 25 0 1 0 41841161 173019136 40450 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40450 581 984 0 41254 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 168964 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8393 /proc/meminfo: memFree=1591032/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1361.78 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486835 0 0 0 133849 2329 0 0 25 0 1 0 41841161 173019136 40450 1992294400 4194304 8223781 140736870350656 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40450 581 984 0 41254 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 168964 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8395 /proc/meminfo: memFree=1590908/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1421.77 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486835 0 0 0 139571 2606 0 0 25 0 1 0 41841161 173019136 40450 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40450 581 984 0 41254 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 168964 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8395 /proc/meminfo: memFree=1590784/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1481.73 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486837 0 0 0 145279 2894 0 0 25 0 1 0 41841161 173019136 40452 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40452 581 984 0 41254 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 168964 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8397 /proc/meminfo: memFree=1590660/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1541.71 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486837 0 0 0 150986 3185 0 0 25 0 1 0 41841161 173019136 40452 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40452 581 984 0 41254 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 168964 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8399 /proc/meminfo: memFree=1590660/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1601.69 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486837 0 0 0 156697 3472 0 0 25 0 1 0 41841161 173019136 40452 1992294400 4194304 8223781 140736870350656 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40452 581 984 0 41254 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 168964 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8401 /proc/meminfo: memFree=1590536/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1661.67 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486837 0 0 0 162414 3753 0 0 25 0 1 0 41841161 173019136 40452 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40452 581 984 0 41254 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 168964 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8401 /proc/meminfo: memFree=1590288/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1721.65 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486837 0 0 0 168138 4027 0 0 25 0 1 0 41841161 173019136 40452 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40452 581 984 0 41254 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 168964 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8403 /proc/meminfo: memFree=1590040/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1781.62 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486837 0 0 0 173879 4283 0 0 25 0 1 0 41841161 173019136 40452 1992294400 4194304 8223781 140736870350656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40452 581 984 0 41254 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 168964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8405 /proc/meminfo: memFree=1590040/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=168964 CPUtime=1800.03 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486837 0 0 0 175637 4366 0 0 25 0 1 0 41841161 173019136 40452 1992294400 4194304 8223781 140736870350656 18446744073709551615 5907542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8356/statm: 42241 40452 581 984 0 41254 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 168964 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 8405 /proc/meminfo: memFree=1590040/2059040 swapFree=4140252/4192956 [pid=8356] ppid=8354 vsize=155048 CPUtime=1800.12 /proc/8356/stat : 8356 (pbscip.linux.x8) R 8354 8356 7185 0 -1 4202496 486841 0 0 0 175646 4366 0 0 25 0 1 0 41841161 158769152 37015 1992294400 4194304 8223781 140736870350656 18446744073709551615 5321857 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8356/statm: 38762 36982 585 984 0 37775 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 155048 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.23 CPU user time (s): 1756.54 CPU system time (s): 43.6874 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (KiB): 174772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1756.54 system time used= 43.6874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 486845 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= 4 involuntary context switches= 25092 runsolver used 3.13152 second user time and 8.37873 second system time The end
Begin job on node010 at 2010-06-16 06:26:35 IDJOB=2666686 IDBENCH=48199 IDSOLVER=1169 FILE ID=node010/2666686-1276662395 PBS_JOBID= 11172457 Free space on /tmp= 62532 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666686-1276662395/watcher-2666686-1276662395 -o /tmp/evaluation-result-2666686-1276662395/solver-2666686-1276662395 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666686-1276662395.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d487c80c335f688d99ca29b5d7c254e0 RANDOM SEED=1595896509 node010.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.267 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.53 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.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1754876 kB Buffers: 67756 kB Cached: 142904 kB SwapCached: 6296 kB Active: 97112 kB Inactive: 127020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1754876 kB SwapTotal: 4192956 kB SwapFree: 4140252 kB Dirty: 4908 kB Writeback: 4 kB AnonPages: 11720 kB Mapped: 13032 kB Slab: 58320 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181748 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= 62528 MiB End job on node010 at 2010-06-16 06:56:38