Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -16 | 3587.9 | 3597.21 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb |
| MD5SUM | 4558152054a2b5e07a56681a0171fc0f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -16 |
| Best CPU time to get the best result obtained on this benchmark | 17.9388 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4160 |
| Total number of constraints | 1744 |
| Number of constraints which are clauses | 1600 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 64 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 33 |
| Number of terms in the objective function | 1024 |
| 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 | 1024 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 32 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1024 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4519662-1751550339.opb>
0.00/0.01 c original problem has 4160 variables (4160 bin, 0 int, 0 impl, 0 cont) and 1744 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.02 c presolving:
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.05 c (0.0s) MILP presolver (3 rounds): 0 aggregations, 992 fixings, 0 bound changes
0.00/0.05 c (round 1, medium) 992 del vars, 1744 del conss, 1712 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.05 c (round 2, fast) 1024 del vars, 1776 del conss, 1712 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.06 c (round 3, exhaustive) 1024 del vars, 1776 del conss, 1712 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1135 upgd conss, 0 impls, 48 clqs
0.00/0.06 c (round 4, medium) 1024 del vars, 1808 del conss, 2736 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1135 upgd conss, 0 impls, 1072 clqs
0.00/0.07 c (round 5, exhaustive) 1024 del vars, 1808 del conss, 2736 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1604 upgd conss, 0 impls, 1072 clqs
0.00/0.07 c (round 6, exhaustive) 1024 del vars, 1808 del conss, 2736 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1680 upgd conss, 0 impls, 1072 clqs
0.00/0.09 c (0.1s) probing: 51/3136 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.09 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.10 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.13 c (0.1s) symmetry computation finished: 77 generators found (max: 1500, log10 of symmetry group size: 80.0) (symcode time: 0.03)
0.09/0.14 c dynamic symmetry handling statistics:
0.09/0.14 c orbitopal reduction: no components
0.09/0.14 c orbital reduction: 1 components of sizes 77
0.09/0.14 c lexicographic reduction: 77 permutations with support sizes 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 130, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 130, 194, 194
0.09/0.14 c handled 1 out of 1 symmetry components
0.09/0.14 c presolving (7 rounds: 7 fast, 6 medium, 4 exhaustive):
0.09/0.14 c 1024 deleted vars, 1808 deleted constraints, 2736 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 0 implications, 1072 cliques
0.09/0.14 c presolved problem has 3136 variables (3136 bin, 0 int, 0 impl, 0 cont) and 2672 constraints
0.09/0.14 c 1072 constraints of type <setppc>
0.09/0.14 c 1600 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.12
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 10.0.0
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.14 c limits/time = 3596.998029
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.14 c limits/memory = 27900
0.09/0.14 c
0.09/0.14 c # belongs reading time to solving time?
0.09/0.14 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c timing/reading = TRUE
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c transformed 1/1 original solutions to the transformed problem space
0.09/0.14 c
0.09/0.18 o -1
0.09/0.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.18 c p 0.2s| 1 | 0 | 34 | - | vbounds| 0 |3136 |2707 |2672 | 0 | 0 | 36 | 0 |-3.200000e+01 |-1.000000e+00 |3100.00%| unknown
0.30/0.35 c 0.3s| 1 | 0 | 2268 | - | 56M | 0 |3136 |2745 |2672 | 0 | 0 | 76 | 0 |-3.200000e+01 |-1.000000e+00 |3100.00%| unknown
0.30/0.36 o -2
0.30/0.36 c r 0.4s| 1 | 0 | 2268 | - |shifting| 0 |3136 |2745 |2672 | 0 | 0 | 76 | 0 |-3.200000e+01 |-2.000000e+00 |1500.00%| unknown
0.49/0.53 c 0.5s| 1 | 0 | 2492 | - | 59M | 0 |3136 |2745 |2687 | 15 | 1 | 76 | 0 |-3.200000e+01 |-2.000000e+00 |1500.00%| unknown
0.49/0.53 o -3
0.49/0.53 c r 0.5s| 1 | 0 | 2492 | - |shifting| 0 |3136 |2745 |2687 | 15 | 1 | 76 | 0 |-3.200000e+01 |-3.000000e+00 | 966.67%| unknown
0.58/0.67 c 0.7s| 1 | 0 | 2925 | - | 60M | 0 |3136 |2745 |2699 | 27 | 2 | 76 | 0 |-3.200000e+01 |-3.000000e+00 | 966.67%| unknown
0.78/0.81 c 0.8s| 1 | 0 | 3174 | - | 60M | 0 |3136 |2745 |2706 | 34 | 3 | 76 | 0 |-3.200000e+01 |-3.000000e+00 | 966.67%| unknown
0.88/0.95 c 0.9s| 1 | 0 | 3498 | - | 61M | 0 |3136 |2743 |2715 | 43 | 4 | 76 | 0 |-3.200000e+01 |-3.000000e+00 | 966.67%| unknown
1.08/1.11 c 1.1s| 1 | 0 | 3865 | - | 62M | 0 |3136 |2742 |2722 | 50 | 5 | 76 | 0 |-3.200000e+01 |-3.000000e+00 | 966.67%| unknown
1.28/1.31 c 1.3s| 1 | 0 | 4464 | - | 63M | 0 |3136 |2741 |2736 | 64 | 6 | 76 | 0 |-3.200000e+01 |-3.000000e+00 | 966.67%| unknown
1.38/1.44 c 1.4s| 1 | 0 | 4579 | - | 64M | 0 |3136 |2741 |2740 | 68 | 7 | 76 | 0 |-3.200000e+01 |-3.000000e+00 | 966.67%| unknown
1.58/1.66 c 1.7s| 1 | 0 | 5546 | - | 65M | 0 |3136 |2740 |2762 | 90 | 8 | 76 | 0 |-3.200000e+01 |-3.000000e+00 | 966.67%| unknown
1.68/1.77 c 1.8s| 1 | 0 | 5617 | - | 65M | 0 |3136 |2740 |2770 | 98 | 9 | 76 | 0 |-3.200000e+01 |-3.000000e+00 | 966.67%| unknown
1.87/1.91 c 1.9s| 1 | 0 | 5751 | - | 65M | 0 |3136 |2739 |2773 | 101 | 10 | 76 | 0 |-3.200000e+01 |-3.000000e+00 | 966.67%| unknown
1.87/1.93 c 1.9s| 1 | 0 | 5828 | - | 65M | 0 |3136 |2739 |2782 | 110 | 11 | 76 | 0 |-3.200000e+01 |-3.000000e+00 | 966.67%| unknown
1.87/1.93 o -4
1.87/1.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.87/1.93 c r 1.9s| 1 | 0 | 5828 | - |shifting| 0 |3136 |2739 |2782 | 110 | 11 | 76 | 0 |-3.200000e+01 |-4.000000e+00 | 700.00%| unknown
3.38/3.48 c 3.5s| 1 | 2 | 10951 | - | 67M | 0 |3136 |2851 |2782 | 110 | 11 | 189 | 19 |-3.200000e+01 |-4.000000e+00 | 700.00%| unknown
5.97/6.10 o -6
5.97/6.10 c r 6.1s| 11 | 10 | 16769 |1097.5 |shifting| 10 |3136 |2847 |2685 | 110 | 0 | 189 | 183 |-3.200000e+01 |-6.000000e+00 | 433.33%| unknown
6.07/6.15 o -7
6.07/6.15 c r 6.1s| 11 | 10 | 17247 |1145.3 |shifting| 10 |3136 |2847 |2706 | 131 | 1 | 189 | 183 |-3.200000e+01 |-7.000000e+00 | 357.14%| unknown
6.37/6.45 o -8
6.37/6.45 c * 6.4s| 14 | 13 | 17604 | 908.5 |strongbr| 13 |3136 |2899 |2705 | 139 | 3 | 242 | 254 |-3.200000e+01 |-8.000000e+00 | 300.00%| unknown
7.56/7.65 o -10
7.56/7.65 c r 7.6s| 22 | 17 | 21067 | 727.3 |shifting| 13 |3136 |2852 |2702 | 156 | 1 | 247 | 293 |-3.200000e+01 |-1.000000e+01 | 220.00%| 24.16%
16.02/16.16 o -11
16.02/16.16 c r16.2s| 49 | 43 | 32971 | 566.2 |shifting| 16 |3136 |2775 |2821 | 377 | 6 | 247 | 815 |-3.200000e+01 |-1.100000e+01 | 190.91%| 24.18%
20.65/20.83 o -13
20.65/20.83 c r20.8s| 77 | 63 | 37329 | 414.9 |shifting| 38 |3136 |2884 |2781 | 484 | 4 | 364 |1314 |-3.200000e+01 |-1.300000e+01 | 146.15%| 24.25%
24.11/24.37 c 24.4s| 100 | 78 | 42254 | 368.3 | 81M | 39 |3136 |2872 |2755 | 500 | 0 | 414 |1537 |-3.200000e+01 |-1.300000e+01 | 146.15%| 24.25%
28.59/28.80 o -14
28.59/28.80 c r28.8s| 151 | 103 | 67479 | 411.2 |shifting| 41 |3136 |2914 |2760 | 777 | 1 | 537 |1730 |-3.200000e+01 |-1.400000e+01 | 128.57%| 24.26%
31.38/31.64 c 31.6s| 200 | 134 | 83066 | 388.3 | 108M | 41 |3136 |3105 |2833 |1065 | 6 | 755 |1828 |-3.200000e+01 |-1.400000e+01 | 128.57%| 24.74%
36.47/36.76 o -16
36.47/36.76 c o36.8s| 237 | 161 |121671 | 491.0 |objpscos| 41 |3136 |2985 |2764 |1428 | 3 | 796 |1965 |-3.200000e+01 |-1.600000e+01 | 100.00%| 24.81%
41.16/41.40 c 41.4s| 300 | 205 |152306 | 490.0 | 119M | 41 |3136 |2996 |2704 |2080 | 1 | 817 |2200 |-3.200000e+01 |-1.600000e+01 | 100.00%| 24.88%
54.31/54.62 c 54.6s| 400 | 279 |232322 | 567.7 | 129M | 41 |3136 |3057 |2804 |3252 | 1 |1008 |2683 |-3.200000e+01 |-1.600000e+01 | 100.00%| 24.92%
66.47/66.82 c 66.8s| 500 | 367 |312142 | 613.9 | 134M | 41 |3136 |2867 |2727 |4648 | 1 |1090 |3164 |-3.200000e+01 |-1.600000e+01 | 100.00%| 25.01%
77.23/77.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
77.23/77.66 c 77.6s| 600 | 443 |371393 | 610.3 | 140M | 41 |3136 |2901 |2826 |5603 | 1 |1266 |3524 |-3.200000e+01 |-1.600000e+01 | 100.00%| 25.05%
94.38/94.84 c 94.8s| 700 | 509 |456615 | 645.0 | 146M | 52 |3136 |3002 |2771 |6477 | 1 |1449 |3922 |-3.200000e+01 |-1.600000e+01 | 100.00%| 25.17%
104.15/104.61 c 105s| 800 | 581 |507689 | 628.2 | 150M | 52 |3136 |2926 |2791 |7258 | 0 |1599 |4205 |-3.200000e+01 |-1.600000e+01 | 100.00%| 25.17%
113.22/113.72 c 114s| 900 | 673 |562967 | 619.8 | 152M | 52 |3136 |2835 |2753 |8148 | 1 |1664 |4581 |-3.200000e+01 |-1.600000e+01 | 100.00%| 25.25%
120.00/120.59 c 121s| 1000 | 763 |596289 | 591.1 | 155M | 52 |3136 |2859 |2832 |8828 | 1 |1725 |4770 |-3.200000e+01 |-1.600000e+01 | 100.00%| 25.25%
131.86/132.47 c 132s| 1100 | 849 |649663 | 585.9 | 162M | 52 |3136 |2912 |2835 |9518 | 1 |1815 |5068 |-3.200000e+01 |-1.600000e+01 | 100.00%| 25.25%
140.63/141.29 c 141s| 1200 | 921 |696189 | 575.8 | 165M | 52 |3136 |2883 |2790 | 10k| 1 |1918 |5436 |-3.200000e+01 |-1.600000e+01 | 100.00%| 27.77%
150.60/151.27 c 151s| 1300 | 1007 |750364 | 573.2 | 168M | 52 |3136 |2891 |2709 | 11k| 1 |2019 |5716 |-3.200000e+01 |-1.600000e+01 | 100.00%| 27.78%
162.17/162.83 c 163s| 1400 | 1085 |837439 | 594.5 | 172M | 52 |3136 |2842 |2707 | 12k| 1 |2104 |5867 |-3.200000e+01 |-1.600000e+01 | 100.00%| 28.30%
168.55/169.27 c 169s| 1500 | 1165 |905522 | 600.2 | 175M | 52 |3136 |2931 |2862 | 12k| 1 |2271 |5930 |-3.200000e+01 |-1.600000e+01 | 100.00%| 28.42%
178.42/179.12 c 179s| 1600 | 1235 |988862 | 614.8 | 184M | 52 |3136 |2914 |2780 | 13k| 1 |2453 |5969 |-3.200000e+01 |-1.600000e+01 | 100.00%| 28.90%
181.71/182.48 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
181.71/182.48 c (run 1, node 1663) performing user restart
181.71/182.48 c
181.71/182.48 c (restart) converted 14 cuts from the global cut pool into linear constraints
181.71/182.48 c
181.81/182.57 c presolving:
181.81/182.58 c (round 1, fast) 32 del vars, 21 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 31 chg coeffs, 0 upgd conss, 0 impls, 1102 clqs
181.81/182.59 c (round 2, medium) 33 del vars, 22 del conss, 0 add conss, 0 chg bounds, 109 chg sides, 140 chg coeffs, 0 upgd conss, 0 impls, 1101 clqs
181.91/182.60 c (round 3, exhaustive) 33 del vars, 22 del conss, 0 add conss, 0 chg bounds, 109 chg sides, 145 chg coeffs, 14 upgd conss, 0 impls, 1101 clqs
181.91/182.66 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
181.91/182.66 c 33 deleted vars, 22 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 109 changed sides, 213 changed coefficients
181.91/182.66 c 0 implications, 1101 cliques
181.91/182.66 c presolved problem has 3103 variables (3103 bin, 0 int, 0 impl, 0 cont) and 2963 constraints
181.91/182.66 c 26 constraints of type <knapsack>
181.91/182.66 c 1070 constraints of type <setppc>
181.91/182.66 c 3 constraints of type <linear>
181.91/182.66 c 1864 constraints of type <logicor>
181.91/182.66 c transformed objective value is always integral (scale: 1)
181.91/182.66 c Presolving Time: 0.22
181.91/182.68 c transformed 25/39 original solutions to the transformed problem space
181.91/182.68 c
182.01/182.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
182.01/182.77 c 183s| 1 | 0 | 1025k| - | 186M | 0 |3103 |2901 |2621 | 0 | 0 |2595 |5988 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
182.31/183.02 c 183s| 1 | 0 | 1025k| - | 186M | 0 |3103 |2901 |2647 | 26 | 1 |2595 |5988 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
182.41/183.11 c 183s| 1 | 0 | 1026k| - | 187M | 0 |3103 |2895 |2666 | 45 | 2 |2595 |5988 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
182.50/183.28 c 183s| 1 | 0 | 1026k| - | 187M | 0 |3103 |2889 |2677 | 56 | 3 |2595 |5988 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
182.70/183.40 c 183s| 1 | 0 | 1026k| - | 187M | 0 |3103 |2870 |2688 | 67 | 4 |2595 |5988 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
182.80/183.53 c 184s| 1 | 0 | 1026k| - | 188M | 0 |3103 |2832 |2700 | 79 | 5 |2595 |5988 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
183.01/183.72 c 184s| 1 | 0 | 1026k| - | 188M | 0 |3103 |2778 |2715 | 94 | 6 |2595 |5988 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
183.11/183.83 c 184s| 1 | 0 | 1026k| - | 188M | 0 |3103 |2745 |2728 | 107 | 7 |2595 |5988 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
183.31/184.06 c 184s| 1 | 0 | 1026k| - | 188M | 0 |3103 |2726 |2743 | 122 | 8 |2595 |5988 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
183.41/184.18 c 184s| 1 | 0 | 1027k| - | 188M | 0 |3103 |2709 |2756 | 135 | 9 |2595 |5988 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
183.61/184.36 c 184s| 1 | 0 | 1027k| - | 189M | 0 |3103 |2698 |2766 | 145 | 10 |2595 |5988 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
183.61/184.39 c 184s| 1 | 0 | 1027k| - | 189M | 0 |3103 |2693 |2774 | 153 | 11 |2595 |5988 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
184.90/185.69 c 186s| 1 | 2 | 1031k| - | 189M | 0 |3103 |2705 |2774 | 153 | 11 |2616 |6010 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
203.15/203.92 c 204s| 100 | 101 | 1060k| 596.7 | 196M | 43 |3103 |2751 |2648 | 612 | 1 |2693 |6675 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
205.94/206.76 c 207s| 200 | 201 | 1077k| 574.0 | 198M | 43 |3103 |2763 |2686 |1049 | 1 |2725 |6747 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
211.42/212.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
211.42/212.23 c 212s| 300 | 301 | 1113k| 562.8 | 200M | 43 |3103 |2817 |2688 |1656 | 1 |2817 |6833 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
214.61/215.43 c 215s| 400 | 401 | 1137k| 547.1 | 200M | 43 |3103 |2825 |2753 |1977 | 1 |2872 |6890 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
217.60/218.43 c 218s| 500 | 501 | 1159k| 532.2 | 200M | 43 |3103 |2885 |2697 |2264 | 1 |2997 |6925 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
221.09/221.91 c 222s| 600 | 601 | 1187k| 520.9 | 202M | 43 |3103 |2970 |2689 |2650 | 1 |3147 |6981 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
225.97/226.80 c 227s| 700 | 701 | 1222k| 513.8 | 202M | 43 |3103 |2904 |2703 |2995 | 1 |3213 |7081 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
228.37/229.26 c 229s| 800 | 801 | 1238k| 499.4 | 202M | 43 |3103 |2899 |2693 |3299 | 1 |3275 |7128 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
231.26/232.18 c 232s| 900 | 901 | 1256k| 487.0 | 203M | 43 |3103 |2844 |2680 |3768 | 1 |3320 |7209 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
236.44/237.32 c 237s| 1000 | 1001 | 1290k| 481.5 | 203M | 43 |3103 |2846 |2723 |4214 | 1 |3382 |7264 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
241.13/242.05 c 242s| 1100 | 1101 | 1325k| 476.6 | 204M | 43 |3103 |2859 |2721 |4680 | 1 |3445 |7352 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
245.41/246.38 c 246s| 1200 | 1201 | 1353k| 469.7 | 206M | 43 |3103 |2857 |2715 |5239 | 1 |3501 |7448 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
252.98/253.99 c 254s| 1300 | 1301 | 1413k| 474.0 | 207M | 43 |3103 |2858 |2768 |5810 | 3 |3597 |7499 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
258.47/259.49 c 259s| 1400 | 1401 | 1463k| 475.0 | 207M | 43 |3103 |2923 |2721 |6282 | 1 |3756 |7568 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
266.85/267.84 c 268s| 1500 | 1501 | 1524k| 479.3 | 208M | 43 |3103 |2912 |2676 |7030 | 1 |3833 |7711 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
270.44/271.49 c 271s| 1600 | 1601 | 1556k| 474.3 | 208M | 43 |3103 |2981 |2669 |7356 | 1 |4010 |7771 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
277.03/278.07 c 278s| 1700 | 1701 | 1613k| 477.2 | 208M | 43 |3103 |2953 |2705 |7847 | 1 |4100 |7870 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
282.61/283.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
282.61/283.69 c 284s| 1800 | 1801 | 1656k| 475.9 | 209M | 43 |3103 |2918 |2687 |8396 | 1 |4177 |7982 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
289.79/290.84 c 291s| 1900 | 1901 | 1722k| 481.1 | 209M | 43 |3103 |2935 |2664 |8862 | 1 |4298 |8055 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
293.18/294.24 c 294s| 2000 | 2001 | 1746k| 474.5 | 209M | 43 |3103 |2968 |2710 |9178 | 1 |4406 |8116 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
301.26/302.38 c 302s| 2100 | 2101 | 1821k| 481.9 | 210M | 43 |3103 |2941 |2711 |9844 | 1 |4540 |8217 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
309.44/310.58 c 311s| 2200 | 2201 | 1892k| 487.6 | 210M | 43 |3103 |2925 |2724 | 10k| 3 |4658 |8284 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
318.11/319.26 c 319s| 2300 | 2301 | 1970k| 495.2 | 211M | 43 |3103 |3071 |2697 | 10k| 1 |4968 |8384 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
328.39/329.51 c 330s| 2400 | 2401 | 2062k| 505.5 | 213M | 43 |3103 |3032 |2717 | 11k| 1 |5157 |8491 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
335.87/337.08 c 337s| 2500 | 2501 | 2123k| 508.0 | 214M | 43 |3103 |2920 |2692 | 12k| 1 |5246 |8604 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
341.86/343.04 c 343s| 2600 | 2601 | 2177k| 508.8 | 214M | 43 |3103 |2927 |2738 | 12k| 3 |5403 |8716 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
347.94/349.12 c 349s| 2700 | 2699 | 2234k| 510.2 | 215M | 43 |3103 |2940 |2651 | 13k| 1 |5560 |8806 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
354.02/355.24 c 355s| 2800 | 2795 | 2289k| 511.2 | 215M | 43 |3103 |2974 |2689 | 14k| 1 |5773 |8917 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
361.60/362.83 c 363s| 2900 | 2895 | 2361k| 515.6 | 215M | 43 |3103 |2963 |2700 | 14k| 1 |5935 |9016 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
368.79/370.00 c 370s| 3000 | 2995 | 2423k| 517.8 | 216M | 43 |3103 |3058 |2670 | 15k| 1 |6224 |9122 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
374.87/376.13 c 376s| 3100 | 3095 | 2474k| 517.8 | 216M | 43 |3103 |3031 |2668 | 15k| 1 |6364 |9253 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
382.25/383.53 c 384s| 3200 | 3195 | 2532k| 518.9 | 216M | 43 |3103 |3037 |2710 | 15k| 1 |6511 |9349 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
387.24/388.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
387.24/388.55 c 389s| 3300 | 3289 | 2572k| 516.7 | 217M | 44 |3103 |3028 |2720 | 16k| 1 |6618 |9444 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
392.92/394.28 c 394s| 3400 | 3385 | 2616k| 515.0 | 217M | 44 |3103 |2957 |2765 | 16k| 1 |6705 |9569 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
397.91/399.23 c 399s| 3500 | 3485 | 2661k| 513.8 | 219M | 44 |3103 |2939 |2722 | 17k| 1 |6818 |9625 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
403.29/404.64 c 405s| 3600 | 3585 | 2711k| 513.5 | 219M | 44 |3103 |2932 |2691 | 17k| 1 |6938 |9675 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
409.08/410.44 c 410s| 3700 | 3685 | 2766k| 514.2 | 220M | 44 |3103 |2950 |2721 | 18k| 1 |7055 |9700 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
415.16/416.51 c 417s| 3800 | 3785 | 2826k| 515.7 | 220M | 44 |3103 |2980 |2737 | 18k| 1 |7179 |9722 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
422.75/424.16 c 424s| 3900 | 3885 | 2894k| 518.9 | 220M | 44 |3103 |2931 |2639 | 18k| 1 |7259 |9770 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
430.83/432.25 c 432s| 4000 | 3983 | 2980k| 524.7 | 221M | 44 |3103 |2951 |2672 | 19k| 1 |7379 |9790 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
436.52/437.90 c 438s| 4100 | 4083 | 3040k| 526.0 | 223M | 44 |3103 |3079 |2713 | 19k| 2 |7644 |9806 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
444.20/445.60 c 446s| 4200 | 4183 | 3118k| 530.4 | 224M | 44 |3103 |3079 |2687 | 20k| 1 |7807 |9819 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
451.98/453.48 c 453s| 4300 | 4283 | 3203k| 535.7 | 224M | 44 |3103 |3046 |2710 | 21k| 1 |7978 |9833 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
459.95/461.47 c 461s| 4400 | 4383 | 3288k| 541.0 | 225M | 44 |3103 |3088 |2753 | 21k| 2 |8188 |9844 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
465.55/467.06 c 467s| 4500 | 4477 | 3351k| 542.4 | 226M | 44 |3103 |3142 |2741 | 22k| 1 |8377 |9850 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
469.63/471.12 c 471s| 4600 | 4575 | 3390k| 539.9 | 228M | 44 |3103 |3035 |2728 | 22k| 1 |8417 |9853 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
475.02/476.56 c 477s| 4700 | 4675 | 3441k| 539.6 | 228M | 44 |3103 |2964 |2697 | 23k| 1 |8454 |9857 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
479.51/481.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
479.51/481.07 c 481s| 4800 | 4773 | 3478k| 537.0 | 229M | 44 |3103 |2946 |2730 | 23k| 1 |8547 |9892 |-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
489.48/491.04 c 491s| 4900 | 4871 | 3555k| 540.5 | 230M | 44 |3103 |2846 |2689 | 24k| 1 |8608 | 10k|-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
498.75/500.34 c 500s| 5000 | 4971 | 3628k| 543.3 | 231M | 44 |3103 |2925 |2701 | 25k| 1 |8790 | 10k|-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
507.03/508.64 c 509s| 5100 | 5071 | 3690k| 544.4 | 231M | 44 |3103 |2851 |2701 | 26k| 1 |8850 | 10k|-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
516.21/517.85 c 518s| 5200 | 5171 | 3759k| 546.5 | 231M | 44 |3103 |2874 |2723 | 26k| 1 |8993 | 10k|-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
524.39/526.00 c 526s| 5300 | 5271 | 3820k| 547.5 | 233M | 44 |3103 |2892 |2711 | 27k| 1 |9120 | 10k|-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
532.27/533.99 c 534s| 5400 | 5371 | 3890k| 549.6 | 234M | 44 |3103 |2903 |2819 | 27k| 7 |9238 | 10k|-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
538.15/539.87 c 540s| 5500 | 5461 | 3933k| 548.0 | 236M | 44 |3103 |2899 |2716 | 28k| 1 |9332 | 10k|-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
549.12/550.81 c 551s| 5600 | 5555 | 4006k| 550.4 | 237M | 44 |3103 |2877 |2822 | 28k| 1 |9456 | 11k|-3.200000e+01 |-1.600000e+01 | 100.00%| unknown
554.52/556.24 c 556s| 5700 | 5651 | 4051k| 549.1 | 238M | 44 |3103 |2877 |2709 | 29k| 2 |9539 | 11k|-3.199572e+01 |-1.600000e+01 | 99.97%| unknown
563.89/565.67 c 566s| 5800 | 5751 | 4145k| 554.3 | 239M | 44 |3103 |2861 |2681 | 29k| 1 |9641 | 11k|-3.199572e+01 |-1.600000e+01 | 99.97%| unknown
573.07/574.89 c 575s| 5900 | 5837 | 4222k| 557.2 | 245M | 44 |3103 |2947 |2691 | 30k| 1 |9804 | 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
582.84/584.60 c 585s| 6000 | 5937 | 4285k| 558.2 | 245M | 44 |3103 |2937 |2695 | 31k| 1 |9922 | 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
592.72/594.54 c 595s| 6100 | 6033 | 4382k| 563.4 | 248M | 44 |3103 |2984 |2693 | 31k| 1 | 10k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
596.40/598.25 c 598s| 6200 | 6131 | 4416k| 560.7 | 248M | 44 |3103 |2951 |2708 | 32k| 1 | 10k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
603.98/605.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
603.98/605.85 c 606s| 6300 | 6223 | 4484k| 562.2 | 248M | 44 |3103 |2945 |2703 | 32k| 1 | 10k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
611.06/612.99 c 613s| 6400 | 6323 | 4546k| 562.8 | 248M | 44 |3103 |2926 |2716 | 33k| 1 | 10k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
620.84/622.79 c 623s| 6500 | 6419 | 4640k| 567.4 | 248M | 44 |3103 |2965 |2721 | 34k| 1 | 10k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
633.01/634.92 c 635s| 6600 | 6519 | 4748k| 573.7 | 248M | 44 |3103 |3012 |2745 | 35k| 1 | 10k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
640.69/642.61 c 643s| 6700 | 6611 | 4819k| 575.2 | 251M | 44 |3103 |3012 |2722 | 36k| 2 | 10k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
648.47/650.47 c 650s| 6800 | 6705 | 4896k| 577.6 | 251M | 44 |3103 |3108 |2699 | 37k| 1 | 10k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
656.16/658.18 c 658s| 6900 | 6805 | 4974k| 579.9 | 254M | 44 |3103 |3149 |2709 | 37k| 2 | 11k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
665.53/667.55 c 668s| 7000 | 6901 | 5070k| 584.3 | 254M | 44 |3103 |3122 |2707 | 38k| 1 | 11k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
674.51/676.57 c 677s| 7100 | 7001 | 5159k| 587.8 | 254M | 44 |3103 |3081 |2754 | 39k| 1 | 11k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
681.19/683.28 c 683s| 7200 | 7093 | 5213k| 587.3 | 255M | 44 |3103 |3036 |2716 | 40k| 1 | 11k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
688.87/690.93 c 691s| 7300 | 7193 | 5274k| 587.6 | 258M | 44 |3103 |2965 |2688 | 40k| 1 | 11k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
696.85/698.91 c 699s| 7400 | 7289 | 5342k| 588.6 | 258M | 44 |3103 |3044 |2733 | 41k| 1 | 11k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
702.63/704.78 c 705s| 7500 | 7383 | 5385k| 586.8 | 259M | 45 |3103 |3024 |2785 | 41k| 1 | 11k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
711.92/714.09 c 714s| 7600 | 7483 | 5459k| 588.5 | 260M | 45 |3103 |2968 |2736 | 42k| 2 | 11k| 11k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
722.68/724.89 c 725s| 7700 | 7577 | 5530k| 589.8 | 260M | 45 |3103 |2945 |2812 | 43k| 1 | 12k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
735.05/737.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
735.05/737.23 c 737s| 7800 | 7675 | 5627k| 593.8 | 260M | 45 |3103 |2847 |2707 | 43k| 1 | 12k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
746.82/749.05 c 749s| 7900 | 7773 | 5715k| 596.7 | 260M | 45 |3103 |2876 |2723 | 44k| 2 | 12k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
758.19/760.48 c 760s| 8000 | 7873 | 5788k| 598.1 | 260M | 45 |3103 |2819 |2735 | 45k| 1 | 12k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
768.26/770.54 c 771s| 8100 | 7973 | 5855k| 598.9 | 260M | 45 |3103 |2794 |2730 | 45k| 1 | 12k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
779.34/781.63 c 782s| 8200 | 8071 | 5939k| 601.4 | 261M | 45 |3103 |2841 |2736 | 46k| 1 | 12k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
790.41/792.74 c 793s| 8300 | 8171 | 6022k| 603.6 | 261M | 45 |3103 |2898 |2790 | 46k| 1 | 12k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
802.18/804.55 c 805s| 8400 | 8269 | 6104k| 605.8 | 261M | 45 |3103 |2865 |2677 | 47k| 1 | 12k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
812.66/815.03 c 815s| 8500 | 8369 | 6194k| 608.7 | 262M | 45 |3103 |2872 |2683 | 47k| 1 | 12k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
821.93/824.34 c 824s| 8600 | 8463 | 6284k| 611.5 | 263M | 45 |3103 |2946 |2723 | 48k| 1 | 12k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
830.30/832.75 c 833s| 8700 | 8563 | 6365k| 613.5 | 263M | 45 |3103 |2945 |2713 | 49k| 1 | 12k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
839.99/842.40 c 842s| 8800 | 8655 | 6460k| 616.7 | 263M | 45 |3103 |2960 |2702 | 49k| 1 | 13k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
849.27/851.74 c 852s| 8900 | 8755 | 6544k| 618.8 | 264M | 45 |3103 |2931 |2679 | 49k| 1 | 13k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
856.75/859.20 c 859s| 9000 | 8851 | 6613k| 619.4 | 268M | 45 |3103 |2962 |2712 | 50k| 1 | 13k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
866.12/868.63 c 869s| 9100 | 8949 | 6700k| 621.8 | 272M | 45 |3103 |2983 |2693 | 51k| 1 | 13k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
874.70/877.29 c 877s| 9200 | 9049 | 6782k| 623.5 | 272M | 45 |3103 |3048 |2717 | 52k| 1 | 13k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
885.57/888.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
885.57/888.14 c 888s| 9300 | 9147 | 6883k| 627.1 | 272M | 45 |3103 |3085 |2718 | 52k| 1 | 13k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
894.34/896.93 c 897s| 9400 | 9245 | 6967k| 629.0 | 274M | 45 |3103 |3059 |2693 | 53k| 1 | 13k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
902.02/904.66 c 905s| 9500 | 9343 | 7039k| 629.9 | 274M | 45 |3103 |3023 |2694 | 54k| 1 | 13k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
907.81/910.40 c 910s| 9600 | 9443 | 7096k| 629.3 | 274M | 45 |3103 |3033 |2701 | 55k| 1 | 13k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
913.10/915.75 c 916s| 9700 | 9541 | 7146k| 628.1 | 275M | 45 |3103 |2995 |2708 | 55k| 1 | 13k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
926.06/928.78 c 929s| 9800 | 9639 | 7261k| 632.7 | 277M | 45 |3103 |2985 |2720 | 56k| 1 | 14k| 12k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
933.74/936.45 c 936s| 9900 | 9737 | 7324k| 632.7 | 277M | 45 |3103 |3026 |2710 | 57k| 1 | 14k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
939.73/942.45 c 942s| 10000 | 9837 | 7370k| 631.2 | 278M | 45 |3103 |3036 |2698 | 57k| 1 | 14k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
946.11/948.84 c 949s| 10100 | 9937 | 7421k| 630.2 | 278M | 45 |3103 |2989 |2663 | 58k| 1 | 14k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
953.40/956.11 c 956s| 10200 | 10035 | 7479k| 629.7 | 278M | 45 |3103 |2963 |2734 | 58k| 1 | 14k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
960.68/963.48 c 963s| 10300 | 10129 | 7531k| 628.9 | 282M | 45 |3103 |2942 |2743 | 59k| 1 | 14k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
973.65/976.44 c 976s| 10400 | 10229 | 7638k| 632.5 | 283M | 45 |3103 |2970 |2708 | 60k| 1 | 14k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
986.12/989.00 c 989s| 10500 | 10329 | 7739k| 635.6 | 283M | 45 |3103 |2953 |3020 | 61k| 13 | 14k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
994.49/997.34 c 997s| 10600 | 10429 | 7809k| 636.1 | 283M | 45 |3103 |2901 |2683 | 62k| 1 | 14k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
998.19/1001.06 c 1001s| 10700 | 10525 | 7838k| 633.3 | 285M | 45 |3103 |2852 |2742 | 62k| 1 | 14k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
1005.77/1008.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1005.77/1008.62 c 1009s| 10800 | 10623 | 7907k| 633.8 | 285M | 45 |3103 |2845 |2682 | 63k| 1 | 14k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
1010.16/1013.05 c 1013s| 10900 | 10721 | 7946k| 631.9 | 285M | 45 |3103 |2814 |2746 | 63k| 1 | 14k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
1015.44/1018.35 c 1018s| 11000 | 10821 | 7993k| 630.6 | 285M | 45 |3103 |2867 |2718 | 64k| 1 | 14k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
1023.72/1026.66 c 1027s| 11100 | 10917 | 8061k| 631.0 | 285M | 45 |3103 |2899 |2730 | 65k| 1 | 15k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
1032.89/1035.89 c 1036s| 11200 | 11017 | 8135k| 631.8 | 285M | 45 |3103 |2864 |2667 | 65k| 1 | 15k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
1044.17/1047.14 c 1047s| 11300 | 11117 | 8224k| 633.8 | 285M | 45 |3103 |2875 |2712 | 66k| 1 | 15k| 13k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
1053.94/1056.90 c 1057s| 11400 | 11217 | 8283k| 633.5 | 285M | 45 |3103 |2852 |2707 | 66k| 1 | 15k| 14k|-3.196774e+01 |-1.600000e+01 | 99.80%| unknown
1066.01/1069.06 c 1069s| 11500 | 11317 | 8393k| 637.0 | 285M | 45 |3103 |2909 |2720 | 66k| 1 | 15k| 14k|-3.196773e+01 |-1.600000e+01 | 99.80%| unknown
1070.80/1073.88 c 1074s| 11600 | 11415 | 8434k| 635.3 | 285M | 45 |3103 |2921 |2723 | 67k| 1 | 15k| 14k|-3.196773e+01 |-1.600000e+01 | 99.80%| unknown
1078.28/1081.37 c 1081s| 11700 | 11515 | 8497k| 635.3 | 287M | 45 |3103 |2988 |2723 | 68k| 1 | 15k| 14k|-3.196773e+01 |-1.600000e+01 | 99.80%| unknown
1085.26/1088.33 c 1088s| 11800 | 11613 | 8567k| 635.8 | 287M | 45 |3103 |2971 |2723 | 69k| 1 | 15k| 14k|-3.196773e+01 |-1.600000e+01 | 99.80%| unknown
1091.74/1094.88 c 1095s| 11900 | 11711 | 8620k| 635.0 | 287M | 45 |3103 |2957 |2721 | 69k| 1 | 15k| 14k|-3.196763e+01 |-1.600000e+01 | 99.80%| unknown
1104.71/1107.80 c 1108s| 12000 | 11811 | 8730k| 638.3 | 287M | 45 |3103 |2934 |2747 | 70k| 1 | 15k| 14k|-3.196726e+01 |-1.600000e+01 | 99.80%| unknown
1117.18/1120.38 c 1120s| 12100 | 11911 | 8853k| 642.6 | 287M | 45 |3103 |2996 |2688 | 71k| 1 | 15k| 14k|-3.196723e+01 |-1.600000e+01 | 99.80%| unknown
1123.87/1127.07 c 1127s| 12200 | 12007 | 8920k| 642.8 | 287M | 45 |3103 |3083 |2693 | 71k| 1 | 16k| 14k|-3.196723e+01 |-1.600000e+01 | 99.80%| unknown
1134.04/1137.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1134.04/1137.22 c 1137s| 12300 | 12107 | 9015k| 645.0 | 288M | 45 |3103 |3022 |2744 | 72k| 2 | 16k| 14k|-3.196723e+01 |-1.600000e+01 | 99.80%| unknown
1139.42/1142.66 c 1143s| 12400 | 12207 | 9061k| 643.7 | 288M | 45 |3103 |2979 |2687 | 73k| 1 | 16k| 14k|-3.196723e+01 |-1.600000e+01 | 99.80%| unknown
1148.80/1152.07 c 1152s| 12500 | 12305 | 9155k| 645.8 | 289M | 45 |3103 |3023 |2722 | 73k| 1 | 16k| 14k|-3.196723e+01 |-1.600000e+01 | 99.80%| unknown
1156.18/1159.40 c 1159s| 12600 | 12405 | 9216k| 645.6 | 289M | 45 |3103 |3001 |2713 | 74k| 1 | 16k| 14k|-3.196723e+01 |-1.600000e+01 | 99.80%| unknown
1162.87/1166.19 c 1166s| 12700 | 12505 | 9282k| 645.7 | 290M | 45 |3103 |3024 |2685 | 74k| 1 | 16k| 14k|-3.196723e+01 |-1.600000e+01 | 99.80%| unknown
1173.93/1177.29 c 1177s| 12800 | 12605 | 9387k| 648.5 | 290M | 45 |3103 |2992 |2734 | 75k| 1 | 16k| 14k|-3.196723e+01 |-1.600000e+01 | 99.80%| unknown
1184.51/1187.89 c 1188s| 12900 | 12703 | 9487k| 650.9 | 290M | 45 |3103 |2980 |2713 | 75k| 1 | 16k| 14k|-3.196723e+01 |-1.600000e+01 | 99.80%| unknown
1195.78/1199.18 c 1199s| 13000 | 12803 | 9590k| 653.5 | 290M | 45 |3103 |2988 |2706 | 76k| 1 | 16k| 14k|-3.196723e+01 |-1.600000e+01 | 99.80%| unknown
1211.64/1215.07 c 1215s| 13100 | 12903 | 9729k| 658.5 | 290M | 45 |3103 |2902 |2745 | 77k| 1 | 16k| 14k|-3.196654e+01 |-1.600000e+01 | 99.79%| unknown
1222.21/1225.65 c 1226s| 13200 | 12993 | 9819k| 660.1 | 291M | 45 |3103 |2986 |2698 | 77k| 1 | 16k| 14k|-3.196654e+01 |-1.600000e+01 | 99.79%| unknown
1230.79/1234.26 c 1234s| 13300 | 13093 | 9884k| 660.0 | 291M | 45 |3103 |2971 |2729 | 78k| 1 | 16k| 14k|-3.196654e+01 |-1.600000e+01 | 99.79%| unknown
1243.46/1246.92 c 1247s| 13400 | 13189 | 9977k| 661.8 | 292M | 45 |3103 |2869 |2751 | 78k| 1 | 16k| 14k|-3.196654e+01 |-1.600000e+01 | 99.79%| unknown
1251.44/1254.97 c 1255s| 13500 | 13289 | 10033k| 661.2 | 292M | 45 |3103 |2875 |2684 | 79k| 1 | 17k| 14k|-3.196654e+01 |-1.600000e+01 | 99.79%| unknown
1265.51/1269.04 c 1269s| 13600 | 13385 | 10144k| 664.1 | 292M | 45 |3103 |2904 |2773 | 80k| 1 | 17k| 14k|-3.196654e+01 |-1.600000e+01 | 99.79%| unknown
1277.37/1280.99 c 1281s| 13700 | 13485 | 10244k| 666.3 | 292M | 45 |3103 |2890 |2686 | 81k| 1 | 17k| 15k|-3.196654e+01 |-1.600000e+01 | 99.79%| unknown
1285.15/1288.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1285.15/1288.71 c 1289s| 13800 | 13585 | 10309k| 666.2 | 292M | 45 |3103 |2966 |2679 | 81k| 1 | 17k| 15k|-3.196654e+01 |-1.600000e+01 | 99.79%| unknown
1296.53/1300.15 c 1300s| 13900 | 13685 | 10404k| 668.0 | 294M | 45 |3103 |3006 |2660 | 82k| 1 | 17k| 15k|-3.196654e+01 |-1.600000e+01 | 99.79%| unknown
1307.19/1310.89 c 1311s| 14000 | 13781 | 10492k| 669.3 | 297M | 45 |3103 |3019 |2793 | 82k| 1 | 17k| 15k|-3.196620e+01 |-1.600000e+01 | 99.79%| unknown
1318.27/1321.90 c 1322s| 14100 | 13881 | 10587k| 671.1 | 298M | 45 |3103 |2990 |2693 | 83k| 1 | 17k| 15k|-3.196620e+01 |-1.600000e+01 | 99.79%| unknown
1329.04/1332.74 c 1333s| 14200 | 13977 | 10683k| 673.0 | 298M | 45 |3103 |2962 |2660 | 84k| 1 | 17k| 15k|-3.196620e+01 |-1.600000e+01 | 99.79%| unknown
1339.42/1343.14 c 1343s| 14300 | 14073 | 10772k| 674.3 | 298M | 45 |3103 |2953 |2689 | 84k| 1 | 17k| 15k|-3.196620e+01 |-1.600000e+01 | 99.79%| unknown
1350.48/1354.26 c 1354s| 14400 | 14173 | 10880k| 676.9 | 299M | 45 |3103 |2969 |2711 | 85k| 1 | 17k| 15k|-3.196620e+01 |-1.600000e+01 | 99.79%| unknown
1358.56/1362.36 c 1362s| 14500 | 14269 | 10958k| 677.5 | 299M | 45 |3103 |3002 |2687 | 85k| 1 | 17k| 15k|-3.196620e+01 |-1.600000e+01 | 99.79%| unknown
1375.23/1379.01 c 1379s| 14600 | 14369 | 11104k| 682.3 | 299M | 45 |3103 |3029 |2684 | 86k| 1 | 18k| 15k|-3.196551e+01 |-1.600000e+01 | 99.78%| unknown
1387.39/1391.25 c 1391s| 14700 | 14465 | 11210k| 684.6 | 299M | 45 |3103 |3027 |2732 | 87k| 1 | 18k| 15k|-3.196514e+01 |-1.600000e+01 | 99.78%| unknown
1399.86/1403.79 c 1404s| 14800 | 14563 | 11321k| 687.2 | 300M | 45 |3103 |3017 |2726 | 87k| 1 | 18k| 15k|-3.196502e+01 |-1.600000e+01 | 99.78%| unknown
1413.03/1416.98 c 1417s| 14900 | 14663 | 11443k| 690.4 | 301M | 45 |3103 |3002 |2712 | 88k| 1 | 18k| 15k|-3.196502e+01 |-1.600000e+01 | 99.78%| unknown
1425.39/1429.32 c 1429s| 15000 | 14747 | 11551k| 692.8 | 301M | 45 |3103 |3030 |2736 | 89k| 1 | 18k| 15k|-3.196136e+01 |-1.600000e+01 | 99.76%| unknown
1432.58/1436.51 c 1437s| 15100 | 14843 | 11617k| 692.5 | 302M | 45 |3103 |3068 |2762 | 89k| 4 | 18k| 15k|-3.196136e+01 |-1.600000e+01 | 99.76%| unknown
1442.85/1446.80 c 1447s| 15200 | 14941 | 11715k| 694.3 | 302M | 45 |3103 |3066 |2753 | 90k| 2 | 18k| 15k|-3.196136e+01 |-1.600000e+01 | 99.76%| unknown
1451.23/1455.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1451.23/1455.25 c 1455s| 15300 | 15037 | 11792k| 694.7 | 302M | 45 |3103 |3056 |2671 | 91k| 1 | 18k| 15k|-3.196136e+01 |-1.600000e+01 | 99.76%| unknown
1464.79/1468.86 c 1469s| 15400 | 15127 | 11909k| 697.5 | 302M | 45 |3103 |3085 |2781 | 92k| 1 | 18k| 15k|-3.195522e+01 |-1.600000e+01 | 99.72%| unknown
1473.47/1477.50 c 1477s| 15500 | 15225 | 11991k| 698.2 | 302M | 45 |3103 |3118 |2734 | 92k| 2 | 19k| 15k|-3.195522e+01 |-1.600000e+01 | 99.72%| unknown
1491.43/1495.59 c 1496s| 15600 | 15315 | 12137k| 702.6 | 304M | 45 |3103 |3033 |2723 | 93k| 1 | 19k| 15k|-3.195522e+01 |-1.600000e+01 | 99.72%| unknown
1502.80/1506.92 c 1507s| 15700 | 15413 | 12228k| 703.8 | 306M | 45 |3103 |3001 |2673 | 94k| 1 | 19k| 15k|-3.195313e+01 |-1.600000e+01 | 99.71%| unknown
1515.97/1520.18 c 1520s| 15800 | 15511 | 12323k| 705.2 | 307M | 45 |3103 |2949 |2718 | 95k| 1 | 19k| 15k|-3.195308e+01 |-1.600000e+01 | 99.71%| unknown
1522.15/1526.34 c 1526s| 15900 | 15611 | 12371k| 703.9 | 307M | 45 |3103 |2921 |2695 | 96k| 1 | 19k| 15k|-3.195308e+01 |-1.600000e+01 | 99.71%| unknown
1529.13/1533.31 c 1533s| 16000 | 15709 | 12422k| 702.8 | 307M | 45 |3103 |2872 |2836 | 96k| 3 | 19k| 16k|-3.195308e+01 |-1.600000e+01 | 99.71%| unknown
1536.22/1540.42 c 1540s| 16100 | 15809 | 12485k| 702.4 | 307M | 45 |3103 |2917 |2713 | 97k| 1 | 19k| 16k|-3.195308e+01 |-1.600000e+01 | 99.71%| unknown
1541.60/1545.88 c 1546s| 16200 | 15907 | 12528k| 700.9 | 307M | 45 |3103 |2907 |2774 | 97k| 0 | 19k| 16k|-3.195263e+01 |-1.600000e+01 | 99.70%| unknown
1548.98/1553.25 c 1553s| 16300 | 15997 | 12594k| 700.7 | 308M | 45 |3103 |2940 |2742 | 98k| 2 | 19k| 16k|-3.195263e+01 |-1.600000e+01 | 99.70%| unknown
1560.55/1564.80 c 1565s| 16400 | 16097 | 12689k| 702.0 | 308M | 45 |3103 |2939 |2753 | 99k| 1 | 19k| 16k|-3.195263e+01 |-1.600000e+01 | 99.70%| unknown
1572.42/1576.77 c 1577s| 16500 | 16197 | 12787k| 703.6 | 308M | 45 |3103 |3026 |2717 | 100k| 1 | 19k| 16k|-3.195263e+01 |-1.600000e+01 | 99.70%| unknown
1584.10/1588.44 c 1588s| 16600 | 16297 | 12891k| 705.4 | 308M | 45 |3103 |3056 |2739 | 101k| 1 | 19k| 16k|-3.194974e+01 |-1.600000e+01 | 99.69%| unknown
1592.27/1596.60 c 1597s| 16700 | 16397 | 12963k| 705.5 | 308M | 45 |3103 |3080 |2679 | 101k| 1 | 19k| 16k|-3.194974e+01 |-1.600000e+01 | 99.69%| unknown
1603.75/1608.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1603.75/1608.11 c 1608s| 16800 | 16493 | 13061k| 707.0 | 308M | 45 |3103 |3019 |2724 | 102k| 1 | 20k| 16k|-3.194848e+01 |-1.600000e+01 | 99.68%| unknown
1613.63/1618.03 c 1618s| 16900 | 16587 | 13141k| 707.5 | 309M | 45 |3103 |2970 |2702 | 103k| 1 | 20k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1625.49/1629.91 c 1630s| 17000 | 16687 | 13247k| 709.4 | 309M | 45 |3103 |2949 |2806 | 103k| 1 | 20k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1630.78/1635.28 c 1635s| 17100 | 16785 | 13293k| 708.1 | 309M | 45 |3103 |2927 |2729 | 104k| 1 | 20k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1636.96/1641.43 c 1641s| 17200 | 16881 | 13353k| 707.5 | 309M | 45 |3103 |2917 |2674 | 104k| 1 | 20k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1647.04/1651.52 c 1652s| 17300 | 16981 | 13440k| 708.3 | 310M | 45 |3103 |2946 |2742 | 105k| 1 | 20k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1658.21/1662.76 c 1663s| 17400 | 17081 | 13529k| 709.3 | 310M | 45 |3103 |2973 |2670 | 105k| 1 | 20k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1666.98/1671.53 c 1672s| 17500 | 17181 | 13603k| 709.5 | 310M | 45 |3103 |2965 |2730 | 106k| 1 | 20k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1676.76/1681.39 c 1681s| 17600 | 17279 | 13684k| 710.0 | 311M | 45 |3103 |2986 |2694 | 107k| 1 | 20k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1691.32/1695.95 c 1696s| 17700 | 17379 | 13804k| 712.5 | 311M | 45 |3103 |2972 |2700 | 107k| 1 | 20k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1697.60/1702.28 c 1702s| 17800 | 17477 | 13857k| 711.6 | 312M | 45 |3103 |2956 |2703 | 108k| 1 | 20k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1707.48/1712.18 c 1712s| 17900 | 17577 | 13946k| 712.5 | 312M | 45 |3103 |3007 |2761 | 108k| 1 | 20k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1719.65/1724.31 c 1724s| 18000 | 17677 | 14059k| 714.6 | 312M | 45 |3103 |2978 |2736 | 109k| 1 | 20k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1730.32/1735.06 c 1735s| 18100 | 17773 | 14158k| 716.0 | 313M | 45 |3103 |3048 |2691 | 109k| 1 | 21k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1741.09/1745.82 c 1746s| 18200 | 17861 | 14262k| 717.6 | 313M | 45 |3103 |3086 |2802 | 110k| 1 | 21k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1755.36/1760.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1755.36/1760.14 c 1760s| 18300 | 17957 | 14390k| 720.4 | 316M | 45 |3103 |3094 |2738 | 111k| 1 | 21k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1767.12/1771.98 c 1772s| 18400 | 18057 | 14499k| 722.3 | 316M | 45 |3103 |3043 |2806 | 112k| 5 | 21k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1776.00/1780.84 c 1781s| 18500 | 18153 | 14575k| 722.5 | 317M | 45 |3103 |3060 |2774 | 113k| 1 | 21k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1784.18/1789.02 c 1789s| 18600 | 18247 | 14638k| 722.0 | 317M | 45 |3103 |3002 |2778 | 113k| 1 | 21k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1793.16/1798.02 c 1798s| 18700 | 18341 | 14704k| 721.7 | 317M | 45 |3103 |2980 |2777 | 114k| 2 | 21k| 16k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1801.83/1806.71 c 1807s| 18800 | 18439 | 14768k| 721.3 | 318M | 45 |3103 |2951 |2732 | 115k| 1 | 21k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1811.81/1816.76 c 1817s| 18900 | 18539 | 14849k| 721.7 | 318M | 45 |3103 |2898 |2667 | 116k| 1 | 21k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1818.19/1823.19 c 1823s| 19000 | 18633 | 14904k| 720.9 | 319M | 45 |3103 |2925 |2686 | 116k| 1 | 21k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1825.47/1830.49 c 1830s| 19100 | 18731 | 14962k| 720.2 | 319M | 45 |3103 |2933 |2751 | 117k| 1 | 21k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1832.75/1837.76 c 1838s| 19200 | 18827 | 15019k| 719.5 | 320M | 45 |3103 |2923 |2744 | 118k| 1 | 21k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1842.03/1847.06 c 1847s| 19300 | 18923 | 15102k| 720.0 | 320M | 45 |3103 |2954 |2816 | 119k| 1 | 22k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1850.41/1855.49 c 1855s| 19400 | 19019 | 15158k| 719.3 | 320M | 49 |3103 |2935 |2722 | 120k| 1 | 22k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1858.78/1863.82 c 1864s| 19500 | 19119 | 15230k| 719.3 | 320M | 49 |3103 |2957 |2712 | 120k| 1 | 22k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1872.06/1877.12 c 1877s| 19600 | 19219 | 15343k| 721.2 | 320M | 49 |3103 |3008 |2805 | 121k| 5 | 22k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1884.72/1889.83 c 1890s| 19700 | 19319 | 15458k| 723.2 | 320M | 49 |3103 |3059 |2706 | 122k| 1 | 22k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1890.11/1895.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1890.11/1895.26 c 1895s| 19800 | 19417 | 15510k| 722.3 | 321M | 49 |3103 |3065 |2737 | 122k| 1 | 22k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1897.29/1902.46 c 1902s| 19900 | 19513 | 15577k| 722.0 | 322M | 49 |3103 |3043 |2721 | 123k| 2 | 22k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1904.37/1909.55 c 1910s| 20000 | 19613 | 15627k| 721.0 | 323M | 49 |3103 |3013 |2692 | 124k| 1 | 22k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1916.24/1921.46 c 1921s| 20100 | 19713 | 15728k| 722.3 | 323M | 49 |3103 |3003 |2698 | 125k| 1 | 22k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1932.10/1937.31 c 1937s| 20200 | 19813 | 15859k| 725.0 | 323M | 49 |3103 |2998 |2780 | 127k| 1 | 22k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1939.38/1944.69 c 1945s| 20300 | 19907 | 15917k| 724.4 | 325M | 49 |3103 |2974 |2755 | 128k| 1 | 22k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1951.55/1956.81 c 1957s| 20400 | 20003 | 16021k| 725.8 | 325M | 49 |3103 |2972 |2761 | 129k| 2 | 22k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1961.13/1966.49 c 1966s| 20500 | 20095 | 16111k| 726.6 | 326M | 51 |3103 |3064 |2815 | 129k| 1 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1972.40/1977.75 c 1978s| 20600 | 20193 | 16200k| 727.3 | 327M | 51 |3103 |3006 |2745 | 130k| 1 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1983.57/1988.91 c 1989s| 20700 | 20283 | 16293k| 728.2 | 327M | 51 |3103 |2953 |2736 | 131k| 1 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1992.25/1997.65 c 1998s| 20800 | 20379 | 16363k| 728.1 | 327M | 51 |3103 |2940 |2864 | 132k| 4 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
1999.33/2004.76 c 2005s| 20900 | 20479 | 16423k| 727.5 | 328M | 51 |3103 |2947 |2734 | 133k| 2 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2005.91/2011.30 c 2011s| 21000 | 20571 | 16476k| 726.7 | 330M | 51 |3103 |2924 |2691 | 133k| 1 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2014.19/2019.65 c 2020s| 21100 | 20667 | 16543k| 726.4 | 330M | 51 |3103 |2952 |2698 | 134k| 1 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2019.98/2025.46 c 2025s| 21200 | 20767 | 16595k| 725.5 | 330M | 51 |3103 |2959 |2799 | 135k| 4 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2024.67/2030.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2024.67/2030.13 c 2030s| 21300 | 20859 | 16638k| 724.2 | 330M | 51 |3103 |2984 |2692 | 135k| 1 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2033.95/2039.48 c 2039s| 21400 | 20955 | 16725k| 724.8 | 330M | 51 |3103 |3009 |2752 | 136k| 2 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2041.13/2046.68 c 2047s| 21500 | 21055 | 16788k| 724.4 | 331M | 51 |3103 |3077 |2710 | 136k| 1 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2051.90/2057.40 c 2057s| 21600 | 21155 | 16879k| 725.3 | 331M | 51 |3103 |3049 |2700 | 137k| 1 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2059.98/2065.51 c 2066s| 21700 | 21255 | 16947k| 725.0 | 331M | 51 |3103 |3054 |2739 | 138k| 1 | 23k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2073.94/2079.56 c 2080s| 21800 | 21355 | 17065k| 727.0 | 332M | 51 |3103 |3064 |2719 | 139k| 1 | 24k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2087.21/2092.80 c 2093s| 21900 | 21453 | 17187k| 729.1 | 332M | 51 |3103 |3014 |2749 | 140k| 1 | 24k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2094.89/2100.50 c 2100s| 22000 | 21553 | 17248k| 728.6 | 332M | 51 |3103 |2991 |2766 | 141k| 1 | 24k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2102.87/2108.57 c 2109s| 22100 | 21653 | 17316k| 728.4 | 332M | 51 |3103 |2988 |2765 | 141k| 1 | 24k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2108.86/2114.51 c 2115s| 22200 | 21745 | 17361k| 727.2 | 333M | 51 |3103 |2986 |2768 | 142k| 1 | 24k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2120.53/2126.24 c 2126s| 22300 | 21845 | 17462k| 728.4 | 333M | 51 |3103 |2931 |2786 | 143k| 1 | 24k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2129.90/2135.66 c 2136s| 22400 | 21941 | 17538k| 728.5 | 334M | 51 |3103 |2969 |2793 | 144k| 1 | 24k| 17k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2141.08/2146.89 c 2147s| 22500 | 22041 | 17617k| 728.8 | 334M | 51 |3103 |2986 |2734 | 145k| 1 | 24k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2150.55/2156.35 c 2156s| 22600 | 22137 | 17694k| 728.9 | 334M | 51 |3103 |2991 |2699 | 145k| 1 | 24k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2162.02/2167.84 c 2168s| 22700 | 22235 | 17786k| 729.7 | 334M | 51 |3103 |2976 |2689 | 146k| 1 | 24k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2173.39/2179.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2173.39/2179.24 c 2179s| 22800 | 22331 | 17873k| 730.3 | 334M | 51 |3103 |2957 |2749 | 147k| 2 | 24k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2182.18/2188.09 c 2188s| 22900 | 22421 | 17954k| 730.6 | 334M | 51 |3103 |2994 |2757 | 148k| 1 | 24k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2190.85/2196.79 c 2197s| 23000 | 22513 | 18027k| 730.6 | 334M | 51 |3103 |3049 |2723 | 149k| 1 | 25k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2196.94/2202.86 c 2203s| 23100 | 22609 | 18075k| 729.6 | 334M | 51 |3103 |3054 |2726 | 149k| 1 | 25k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2205.42/2211.32 c 2211s| 23200 | 22709 | 18143k| 729.4 | 334M | 51 |3103 |3046 |2710 | 150k| 1 | 25k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2216.59/2222.59 c 2223s| 23300 | 22805 | 18237k| 730.2 | 334M | 51 |3103 |3070 |2811 | 151k| 0 | 25k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2233.55/2239.50 c 2239s| 23400 | 22903 | 18383k| 733.1 | 334M | 51 |3103 |3072 |2734 | 152k| 1 | 25k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2241.53/2247.56 c 2248s| 23500 | 22999 | 18452k| 733.0 | 334M | 51 |3103 |3122 |2763 | 153k| 1 | 25k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2255.39/2261.49 c 2261s| 23600 | 23097 | 18569k| 734.7 | 334M | 51 |3103 |3111 |2751 | 154k| 1 | 25k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2265.27/2271.39 c 2271s| 23700 | 23191 | 18662k| 735.5 | 334M | 51 |3103 |3122 |2801 | 155k| 1 | 25k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2271.85/2277.92 c 2278s| 23800 | 23287 | 18709k| 734.4 | 335M | 51 |3103 |3071 |2751 | 155k| 1 | 25k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2279.13/2285.23 c 2285s| 23900 | 23381 | 18770k| 733.9 | 336M | 51 |3103 |3050 |2891 | 156k| 9 | 25k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2290.41/2296.51 c 2297s| 24000 | 23481 | 18868k| 734.9 | 336M | 51 |3103 |3039 |2720 | 157k| 1 | 25k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2302.48/2308.61 c 2309s| 24100 | 23573 | 18973k| 736.1 | 339M | 51 |3103 |3136 |2759 | 159k| 1 | 26k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2313.05/2319.28 c 2319s| 24200 | 23673 | 19065k| 736.9 | 339M | 51 |3103 |3162 |2768 | 160k| 1 | 26k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2329.71/2335.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2329.71/2335.94 c 2336s| 24300 | 23773 | 19213k| 739.7 | 340M | 51 |3103 |3164 |2745 | 161k| 1 | 26k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2341.98/2348.26 c 2348s| 24400 | 23871 | 19315k| 740.8 | 340M | 51 |3103 |3145 |2860 | 162k| 6 | 26k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2352.35/2358.66 c 2359s| 24500 | 23971 | 19400k| 741.2 | 341M | 51 |3103 |3153 |2768 | 163k| 1 | 26k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2362.93/2369.25 c 2369s| 24600 | 24069 | 19494k| 742.0 | 341M | 51 |3103 |3171 |2834 | 164k| 1 | 26k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2374.60/2380.99 c 2381s| 24700 | 24167 | 19597k| 743.0 | 342M | 51 |3103 |3151 |2747 | 165k| 1 | 26k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2379.18/2385.51 c 2385s| 24800 | 24267 | 19639k| 741.8 | 342M | 51 |3103 |3164 |2781 | 165k| 1 | 26k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2387.17/2393.52 c 2394s| 24900 | 24367 | 19701k| 741.4 | 342M | 51 |3103 |3100 |2746 | 166k| 1 | 26k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2395.44/2401.88 c 2402s| 25000 | 24463 | 19770k| 741.2 | 342M | 51 |3103 |3063 |2708 | 167k| 1 | 26k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2406.92/2413.33 c 2413s| 25100 | 24559 | 19864k| 741.9 | 342M | 51 |3103 |3046 |2765 | 168k| 1 | 27k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2418.19/2424.64 c 2425s| 25200 | 24653 | 19950k| 742.4 | 342M | 51 |3103 |3035 |2713 | 169k| 1 | 27k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2427.57/2434.08 c 2434s| 25300 | 24749 | 20029k| 742.5 | 342M | 51 |3103 |3098 |2754 | 169k| 1 | 27k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2438.14/2444.69 c 2445s| 25400 | 24843 | 20114k| 742.9 | 344M | 51 |3103 |3078 |2696 | 170k| 1 | 27k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2447.22/2453.79 c 2454s| 25500 | 24943 | 20191k| 743.1 | 345M | 51 |3103 |3115 |2786 | 171k| 2 | 27k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2456.30/2462.87 c 2463s| 25600 | 25041 | 20261k| 742.9 | 347M | 51 |3103 |3049 |2689 | 172k| 1 | 27k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2472.66/2479.22 c 2479s| 25700 | 25139 | 20396k| 745.1 | 347M | 51 |3103 |3057 |2793 | 174k| 1 | 27k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2479.24/2485.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2479.24/2485.80 c 2486s| 25800 | 25235 | 20448k| 744.3 | 348M | 51 |3103 |3073 |2706 | 175k| 1 | 27k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2491.61/2498.20 c 2498s| 25900 | 25333 | 20560k| 745.6 | 348M | 51 |3103 |3017 |2841 | 176k| 1 | 27k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2497.59/2504.27 c 2504s| 26000 | 25433 | 20609k| 744.7 | 350M | 51 |3103 |2985 |2760 | 176k| 1 | 27k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2511.66/2518.31 c 2518s| 26100 | 25529 | 20720k| 746.0 | 350M | 51 |3103 |3068 |2751 | 177k| 1 | 28k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2523.03/2529.74 c 2530s| 26200 | 25629 | 20818k| 746.9 | 350M | 51 |3103 |3140 |2698 | 178k| 1 | 28k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2532.11/2538.82 c 2539s| 26300 | 25729 | 20894k| 746.9 | 350M | 51 |3103 |3103 |2671 | 179k| 1 | 28k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2539.40/2546.15 c 2546s| 26400 | 25827 | 20960k| 746.6 | 350M | 51 |3103 |3036 |2793 | 180k| 1 | 28k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2543.98/2550.76 c 2551s| 26500 | 25923 | 21000k| 745.4 | 350M | 51 |3103 |2986 |2743 | 180k| 1 | 28k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2549.86/2556.65 c 2557s| 26600 | 26013 | 21044k| 744.3 | 350M | 51 |3103 |2981 |2771 | 181k| 1 | 28k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2563.83/2570.64 c 2571s| 26700 | 26105 | 21172k| 746.2 | 350M | 51 |3103 |3003 |2781 | 182k| 1 | 28k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2571.11/2577.99 c 2578s| 26800 | 26197 | 21233k| 745.7 | 350M | 51 |3103 |3033 |2730 | 183k| 1 | 28k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2580.79/2587.68 c 2588s| 26900 | 26297 | 21308k| 745.7 | 350M | 51 |3103 |3021 |2770 | 184k| 1 | 28k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2587.57/2594.41 c 2594s| 27000 | 26397 | 21362k| 745.0 | 350M | 51 |3103 |3015 |2765 | 185k| 1 | 28k| 18k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2596.84/2603.76 c 2604s| 27100 | 26491 | 21434k| 744.9 | 351M | 51 |3103 |2994 |2693 | 186k| 1 | 28k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2611.90/2618.89 c 2619s| 27200 | 26591 | 21565k| 746.9 | 351M | 51 |3103 |2974 |2712 | 187k| 1 | 28k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2627.57/2634.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2627.57/2634.54 c 2635s| 27300 | 26687 | 21694k| 748.7 | 352M | 51 |3103 |3014 |2807 | 189k| 1 | 28k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2638.94/2645.91 c 2646s| 27400 | 26783 | 21790k| 749.5 | 352M | 51 |3103 |2998 |2973 | 190k| 15 | 29k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2653.60/2660.68 c 2661s| 27500 | 26883 | 21923k| 751.5 | 352M | 51 |3103 |3036 |2785 | 191k| 2 | 29k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2669.16/2676.24 c 2676s| 27600 | 26979 | 22057k| 753.5 | 354M | 51 |3103 |3041 |2674 | 192k| 1 | 29k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2675.95/2683.03 c 2683s| 27700 | 27079 | 22117k| 753.0 | 354M | 51 |3103 |2993 |2777 | 192k| 1 | 29k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2685.72/2692.80 c 2693s| 27800 | 27177 | 22195k| 753.1 | 354M | 51 |3103 |3057 |2730 | 193k| 1 | 29k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2696.90/2704.03 c 2704s| 27900 | 27277 | 22288k| 753.6 | 354M | 51 |3103 |3114 |2761 | 194k| 2 | 29k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2712.15/2719.36 c 2719s| 28000 | 27377 | 22413k| 755.3 | 354M | 51 |3103 |3082 |2824 | 195k| 1 | 29k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2719.74/2726.90 c 2727s| 28100 | 27477 | 22467k| 754.6 | 354M | 51 |3103 |3015 |2721 | 196k| 1 | 29k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2732.20/2739.47 c 2739s| 28200 | 27577 | 22565k| 755.4 | 354M | 51 |3103 |3078 |2765 | 197k| 1 | 29k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2740.68/2748.00 c 2748s| 28300 | 27673 | 22634k| 755.1 | 354M | 51 |3103 |3067 |2801 | 198k| 1 | 29k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2751.66/2758.93 c 2759s| 28400 | 27773 | 22730k| 755.8 | 354M | 51 |3103 |3046 |2695 | 199k| 1 | 29k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2761.13/2768.43 c 2768s| 28500 | 27869 | 22814k| 756.1 | 355M | 51 |3103 |3081 |2759 | 199k| 1 | 30k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2770.61/2777.95 c 2778s| 28600 | 27969 | 22888k| 756.0 | 356M | 51 |3103 |3067 |2727 | 200k| 1 | 30k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2784.97/2792.31 c 2792s| 28700 | 28067 | 23007k| 757.5 | 357M | 51 |3103 |3060 |2707 | 201k| 1 | 30k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2799.44/2806.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2799.44/2806.87 c 2807s| 28800 | 28167 | 23129k| 759.0 | 358M | 51 |3103 |3046 |2786 | 203k| 1 | 30k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2810.72/2818.18 c 2818s| 28900 | 28267 | 23224k| 759.6 | 358M | 51 |3103 |3078 |2747 | 204k| 1 | 30k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2819.19/2826.65 c 2827s| 29000 | 28367 | 23296k| 759.5 | 358M | 51 |3103 |3027 |2758 | 204k| 1 | 30k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2828.07/2835.50 c 2835s| 29100 | 28465 | 23372k| 759.5 | 359M | 51 |3103 |3025 |2761 | 205k| 1 | 30k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2838.94/2846.42 c 2846s| 29200 | 28561 | 23451k| 759.6 | 359M | 51 |3103 |3043 |2734 | 206k| 1 | 30k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2846.12/2853.65 c 2854s| 29300 | 28661 | 23507k| 758.9 | 359M | 51 |3103 |2981 |2752 | 207k| 1 | 30k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2857.10/2864.63 c 2865s| 29400 | 28761 | 23590k| 759.2 | 359M | 51 |3103 |2941 |2736 | 208k| 1 | 30k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2868.37/2876.00 c 2876s| 29500 | 28859 | 23681k| 759.6 | 359M | 51 |3103 |2945 |2854 | 209k| 1 | 30k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2875.95/2883.51 c 2884s| 29600 | 28957 | 23746k| 759.3 | 360M | 51 |3103 |2952 |2903 | 209k| 7 | 30k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2884.83/2892.46 c 2892s| 29700 | 29039 | 23816k| 759.1 | 361M | 51 |3103 |3038 |2764 | 210k| 1 | 31k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2901.88/2909.51 c 2910s| 29800 | 29137 | 23958k| 761.2 | 361M | 51 |3103 |3033 |2915 | 211k| 1 | 31k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2912.46/2920.13 c 2920s| 29900 | 29219 | 24046k| 761.6 | 361M | 51 |3103 |3148 |2734 | 213k| 1 | 31k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2918.45/2926.14 c 2926s| 30000 | 29319 | 24092k| 760.7 | 362M | 51 |3103 |3048 |2743 | 213k| 1 | 31k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2927.22/2934.90 c 2935s| 30100 | 29419 | 24161k| 760.4 | 362M | 51 |3103 |3073 |2748 | 214k| 1 | 31k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2941.39/2949.15 c 2949s| 30200 | 29519 | 24287k| 762.0 | 364M | 51 |3103 |3066 |2678 | 215k| 1 | 31k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2951.27/2959.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2951.27/2959.02 c 2959s| 30300 | 29615 | 24374k| 762.3 | 366M | 51 |3103 |2959 |2720 | 216k| 1 | 31k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2959.25/2967.06 c 2967s| 30400 | 29715 | 24449k| 762.3 | 366M | 51 |3103 |3023 |2782 | 216k| 1 | 31k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2970.81/2978.66 c 2979s| 30500 | 29815 | 24545k| 762.9 | 366M | 51 |3103 |2987 |2876 | 218k| 1 | 31k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2979.09/2986.93 c 2987s| 30600 | 29915 | 24616k| 762.7 | 366M | 51 |3103 |3003 |2734 | 218k| 1 | 31k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2986.77/2994.61 c 2995s| 30700 | 30009 | 24686k| 762.5 | 368M | 51 |3103 |3035 |2720 | 219k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
2997.85/3005.77 c 3006s| 30800 | 30109 | 24780k| 763.1 | 368M | 51 |3103 |3031 |2710 | 220k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3008.23/3016.11 c 3016s| 30900 | 30205 | 24867k| 763.4 | 368M | 51 |3103 |3035 |2827 | 221k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3015.21/3023.16 c 3023s| 31000 | 30301 | 24927k| 762.9 | 368M | 51 |3103 |3044 |2753 | 222k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3023.38/3031.31 c 3031s| 31100 | 30401 | 24994k| 762.6 | 368M | 51 |3103 |3049 |2782 | 222k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3028.97/3036.91 c 3037s| 31200 | 30499 | 25041k| 761.7 | 368M | 51 |3103 |3009 |2743 | 223k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3035.16/3043.14 c 3043s| 31300 | 30599 | 25092k| 761.0 | 369M | 51 |3103 |3017 |2721 | 224k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3047.62/3055.61 c 3056s| 31400 | 30699 | 25200k| 762.0 | 369M | 51 |3103 |3004 |2752 | 225k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3059.39/3067.40 c 3067s| 31500 | 30797 | 25296k| 762.5 | 370M | 51 |3103 |2963 |2767 | 226k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3081.05/3089.14 c 3089s| 31600 | 30897 | 25464k| 765.3 | 371M | 51 |3103 |3006 |2834 | 227k| 3 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3089.13/3097.24 c 3097s| 31700 | 30997 | 25523k| 764.8 | 371M | 51 |3103 |2980 |2724 | 228k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3102.29/3110.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3102.29/3110.42 c 3110s| 31800 | 31093 | 25630k| 765.7 | 371M | 51 |3103 |3006 |2755 | 229k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3115.56/3123.77 c 3124s| 31900 | 31193 | 25728k| 766.3 | 374M | 51 |3103 |3011 |2785 | 231k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3128.63/3136.86 c 3137s| 32000 | 31293 | 25841k| 767.4 | 374M | 51 |3103 |3062 |2693 | 232k| 1 | 32k| 19k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3144.69/3152.93 c 3153s| 32100 | 31389 | 25976k| 769.1 | 375M | 51 |3103 |3067 |2728 | 233k| 1 | 33k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3154.96/3163.21 c 3163s| 32200 | 31473 | 26056k| 769.2 | 376M | 51 |3103 |3075 |2725 | 234k| 1 | 33k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3162.94/3171.26 c 3171s| 32300 | 31567 | 26116k| 768.7 | 376M | 51 |3103 |3091 |2781 | 234k| 0 | 33k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3176.11/3184.49 c 3184s| 32400 | 31665 | 26223k| 769.6 | 377M | 51 |3103 |3130 |2783 | 236k| 1 | 33k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3192.56/3200.95 c 3201s| 32500 | 31765 | 26345k| 770.9 | 380M | 51 |3103 |3165 |2744 | 237k| 1 | 33k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3204.13/3212.59 c 3213s| 32600 | 31857 | 26440k| 771.4 | 380M | 51 |3103 |3150 |2688 | 238k| 1 | 33k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3217.61/3226.05 c 3226s| 32700 | 31957 | 26552k| 772.5 | 380M | 51 |3103 |3135 |2776 | 239k| 1 | 33k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3225.28/3233.76 c 3234s| 32800 | 32057 | 26617k| 772.1 | 380M | 51 |3103 |3112 |2765 | 240k| 1 | 33k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3239.56/3248.02 c 3248s| 32900 | 32155 | 26744k| 773.5 | 383M | 51 |3103 |3124 |2793 | 242k| 1 | 34k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3251.42/3259.97 c 3260s| 33000 | 32253 | 26840k| 774.1 | 383M | 51 |3103 |3118 |2708 | 243k| 0 | 34k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3262.00/3270.59 c 3271s| 33100 | 32341 | 26925k| 774.3 | 383M | 51 |3103 |3131 |2748 | 244k| 1 | 34k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3271.87/3280.40 c 3280s| 33200 | 32441 | 27012k| 774.6 | 383M | 51 |3103 |3120 |2700 | 245k| 1 | 34k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3283.15/3291.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3283.15/3291.78 c 3292s| 33300 | 32541 | 27106k| 775.1 | 383M | 51 |3103 |3075 |2706 | 246k| 1 | 34k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3300.00/3308.65 c 3309s| 33400 | 32639 | 27250k| 777.0 | 383M | 51 |3103 |3055 |2721 | 247k| 1 | 34k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3307.49/3316.14 c 3316s| 33500 | 32727 | 27316k| 776.6 | 386M | 51 |3103 |3070 |2796 | 248k| 1 | 34k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3319.36/3328.07 c 3328s| 33600 | 32827 | 27413k| 777.2 | 386M | 51 |3103 |3066 |2767 | 249k| 1 | 34k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3329.93/3338.66 c 3339s| 33700 | 32927 | 27493k| 777.2 | 386M | 51 |3103 |3031 |2750 | 250k| 1 | 34k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3345.59/3354.38 c 3354s| 33800 | 33019 | 27611k| 778.4 | 386M | 51 |3103 |3019 |2774 | 251k| 1 | 34k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3356.66/3365.42 c 3365s| 33900 | 33119 | 27694k| 778.5 | 386M | 51 |3103 |3052 |2733 | 252k| 1 | 34k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3372.12/3380.95 c 3381s| 34000 | 33215 | 27814k| 779.7 | 386M | 51 |3103 |3025 |2737 | 253k| 1 | 35k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3386.39/3395.23 c 3395s| 34100 | 33315 | 27931k| 780.8 | 387M | 51 |3103 |3016 |2759 | 254k| 1 | 35k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3393.47/3402.31 c 3402s| 34200 | 33415 | 27992k| 780.3 | 387M | 51 |3103 |3070 |2718 | 255k| 1 | 35k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3407.83/3416.78 c 3417s| 34300 | 33515 | 28112k| 781.5 | 387M | 51 |3103 |3118 |2869 | 256k| 1 | 35k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3428.98/3437.92 c 3438s| 34400 | 33609 | 28308k| 784.8 | 389M | 51 |3103 |3144 |2784 | 257k| 1 | 35k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3439.85/3448.88 c 3449s| 34500 | 33709 | 28395k| 785.0 | 389M | 51 |3103 |3148 |2713 | 258k| 1 | 35k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3455.41/3464.49 c 3464s| 34600 | 33807 | 28521k| 786.3 | 389M | 51 |3103 |3080 |2767 | 259k| 1 | 35k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3467.38/3476.40 c 3476s| 34700 | 33897 | 28621k| 786.9 | 389M | 51 |3103 |3112 |2739 | 260k| 1 | 36k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3479.06/3488.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3479.06/3488.15 c 3488s| 34800 | 33997 | 28715k| 787.3 | 389M | 51 |3103 |3103 |2816 | 261k| 1 | 36k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3495.51/3504.64 c 3505s| 34900 | 34097 | 28822k| 788.1 | 389M | 51 |3103 |3111 |2808 | 262k| 1 | 36k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3502.79/3511.93 c 3512s| 35000 | 34189 | 28883k| 787.6 | 389M | 51 |3103 |3182 |2759 | 263k| 1 | 36k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3517.36/3526.59 c 3527s| 35100 | 34289 | 28996k| 788.5 | 391M | 51 |3103 |3224 |2730 | 264k| 1 | 36k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3525.74/3534.93 c 3535s| 35200 | 34389 | 29067k| 788.3 | 391M | 51 |3103 |3172 |2802 | 264k| 2 | 36k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3534.42/3543.60 c 3544s| 35300 | 34475 | 29131k| 787.9 | 391M | 51 |3103 |3130 |2713 | 265k| 1 | 36k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3539.81/3549.05 c 3549s| 35400 | 34575 | 29172k| 786.9 | 391M | 51 |3103 |3126 |2807 | 266k| 1 | 36k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3550.08/3559.38 c 3559s| 35500 | 34675 | 29246k| 786.7 | 391M | 51 |3103 |3108 |2674 | 267k| 1 | 36k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3562.94/3572.25 c 3572s| 35600 | 34775 | 29360k| 787.7 | 391M | 51 |3103 |3107 |2745 | 268k| 1 | 36k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3576.61/3585.94 c 3586s| 35700 | 34875 | 29469k| 788.5 | 391M | 51 |3103 |3094 |2796 | 269k| 5 | 36k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3582.70/3592.08 c 3592s| 35800 | 34975 | 29519k| 787.7 | 391M | 51 |3103 |3128 |2835 | 270k| 1 | 37k| 20k|-3.193333e+01 |-1.600000e+01 | 99.58%| unknown
3587.69/3597.00 c
3587.69/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.69/3597.00 c Solving Time (sec) : 3597.00
3587.69/3597.00 c Solving Nodes : 35858 (total of 37521 nodes in 2 runs)
3587.69/3597.00 c Primal Bound : -1.60000000000000e+01 (214 solutions)
3587.69/3597.00 c Dual Bound : -3.19333333333333e+01
3587.69/3597.00 c Gap : 99.58 %
3587.69/3597.01 s SATISFIABLE
3587.69/3597.01 v -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110
3587.69/3597.01 v -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093
3587.69/3597.01 v -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075
3587.69/3597.01 v -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057
3587.69/3597.01 v -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039
3587.69/3597.01 v -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021
3587.69/3597.01 v -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003
3587.69/3597.01 v -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985
3587.69/3597.01 v -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968
3587.69/3597.01 v -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 x3953 -x3952 -x3951 -x3950
3587.69/3597.01 v -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932
3587.69/3597.01 v -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914
3587.69/3597.01 v -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 x3907 -x3906 -x3905 -x3904 -x3903 x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895
3587.69/3597.01 v -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877
3587.69/3597.01 v -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859
3587.69/3597.01 v -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842
3587.69/3597.01 v -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824
3587.69/3597.01 v -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806
3587.69/3597.01 v -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788
3587.69/3597.01 v -x3787 -x3786 -x3785 -x3784 x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770
3587.69/3597.01 v x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752
3587.69/3597.01 v -x3751 -x3750 x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734
3587.69/3597.01 v -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716
3587.69/3597.01 v -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698
3587.69/3597.01 v -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680
3587.69/3597.01 v -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662
3587.69/3597.01 v -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 x3644
3587.69/3597.01 v -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626
3587.69/3597.01 v -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608
3587.69/3597.01 v -x3607 -x3606 -x3605 -x3604 x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590
3587.69/3597.01 v -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572
3587.69/3597.01 v -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554
3587.69/3597.01 v -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536
3587.69/3597.01 v -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519
3587.69/3597.01 v -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501
3587.69/3597.01 v -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483
3587.69/3597.01 v -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465
3587.69/3597.01 v -x3464 -x3463 -x3462 -x3461 -x3460 x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447
3587.69/3597.01 v -x3446 -x3445 -x3444 -x3443 -x3442 x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429
3587.69/3597.01 v -x3428 -x3427 x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 x3412 -x3411
3587.69/3597.01 v -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 x3395 -x3394 -x3393
3587.69/3597.01 v -x3392 -x3391 x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 x3375
3587.69/3597.01 v -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 x3357
3587.69/3597.01 v -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339
3587.69/3597.01 v -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321
3587.69/3597.01 v -x3320 -x3319 x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 x3304 -x3303
3587.69/3597.01 v -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285
3587.69/3597.01 v -x3284 -x3283 x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 x3271 -x3270 -x3269 -x3268 -x3267
3587.69/3597.01 v -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249
3587.69/3597.01 v -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231
3587.69/3597.01 v -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213
3587.69/3597.01 v -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195
3587.69/3597.01 v x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 x3179 -x3178 -x3177
3587.69/3597.01 v -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159
3587.69/3597.01 v -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141
3587.69/3597.01 v -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123
3587.69/3597.01 v -x3122 -x3121 x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105
3587.69/3597.01 v -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 x4150 x4149 x4148 x4147 x4146 x4145 x4144 -x4143 x4142
3587.69/3597.01 v x4141 -x4140 x4139 x4138 x4137 -x4136 -x4135 x4134 x4133 -x4132 -x4131 x4130 x4129 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067
3587.69/3597.01 v -x3066 -x3065 -x3064 -x3063 -x3062 x3061 -x3060 -x3059 -x3058 -x3057 -x3056 x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049
3587.69/3597.01 v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031
3587.69/3597.01 v -x3030 -x3029 x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013
3587.69/3597.01 v -x3012 -x3011 -x3010 -x3009 x3008 -x3007 -x3006 x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995
3587.69/3597.01 v -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977
3587.69/3597.01 v -x2976 -x2975 -x2974 -x2973 x2972 x2971 x2970 -x2969 -x2968 -x2967 x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958
3587.69/3597.01 v -x2957 -x2956 -x2955 -x2954 -x2953 x2952 x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940
3587.69/3597.01 v -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 x2924 -x2923 -x2922
3587.69/3597.01 v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904
3587.69/3597.01 v -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886
3587.69/3597.01 v -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868
3587.69/3597.01 v -x2867 -x2866 -x2865 -x2864 -x2863 x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850
3587.69/3597.01 v -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833
3587.69/3597.01 v -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 x2815
3587.69/3597.01 v x2814 -x2813 -x2812 -x2811 -x2810 -x2809 x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796
3587.69/3597.01 v -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779
3587.69/3597.01 v -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 x2762 -x2761
3587.69/3597.01 v -x2760 -x2759 -x2758 -x2757 x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743
3587.69/3597.01 v -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 x2725
3587.69/3597.01 v -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707
3587.69/3597.01 v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 x2690 -x2689
3587.69/3597.01 v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671
3587.69/3597.01 v -x2670 -x2669 -x2668 -x2667 -x2666 x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653
3587.69/3597.01 v -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 x2635
3587.69/3597.01 v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617
3587.69/3597.01 v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599
3587.69/3597.01 v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 x2583 -x2582 -x2581
3587.69/3597.01 v -x2580 -x2579 x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563
3587.69/3597.01 v -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545
3587.69/3597.01 v -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527
3587.69/3597.01 v -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509
3587.69/3597.01 v -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491
3587.69/3597.01 v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473
3587.69/3597.01 v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455
3587.69/3597.01 v -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438
3587.69/3597.01 v -x2437 -x2436 x2435 -x2434 x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419
3587.69/3597.01 v -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402
3587.69/3597.01 v -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384
3587.69/3597.01 v -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366
3587.69/3597.01 v -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348
3587.69/3597.01 v -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330
3587.69/3597.01 v -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312
3587.69/3597.01 v -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294
3587.69/3597.01 v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277
3587.69/3597.01 v -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259
3587.69/3597.01 v -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241
3587.69/3597.01 v -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223
3587.69/3597.01 v -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205
3587.69/3597.01 v -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187
3587.69/3597.01 v -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169
3587.69/3597.01 v -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152
3587.69/3597.01 v -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134
3587.69/3597.01 v -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116
3587.69/3597.01 v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
3587.69/3597.01 v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080
3587.69/3597.01 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062
3587.69/3597.01 v -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044
3587.69/3597.01 v -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026
3587.69/3597.01 v -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009
3587.69/3597.01 v -x2008 -x2007 -x2006 -x2005 x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991
3587.69/3597.01 v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973
3587.69/3597.01 v -x1972 -x1971 -x1970 x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955
3587.69/3597.01 v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 x1942 -x1941 -x1940 -x1939 -x1938 -x1937
3587.69/3597.01 v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919
3587.69/3597.01 v -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901
3587.69/3597.01 v -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883
3587.69/3597.01 v -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865
3587.69/3597.01 v -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847
3587.69/3597.01 v -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829
3587.69/3597.01 v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 x1811
3587.69/3597.01 v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793
3587.69/3597.01 v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 x1779 -x1778 -x1777 -x1776 -x1775
3587.69/3597.01 v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757
3587.69/3597.01 v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740
3587.69/3597.01 v -x1739 x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722
3587.69/3597.01 v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704
3587.69/3597.01 v -x1703 -x1702 x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686
3587.69/3597.01 v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668
3587.69/3597.01 v -x1667 x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650
3587.69/3597.01 v -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632
3587.69/3597.01 v -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614
3587.69/3597.01 v -x1613 -x1612 x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596
3587.69/3597.01 v -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 x1581 -x1580 -x1579 -x1578
3587.69/3597.01 v -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560
3587.69/3597.01 v -x1559 -x1558 -x1557 -x1556 -x1555 x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542
3587.69/3597.01 v -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524
3587.69/3597.01 v -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506
3587.69/3597.01 v -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488
3587.69/3597.01 v -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470
3587.69/3597.01 v -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452
3587.69/3597.01 v -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435
3587.69/3597.01 v -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417
3587.69/3597.01 v -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399
3587.69/3597.01 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381
3587.69/3597.01 v -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363
3587.69/3597.01 v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345
3587.69/3597.01 v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327
3587.69/3597.01 v -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309
3587.69/3597.01 v -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292
3587.69/3597.01 v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274
3587.69/3597.01 v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
3587.69/3597.01 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238
3587.69/3597.01 v -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220
3587.69/3597.01 v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202
3587.69/3597.01 v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184
3587.69/3597.01 v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167
3587.69/3597.01 v -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149
3587.69/3597.01 v -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131
3587.69/3597.01 v -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113
3587.69/3597.01 v -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095
3587.69/3597.01 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077
3587.69/3597.01 v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059
3587.69/3597.01 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
3587.69/3597.01 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x3104
3587.69/3597.01 v x3103 -x3102 x3101 x3100 x3099 x3098 -x3097 -x3096 x3095 x3094 x3093 x3092 x3091 x3090 x3089 -x3088 x3087 x3086 x3085 -x3084
3587.69/3597.01 v -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x1024 x1023 -x1022 x1021 -x1020 x1019 -x1018 -x1017
3587.69/3597.01 v -x1016 -x1015 x1014 -x1013 -x1012 x1011 x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999
3587.69/3597.01 v -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 -x978 -x977
3587.69/3597.01 v -x976 x975 x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956
3587.69/3597.01 v -x955 -x954 -x953 -x952 x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935
3587.69/3597.01 v -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914
3587.69/3597.01 v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893
3587.69/3597.01 v -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873
3587.69/3597.01 v -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852
3587.69/3597.01 v -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831
3587.69/3597.01 v -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810
3587.69/3597.01 v -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789
3587.69/3597.01 v -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
3587.69/3597.01 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
3587.69/3597.01 v -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
3587.69/3597.01 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
3587.69/3597.01 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685
3587.69/3597.01 v -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
3587.69/3597.01 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
3587.69/3597.01 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
3587.69/3597.01 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601
3587.69/3597.01 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
3587.69/3597.01 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
3587.69/3597.01 v -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
3587.69/3597.01 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518
3587.69/3597.01 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
3587.69/3597.01 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
3587.69/3597.01 v -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
3587.69/3597.01 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
3587.69/3597.01 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
3587.69/3597.01 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
3587.69/3597.01 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
3587.69/3597.01 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
3587.69/3597.01 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
3587.69/3597.01 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
3587.69/3597.01 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
3587.69/3597.01 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
3587.69/3597.01 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
3587.69/3597.01 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
3587.69/3597.01 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
3587.69/3597.01 v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185
3587.69/3597.01 v -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
3587.69/3597.01 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143
3587.69/3597.01 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122
3587.69/3597.01 v -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101
3587.69/3597.01 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77
3587.69/3597.01 v -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52
3587.69/3597.01 v -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27
3587.69/3597.01 v -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3587.69/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.69/3597.01 c Total Time : 3597.00
3587.69/3597.01 c solving : 3597.00
3587.69/3597.01 c presolving : 0.22 (included in solving)
3587.69/3597.01 c reading : 0.01 (included in solving)
3587.69/3597.01 c copying : 0.44 (46 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.69/3597.01 c Original Problem :
3587.69/3597.01 c Problem name : HOME/instance-4519662-1751550339.opb
3587.69/3597.01 c Variables : 4160 (4160 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.69/3597.01 c Constraints : 1744 initial, 1744 maximal
3587.69/3597.01 c Objective : minimize, 1024 non-zeros (abs.min = 1, abs.max = 1)
3587.69/3597.01 c Presolved Problem :
3587.69/3597.01 c Problem name : t_HOME/instance-4519662-1751550339.opb
3587.69/3597.01 c Variables : 3103 (3103 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.69/3597.01 c Constraints : 2963 initial, 3250 maximal
3587.69/3597.01 c Objective : minimize, 32 non-zeros (abs.min = 1, abs.max = 1)
3587.69/3597.01 c Nonzeros : 53217 constraint, 3488 clique table
3587.69/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.69/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c gateextraction : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c milp : 0.02 0.00 1 992 0 0 0 0 1744 1712 0 0
3587.69/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c trivial : 0.00 0.00 11 32 0 0 0 0 0 0 0 0
3587.69/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c pseudoobj : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c vbounds : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c knapsack : 0.01 0.00 11 0 0 0 0 0 32 1024 109 116
3587.69/3597.01 c setppc : 0.01 0.00 19 0 1 0 0 0 1 0 0 0
3587.69/3597.01 c linear : 0.02 0.00 15 0 32 0 0 0 32 0 0 0
3587.69/3597.01 c logicor : 0.06 0.01 17 0 0 0 0 0 21 0 0 97
3587.69/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c root node : - - - 63 - - 63 - - - - -
3587.69/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.69/3597.01 c benderslp : 0 0 0 0 36961 0 0 9896 0 0 0 0 0 0 0
3587.69/3597.01 c integral : 0 0 0 0 36961 0 0 9896 0 1 417 0 0 274 73842
3587.69/3597.01 c knapsack : 26+ 31 11 794078 0 0 0 0 13300 783 1686 0 0 0 0
3587.69/3597.01 c setppc : 1070 1070 22 796741 0 0 0 9889 519755 124 366332 0 0 0 0
3587.69/3597.01 c linear : 3+ 82 0 779904 0 0 0 3 2632 749 2561 0 0 0 0
3587.69/3597.01 c logicor : 1864+ 2131 22 344448 0 0 0 367 139805 917 28778 0 0 0 0
3587.69/3597.01 c benders : 0 0 0 0 0 0 0 246 0 0 0 0 0 0 0
3587.69/3597.01 c fixedvar : 0 0 0 0 0 0 0 246 0 0 0 0 0 0 0
3587.69/3597.01 c countsols : 0 0 0 0 0 0 0 246 0 0 0 0 0 0 0
3587.69/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.69/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.69/3597.01 c integral : 400.00 0.00 0.00 0.00 400.00 0.00 0.00 0.01 0.00 0.00
3587.69/3597.01 c knapsack : 0.90 0.00 0.00 0.70 0.00 0.00 0.00 0.00 0.01 0.19
3587.69/3597.01 c setppc : 4.70 0.00 0.00 3.38 0.00 0.00 0.00 0.25 0.07 1.00
3587.69/3597.01 c linear : 0.90 0.00 0.00 0.83 0.00 0.00 0.00 0.00 0.01 0.06
3587.69/3597.01 c logicor : 2.93 0.01 0.01 2.49 0.00 0.00 0.00 0.02 0.05 0.36
3587.69/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.01 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
3587.69/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.01 c components : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.01
3587.69/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.69/3597.01 c dualfix : 4 0 0 31
3587.69/3597.01 c genvbounds : 0 0 0 0
3587.69/3597.01 c nlobbt : 0 0 0 0
3587.69/3597.01 c obbt : 0 0 0 0
3587.69/3597.01 c probing : 0 0 0 0
3587.69/3597.01 c pseudoobj : 99269 0 4 0
3587.69/3597.01 c redcost : 1271 0 0 13089
3587.69/3597.01 c rootredcost : 9 0 0 0
3587.69/3597.01 c symmetry : 27378 0 1 42395
3587.69/3597.01 c vbounds : 172253 0 0 0
3587.69/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.69/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.01 c genvbounds : 0.08 0.00 0.00 0.06 0.00 0.01
3587.69/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.69/3597.01 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3587.69/3597.01 c pseudoobj : 0.12 0.00 0.00 0.11 0.00 0.01
3587.69/3597.01 c redcost : 0.19 0.00 0.00 0.18 0.00 0.00
3587.69/3597.01 c rootredcost : 0.06 0.00 0.00 0.05 0.00 0.01
3587.69/3597.01 c symmetry : 3.17 0.00 0.04 2.34 0.00 0.79
3587.69/3597.01 c vbounds : 0.18 0.00 0.00 0.16 0.00 0.02
3587.69/3597.01 c Symmetry :
3587.69/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.69/3597.01 c orbital reduction: 42393 reductions applied, 1 cutoffs
3587.69/3597.01 c lexicographic red: 45 reductions applied, 0 cutoffs
3587.69/3597.01 c shadow tree time : 0.07 s
3587.69/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.69/3597.01 c propagation : 0.10 1819 1638 - 9910 69.0 22 72.3 - - -
3587.69/3597.01 c infeasible LP : 2.64 3659 3659 - 39186 129.3 13 40.0 2558 276.1 0
3587.69/3597.01 c bound exceed. LP : 1.78 1479 535 - 5378 185.5 3 254.0 181 323.7 11035
3587.69/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.69/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.69/3597.01 c applied globally : 0.36 - - 0 34308 88.0 - - 2739 - -
3587.69/3597.01 c applied locally : - - - 0 3 664.3 - - 0 - -
3587.69/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.69/3597.01 c cut pool : 41.93 - 15914 42 - - 55057 10473620 - - - - - (maximal pool size: 6676)
3587.69/3597.01 c aggregation : 0.85 0.00 1370 22 0 0 29 2749 0 42 42 0 0
3587.69/3597.01 c > cmir : - - - - - - - 2020 0 31 31 0 -
3587.69/3597.01 c > flowcover : - - - - - - - 666 0 0 0 0 -
3587.69/3597.01 c > knapsackcover : - - - - - - - 63 0 11 11 0 -
3587.69/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c clique : 0.04 0.00 22 22 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c gomory : 33.43 0.00 1099 20 0 0 49683 8259001 0 165532 165532 0 0
3587.69/3597.01 c > gomorymi : - - - - - - - 3250352 0 79665 79665 0 -
3587.69/3597.01 c > strongcg : - - - - - - - 5008649 0 85867 85867 0 -
3587.69/3597.01 c impliedbounds : 0.13 0.00 1370 22 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c multilinear : 0.00 0.00 1013 22 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c rapidlearning : 1.89 0.00 18 2 0 0 0 0 0 0 0 0 117
3587.69/3597.01 c rlt : 0.00 0.00 355 20 0 0 0 0 0 0 0 0 0
3587.69/3597.01 c zerohalf : 5.39 0.00 1101 22 0 0 5343 2211870 0 118838 118838 0 0
3587.69/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.69/3597.01 c hybrid : 16.52 0.00 14807 22 284412 0 10189208 263 0 3337
3587.69/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.69/3597.01 c problem variables: 0.00 - 0 0
3587.69/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.69/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c relpscost : 399.97 0.00 36961 0 0 1 417 0 290 73842
3587.69/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.69/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.69/3597.01 c LP solutions : 0.00 - - 0 0
3587.69/3597.01 c relax solutions : 0.00 - - 0 0
3587.69/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.69/3597.01 c strong branching : 0.19 - - 1 1
3587.69/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.69/3597.01 c adaptivediving : 5.30 0.00 30 0 0
3587.69/3597.01 c alns : 0.66 0.00 7 0 0
3587.69/3597.01 c bound : 0.00 0.00 0 0 0
3587.69/3597.01 c clique : 0.01 0.00 1 0 0
3587.69/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.69/3597.01 c completesol : 0.00 0.00 0 0 0
3587.69/3597.01 c conflictdiving : 239.53 0.00 1063 0 0
3587.69/3597.01 c crossover : 0.94 0.00 7 7 0
3587.69/3597.01 c dins : 0.00 0.00 0 0 0
3587.69/3597.01 c distributiondivin: 86.08 0.00 231 0 0
3587.69/3597.01 c dps : 0.00 0.00 0 0 0
3587.69/3597.01 c dualval : 0.00 0.00 0 0 0
3587.69/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.69/3597.01 c feasjump : 0.00 0.00 0 0 0
3587.69/3597.01 c feaspump : 0.00 0.00 0 0 0
3587.69/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.69/3597.01 c fracdiving : 86.72 0.00 281 0 0
3587.69/3597.01 c gins : 0.01 0.00 0 0 0
3587.69/3597.01 c guideddiving : 84.98 0.00 281 0 0
3587.69/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.69/3597.01 c indicator : 0.02 0.00 0 0 0
3587.69/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.69/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.69/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.69/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.69/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.69/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.69/3597.01 c linesearchdiving : 87.66 0.00 356 0 0
3587.69/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.69/3597.01 c locks : 0.00 0.00 1 0 0
3587.69/3597.01 c lpface : 0.02 0.00 0 0 0
3587.69/3597.01 c mpec : 0.00 0.00 0 0 0
3587.69/3597.01 c multistart : 0.00 0.00 0 0 0
3587.69/3597.01 c mutation : 0.00 0.00 0 0 0
3587.69/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.69/3597.01 c objpscostdiving : 199.56 0.00 105 90 1
3587.69/3597.01 c octane : 0.00 0.00 0 0 0
3587.69/3597.01 c ofins : 0.01 0.00 0 0 0
3587.69/3597.01 c oneopt : 0.03 0.00 11 0 0
3587.69/3597.01 c padm : 0.00 0.00 0 0 0
3587.69/3597.01 c proximity : 0.00 0.00 0 0 0
3587.69/3597.01 c pscostdiving : 89.38 0.00 189 0 0
3587.69/3597.01 c randrounding : 1.72 0.00 9643 2 0
3587.69/3597.01 c rens : 0.04 0.00 2 0 0
3587.69/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.69/3597.01 c repair : 0.00 0.00 0 0 0
3587.69/3597.01 c rins : 0.79 0.00 12 10 0
3587.69/3597.01 c rootsoldiving : 53.57 0.00 202 74 0
3587.69/3597.01 c rounding : 0.37 0.00 3148 0 0
3587.69/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.69/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3587.69/3597.01 c shifting : 8.01 0.00 15121 24 9
3587.69/3597.01 c simplerounding : 0.04 0.00 51944 0 0
3587.69/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.69/3597.01 c subnlp : 0.02 0.00 0 0 0
3587.69/3597.01 c trivial : 0.00 0.00 4 2 1
3587.69/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.69/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.69/3597.01 c trysol : 0.01 0.00 0 0 0
3587.69/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.69/3597.01 c undercover : 0.00 0.00 0 0 0
3587.69/3597.01 c vbounds : 0.04 0.00 2 1 1
3587.69/3597.01 c veclendiving : 69.81 0.00 343 0 0
3587.69/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.69/3597.01 c zirounding : 0.17 0.00 1000 1 0
3587.69/3597.01 c other solutions : - - - 0 -
3587.69/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.69/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.69/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.69/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.69/3597.01 c primal LP : 9.91 9420 69 2.88 6.96 9.86 9396
3587.69/3597.01 c dual LP : 2023.12 52609 17711495 338.06 8754.57 0.14 218
3587.69/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.69/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.69/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.69/3597.01 c diving/probing LP: 970.27 76381 11846955 155.10 12209.96
3587.69/3597.01 c strong branching : 333.20 20784 2335025 112.35 7007.85 - - 1681
3587.69/3597.01 c (at root node) : - 41 20190 492.44 -
3587.69/3597.01 c conflict analysis: 0.99 1150 11035 9.60 11171.79
3587.69/3597.01 c B&B Tree :
3587.69/3597.01 c number of runs : 2
3587.69/3597.01 c nodes : 35858 (35444 internal, 414 leaves)
3587.69/3597.01 c feasible leaves : 0
3587.69/3597.01 c infeas. leaves : 285
3587.69/3597.01 c objective leaves : 128
3587.69/3597.01 c nodes (total) : 37521 (36921 internal, 600 leaves)
3587.69/3597.01 c nodes left : 35032
3587.69/3597.01 c max depth : 51
3587.69/3597.01 c max depth (total): 52
3587.69/3597.01 c backtracks : 6332 (17.7%)
3587.69/3597.01 c early backtracks : 0 (0.0%)
3587.69/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.69/3597.01 c delayed cutoffs : 0
3587.69/3597.01 c repropagations : 1339 (5602 domain reductions, 0 cutoffs)
3587.69/3597.01 c avg switch length: 8.72
3587.69/3597.01 c switching time : 17.97
3587.69/3597.01 c Root Node :
3587.69/3597.01 c First LP value : -3.20000000000000e+01
3587.69/3597.01 c First LP Iters : 2234 (14216.17 Iter/sec)
3587.69/3597.01 c First LP Time : 0.16
3587.69/3597.01 c Final Dual Bound : -3.20000000000000e+01
3587.69/3597.01 c Final Root Iters : 9095
3587.69/3597.01 c Root LP Estimate : -2.36360025024100e+01
3587.69/3597.01 c Solution :
3587.69/3597.01 c Solutions found : 214 (13 improvements)
3587.69/3597.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
3587.69/3597.01 c Gap First Sol. : infinite
3587.69/3597.01 c Gap Last Sol. : 100.00 %
3587.69/3597.01 c Primal Bound : -1.60000000000000e+01 (in run 1, after 237 nodes, 36.76 seconds, depth 10, found by <objpscostdiving>)
3587.69/3597.01 c Dual Bound : -3.19333333333333e+01
3587.69/3597.01 c Gap : 99.58 %
3587.69/3597.01 c Integrals : Total Avg%
3587.69/3597.01 c primal-dual : 180220.30 50.10
3587.69/3597.01 c primal-ref : - - (not evaluated)
3587.69/3597.01 c dual-ref : - - (not evaluated)
3587.88/3597.20 c Time complete: 3587.89.
OK -16
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62291 MiB free)
memory of node 1: 64507 MiB (61366 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519662-1751550339/watcher-4519662-1751550339 -o /tmp/evaluation-result-4519662-1751550339/solver-4519662-1751550339 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751550309-78442 --watchdog 3760 pbscip -f HOME/instance-4519662-1751550339.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=78604, runsolver pid=78601
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.82 1.73 2.90 5/264 78605
/proc/meminfo: memFree=126611736/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=68884 memory=38072 CPUtime=0.09 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 7223 0 0 0 8 1 0 0 20 0 1 0 70713782 70537216 9518 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 17221 9518 3776 3530 0 8672 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68884 KiB
Current children cumulated memory: 38072 KiB
[startup+0.205667 s]*
/proc/loadavg: 1.82 1.73 2.90 5/264 78605
/proc/meminfo: memFree=126579732/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=101316 memory=65848 CPUtime=0.2 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 14029 0 0 0 18 2 0 0 20 0 1 0 70713782 103747584 16462 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 25329 16462 3936 3530 0 16780 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101316 KiB
Current children cumulated memory: 65848 KiB
[startup+0.305588 s]*
/proc/loadavg: 1.82 1.73 2.90 5/264 78605
/proc/meminfo: memFree=126579732/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=101912 memory=66360 CPUtime=0.3 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 14159 0 0 0 28 2 0 0 20 0 1 0 70713782 104357888 16590 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 25478 16590 3936 3530 0 16929 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 101912 KiB
Current children cumulated memory: 66360 KiB
[startup+0.700132 s]
/proc/loadavg: 1.82 1.73 2.90 5/264 78605
/proc/meminfo: memFree=126555540/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=125156 memory=86584 CPUtime=0.68 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 19213 0 0 0 66 2 0 0 20 0 1 0 70713782 128159744 21646 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 31289 21646 3968 3530 0 22740 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 125156 KiB
Current children cumulated memory: 86584 KiB
[startup+1.50016 s]
/proc/loadavg: 1.82 1.73 2.90 5/265 78607
/proc/meminfo: memFree=126555792/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=125156 memory=86712 CPUtime=1.48 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 19223 0 0 0 146 2 0 0 20 0 1 0 70713782 128159744 21678 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 31289 21678 3968 3530 0 22740 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125156 KiB
Current children cumulated memory: 86712 KiB
[startup+3.10549 s]
/proc/loadavg: 1.82 1.73 2.90 5/265 78607
/proc/meminfo: memFree=126547980/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=129580 memory=91704 CPUtime=3.08 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 20497 0 0 0 305 3 0 0 20 0 1 0 70713782 132689920 22926 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 32395 22926 3968 3530 0 23846 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 129580 KiB
Current children cumulated memory: 91704 KiB
[startup+6.30016 s]
/proc/loadavg: 1.99 1.77 2.91 5/265 78607
/proc/meminfo: memFree=126535568/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=129580 memory=91832 CPUtime=6.27 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 20510 0 0 0 624 3 0 0 20 0 1 0 70713782 132689920 22958 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 32395 22958 3968 3530 0 23846 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 129580 KiB
Current children cumulated memory: 91832 KiB
[startup+12.7002 s]
/proc/loadavg: 2.15 1.81 2.91 5/265 78607
/proc/meminfo: memFree=126509052/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=142264 memory=105144 CPUtime=12.64 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 23850 0 0 0 1260 4 0 0 20 0 1 0 70713782 145678336 26286 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 35566 26286 3968 3530 0 27017 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 142264 KiB
Current children cumulated memory: 105144 KiB
[startup+25.5002 s]
/proc/loadavg: 2.50 1.90 2.93 4/263 78936
/proc/meminfo: memFree=126557460/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=147660 memory=109368 CPUtime=25.31 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 24894 0 0 0 2517 14 0 0 20 0 1 0 70713782 151203840 27342 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 36915 27342 3968 3530 0 28366 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 147660 KiB
Current children cumulated memory: 109368 KiB
[startup+51.1055 s]
/proc/loadavg: 3.01 2.07 2.95 5/265 78967
/proc/meminfo: memFree=126453836/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=201428 memory=162848 CPUtime=50.83 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 39013 0 0 0 5067 16 0 0 20 0 1 0 70713782 206262272 40712 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 50357 40712 3968 3530 0 41808 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 201428 KiB
Current children cumulated memory: 162848 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.39 3.02 5/265 79017
/proc/meminfo: memFree=126110432/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=206468 memory=169120 CPUtime=101.86 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 40566 0 0 0 10169 17 0 0 20 0 1 0 70713782 211423232 42280 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 51617 42280 3968 3530 0 43068 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 206468 KiB
Current children cumulated memory: 169120 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.71 3.09 5/265 79019
/proc/meminfo: memFree=126044036/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=233020 memory=194976 CPUtime=161.68 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 47048 0 0 0 16149 19 0 0 20 0 1 0 70713782 238612480 48744 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 58255 48744 3968 3530 0 49706 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 233020 KiB
Current children cumulated memory: 194976 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.96 3.16 5/265 79022
/proc/meminfo: memFree=125969272/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=261716 memory=223520 CPUtime=221.49 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 54162 0 0 0 22128 21 0 0 20 0 1 0 70713782 267997184 55880 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 65429 55880 3968 3530 0 56880 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 261716 KiB
Current children cumulated memory: 223520 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.17 3.22 5/265 79069
/proc/meminfo: memFree=126091020/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=279100 memory=239904 CPUtime=281.31 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 58279 0 0 0 28109 22 0 0 20 0 1 0 70713782 285798400 59976 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 69775 59976 3968 3530 0 61226 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 279100 KiB
Current children cumulated memory: 239904 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.35 3.28 5/266 79072
/proc/meminfo: memFree=126083732/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=279100 memory=239904 CPUtime=341.16 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 58287 0 0 0 34094 22 0 0 20 0 1 0 70713782 285798400 59976 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 69775 59976 3968 3530 0 61226 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 279100 KiB
Current children cumulated memory: 239904 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.49 3.33 5/266 79075
/proc/meminfo: memFree=126079224/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=279100 memory=240032 CPUtime=401 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 58290 0 0 0 40078 22 0 0 20 0 1 0 70713782 285798400 60008 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 69775 60008 3968 3530 0 61226 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 279100 KiB
Current children cumulated memory: 240032 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.62 3.39 5/266 79077
/proc/meminfo: memFree=126123420/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=283900 memory=246048 CPUtime=460.85 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 59824 0 0 0 46062 23 0 0 20 0 1 0 70713782 290713600 61512 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 70975 61512 3968 3530 0 62426 0
################
# More data... #
################
/proc/loadavg: 4.08 4.11 4.06 5/262 79217
/proc/meminfo: memFree=125940292/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=425384 memory=398364 CPUtime=3154.06 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 96994 0 0 0 315375 31 0 0 20 0 1 0 70713782 435593216 99591 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 106346 99591 3968 3530 0 97797 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 425384 KiB
Current children cumulated memory: 398364 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/262 79219
/proc/meminfo: memFree=125940428/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=426056 memory=399260 CPUtime=3213.91 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 97230 0 0 0 321360 31 0 0 20 0 1 0 70713782 436281344 99815 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 106514 99815 3968 3530 0 97965 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 426056 KiB
Current children cumulated memory: 399260 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/262 79221
/proc/meminfo: memFree=125941020/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=429428 memory=402076 CPUtime=3273.77 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 97920 0 0 0 327345 32 0 0 20 0 1 0 70713782 439734272 100519 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 107357 100519 3968 3530 0 98808 0
Current children cumulated CPU time: 3273.77 s
Current children cumulated vsize: 429428 KiB
Current children cumulated memory: 402076 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/262 79223
/proc/meminfo: memFree=125932276/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=431740 memory=404764 CPUtime=3333.62 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 98616 0 0 0 333330 32 0 0 20 0 1 0 70713782 442101760 101191 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 107935 101191 3968 3530 0 99386 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 431740 KiB
Current children cumulated memory: 404764 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/262 79225
/proc/meminfo: memFree=125933368/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=432796 memory=405788 CPUtime=3393.47 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 99007 0 0 0 339315 32 0 0 20 0 1 0 70713782 443183104 101447 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 108199 101447 3968 3530 0 99650 0
Current children cumulated CPU time: 3393.47 s
Current children cumulated vsize: 432796 KiB
Current children cumulated memory: 405788 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/262 79228
/proc/meminfo: memFree=125916388/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=451112 memory=421148 CPUtime=3453.32 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 102889 0 0 0 345300 32 0 0 20 0 1 0 70713782 461938688 105287 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 112778 105287 3968 3530 0 104229 0
Current children cumulated CPU time: 3453.32 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 421148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/262 79230
/proc/meminfo: memFree=125916796/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=451112 memory=421148 CPUtime=3513.17 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 102889 0 0 0 351285 32 0 0 20 0 1 0 70713782 461938688 105287 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 112778 105287 3968 3530 0 104229 0
Current children cumulated CPU time: 3513.17 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 421148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.02 4.09 4.08 4/260 79334
/proc/meminfo: memFree=128170356/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=451112 memory=421148 CPUtime=3573.02 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 102889 0 0 0 357270 32 0 0 20 0 1 0 70713782 461938688 105287 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 112778 105287 3968 3530 0 104229 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 421148 KiB
[startup+3597.21 s]
# the end of solver process 78604 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.57 s, system=0.334673 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.02 4.09 4.08 5/262 79412
/proc/meminfo: memFree=128184152/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=451112 memory=421148 CPUtime=3574.72 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 102889 0 0 0 357440 32 0 0 20 0 1 0 70713782 461938688 105287 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 112778 105287 3968 3530 0 104229 0
Current children cumulated CPU time: 3574.72 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 421148 KiB
[startup+3590.4 s]
/proc/loadavg: 4.02 4.09 4.07 5/262 79457
/proc/meminfo: memFree=127974340/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=451112 memory=421148 CPUtime=3581.1 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 102889 0 0 0 358078 32 0 0 20 0 1 0 70713782 461938688 105287 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 112778 105287 3968 3530 0 104229 0
Current children cumulated CPU time: 3581.1 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 421148 KiB
[startup+3593.6 s]
/proc/loadavg: 4.02 4.09 4.07 5/262 79457
/proc/meminfo: memFree=127934728/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=451112 memory=421148 CPUtime=3584.29 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 102889 0 0 0 358397 32 0 0 20 0 1 0 70713782 461938688 105287 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 112778 105287 3968 3530 0 104229 0
Current children cumulated CPU time: 3584.29 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 421148 KiB
[startup+3595.2 s]
/proc/loadavg: 4.01 4.09 4.07 4/261 79516
/proc/meminfo: memFree=128166336/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=451112 memory=421148 CPUtime=3585.89 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 102889 0 0 0 358557 32 0 0 20 0 1 0 70713782 461938688 105287 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 112778 105287 3968 3530 0 104229 0
Current children cumulated CPU time: 3585.89 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 421148 KiB
[startup+3596 s]*
/proc/loadavg: 4.01 4.09 4.07 4/258 79581
/proc/meminfo: memFree=128181772/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=451112 memory=421148 CPUtime=3586.69 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 102889 0 0 0 358637 32 0 0 20 0 1 0 70713782 461938688 105287 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 112778 105287 3968 3530 0 104229 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 421148 KiB
[startup+3596.8 s]
/proc/loadavg: 4.01 4.09 4.07 4/258 79581
/proc/meminfo: memFree=128181772/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=451112 memory=421148 CPUtime=3587.48 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 102889 0 0 0 358716 32 0 0 20 0 1 0 70713782 461938688 105287 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 112778 105287 3968 3530 0 104229 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 451112 KiB
Current children cumulated memory: 421148 KiB
[startup+3597.2 s]
/proc/loadavg: 4.01 4.09 4.07 5/262 79637
/proc/meminfo: memFree=128182428/131250000 swapFree=33010416/33010684
[pid=78604] ppid=78601 vsize=443768 memory=413868 CPUtime=3587.88 cores=4,6
/proc/78604/stat : 78604 (pbscip) R 78601 78604 78407 0 -1 4194304 102898 0 0 0 358756 32 0 0 20 0 1 0 70713782 454418432 103467 18446744073709551615 4235264 18693293 140735811500928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27807744 140735811504521 140735811504620 140735811504620 140735811510222 0
/proc/78604/statm: 110942 103467 3968 3530 0 102393 0
Current children cumulated CPU time: 3587.88 s
Current children cumulated vsize: 443768 KiB
Current children cumulated memory: 413868 KiB
Child status: 0
Real time (s): 3597.21
CPU time (s): 3587.9
CPU user time (s): 3587.57
CPU system time (s): 0.334673
CPU usage (%): 99.7413
Max. virtual memory (cumulated for all children) (KiB): 451112
Max. memory (cumulated for all children) (KiB): 421148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.57
system time used= 0.334673
maximum resident set size= 421148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102905
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= 113
involuntary context switches= 2870
# summary of solver processes directly reported to runsolver:
# pid: 78604
# total CPU time (s): 3587.9
# total CPU user time (s): 3587.57
# total CPU system time (s): 0.334673
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48834 second user time and 15.1359 second system time
The end
Begin job on nodeC027 at 2025-07-03 15:45:39 IDJOB=4519662 IDBENCH=177345 IDSOLVER=3365 FILE ID=nodeC027/4519662-1751550339 RUNJOBID= nodeC027-1751550309-78442 SLURM_JOB_ID= 9598730 Free space on /tmp= 431120 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519662-1751550339/watcher-4519662-1751550339 -o /tmp/evaluation-result-4519662-1751550339/solver-4519662-1751550339 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751550309-78442 --watchdog 3760 pbscip -f HOME/instance-4519662-1751550339.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4558152054a2b5e07a56681a0171fc0f RANDOM SEED=1977990327 nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.687 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.627 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3602.800 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.651 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.666 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3652.203 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 126625636 kB MemAvailable: 126900020 kB Buffers: 2488 kB Cached: 1073728 kB SwapCached: 12 kB Active: 3470276 kB Inactive: 533172 kB Active(anon): 2942512 kB Inactive(anon): 2792 kB Active(file): 527764 kB Inactive(file): 530380 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18832 kB Writeback: 32 kB AnonPages: 2930140 kB Mapped: 138544 kB Shmem: 18056 kB KReclaimable: 110556 kB Slab: 199712 kB SReclaimable: 110556 kB SUnreclaim: 89156 kB KernelStack: 4236 kB PageTables: 9124 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 3569148 kB VmallocTotal: 34359738367 kB VmallocUsed: 150488 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 253952 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431108 MiB End job on nodeC027 at 2025-07-03 16:45:36