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 | 23 | 3587.93 | 3597.09 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
| MD5SUM | 529ae296d86301d65a8fd4e36abb4ed9 |
| 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 | 21 |
| Best CPU time to get the best result obtained on this benchmark | 90.3129 |
| 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 | 6076 |
| Total number of constraints | 21401 |
| Number of constraints which are clauses | 21392 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 666 |
| Number of terms in the objective function | 666 |
| 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 | 666 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 697 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-4432733-1721100868.opb>
0.09/0.11 c original problem has 6076 variables (6076 bin, 0 int, 0 impl, 0 cont) and 21401 constraints
0.09/0.11 c problem read in 0.10
0.09/0.14 c presolving:
0.09/0.17 c (round 1, fast) 601 del vars, 1197 del conss, 0 add conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 0 impls, 15380 clqs
0.09/0.20 c (0.2s) running MILP presolver
0.21/0.22 c (0.2s) MILP presolver (2 rounds): 4 aggregations, 0 fixings, 0 bound changes
0.21/0.27 c (round 2, exhaustive) 605 del vars, 1213 del conss, 0 add conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 20188 upgd conss, 0 impls, 15372 clqs
0.31/0.34 c (round 3, exhaustive) 605 del vars, 20799 del conss, 4810 add conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 20188 upgd conss, 0 impls, 15372 clqs
0.31/0.37 c (round 4, exhaustive) 739 del vars, 20933 del conss, 4810 add conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 20188 upgd conss, 0 impls, 15103 clqs
0.31/0.41 c (0.4s) probing: 51/5337 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.31/0.41 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.31/0.41 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.31/0.42 c (0.4s) no symmetry present (symcode time: 0.00)
0.41/0.42 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
0.41/0.42 c 739 deleted vars, 20933 deleted constraints, 4810 added constraints, 5 tightened bounds, 0 added holes, 4 changed sides, 8 changed coefficients
0.41/0.42 c 0 implications, 15103 cliques
0.41/0.42 c presolved problem has 5337 variables (5337 bin, 0 int, 0 impl, 0 cont) and 5278 constraints
0.41/0.42 c 1 constraints of type <knapsack>
0.41/0.42 c 596 constraints of type <setppc>
0.41/0.42 c 4676 constraints of type <and>
0.41/0.42 c 5 constraints of type <logicor>
0.41/0.42 c transformed objective value is always integral (scale: 1)
0.41/0.42 c Presolving Time: 0.28
0.41/0.42 c - non default parameters ----------------------------------------------------------------------
0.41/0.42 c # SCIP version 10.0.0
0.41/0.42 c
0.41/0.42 c # maximal time in seconds to run
0.41/0.42 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.41/0.42 c limits/time = 3596.993164
0.41/0.42 c
0.41/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.41/0.42 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.41/0.42 c limits/memory = 27900
0.41/0.42 c
0.41/0.42 c # belongs reading time to solving time?
0.41/0.42 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.41/0.42 c timing/reading = TRUE
0.41/0.42 c
0.41/0.42 c -----------------------------------------------------------------------------------------------
0.41/0.42 c start solving
0.41/0.42 c
0.59/0.68 o 28
0.59/0.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.59/0.68 c p 0.7s| 1 | 0 | 0 | - |shiftand| 0 |5337 |5349 |9953 | 0 | 0 | 70 | 0 | 5.000000e+00 | 2.800000e+01 | 460.00%| unknown
0.68/0.72 c 0.7s| 1 | 0 | 504 | - | 95M | 0 |5337 |5345 |9953 | 0 | 0 | 70 | 0 | 7.600000e+00 | 2.800000e+01 | 268.42%| unknown
1.38/1.46 c 1.5s| 1 | 0 | 605 | - | 114M | 0 |5337 |5532 | 10k| 59 | 1 | 70 | 0 | 8.333333e+00 | 2.800000e+01 | 236.00%| unknown
1.78/1.82 c 1.8s| 1 | 0 | 830 | - | 126M | 0 |5337 |5529 | 10k| 85 | 2 | 71 | 0 | 9.166667e+00 | 2.800000e+01 | 205.45%| unknown
1.99/2.10 c 2.1s| 1 | 0 | 1557 | - | 133M | 0 |5337 |5529 | 10k| 126 | 3 | 73 | 0 | 1.000000e+01 | 2.800000e+01 | 180.00%| unknown
2.38/2.46 c 2.4s| 1 | 0 | 1650 | - | 141M | 0 |5337 |5527 | 10k| 171 | 4 | 73 | 0 | 1.000000e+01 | 2.800000e+01 | 180.00%| unknown
2.78/2.80 c 2.8s| 1 | 0 | 2180 | - | 147M | 0 |5337 |5526 | 10k| 236 | 5 | 73 | 0 | 1.000000e+01 | 2.800000e+01 | 180.00%| unknown
3.18/3.20 c 3.2s| 1 | 0 | 3260 | - | 154M | 0 |5337 |5527 | 10k| 320 | 6 | 74 | 0 | 1.019741e+01 | 2.800000e+01 | 174.58%| unknown
3.38/3.46 c 3.5s| 1 | 0 | 3813 | - | 159M | 0 |5337 |5534 | 10k| 477 | 7 | 81 | 0 | 1.043879e+01 | 2.800000e+01 | 168.23%| unknown
3.87/3.92 c 3.9s| 1 | 0 | 5152 | - | 165M | 0 |5337 |5543 | 10k| 599 | 8 | 90 | 0 | 1.065429e+01 | 2.800000e+01 | 162.81%| unknown
4.47/4.53 c 4.5s| 1 | 0 | 6247 | - | 174M | 0 |5337 |5553 | 10k| 764 | 9 | 100 | 0 | 1.093218e+01 | 2.800000e+01 | 156.12%| unknown
5.27/5.32 c 5.3s| 1 | 0 | 7059 | - | 187M | 0 |5337 |5563 | 10k| 887 | 10 | 110 | 0 | 1.107960e+01 | 2.800000e+01 | 152.72%| unknown
5.37/5.48 c 5.5s| 1 | 0 | 7859 | - | 188M | 0 |5337 |5565 | 10k|1012 | 11 | 112 | 0 | 1.110955e+01 | 2.800000e+01 | 152.04%| unknown
5.57/5.68 c 5.7s| 1 | 0 | 8811 | - | 189M | 0 |5337 |5575 | 11k|1195 | 12 | 122 | 0 | 1.113515e+01 | 2.800000e+01 | 151.46%| unknown
5.67/5.70 c r 5.7s| 1 | 0 | 8811 | - |shifting| 0 |5337 |5585 | 11k|1195 | 12 | 132 | 0 | 1.113515e+01 | 2.800000e+01 | 151.46%| unknown
5.86/5.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.86/5.94 c 5.9s| 1 | 0 | 10021 | - | 190M | 0 |5337 |5585 | 11k|1371 | 13 | 132 | 0 | 1.115349e+01 | 2.800000e+01 | 151.04%| unknown
6.08/6.14 c 6.1s| 1 | 0 | 10833 | - | 192M | 0 |5337 |5595 | 11k|1539 | 14 | 142 | 0 | 1.116342e+01 | 2.800000e+01 | 150.82%| unknown
6.26/6.33 c 6.3s| 1 | 0 | 11622 | - | 193M | 0 |5337 |5596 | 11k|1724 | 15 | 143 | 0 | 1.116921e+01 | 2.800000e+01 | 150.69%| unknown
6.56/6.66 c 6.7s| 1 | 0 | 13125 | - | 195M | 0 |5337 |5606 | 11k|1902 | 16 | 153 | 0 | 1.119855e+01 | 2.800000e+01 | 150.03%| unknown
7.16/7.27 c 7.3s| 1 | 0 | 15889 | - | 196M | 0 |5337 |5608 | 11k|2082 | 17 | 155 | 0 | 1.125006e+01 | 2.800000e+01 | 148.89%| unknown
7.66/7.75 c 7.7s| 1 | 0 | 17927 | - | 198M | 0 |5337 |5618 | 12k|2318 | 18 | 165 | 0 | 1.126830e+01 | 2.800000e+01 | 148.48%| unknown
8.26/8.36 c 8.4s| 1 | 0 | 20669 | - | 200M | 0 |5337 |5628 | 12k|2501 | 19 | 175 | 0 | 1.133369e+01 | 2.800000e+01 | 147.05%| unknown
8.85/8.98 c 9.0s| 1 | 0 | 23309 | - | 201M | 0 |5337 |5630 | 12k|2638 | 20 | 177 | 0 | 1.136944e+01 | 2.800000e+01 | 146.27%| unknown
9.35/9.46 c 9.4s| 1 | 0 | 25565 | - | 201M | 0 |5337 |5638 | 12k|2740 | 21 | 186 | 0 | 1.137765e+01 | 2.800000e+01 | 146.10%| unknown
9.85/9.92 c 9.9s| 1 | 0 | 27559 | - | 201M | 0 |5337 |5647 | 12k|2883 | 22 | 196 | 0 | 1.138073e+01 | 2.800000e+01 | 146.03%| unknown
10.15/10.24 c 10.2s| 1 | 0 | 28586 | - | 202M | 0 |5337 |5649 | 12k|3026 | 23 | 200 | 0 | 1.138289e+01 | 2.800000e+01 | 145.98%| unknown
10.55/10.67 c 10.7s| 1 | 0 | 30300 | - | 202M | 0 |5337 |5658 | 12k|3109 | 24 | 210 | 0 | 1.139106e+01 | 2.800000e+01 | 145.81%| unknown
11.07/11.11 c 11.1s| 1 | 0 | 32026 | - | 202M | 0 |5337 |5667 | 12k|3205 | 25 | 220 | 0 | 1.139875e+01 | 2.800000e+01 | 145.64%| unknown
11.56/11.68 c 11.7s| 1 | 0 | 34166 | - | 202M | 0 |5337 |5676 | 12k|3276 | 26 | 230 | 0 | 1.141189e+01 | 2.800000e+01 | 145.36%| unknown
11.86/11.96 c 12.0s| 1 | 0 | 35069 | - | 203M | 0 |5337 |5686 | 12k|3334 | 27 | 240 | 0 | 1.141438e+01 | 2.800000e+01 | 145.30%| unknown
12.16/12.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.16/12.21 c 12.2s| 1 | 0 | 35808 | - | 203M | 0 |5337 |5688 | 12k|3399 | 28 | 242 | 0 | 1.141532e+01 | 2.800000e+01 | 145.28%| unknown
12.25/12.37 c 12.4s| 1 | 0 | 36142 | - | 203M | 0 |5337 |5689 | 12k|3460 | 29 | 244 | 0 | 1.141574e+01 | 2.800000e+01 | 145.28%| unknown
12.35/12.48 c 12.5s| 1 | 0 | 36392 | - | 203M | 0 |5337 |5695 | 12k|3485 | 30 | 254 | 0 | 1.141602e+01 | 2.800000e+01 | 145.27%| unknown
12.45/12.57 c 12.6s| 1 | 0 | 36548 | - | 203M | 0 |5337 |5692 | 12k|3493 | 31 | 255 | 0 | 1.141629e+01 | 2.800000e+01 | 145.26%| unknown
12.55/12.69 c 12.7s| 1 | 0 | 36757 | - | 204M | 0 |5337 |5702 | 12k|3502 | 32 | 265 | 0 | 1.141659e+01 | 2.800000e+01 | 145.26%| unknown
12.75/12.81 c 12.8s| 1 | 0 | 36946 | - | 204M | 0 |5337 |5703 | 12k|3523 | 33 | 266 | 0 | 1.141741e+01 | 2.800000e+01 | 145.24%| unknown
12.85/12.92 c 12.9s| 1 | 0 | 37079 | - | 204M | 0 |5337 |5705 | 12k|3568 | 34 | 268 | 0 | 1.141749e+01 | 2.800000e+01 | 145.24%| unknown
12.97/13.01 c 13.0s| 1 | 0 | 37137 | - | 204M | 0 |5337 |5710 | 12k|3591 | 35 | 273 | 0 | 1.141754e+01 | 2.800000e+01 | 145.24%| unknown
12.97/13.10 c 13.1s| 1 | 0 | 37184 | - | 204M | 0 |5337 |5713 | 12k|3613 | 36 | 276 | 0 | 1.141756e+01 | 2.800000e+01 | 145.24%| unknown
13.07/13.17 c 13.2s| 1 | 0 | 37186 | - | 204M | 0 |5337 |5723 | 12k|3615 | 37 | 286 | 0 | 1.141756e+01 | 2.800000e+01 | 145.24%| unknown
20.23/20.35 o 27
20.23/20.35 c L20.3s| 1 | 0 | 54517 | - | rens| 0 |5337 |5734 | 12k|3615 | 38 | 299 | 0 | 1.141756e+01 | 2.700000e+01 | 136.48%| unknown
20.33/20.42 c 20.4s| 1 | 0 | 54517 | - | 205M | 0 |5337 |5734 | 12k|3615 | 38 | 299 | 0 | 1.141756e+01 | 2.700000e+01 | 136.48%| unknown
20.42/20.50 c 20.5s| 1 | 0 | 54520 | - | 205M | 0 |5337 |5744 | 12k|3616 | 39 | 309 | 0 | 1.141756e+01 | 2.700000e+01 | 136.48%| unknown
22.94/23.08 c 23.1s| 1 | 2 | 54520 | - | 205M | 0 |5337 |5746 | 12k|3616 | 40 | 311 | 11 | 1.143568e+01 | 2.700000e+01 | 136.10%| unknown
782.35/784.59 c 785s| 100 | 101 | 2030k|20133.9 | 284M | 25 |5337 |5726 | 16k| 28k| 2 | 311 |1287 | 1.166122e+01 | 2.700000e+01 | 131.54%| unknown
1292.07/1295.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1292.07/1295.49 c 1295s| 200 | 201 | 3395k|16874.7 | 442M | 29 |5337 |5847 | 16k| 41k| 2 | 486 |2078 | 1.178706e+01 | 2.700000e+01 | 129.06%| unknown
1309.23/1312.63 o 25
1309.23/1312.63 c L1313s| 201 | 202 | 3424k|16938.3 | rins| 29 |5337 |5834 | 15k| 42k| 5 | 486 |2093 | 1.181223e+01 | 2.500000e+01 | 111.65%| unknown
1745.20/1749.65 c 1750s| 300 | 301 | 4611k|15297.6 | 472M | 31 |5337 |6967 | 16k| 51k| 2 |1696 |2738 | 1.184407e+01 | 2.500000e+01 | 111.08%| unknown
2237.03/2242.68 c 2243s| 400 | 401 | 5870k|14619.0 | 513M | 31 |5337 |7059 | 16k| 61k| 2 |1820 |3562 | 1.185895e+01 | 2.500000e+01 | 110.81%| unknown
2240.44/2246.05 o 23
2240.44/2246.05 c L2246s| 401 | 402 | 5874k|14592.2 |crossove| 31 |5337 |7059 | 16k| 61k| 2 |1820 |3574 | 1.185895e+01 | 2.300000e+01 | 93.95%| unknown
2715.71/2722.45 c 2722s| 500 | 501 | 7007k|13969.3 | 627M | 33 |5337 |7798 | 15k| 68k| 2 |2617 |4316 | 1.189205e+01 | 2.300000e+01 | 93.41%| unknown
3338.75/3347.23 c 3347s| 600 | 601 | 8504k|14135.0 | 680M | 33 |5337 |7875 | 16k| 78k| 2 |2739 |5092 | 1.192114e+01 | 2.300000e+01 | 92.93%| unknown
3587.73/3597.00 c
3587.73/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.73/3597.00 c Solving Time (sec) : 3596.99
3587.73/3597.00 c Solving Nodes : 658
3587.73/3597.00 c Primal Bound : +2.30000000000000e+01 (23 solutions)
3587.73/3597.00 c Dual Bound : +1.19728237187165e+01
3587.73/3597.00 c Gap : 92.10 %
3587.84/3597.01 s SATISFIABLE
3587.84/3597.01 v -x6076 -x6075 -x6074 -x6073 -x6071 x6069 -x6067 -x6066 -x6065 -x6064 -x6062 -x6060 -x6059 -x6058 -x6057 x6055 -x6053 -x6052 -x6051
3587.84/3597.01 v -x6050 -x6048 -x6046 -x6045 -x6044 -x6043 x6041 -x6039 -x6038 -x6037 -x6036 -x6034 -x6033 -x6032 -x6031 -x6029 -x6028 -x6027
3587.84/3597.01 v -x6026 x6024 -x6022 -x6021 -x6020 -x6019 x6017 -x6015 -x6014 -x6013 -x6012 -x6010 -x6008 -x6007 -x6006 -x6005 -x6003 -x6001
3587.84/3597.01 v -x6000 -x5999 -x5998 -x5996 -x5994 -x5993 -x5992 -x5991 -x5989 -x5987 -x5986 -x5985 -x5984 x5982 -x5980 -x5979 -x5978 -x5977
3587.84/3597.01 v -x5975 -x5973 -x5972 -x5971 -x5970 -x5968 -x5966 -x5965 -x5964 -x5963 -x5961 -x5959 -x5958 -x5957 -x5956 -x5954 -x5953 -x5952
3587.84/3597.01 v -x5951 -x5949 -x5947 -x5946 -x5945 x5944 -x5942 -x5940 -x5939 -x5938 -x5937 -x5935 -x5934 -x5933 -x5932 -x5930 -x5928 -x5927
3587.84/3597.01 v -x5926 x5925 -x5923 -x5921 -x5920 -x5919 x5918 x5916 -x5914 -x5913 -x5912 -x5911 -x5909 -x5907 -x5906 -x5905 -x5904 -x5902
3587.84/3597.01 v -x5900 -x5899 -x5898 -x5897 -x5895 -x5893 -x5892 -x5891 -x5890 -x5888 -x5887 -x5886 -x5885 -x5883 -x5881 x5880 -x5879 x5878
3587.84/3597.01 v -x5876 -x5874 -x5873 -x5872 -x5871 -x5869 -x5867 -x5866 -x5865 -x5864 -x5862 -x5861 -x5860 -x5859 -x5857 -x5855 -x5854 -x5853
3587.84/3597.01 v -x5852 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 x5840 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833
3587.84/3597.01 v -x5832 -x5831 -x5830 -x5829 -x5828 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5814 -x5813
3587.84/3597.01 v -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 x5804 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794
3587.84/3597.01 v -x5793 x5792 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5778 -x5777 -x5776 -x5775 -x5774
3587.84/3597.01 v -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5754
3587.84/3597.01 v -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735
3587.84/3597.01 v -x5734 -x5733 -x5732 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5718 -x5717 -x5716 -x5715
3587.84/3597.01 v -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697
3587.84/3597.01 v -x5696 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677
3587.84/3597.01 v -x5676 -x5675 -x5674 -x5673 -x5672 -x5670 x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 x5660 -x5658 -x5657
3587.84/3597.01 v -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638
3587.84/3597.01 v -x5637 -x5636 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5622 -x5621 -x5620 -x5619 -x5618
3587.84/3597.01 v -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5598
3587.84/3597.01 v -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580
3587.84/3597.01 v -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 x5573 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561
3587.84/3597.01 v -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 x5546 -x5544 -x5543 -x5542
3587.84/3597.01 v -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524
3587.84/3597.01 v -x5523 -x5522 -x5521 -x5520 -x5519 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505
3587.84/3597.01 v -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 x5492 -x5490 -x5489 -x5488 -x5487 -x5486
3587.84/3597.01 v -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468
3587.84/3597.01 v -x5467 -x5466 -x5465 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450
3587.84/3597.01 v -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431
3587.84/3597.01 v -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413
3587.84/3597.01 v -x5412 -x5411 -x5409 -x5408 -x5407 -x5406 x5404 -x5402 -x5401 -x5400 -x5399 -x5397 -x5395 -x5394 -x5393 -x5392 x5390 -x5388
3587.84/3597.01 v -x5387 -x5386 -x5385 -x5383 -x5381 -x5380 -x5379 -x5378 -x5376 -x5374 -x5373 -x5372 -x5371 x5369 -x5367 -x5366 -x5365 -x5364
3587.84/3597.01 v -x5362 -x5360 -x5359 -x5358 -x5357 -x5355 -x5353 -x5352 -x5351 -x5350 -x5348 -x5346 -x5345 -x5344 -x5343 -x5341 -x5339 -x5338
3587.84/3597.01 v -x5337 -x5336 -x5334 -x5332 -x5331 -x5330 -x5329 x5327 -x5325 -x5324 -x5323 -x5322 -x5320 -x5318 -x5317 -x5316 -x5315 -x5313
3587.84/3597.01 v -x5311 -x5310 -x5309 -x5308 -x5306 -x5304 -x5303 -x5302 -x5301 -x5299 -x5297 -x5296 -x5295 -x5294 -x5292 -x5290 -x5289 -x5288
3587.84/3597.01 v x5287 -x5285 -x5283 -x5282 -x5281 -x5280 -x5278 -x5276 x5275 -x5274 x5273 -x5271 -x5269 -x5268 -x5267 -x5266 x5264 -x5262
3587.84/3597.01 v -x5261 -x5260 -x5259 x5257 -x5255 -x5254 -x5253 -x5252 -x5250 -x5249 -x5248 -x5247 -x5245 -x5243 -x5242 -x5241 -x5240 x5238 -x5236
3587.84/3597.01 v -x5235 -x5234 -x5233 -x5231 -x5229 -x5228 -x5227 -x5226 -x5224 -x5222 -x5221 -x5220 x5219 x5217 -x5215 -x5214 -x5213 -x5212
3587.84/3597.01 v -x5210 -x5208 -x5207 -x5206 -x5205 -x5203 -x5201 -x5200 -x5199 -x5198 -x5196 -x5194 -x5193 -x5192 x5191 -x5189 -x5188 -x5187
3587.84/3597.01 v -x5186 -x5184 -x5182 -x5181 -x5180 -x5179 -x5177 -x5175 -x5174 -x5173 x5172 -x5170 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163
3587.84/3597.01 v -x5162 -x5161 -x5160 -x5159 -x5158 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5144 -x5143
3587.84/3597.01 v -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125
3587.84/3597.01 v -x5124 -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5108 -x5107 -x5106 -x5105
3587.84/3597.01 v -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086
3587.84/3597.01 v -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 x5074 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066
3587.84/3597.01 v -x5065 -x5064 -x5063 -x5062 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5048 -x5047 -x5046
3587.84/3597.01 v -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027
3587.84/3597.01 v -x5026 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007
3587.84/3597.01 v -x5006 -x5005 -x5004 -x5003 -x5002 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 x4993 -x4992 -x4991 x4990 -x4988 -x4987
3587.84/3597.01 v -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968
3587.84/3597.01 v -x4967 x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4952 -x4951 -x4950 -x4949 -x4948
3587.84/3597.01 v -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 x4930 -x4928
3587.84/3597.01 v -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909
3587.84/3597.01 v -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892
3587.84/3597.01 v -x4891 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873
3587.84/3597.01 v -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 x4864 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854
3587.84/3597.01 v -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4835
3587.84/3597.01 v -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817
3587.84/3597.01 v -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798
3587.84/3597.01 v -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 x4787 -x4786 -x4785 -x4784 x4783 -x4781 -x4780 -x4779
3587.84/3597.01 v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761
3587.84/3597.01 v -x4760 -x4759 -x4758 -x4757 -x4756 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742
3587.84/3597.01 v -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 x4729 -x4727 -x4726 -x4725 -x4724 -x4722
3587.84/3597.01 v -x4720 -x4719 -x4718 -x4717 x4715 -x4713 -x4712 -x4711 -x4710 -x4708 -x4706 -x4705 -x4704 -x4703 x4701 -x4699 -x4698 -x4697
3587.84/3597.01 v x4696 -x4694 x4692 -x4691 -x4690 x4689 -x4687 -x4685 -x4684 -x4683 -x4682 -x4680 -x4678 -x4677 -x4676 -x4675 -x4673 -x4672
3587.84/3597.01 v -x4671 -x4670 x4668 -x4666 -x4665 -x4664 -x4663 -x4661 -x4659 -x4658 -x4657 -x4656 -x4654 -x4652 -x4651 -x4650 -x4649 -x4647
3587.84/3597.01 v -x4645 -x4644 -x4643 -x4642 -x4640 -x4638 -x4637 -x4636 -x4635 x4633 -x4631 -x4630 -x4629 -x4628 x4626 -x4624 -x4623 -x4622
3587.84/3597.01 v -x4621 x4619 -x4617 -x4616 -x4615 -x4614 -x4612 -x4610 -x4609 -x4608 -x4607 -x4605 -x4603 -x4602 -x4601 -x4600 -x4598 -x4596
3587.84/3597.01 v -x4595 -x4594 -x4593 x4591 -x4589 -x4588 -x4587 x4586 x4584 -x4582 -x4581 -x4580 -x4579 -x4577 -x4575 -x4574 -x4573 -x4572 x4570
3587.84/3597.01 v -x4568 -x4567 -x4566 -x4565 -x4563 -x4561 -x4560 -x4559 -x4558 x4556 -x4554 -x4553 -x4552 -x4551 -x4549 -x4547 -x4546 -x4545
3587.84/3597.01 v x4544 -x4542 -x4540 -x4539 -x4538 x4537 -x4535 -x4534 -x4533 -x4532 -x4530 -x4528 -x4527 -x4526 -x4525 -x4523 -x4521 -x4520
3587.84/3597.01 v -x4519 -x4518 -x4516 -x4514 -x4513 -x4512 -x4511 x4509 -x4507 -x4506 -x4505 -x4504 -x4502 -x4500 -x4499 -x4498 -x4497 x4495
3587.84/3597.01 v -x4493 -x4492 -x4491 -x4490 -x4488 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4474 -x4473
3587.84/3597.01 v -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454
3587.84/3597.01 v -x4453 -x4452 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4438 -x4437 -x4436 -x4435 -x4434
3587.84/3597.01 v -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416
3587.84/3597.01 v -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 x4408 -x4407 -x4406 -x4405 x4404 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395
3587.84/3597.01 v -x4394 -x4393 x4392 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4378 -x4377 -x4376 -x4375
3587.84/3597.01 v -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357
3587.84/3597.01 v -x4356 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337
3587.84/3597.01 v -x4336 -x4335 -x4334 -x4333 -x4332 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4318 -x4317
3587.84/3597.01 v -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298
3587.84/3597.01 v -x4297 -x4296 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 x4284 -x4282 -x4281 -x4280 -x4279 -x4278
3587.84/3597.01 v -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4258
3587.84/3597.01 v -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 x4248 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239
3587.84/3597.01 v -x4238 -x4237 -x4236 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220
3587.84/3597.01 v -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201
3587.84/3597.01 v -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184
3587.84/3597.01 v -x4183 -x4182 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165
3587.84/3597.01 v -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146
3587.84/3597.01 v -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128
3587.84/3597.01 v -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109
3587.84/3597.01 v -x4108 -x4107 -x4106 x4105 -x4104 -x4103 -x4102 x4101 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090
3587.84/3597.01 v -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4072 -x4071
3587.84/3597.01 v -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053
3587.84/3597.01 v -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4045 -x4044 -x4043 -x4042 -x4040 -x4038 -x4037 -x4036 -x4035 -x4033 -x4031 -x4030
3587.84/3597.01 v -x4029 -x4028 x4026 -x4024 -x4023 -x4022 x4021 x4019 -x4017 -x4016 -x4015 x4014 -x4012 -x4010 -x4009 -x4008 -x4007 -x4005
3587.84/3597.01 v -x4003 -x4002 -x4001 -x4000 -x3998 -x3996 -x3995 -x3994 -x3993 -x3991 -x3989 -x3988 -x3987 -x3986 -x3984 -x3982 -x3981 -x3980
3587.84/3597.01 v -x3979 x3977 -x3975 -x3974 -x3973 -x3972 -x3970 -x3968 -x3967 -x3966 -x3965 -x3963 -x3961 -x3960 -x3959 x3958 -x3956 -x3954
3587.84/3597.01 v -x3953 -x3952 -x3951 -x3949 -x3947 -x3946 -x3945 x3944 -x3942 -x3940 -x3939 -x3938 x3937 x3935 -x3933 -x3932 -x3931 -x3930
3587.84/3597.01 v -x3928 x3926 -x3925 -x3924 x3923 -x3921 -x3919 -x3918 -x3917 -x3916 -x3914 -x3912 -x3911 -x3910 -x3909 -x3907 -x3905 -x3904
3587.84/3597.01 v -x3903 x3902 x3900 -x3898 -x3897 -x3896 -x3895 x3893 -x3891 -x3890 -x3889 -x3888 -x3886 -x3884 -x3883 -x3882 -x3881 x3879 -x3877
3587.84/3597.01 v -x3876 -x3875 -x3874 -x3872 -x3870 -x3869 -x3868 -x3867 x3865 -x3863 -x3862 -x3861 x3860 -x3858 -x3857 -x3856 x3855 -x3853
3587.84/3597.01 v -x3851 -x3850 -x3849 -x3848 -x3846 -x3844 -x3843 -x3842 -x3841 -x3839 -x3837 -x3836 -x3835 -x3834 x3832 -x3830 -x3829 -x3828
3587.84/3597.01 v -x3827 -x3825 -x3823 -x3822 -x3821 -x3820 -x3818 -x3816 -x3815 -x3814 -x3813 -x3811 -x3809 -x3808 -x3807 -x3806 -x3804 -x3802
3587.84/3597.01 v -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783
3587.84/3597.01 v -x3782 -x3781 -x3780 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3766 -x3765 -x3764 -x3763
3587.84/3597.01 v -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744
3587.84/3597.01 v -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725
3587.84/3597.01 v -x3724 -x3723 -x3722 -x3721 -x3720 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 x3712 -x3711 -x3710 -x3709 x3708 -x3706 -x3705 -x3704
3587.84/3597.01 v -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686
3587.84/3597.01 v -x3685 -x3684 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3670 -x3669 x3668 -x3667 -x3666
3587.84/3597.01 v -x3665 -x3664 -x3663 -x3662 -x3661 x3660 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3646
3587.84/3597.01 v -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627
3587.84/3597.01 v -x3626 -x3625 -x3624 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3610 -x3609 -x3608 -x3607
3587.84/3597.01 v -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588
3587.84/3597.01 v -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568
3587.84/3597.01 v -x3567 -x3566 -x3565 -x3564 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3550 -x3549 -x3548
3587.84/3597.01 v -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530
3587.84/3597.01 v -x3529 -x3528 -x3527 -x3526 -x3525 -x3523 -x3522 -x3521 x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511
3587.84/3597.01 v -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 x3498 -x3496 -x3495 -x3494 -x3493 -x3492
3587.84/3597.01 v -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475
3587.84/3597.01 v -x3474 -x3473 -x3472 -x3471 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456
3587.84/3597.01 v -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437
3587.84/3597.01 v -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419
3587.84/3597.01 v -x3418 -x3417 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400
3587.84/3597.01 v -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381
3587.84/3597.01 v -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363
3587.84/3597.01 v -x3361 -x3360 -x3359 -x3358 -x3356 -x3355 -x3354 -x3353 -x3351 -x3350 -x3349 -x3348 -x3346 -x3345 -x3344 x3343 -x3341 -x3340
3587.84/3597.01 v -x3339 -x3338 -x3336 -x3335 -x3334 -x3333 -x3331 -x3330 -x3329 -x3328 -x3326 -x3325 -x3324 x3323 -x3321 -x3320 -x3319 -x3318
3587.84/3597.01 v -x3316 -x3315 -x3314 -x3313 -x3311 -x3310 -x3309 -x3308 -x3306 -x3305 -x3304 -x3303 -x3301 -x3300 -x3299 -x3298 -x3296
3587.84/3597.01 v -x3295 -x3294 -x3293 -x3291 -x3290 -x3289 -x3288 -x3286 -x3285 -x3284 -x3283 -x3281 -x3280 -x3279 -x3278 -x3276 -x3275 -x3274
3587.84/3597.01 v x3273 -x3271 -x3270 -x3269 -x3268 -x3266 -x3265 -x3264 -x3263 -x3261 -x3260 -x3259 -x3258 -x3256 -x3255 -x3254 -x3253 -x3251
3587.84/3597.01 v -x3250 -x3249 -x3248 -x3246 -x3245 -x3244 -x3243 -x3241 -x3240 -x3239 -x3238 -x3236 -x3235 -x3234 -x3233 -x3231 -x3230 -x3229
3587.84/3597.01 v -x3228 -x3226 -x3225 -x3224 -x3223 -x3221 -x3220 -x3219 -x3218 -x3216 -x3215 -x3214 x3213 -x3211 -x3210 -x3209 -x3208 -x3206
3587.84/3597.01 v -x3205 -x3204 -x3203 -x3201 -x3200 -x3199 -x3198 -x3196 -x3195 -x3194 -x3193 -x3191 -x3190 -x3189 -x3188 -x3186 -x3185 -x3184
3587.84/3597.01 v -x3183 -x3181 -x3180 -x3179 -x3178 -x3176 -x3175 -x3174 -x3173 -x3171 -x3170 -x3169 -x3168 -x3166 -x3165 -x3164 -x3163 -x3161
3587.84/3597.01 v -x3160 -x3159 -x3158 -x3156 -x3155 -x3154 -x3153 -x3151 -x3150 -x3149 -x3148 -x3146 -x3145 -x3144 -x3143 -x3141 -x3140 -x3139
3587.84/3597.01 v -x3138 -x3136 -x3135 -x3134 -x3133 -x3131 -x3130 -x3129 -x3128 -x3126 -x3125 -x3124 -x3123 -x3121 -x3120 -x3119 -x3118 -x3116
3587.84/3597.01 v -x3115 -x3114 x3113 -x3111 -x3110 -x3109 -x3108 -x3106 -x3105 -x3104 -x3103 -x3101 -x3100 -x3099 -x3098 -x3096 -x3095 -x3094
3587.84/3597.01 v -x3093 -x3091 -x3090 -x3089 -x3088 -x3086 -x3085 -x3084 -x3083 -x3081 -x3080 -x3079 -x3078 -x3076 -x3075 -x3074 -x3073
3587.84/3597.01 v -x3071 -x3070 -x3069 -x3068 -x3066 -x3065 -x3064 -x3063 -x3061 -x3060 -x3059 -x3058 -x3056 -x3055 -x3054 -x3053 -x3051 -x3050
3587.84/3597.01 v -x3049 -x3048 -x3046 -x3045 -x3044 -x3043 -x3041 -x3040 -x3039 -x3038 -x3036 -x3035 -x3034 -x3033 -x3031 -x3030 -x3029 -x3028
3587.84/3597.01 v -x3026 -x3025 -x3024 -x3023 -x3021 -x3020 -x3019 -x3018 -x3016 -x3015 -x3014 -x3013 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006
3587.84/3597.01 v -x3005 -x3004 -x3003 -x3002 -x3001 -x2999 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2985
3587.84/3597.01 v -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2971 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964
3587.84/3597.01 v -x2963 -x2962 -x2961 -x2960 -x2959 -x2957 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2943
3587.84/3597.01 v -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 x2931 -x2929 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922
3587.84/3597.01 v -x2921 -x2920 -x2919 -x2918 -x2917 -x2915 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903
3587.84/3597.01 v -x2901 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2887 -x2885 -x2884 -x2883 -x2882 -x2881
3587.84/3597.01 v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2873 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861
3587.84/3597.01 v -x2859 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2845 -x2843 -x2842 -x2841 -x2840 -x2839
3587.84/3597.01 v -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2831 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819
3587.84/3597.01 v -x2817 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2803 -x2801 -x2800 -x2799 -x2798 -x2797
3587.84/3597.01 v -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2789 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777
3587.84/3597.01 v -x2775 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2761 -x2759 -x2758 -x2757 -x2756
3587.84/3597.01 v -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2747 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736
3587.84/3597.01 v -x2735 -x2733 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2719 -x2717 -x2716 -x2715 -x2714
3587.84/3597.01 v -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 x2707 -x2705 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694
3587.84/3597.01 v -x2693 -x2691 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2677 -x2675 -x2674 -x2673 -x2672
3587.84/3597.01 v -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2663 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652
3587.84/3597.01 v -x2651 -x2649 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 x2637 -x2635 -x2633 -x2632 -x2631 -x2630
3587.84/3597.01 v -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2621 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610
3587.84/3597.01 v x2609 -x2607 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2593 -x2591 -x2590 -x2589 -x2588
3587.84/3597.01 v -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2579 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568
3587.84/3597.01 v -x2567 -x2565 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2551 -x2549 -x2548 -x2547
3587.84/3597.01 v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2537 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527
3587.84/3597.01 v -x2526 -x2525 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 x2511 -x2509 -x2508 -x2507 -x2506
3587.84/3597.01 v -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2497 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486
3587.84/3597.01 v -x2485 x2483 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2469 -x2467 -x2466 -x2465 -x2464
3587.84/3597.01 v -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 x2455 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444
3587.84/3597.01 v -x2443 -x2441 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2427 -x2425 -x2424 -x2423 -x2422
3587.84/3597.01 v -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 x2413 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402
3587.84/3597.01 v -x2401 -x2399 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2385 -x2383 -x2382 -x2381 -x2380
3587.84/3597.01 v -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2371 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360
3587.84/3597.01 v -x2359 x2357 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2343 -x2341 -x2340 -x2339 -x2338
3587.84/3597.01 v -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2329 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318
3587.84/3597.01 v -x2317 -x2315 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2301 -x2299 -x2298 -x2297
3587.84/3597.01 v -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 x2287 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277
3587.84/3597.01 v -x2276 -x2275 -x2273 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2259 -x2257 -x2256 -x2255
3587.84/3597.01 v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2245 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235
3587.84/3597.01 v -x2234 -x2233 -x2231 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215
3587.84/3597.01 v -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196
3587.84/3597.01 v -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178
3587.84/3597.01 v x2177 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159
3587.84/3597.01 v -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140
3587.84/3597.01 v -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123
3587.84/3597.01 v -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104
3587.84/3597.01 v -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085
3587.84/3597.01 v -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2067 -x2066
3587.84/3597.01 v -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048
3587.84/3597.01 v -x2047 -x2046 -x2045 -x2044 -x2043 x2042 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029
3587.84/3597.01 v -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2013 -x2012 -x2011 -x2010
3587.84/3597.01 v -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992
3587.84/3597.01 v -x1991 -x1990 -x1989 x1988 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973
3587.84/3597.01 v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1959 -x1958 -x1957 -x1956 -x1955
3587.84/3597.01 v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937
3587.84/3597.01 v -x1936 -x1935 -x1934 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918
3587.84/3597.01 v -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899
3587.84/3597.01 v -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881
3587.84/3597.01 v -x1880 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862
3587.84/3597.01 v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843
3587.84/3597.01 v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826
3587.84/3597.01 v -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807
3587.84/3597.01 v -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788
3587.84/3597.01 v -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1770 -x1769
3587.84/3597.01 v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751
3587.84/3597.01 v -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732
3587.84/3597.01 v -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1716 -x1715 -x1714 -x1713
3587.84/3597.01 v -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696
3587.84/3597.01 v -x1695 -x1694 -x1693 -x1692 -x1691 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677
3587.84/3597.01 v -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1662 -x1661 -x1660 -x1659 -x1658
3587.84/3597.01 v -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640
3587.84/3597.01 v -x1639 -x1638 -x1637 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621
3587.84/3597.01 v -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602
3587.84/3597.01 v -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584
3587.84/3597.01 v -x1583 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566
3587.84/3597.01 v -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547
3587.84/3597.01 v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529
3587.84/3597.01 v -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510
3587.84/3597.01 v -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491
3587.84/3597.01 v -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1473 -x1472
3587.84/3597.01 v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454
3587.84/3597.01 v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437
3587.84/3597.01 v -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419
3587.84/3597.01 v -x1418 -x1417 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400
3587.84/3597.01 v -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382
3587.84/3597.01 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364
3587.84/3597.01 v -x1363 -x1362 -x1361 -x1360 -x1359 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345
3587.84/3597.01 v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327
3587.84/3597.01 v -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310
3587.84/3597.01 v -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 x1301 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291
3587.84/3597.01 v -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273
3587.84/3597.01 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255
3587.84/3597.01 v -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236
3587.84/3597.01 v -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218
3587.84/3597.01 v -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200
3587.84/3597.01 v -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 x1185 -x1183 -x1182 -x1181
3587.84/3597.01 v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163
3587.84/3597.01 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146
3587.84/3597.01 v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128
3587.84/3597.01 v -x1127 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109
3587.84/3597.01 v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091
3587.84/3597.01 v -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073
3587.84/3597.01 v -x1072 -x1071 -x1070 -x1069 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
3587.84/3597.01 v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036
3587.84/3597.01 v -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019
3587.84/3597.01 v -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x1009 -x1007 -x1008 -x1005
3587.84/3597.01 v -x1006 -x1004 -x1002 -x1003 -x1001 -x999 -x1000 -x998 -x996 -x997 -x995 -x993 -x994 -x992 -x991 -x990 -x989 -x988 -x986 -x987
3587.84/3597.01 v -x985 -x983 -x984 -x982 -x980 -x981 -x979 -x977 -x978 -x976 -x974 -x975 -x973 -x971 -x972 -x970 -x968 -x969 -x967 -x965 -x966
3587.84/3597.01 v -x964 -x962 -x963 -x961 -x959 -x960 -x958 -x957 -x956 -x954 -x955 -x953 -x951 -x952 -x950 -x949 -x948 -x946 -x947 -x945 -x943
3587.84/3597.01 v -x944 -x942 -x940 -x941 -x939 -x937 -x938 -x936 -x934 -x935 -x933 -x931 -x932 -x930 -x929 -x928 -x926 -x927 -x925 -x923 -x924
3587.84/3597.01 v -x922 -x920 -x921 -x919 -x918 -x917 -x915 -x916 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 x903 -x902
3587.84/3597.01 v -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x889 -x888 -x886 -x885 -x884 -x883 -x881 -x880 -x879 -x878 -x877
3587.84/3597.01 v -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x858 -x856 -x857
3587.84/3597.01 v -x855 -x853 -x854 -x852 -x850 x851 -x849 -x847 -x848 -x846 -x844 -x845 -x843 -x841 -x842 -x840 -x838 -x839 -x837 -x835 -x836
3587.84/3597.01 v -x834 -x832 -x833 -x831 -x829 -x830 -x828 -x826 -x827 -x825 -x823 -x824 -x822 -x820 -x821 -x819 -x817 -x818 -x816 -x814 -x815
3587.84/3597.01 v -x813 -x811 -x812 -x810 -x808 -x809 -x807 -x805 -x806 -x804 -x802 -x803 -x801 -x799 -x800 -x798 -x796 -x797 -x795 -x793 -x794
3587.84/3597.01 v -x792 -x791 -x790 -x788 -x789 -x787 -x785 -x786 -x784 -x782 -x783 -x781 -x779 -x780 x778 -x776 -x777 -x775 -x773 -x774 -x772
3587.84/3597.01 v -x770 -x771 -x769 -x767 -x768 -x766 -x765 -x764 -x762 -x763 -x761 -x759 -x760 -x758 -x756 -x757 -x755 -x753 -x752 -x751 -x750
3587.84/3597.01 v -x749 -x748 -x746 -x745 -x744 -x743 -x741 -x740 -x739 -x738 -x736 -x735 -x733 -x732 -x730 -x729 -x728 -x727 -x726 -x725 -x724
3587.84/3597.01 v -x723 -x721 -x720 -x718 -x717 -x715 x714 x713 -x712 -x711 -x710 -x708 -x707 -x706 -x705 -x704 -x539 -x538 -x537 -x536 x535
3587.84/3597.01 v -x534 -x533 -x695 -x693 -x694 -x692 -x690 -x691 -x689 -x687 -x688 -x686 -x684 -x685 -x683 -x681 -x682 -x680 -x678 -x679 -x677
3587.84/3597.01 v -x675 -x676 -x674 -x673 -x672 -x670 -x671 -x669 -x667 -x668 -x666 -x664 -x665 -x663 -x661 -x662 -x660 -x658 -x659 -x657 -x655
3587.84/3597.01 v -x656 -x654 -x652 -x653 -x651 -x649 x650 -x648 -x646 -x647 -x645 -x643 -x644 -x642 -x640 -x641 -x639 -x637 -x638 -x636 -x634
3587.84/3597.01 v -x635 -x633 -x631 -x632 -x630 -x628 -x629 -x627 -x625 -x626 -x624 -x622 -x623 -x621 -x619 -x620 -x618 -x616 -x617 x615 -x614
3587.84/3597.01 v -x613 -x611 -x612 -x610 -x608 -x609 -x607 -x605 -x606 -x604 -x602 -x603 -x601 -x599 -x600 -x598 -x596 -x597 -x595 -x593 -x594
3587.84/3597.01 v -x592 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x572 -x571 -x570
3587.84/3597.01 v -x569 -x567 -x566 -x564 -x563 -x561 -x560 -x558 -x557 -x555 -x554 -x553 -x552 -x551 -x550 -x548 -x547 -x545 -x544 -x543 -x542
3587.84/3597.01 v -x540 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x531 -x529 -x530 -x528 -x526 -x527 -x525 -x523 -x524 -x522 -x520 -x521 -x519
3587.84/3597.01 v -x517 -x518 -x516 -x514 -x515 -x513 -x511 -x512 -x510 -x508 -x509 -x507 -x505 -x506 -x504 -x502 -x503 -x501 -x499 -x500 -x498
3587.84/3597.01 v -x496 -x497 -x495 -x493 -x494 -x492 -x490 -x491 -x489 -x487 -x488 -x486 -x484 x485 -x483 -x481 -x482 -x480 -x478 -x479 -x477
3587.84/3597.01 v -x475 -x476 -x474 -x472 -x473 -x471 -x469 -x470 -x468 -x466 -x467 -x465 -x463 -x464 -x462 -x460 -x461 -x459 -x457 -x458 -x456
3587.84/3597.01 v -x454 -x455 -x453 -x452 -x451 -x449 -x450 -x448 -x446 -x447 -x445 -x443 -x444 -x442 -x440 -x441 -x439 -x437 -x438 -x436 -x434
3587.84/3597.01 v -x435 -x433 -x431 -x432 -x430 -x428 -x429 -x427 -x426 -x425 -x423 -x422 -x420 -x419 -x417 -x416 -x414 -x413 -x411 -x410 -x409
3587.84/3597.01 v -x408 -x406 -x405 -x403 -x402 -x400 -x399 -x397 -x396 -x394 -x393 -x391 -x390 -x388 -x387 -x386 -x385 -x384 -x383 -x381
3587.84/3597.01 v -x380 -x378 -x377 -x375 -x374 -x373 -x372 -x371 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x362 -x360 -x361 -x359 -x357 -x358 -x356 -x354
3587.84/3597.01 v -x355 -x353 -x351 -x352 -x350 -x348 -x349 -x347 -x345 -x346 -x344 -x342 -x343 -x341 -x339 -x340 -x338 -x336 -x337 -x335 -x333
3587.84/3597.01 v -x334 -x332 -x330 -x331 -x329 -x327 -x328 -x326 -x324 -x325 -x323 -x321 -x322 -x320 -x318 x319 -x317 -x315 -x316 -x314 -x312
3587.84/3597.01 v -x313 -x311 -x309 -x310 -x308 -x306 -x307 -x305 -x303 -x304 -x302 -x300 -x301 -x299 -x297 -x298 -x296 -x294 -x295 -x293 -x291
3587.84/3597.01 v -x292 -x290 -x288 -x289 -x287 -x285 -x286 -x284 -x282 -x283 -x281 -x279 -x280 -x278 -x276 -x277 -x275 -x273 -x274 -x272 -x270
3587.84/3597.01 v -x271 -x269 -x267 -x268 -x266 -x264 -x265 -x263 -x261 -x262 -x260 -x258 -x259 -x257 -x255 -x256 -x254 -x252 -x253 -x251
3587.84/3597.01 v -x249 -x250 -x248 -x246 -x247 -x245 -x243 -x244 x242 -x240 -x241 -x239 -x237 -x238 -x236 -x234 -x235 -x233 -x231 -x232 -x230
3587.84/3597.01 v -x228 -x229 -x227 -x225 -x226 -x224 -x222 -x223 -x221 -x219 -x220 -x218 -x216 -x217 -x215 -x213 -x214 -x212 -x210 -x211 -x209
3587.84/3597.01 v -x207 -x208 -x206 -x204 -x205 -x203 -x201 -x202 -x200 -x198 -x199 -x197 -x195 -x196 -x194 -x192 -x193 -x191 -x189 -x190 -x188
3587.84/3597.01 v -x186 -x187 -x185 -x183 -x184 -x182 -x180 -x181 -x179 -x177 -x178 -x176 -x174 -x175 -x173 -x171 -x172 -x170 -x168 -x169 -x167
3587.84/3597.01 v -x165 -x166 -x164 -x162 -x163 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x154 -x153 -x151 -x152 -x150 -x148 -x149 -x147 -x145
3587.84/3597.01 v -x146 -x144 -x142 -x143 -x141 -x139 x140 -x138 -x136 -x137 -x135 -x133 -x134 -x132 -x130 -x131 -x129 -x127 -x128 -x126 -x124
3587.84/3597.01 v -x125 -x123 -x121 -x122 -x120 -x118 -x119 -x117 -x115 -x116 -x114 -x112 -x113 -x111 -x109 -x110 -x108 -x106 -x107 -x105 -x103
3587.84/3597.01 v -x104 -x102 -x100 -x101 -x99 -x97 -x98 -x96 -x94 -x95 -x93 -x91 -x92 -x90 -x88 -x87 -x85 -x84 -x82 -x81 -x79 -x78 -x76 -x75
3587.84/3597.01 v -x73 -x72 -x70 -x69 -x67 x66 -x64 -x63 -x61 -x60 -x58 -x57 -x55 -x54 -x52 -x51 -x49 -x48 -x47 -x46 -x44 -x43 -x41 -x40 -x38
3587.84/3597.01 v -x37 -x35 -x34 -x33 -x32 -x31 -x30 -x28 -x27 -x25 -x24 -x22 -x21 -x19 -x18 -x16 -x15 -x13 -x12 -x10 -x6072 -x6070 -x6068 -x6063
3587.84/3597.01 v -x6061 -x6056 -x6054 -x6049 -x6047 -x6042 -x6040 -x6035 -x6030 -x6025 -x6023 -x6018 -x6016 -x6011 -x6009 -x6004 -x6002
3587.84/3597.01 v -x5997 -x5995 -x5990 -x5988 -x5983 -x5981 -x5976 -x5974 -x5969 -x5967 -x5962 -x5960 -x5955 -x5950 -x5948 -x5943 -x5941 -x5936
3587.84/3597.01 v -x5931 -x5929 -x5924 -x5922 -x5917 -x5915 -x5910 -x5908 -x5903 -x5901 -x5896 -x5894 -x5889 -x5884 -x5882 -x5877 -x5875 -x5870
3587.84/3597.01 v -x5868 -x5863 -x5858 -x5856 -x5851 -x5839 -x5827 -x5815 -x5803 x5791 -x5779 -x901 -x5767 -x5755 -x5743 -x5731 -x5719 -x890
3587.84/3597.01 v -x5707 -x887 -x5695 -x5683 -x882 -x5671 -x5659 -x5647 -x5635 -x5623 -x5611 -x5599 -x5572 -x5545 -x5518 -x5491 -x5464 -x5437 -x5410
3587.84/3597.01 v -x5405 -x5403 -x5398 -x5396 -x5391 x5389 -x5384 -x5382 -x5377 -x5375 -x5370 -x5368 -x5363 -x5361 -x5356 -x5354 -x5349 -x5347
3587.84/3597.01 v -x5342 -x5340 -x5335 -x5333 -x5328 -x5326 -x5321 -x5319 -x5314 -x5312 -x5307 -x5305 -x5300 -x5298 -x5293 -x5291 -x5286
3587.84/3597.01 v -x5284 -x5279 -x5277 -x5272 -x5270 -x5265 -x5263 -x5258 -x5256 -x5251 -x5246 -x5244 -x5239 -x5237 -x5232 -x5230 -x5225 -x5223
3587.84/3597.01 v x5218 -x5216 -x5211 -x5209 -x5204 -x5202 -x5197 -x5195 -x5190 -x5185 -x5183 -x5178 -x5176 -x5171 -x5169 -x5157 -x754 -x5145
3587.84/3597.01 v -x5133 -x5121 -x747 -x5109 -x5097 -x742 -x5085 -x5073 -x737 -x5061 -x734 -x5049 -x731 -x5037 -x5025 -x5013 -x5001 -x722 -x4989
3587.84/3597.01 v -x719 -x4977 -x716 x4965 -x4953 -x4941 -x709 -x4929 -x4917 -x4890 -x4863 -x4836 -x4809 -x4782 -x4755 -x4728 -x4723 -x4721 -x4716
3587.84/3597.01 v -x4714 -x4709 -x4707 -x4702 -x4700 -x4695 -x4693 -x4688 -x4686 -x4681 -x4679 -x4674 -x4669 -x4667 -x4662 -x4660 -x4655
3587.84/3597.01 v -x4653 -x4648 -x4646 -x4641 -x4639 -x4634 -x4632 -x4627 -x4625 -x4620 x4618 -x4613 -x4611 -x4606 -x4604 -x4599 -x4597 -x4592
3587.84/3597.01 v -x4590 -x4585 -x4583 -x4578 -x4576 -x4571 -x4569 -x4564 -x4562 -x4557 -x4555 -x4550 -x4548 -x4543 -x4541 x4536 -x4531 -x4529
3587.84/3597.01 v -x4524 -x4522 -x4517 -x4515 -x4510 -x4508 -x4503 -x4501 -x4496 -x4494 -x4489 -x4487 -x4475 -x591 -x4463 -x4451 -x4439 -x4427
3587.84/3597.01 v x582 -x4415 -x4403 -x4391 -x4379 -x573 -x4367 -x4355 -x568 -x4343 -x565 -x4331 -x562 -x4319 x559 -x4307 -x556 -x4295 -x4283 -x4271
3587.84/3597.01 v -x549 -x4259 -x546 -x4247 -x4235 -x541 -x4208 -x4181 -x4154 -x4127 x4100 -x4073 -x4046 -x4041 -x4039 -x4034 -x4032 -x4027
3587.84/3597.01 v -x4025 -x4020 -x4018 -x4013 -x4011 -x4006 -x4004 -x3999 -x3997 -x3992 -x3990 -x3985 -x3983 -x3978 -x3976 -x3971 -x3969 -x3964
3587.84/3597.01 v -x3962 -x3957 -x3955 -x3950 -x3948 -x3943 -x3941 -x3936 x3934 -x3929 -x3927 -x3922 -x3920 -x3915 -x3913 -x3908 -x3906 -x3901
3587.84/3597.01 v -x3899 -x3894 -x3892 -x3887 -x3885 -x3880 -x3878 -x3873 -x3871 -x3866 -x3864 -x3859 -x3854 -x3852 -x3847 -x3845 -x3840 -x3838
3587.84/3597.01 v -x3833 -x3831 -x3826 -x3824 -x3819 -x3817 -x3812 -x3810 -x3805 -x3803 -x3791 -x3779 -x424 -x3767 -x421 -x3755 -x418 -x3743
3587.84/3597.01 v -x415 -x3731 x412 -x3719 -x3707 -x407 -x3695 -x404 -x3683 -x401 -x3671 -x398 -x3659 -x395 -x3647 -x392 -x3635 -x389 -x3623
3587.84/3597.01 v -x3611 -x3599 -x382 -x3587 -x379 -x3575 -x376 -x3563 -x3551 -x3524 x3497 -x3470 -x3443 -x3416 -x3389 -x3362 -x3357 -x3352 -x3347
3587.84/3597.01 v -x3342 -x3337 -x3332 -x3327 -x3322 -x3317 -x3312 -x3307 -x3302 -x3297 -x3292 -x3287 -x3282 -x3277 -x3272 -x3267 -x3262 -x3257
3587.84/3597.01 v -x3252 -x3247 -x3242 -x3237 -x3232 -x3227 -x3222 -x3217 x3212 -x3207 -x3202 -x3197 -x3192 -x3187 -x3182 -x3177 -x3172 -x3167
3587.84/3597.01 v -x3162 -x3157 -x3152 -x3147 -x3142 -x3137 -x3132 -x3127 -x3122 -x3117 -x3112 -x3107 -x3102 -x3097 -x3092 -x3087 -x3082
3587.84/3597.01 v -x3077 -x3072 -x3067 -x3062 -x3057 -x3052 -x3047 -x3042 -x3037 -x3032 -x3027 -x3022 -x3017 -x3012 -x3000 -x2998 -x2986 -x2984
3587.84/3597.01 v -x2972 -x2970 -x2958 -x2956 -x2944 -x2942 x2930 -x2928 -x2916 -x2914 -x2902 -x2900 -x2888 -x2886 -x2874 -x2872 -x2860 -x2858
3587.84/3597.01 v -x2846 -x2844 -x2832 -x2830 -x2818 -x2816 -x2804 -x2802 -x2790 -x2788 -x2776 -x2774 -x2762 -x2760 -x2748 -x2746 -x2734 -x2732
3587.84/3597.01 v -x2720 -x2718 -x2706 -x2704 -x2692 -x2690 -x2678 -x2676 -x2664 -x2662 -x2650 -x2648 -x2636 -x2634 -x2622 -x2620 -x2608 -x2606
3587.84/3597.01 v -x2594 -x2592 -x2580 -x2578 -x2566 -x2564 -x2552 -x2550 -x2538 -x2536 -x2524 -x2512 -x2510 -x2498 -x2496 -x2484 -x2482 -x2470
3587.84/3597.01 v -x2468 -x2456 x2454 -x2442 -x2440 -x2428 -x2426 -x2414 -x2412 -x2400 -x2398 -x2386 -x2384 -x2372 -x2370 -x2358 -x2356 -x2344
3587.84/3597.01 v -x2342 -x2330 -x2328 -x2316 -x2314 -x2302 -x2300 -x2288 -x2286 -x2274 -x2272 -x2260 -x2258 -x2246 -x2244 -x2232 -x2230 -x2203
3587.84/3597.01 v -x89 -x2176 -x86 -x2149 -x83 -x2122 -x80 -x2095 -x77 -x2068 -x74 -x2041 -x71 -x2014 -x68 x1987 -x65 -x1960 -x62 -x1933 -x59
3587.84/3597.01 v -x1906 -x56 -x1879 -x53 -x1852 -x50 -x1825 -x1798 -x45 -x1771 -x42 -x1744 -x39 -x1717 -x36 -x1690 -x1663 -x1636 -x29 -x1609
3587.84/3597.01 v x26 -x1582 -x23 -x1555 -x20 -x1528 -x17 -x1501 -x14 -x1474 -x11 -x1416 -x1358 x1300 -x1242 -x1184 -x1126 -x1068 -x1010 x859
3587.84/3597.01 v x696 x532 x363 x1
3587.84/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.84/3597.01 c Total Time : 3596.99
3587.84/3597.01 c solving : 3596.99
3587.84/3597.01 c presolving : 0.28 (included in solving)
3587.84/3597.01 c reading : 0.10 (included in solving)
3587.84/3597.01 c copying : 0.23 (12 #copies) (minimal 0.01, maximal 0.02, average 0.02)
3587.84/3597.01 c Original Problem :
3587.84/3597.01 c Problem name : HOME/instance-4432733-1721100868.opb
3587.84/3597.01 c Variables : 6076 (6076 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.84/3597.01 c Constraints : 21401 initial, 21401 maximal
3587.84/3597.01 c Objective : minimize, 666 non-zeros (abs.min = 1, abs.max = 1)
3587.84/3597.01 c Presolved Problem :
3587.84/3597.01 c Problem name : t_HOME/instance-4432733-1721100868.opb
3587.84/3597.01 c Variables : 5337 (5337 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.84/3597.01 c Constraints : 5278 initial, 8089 maximal
3587.84/3597.01 c Objective : minimize, 661 non-zeros (abs.min = 1, abs.max = 1)
3587.84/3597.01 c Nonzeros : 21415 constraint, 30208 clique table
3587.84/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.84/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c gateextraction : 0.05 0.00 3 0 0 0 0 0 19586 4810 0 0
3587.84/3597.01 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c milp : 0.05 0.00 1 0 4 0 0 0 0 0 0 0
3587.84/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c knapsack : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c setppc : 0.02 0.00 8 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c and : 0.03 0.00 4 0 134 0 0 0 134 0 0 0
3587.84/3597.01 c linear : 0.07 0.01 3 5 596 0 5 0 1213 0 4 8
3587.84/3597.01 c logicor : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.84/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.84/3597.01 c benderslp : 0 0 0 0 658 0 0 163 0 0 0 0 0 0 0
3587.84/3597.01 c integral : 0 0 0 0 658 0 0 163 0 0 1 0 0 0 1314
3587.84/3597.01 c knapsack : 1 1 0 44826 0 0 0 157 520 153 0 0 0 0 0
3587.84/3597.01 c setppc : 596+ 597 39 44620 0 0 0 133 5382 30 1494 1 0 0 0
3587.84/3597.01 c and : 4676 4676 1835 44656 0 0 0 29 40940 153 56132 205646 62348 0 0
3587.84/3597.01 c linear : 0+ 193 39 40101 0 0 0 3 17 7 0 51 15 0 0
3587.84/3597.01 c logicor : 5+ 2674 39 11014 0 0 0 25 103 27 14 154 25 0 0
3587.84/3597.01 c benders : 0 0 0 0 0 0 0 26 0 0 0 0 0 0 0
3587.84/3597.01 c fixedvar : 0 0 0 0 0 0 0 26 0 0 0 0 0 0 0
3587.84/3597.01 c countsols : 0 0 0 0 0 0 0 26 0 0 0 0 0 0 0
3587.84/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.84/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c integral : 1264.46 0.00 0.00 0.00 1264.46 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c knapsack : 0.09 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.01
3587.84/3597.01 c setppc : 0.11 0.00 0.00 0.07 0.00 0.00 0.00 0.01 0.00 0.03
3587.84/3597.01 c and : 5.64 0.00 2.16 0.93 0.00 0.00 0.00 0.02 0.01 2.51
3587.84/3597.01 c linear : 0.23 0.01 0.14 0.03 0.00 0.00 0.00 0.00 0.00 0.05
3587.84/3597.01 c logicor : 0.11 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.03
3587.84/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.84/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/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.84/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.84/3597.01 c dualfix : 3 0 0 0
3587.84/3597.01 c genvbounds : 0 0 0 0
3587.84/3597.01 c nlobbt : 0 0 0 0
3587.84/3597.01 c obbt : 0 0 0 0
3587.84/3597.01 c probing : 0 0 0 0
3587.84/3597.01 c pseudoobj : 2688 0 0 0
3587.84/3597.01 c redcost : 650 0 0 0
3587.84/3597.01 c rootredcost : 3 0 0 0
3587.84/3597.01 c symmetry : 0 0 0 0
3587.84/3597.01 c vbounds : 28025 0 0 0
3587.84/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.84/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c genvbounds : 0.01 0.00 0.00 0.00 0.00 0.01
3587.84/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3587.84/3597.01 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.84/3597.01 c redcost : 0.07 0.00 0.00 0.06 0.00 0.00
3587.84/3597.01 c rootredcost : 0.01 0.00 0.00 0.00 0.00 0.00
3587.84/3597.01 c symmetry : 0.02 0.00 0.01 0.00 0.00 0.01
3587.84/3597.01 c vbounds : 0.03 0.00 0.00 0.01 0.00 0.02
3587.84/3597.01 c Symmetry :
3587.84/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.84/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.84/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.84/3597.01 c shadow tree time : 0.00 s
3587.84/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.84/3597.01 c propagation : 0.09 365 365 - 5218 161.0 15 54.3 - - -
3587.84/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.84/3597.01 c bound exceed. LP : 0.16 27 2 - 20 71.3 0 0.0 2 613.5 310
3587.84/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.84/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.84/3597.01 c applied globally : 0.03 - - 0 2976 56.8 - - 2 - -
3587.84/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.84/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.84/3597.01 c cut pool : 0.60 - 669 75 - - 14570 42276 - - - - - (maximal pool size: 8279)
3587.84/3597.01 c aggregation : 0.89 0.00 216 39 0 0 27 165 0 25 25 0 0
3587.84/3597.01 c > cmir : - - - - - - - 163 0 23 23 0 -
3587.84/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.84/3597.01 c > knapsackcover : - - - - - - - 2 0 2 2 0 -
3587.84/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c clique : 0.46 0.00 39 39 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c gomory : 91.11 0.00 151 10 0 0 2067 3721 0 134 134 0 0
3587.84/3597.01 c > gomorymi : - - - - - - - 2176 0 120 120 0 -
3587.84/3597.01 c > strongcg : - - - - - - - 1545 0 14 14 0 -
3587.84/3597.01 c impliedbounds : 0.16 0.00 216 39 0 0 11927 34797 0 18981 18981 0 0
3587.84/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c multilinear : 0.02 0.00 159 39 0 0 81 302 0 162 162 0 0
3587.84/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.84/3597.01 c rapidlearning : 0.27 0.00 1 1 0 0 0 0 0 0 0 0 192
3587.84/3597.01 c rlt : 24.24 0.00 44 10 0 0 123 1093 0 524 524 0 0
3587.84/3597.01 c zerohalf : 5.39 0.00 161 20 0 0 345 2198 0 1030 1030 0 0
3587.84/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.84/3597.01 c hybrid : 0.41 0.00 1763 38 83298 0 164830 3616 0 12083
3587.84/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.84/3597.01 c problem variables: 0.00 - 0 0
3587.84/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.84/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c relpscost : 1264.45 0.00 658 0 0 0 1 0 0 1314
3587.84/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.84/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.84/3597.01 c LP solutions : 0.00 - - 0 0
3587.84/3597.01 c relax solutions : 0.00 - - 0 0
3587.84/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.84/3597.01 c strong branching : 0.01 - - 0 0
3587.84/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.84/3597.01 c adaptivediving : 10.86 0.00 4 0 0
3587.84/3597.01 c alns : 0.48 0.00 3 0 0
3587.84/3597.01 c bound : 0.00 0.00 0 0 0
3587.84/3597.01 c clique : 0.05 0.00 1 0 0
3587.84/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.84/3597.01 c completesol : 0.00 0.00 0 0 0
3587.84/3597.01 c conflictdiving : 1.37 0.00 3 0 0
3587.84/3597.01 c crossover : 0.22 0.00 3 1 1
3587.84/3597.01 c dins : 0.00 0.00 0 0 0
3587.84/3597.01 c distributiondivin: 16.14 0.00 3 0 0
3587.84/3597.01 c dps : 0.00 0.00 0 0 0
3587.84/3597.01 c dualval : 0.00 0.00 0 0 0
3587.84/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.84/3597.01 c feasjump : 0.00 0.00 0 0 0
3587.84/3597.01 c feaspump : 2.80 0.00 1 0 0
3587.84/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.84/3597.01 c fracdiving : 4.85 0.00 3 0 0
3587.84/3597.01 c gins : 0.01 0.00 0 0 0
3587.84/3597.01 c guideddiving : 1.37 0.00 2 0 0
3587.84/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.84/3597.01 c indicator : 0.00 0.00 0 0 0
3587.84/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.84/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.84/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.84/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.84/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.84/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.84/3597.01 c linesearchdiving : 4.70 0.00 3 0 0
3587.84/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.84/3597.01 c locks : 0.02 0.00 1 0 0
3587.84/3597.01 c lpface : 0.00 0.00 0 0 0
3587.84/3597.01 c mpec : 0.00 0.00 0 0 0
3587.84/3597.01 c multistart : 0.00 0.00 0 0 0
3587.84/3597.01 c mutation : 0.00 0.00 0 0 0
3587.84/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.84/3597.01 c objpscostdiving : 36.66 0.00 2 0 0
3587.84/3597.01 c octane : 0.00 0.00 0 0 0
3587.84/3597.01 c ofins : 0.00 0.00 0 0 0
3587.84/3597.01 c oneopt : 0.01 0.00 5 0 0
3587.84/3597.01 c padm : 0.00 0.00 0 0 0
3587.84/3597.01 c proximity : 0.00 0.00 0 0 0
3587.84/3597.01 c pscostdiving : 20.00 0.00 3 0 0
3587.84/3597.01 c randrounding : 0.71 0.00 144 0 0
3587.84/3597.01 c rens : 3.04 0.00 1 1 1
3587.84/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.84/3597.01 c repair : 0.00 0.00 0 0 0
3587.84/3597.01 c rins : 12.01 0.00 4 4 1
3587.84/3597.01 c rootsoldiving : 7.95 0.00 2 0 0
3587.84/3597.01 c rounding : 0.82 0.00 648 0 0
3587.84/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.84/3597.01 c shiftandpropagate: 0.06 0.00 1 1 1
3587.84/3597.01 c shifting : 1.82 0.00 526 16 0
3587.84/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.84/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.84/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.84/3597.01 c trivial : 0.00 0.00 2 0 0
3587.84/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.84/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.84/3597.01 c trysol : 0.00 0.00 0 0 0
3587.84/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.84/3597.01 c undercover : 0.08 0.00 1 0 0
3587.84/3597.01 c vbounds : 0.13 0.00 1 0 0
3587.84/3597.01 c veclendiving : 0.16 0.00 3 0 0
3587.84/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.84/3597.01 c zirounding : 0.74 0.00 657 0 0
3587.84/3597.01 c other solutions : - - - 0 -
3587.84/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.84/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.84/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.84/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.84/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.84/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.84/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.84/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.84/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.84/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.84/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.84/3597.01 c primal LP : 0.67 119 0 0.00 0.00 0.66 119
3587.84/3597.01 c dual LP : 2071.71 2421 8464181 3497.60 4085.61 0.00 1
3587.84/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.84/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.84/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.84/3597.01 c diving/probing LP: 137.66 1021 645244 631.97 4687.16
3587.84/3597.01 c strong branching : 1214.88 5402 4339438 803.30 3571.91 - - 8028
3587.84/3597.01 c (at root node) : - 11 9713 883.00 -
3587.84/3597.01 c conflict analysis: 0.09 31 310 10.00 3368.69
3587.84/3597.01 c B&B Tree :
3587.84/3597.01 c number of runs : 1
3587.84/3597.01 c nodes : 658 (657 internal, 1 leaves)
3587.84/3597.01 c feasible leaves : 0
3587.84/3597.01 c infeas. leaves : 0
3587.84/3597.01 c objective leaves : 0
3587.84/3597.01 c nodes (total) : 658 (657 internal, 1 leaves)
3587.84/3597.01 c nodes left : 658
3587.84/3597.01 c max depth : 37
3587.84/3597.01 c max depth (total): 37
3587.84/3597.01 c backtracks : 49 (7.4%)
3587.84/3597.01 c early backtracks : 0 (0.0%)
3587.84/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.84/3597.01 c delayed cutoffs : 0
3587.84/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.84/3597.01 c avg switch length: 2.81
3587.84/3597.01 c switching time : 0.67
3587.84/3597.01 c Root Node :
3587.84/3597.01 c First LP value : +7.60000000000000e+00
3587.84/3597.01 c First LP Iters : 504 (19183.19 Iter/sec)
3587.84/3597.01 c First LP Time : 0.03
3587.84/3597.01 c Final Dual Bound : +1.14356782110574e+01
3587.84/3597.01 c Final Root Iters : 37189
3587.84/3597.01 c Root LP Estimate : +1.37933061092480e+01
3587.84/3597.01 c Solution :
3587.84/3597.01 c Solutions found : 23 (4 improvements)
3587.84/3597.01 c First Solution : +2.80000000000000e+01 (in run 1, after 1 nodes, 0.67 seconds, depth 922, found by <shiftandpropagate>)
3587.84/3597.01 c Gap First Sol. : 460.00 %
3587.84/3597.01 c Gap Last Sol. : 93.95 %
3587.84/3597.01 c Primal Bound : +2.30000000000000e+01 (in run 1, after 401 nodes, 2246.04 seconds, depth 17, found by <crossover>)
3587.84/3597.01 c Dual Bound : +1.19728237187165e+01
3587.84/3597.01 c Gap : 92.10 %
3587.84/3597.01 c Integrals : Total Avg%
3587.84/3597.01 c primal-dual : 188995.90 52.54
3587.84/3597.01 c primal-ref : - - (not evaluated)
3587.84/3597.01 c dual-ref : - - (not evaluated)
3587.84/3597.08 c Time complete: 3587.92.
OK 23
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: 64096 MiB (63139 MiB free)
memory of node 1: 64473 MiB (61564 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432733-1721100868/watcher-4432733-1721100868 -o /tmp/evaluation-result-4432733-1721100868/solver-4432733-1721100868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721093664-830409 --watchdog 3760 pbscip -f HOME/instance-4432733-1721100868.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=834685, runsolver pid=834682
[startup+0.100404 s]*
/proc/loadavg: 4.14 4.12 4.14 5/244 834686
/proc/meminfo: memFree=127677516/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=73552 memory=33000 CPUtime=0.09 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 5341 0 0 0 8 1 0 0 20 0 1 0 162245674 75317248 8250 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 18388 8250 3218 3540 0 6645 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73552 KiB
Current children cumulated memory: 33000 KiB
[startup+0.212878 s]*
/proc/loadavg: 4.14 4.12 4.14 6/244 834686
/proc/meminfo: memFree=127636608/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=111152 memory=71276 CPUtime=0.21 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 16660 0 0 0 18 3 0 0 20 0 1 0 162245674 113819648 17819 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 27788 17819 3712 3540 0 16045 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111152 KiB
Current children cumulated memory: 71276 KiB
[startup+0.312969 s]*
/proc/loadavg: 4.14 4.12 4.14 5/244 834686
/proc/meminfo: memFree=127634116/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=119656 memory=79088 CPUtime=0.31 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 20302 0 0 0 27 4 0 0 20 0 1 0 162245674 122527744 19772 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 29914 19772 3760 3540 0 18171 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 119656 KiB
Current children cumulated memory: 79088 KiB
[startup+0.700338 s]
/proc/loadavg: 4.14 4.12 4.14 5/244 834686
/proc/meminfo: memFree=127602020/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=158028 memory=113160 CPUtime=0.68 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 27710 0 0 0 63 5 0 0 20 0 1 0 162245674 161820672 28290 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 39507 28290 3904 3540 0 27764 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 158028 KiB
Current children cumulated memory: 113160 KiB
[startup+1.5003 s]
/proc/loadavg: 4.14 4.12 4.14 5/244 834686
/proc/meminfo: memFree=127554224/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=224976 memory=178508 CPUtime=1.48 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 43981 0 0 0 140 8 0 0 20 0 1 0 162245674 230375424 44627 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 56244 44627 3999 3540 0 44501 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 224976 KiB
Current children cumulated memory: 178508 KiB
[startup+3.11239 s]
/proc/loadavg: 4.13 4.12 4.14 5/244 834686
/proc/meminfo: memFree=127475332/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=226584 memory=182192 CPUtime=3.09 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 44894 0 0 0 301 8 0 0 20 0 1 0 162245674 232022016 45548 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 56646 45548 3999 3540 0 44903 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 226584 KiB
Current children cumulated memory: 182192 KiB
[startup+6.30032 s]
/proc/loadavg: 4.13 4.12 4.14 5/244 834686
/proc/meminfo: memFree=127438476/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=266188 memory=210432 CPUtime=6.26 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 51976 0 0 0 617 9 0 0 20 0 1 0 162245674 272576512 52608 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 66547 52608 3999 3540 0 54804 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 266188 KiB
Current children cumulated memory: 210432 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 834688
/proc/meminfo: memFree=127430212/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=276236 memory=216188 CPUtime=12.65 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 53436 0 0 0 1255 10 0 0 20 0 1 0 162245674 282865664 54047 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 69059 54047 3999 3540 0 57316 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 276236 KiB
Current children cumulated memory: 216188 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.11 4.14 5/244 834689
/proc/meminfo: memFree=127376924/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=322832 memory=263152 CPUtime=25.42 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 65148 0 0 0 2530 12 0 0 20 0 1 0 162245674 330579968 65788 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 80708 65788 3999 3540 0 68965 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 322832 KiB
Current children cumulated memory: 263152 KiB
[startup+51.1126 s]
/proc/loadavg: 4.13 4.12 4.14 5/244 834694
/proc/meminfo: memFree=127302872/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=322832 memory=263152 CPUtime=50.96 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 65152 0 0 0 5082 14 0 0 20 0 1 0 162245674 330579968 65788 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 80708 65788 3999 3540 0 68965 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 322832 KiB
Current children cumulated memory: 263152 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/241 834703
/proc/meminfo: memFree=127289632/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=322832 memory=263152 CPUtime=102.03 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 65163 0 0 0 10184 19 0 0 20 0 1 0 162245674 330579968 65788 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 80708 65788 3999 3540 0 68965 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 322832 KiB
Current children cumulated memory: 263152 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 4.15 4.15 5/241 834713
/proc/meminfo: memFree=127280504/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=322832 memory=263388 CPUtime=161.86 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 65253 0 0 0 16161 25 0 0 20 0 1 0 162245674 330579968 65847 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 80708 65847 4015 3540 0 68965 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 322832 KiB
Current children cumulated memory: 263388 KiB
[startup+222.3 s]
/proc/loadavg: 4.62 4.29 4.20 5/241 834723
/proc/meminfo: memFree=127272364/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=322832 memory=263652 CPUtime=221.68 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 65327 0 0 0 22137 31 0 0 20 0 1 0 162245674 330579968 65913 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 80708 65913 4015 3540 0 68965 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 322832 KiB
Current children cumulated memory: 263652 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 4.25 4.18 5/241 834734
/proc/meminfo: memFree=127253660/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=322832 memory=263856 CPUtime=281.5 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 65537 0 0 0 28115 35 0 0 20 0 1 0 162245674 330579968 65964 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 80708 65964 4015 3540 0 68965 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 322832 KiB
Current children cumulated memory: 263856 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.23 4.18 5/241 834744
/proc/meminfo: memFree=127228228/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=322832 memory=264012 CPUtime=341.32 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 65712 0 0 0 34096 36 0 0 20 0 1 0 162245674 330579968 66003 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 80708 66003 4015 3540 0 68965 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 322832 KiB
Current children cumulated memory: 264012 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/244 834759
/proc/meminfo: memFree=127217768/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=322832 memory=264012 CPUtime=401.14 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 65712 0 0 0 40077 37 0 0 20 0 1 0 162245674 330579968 66003 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 80708 66003 4015 3540 0 68965 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 322832 KiB
Current children cumulated memory: 264012 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/244 834769
/proc/meminfo: memFree=127169876/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=333692 memory=266788 CPUtime=460.96 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 66420 0 0 0 46059 37 0 0 20 0 1 0 162245674 341700608 66697 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 83423 66697 4015 3540 0 71680 0
################
# More data... #
################
/proc/loadavg: 4.15 4.17 4.18 5/242 836209
/proc/meminfo: memFree=125678660/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=743840 memory=656432 CPUtime=3154.4 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 115596 0 0 0 315389 51 0 0 20 0 1 0 162245674 761692160 164108 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 185960 164108 4015 3540 0 174217 0
Current children cumulated CPU time: 3154.4 s
Current children cumulated vsize: 743840 KiB
Current children cumulated memory: 656432 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/242 836219
/proc/meminfo: memFree=125630196/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=746988 memory=656756 CPUtime=3214.22 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 115969 0 0 0 321371 51 0 0 20 0 1 0 162245674 764915712 164189 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 186747 164189 4015 3540 0 175004 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 746988 KiB
Current children cumulated memory: 656756 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.18 5/244 836400
/proc/meminfo: memFree=125576364/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=751740 memory=658596 CPUtime=3274.05 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 116559 0 0 0 327354 51 0 0 20 0 1 0 162245674 769781760 164649 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 187935 164649 4015 3540 0 176192 0
Current children cumulated CPU time: 3274.05 s
Current children cumulated vsize: 751740 KiB
Current children cumulated memory: 658596 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/244 836410
/proc/meminfo: memFree=125524484/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=752320 memory=658980 CPUtime=3333.87 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 116945 0 0 0 333336 51 0 0 20 0 1 0 162245674 770375680 164745 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 188080 164745 4015 3540 0 176337 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 752320 KiB
Current children cumulated memory: 658980 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.18 5/246 836478
/proc/meminfo: memFree=125405752/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=852700 memory=754648 CPUtime=3393.69 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 131405 0 0 0 339315 54 0 0 20 0 1 0 162245674 873164800 188662 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 213175 188662 4015 3540 0 201432 0
Current children cumulated CPU time: 3393.69 s
Current children cumulated vsize: 852700 KiB
Current children cumulated memory: 754648 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/246 836488
/proc/meminfo: memFree=125405552/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=852700 memory=754760 CPUtime=3453.52 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 131554 0 0 0 345298 54 0 0 20 0 1 0 162245674 873164800 188690 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 213175 188690 4015 3540 0 201432 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 852700 KiB
Current children cumulated memory: 754760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/246 836499
/proc/meminfo: memFree=125405104/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=852700 memory=754760 CPUtime=3513.34 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 131704 0 0 0 351280 54 0 0 20 0 1 0 162245674 873164800 188690 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 213175 188690 4015 3540 0 201432 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 852700 KiB
Current children cumulated memory: 754760 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.17 3/230 836571
/proc/meminfo: memFree=126930316/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=852700 memory=758592 CPUtime=3573.16 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 131858 0 0 0 357262 54 0 0 20 0 1 0 162245674 873164800 189648 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 213175 189648 4015 3540 0 201432 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 852700 KiB
Current children cumulated memory: 758592 KiB
[startup+3597.09 s]
# the end of solver process 834685 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.38 s, system=0.558201 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.93 4.11 4.16 3/231 836572
/proc/meminfo: memFree=126930472/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=852700 memory=758592 CPUtime=3574.87 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 131858 0 0 0 357433 54 0 0 20 0 1 0 162245674 873164800 189648 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 213175 189648 4015 3540 0 201432 0
Current children cumulated CPU time: 3574.87 s
Current children cumulated vsize: 852700 KiB
Current children cumulated memory: 758592 KiB
[startup+3590.4 s]
/proc/loadavg: 3.78 4.07 4.14 3/224 836606
/proc/meminfo: memFree=127629384/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=852700 memory=767704 CPUtime=3581.24 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 131862 0 0 0 358070 54 0 0 20 0 1 0 162245674 873164800 191926 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 213175 191926 4015 3540 0 201432 0
Current children cumulated CPU time: 3581.24 s
Current children cumulated vsize: 852700 KiB
Current children cumulated memory: 767704 KiB
[startup+3593.6 s]
/proc/loadavg: 3.78 4.07 4.14 2/224 836606
/proc/meminfo: memFree=127629392/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=852700 memory=767704 CPUtime=3584.43 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 131862 0 0 0 358389 54 0 0 20 0 1 0 162245674 873164800 191926 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 213175 191926 4015 3540 0 201432 0
Current children cumulated CPU time: 3584.43 s
Current children cumulated vsize: 852700 KiB
Current children cumulated memory: 767704 KiB
[startup+3595.2 s]
/proc/loadavg: 3.56 4.02 4.13 2/224 836606
/proc/meminfo: memFree=127629260/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=852700 memory=767704 CPUtime=3586.03 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 131865 0 0 0 358549 54 0 0 20 0 1 0 162245674 873164800 191926 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 213175 191926 4015 3540 0 201432 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 852700 KiB
Current children cumulated memory: 767704 KiB
[startup+3596 s]*
/proc/loadavg: 3.56 4.02 4.13 2/224 836606
/proc/meminfo: memFree=127629360/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=852700 memory=767704 CPUtime=3586.84 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 131865 0 0 0 358630 54 0 0 20 0 1 0 162245674 873164800 191926 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 213175 191926 4015 3540 0 201432 0
Current children cumulated CPU time: 3586.84 s
Current children cumulated vsize: 852700 KiB
Current children cumulated memory: 767704 KiB
[startup+3596.8 s]
/proc/loadavg: 3.56 4.02 4.13 2/224 836606
/proc/meminfo: memFree=127629360/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=852700 memory=767704 CPUtime=3587.63 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 131865 0 0 0 358709 54 0 0 20 0 1 0 162245674 873164800 191926 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 213175 191926 4015 3540 0 201432 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 852700 KiB
Current children cumulated memory: 767704 KiB
[startup+3597 s]*
/proc/loadavg: 3.56 4.02 4.13 2/224 836606
/proc/meminfo: memFree=127629360/131655788 swapFree=131071996/131071996
[pid=834685] ppid=834682 vsize=852700 memory=767704 CPUtime=3587.84 cores=4,6
/proc/834685/stat : 834685 (pbscip) R 834682 834685 830398 0 -1 4194304 131867 0 0 0 358730 54 0 0 20 0 1 0 162245674 873164800 191926 134679101440 4194304 18693293 140729781444560 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 60194816 140729781453828 140729781453927 140729781453927 140729781460942 0
/proc/834685/statm: 213175 191926 4015 3540 0 201432 0
Current children cumulated CPU time: 3587.84 s
Current children cumulated vsize: 852700 KiB
Current children cumulated memory: 767704 KiB
Child status: 0
Real time (s): 3597.09
CPU time (s): 3587.93
CPU user time (s): 3587.38
CPU system time (s): 0.558201
CPU usage (%): 99.7453
Max. virtual memory (cumulated for all children) (KiB): 852700
Max. memory (cumulated for all children) (KiB): 767704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.38
system time used= 0.558201
maximum resident set size= 767704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131907
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= 42
involuntary context switches= 1968
# summary of solver processes directly reported to runsolver:
# pid: 834685
# total CPU time (s): 3587.93
# total CPU user time (s): 3587.38
# total CPU system time (s): 0.558201
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6195 second user time and 31.2987 second system time
The end
Begin job on nodeC005 at 2024-07-16 05:34:41 IDJOB=4432733 IDBENCH=148194 IDSOLVER=3059 FILE ID=nodeC005/4432733-1721100868 RUNJOBID= nodeC005-1721093664-830409 SLURM_JOB_ID= 7505597 Free space on /tmp= 723724 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432733-1721100868/watcher-4432733-1721100868 -o /tmp/evaluation-result-4432733-1721100868/solver-4432733-1721100868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721093664-830409 --watchdog 3760 pbscip -f HOME/instance-4432733-1721100868.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9 RANDOM SEED=1552696562 nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 0xb00001f cpu MHz : 3659.573 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 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 : 0xb00001f cpu MHz : 3649.959 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 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 : 0xb00001f cpu MHz : 1197.424 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 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 : 0xb00001f cpu MHz : 1197.323 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 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 : 0xb00001f cpu MHz : 3659.480 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 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 : 0xb00001f cpu MHz : 3649.950 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 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 : 0xb00001f cpu MHz : 1197.194 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 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 : 0xb00001f cpu MHz : 1197.205 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127697064 kB MemAvailable: 129308720 kB Buffers: 378848 kB Cached: 2058384 kB SwapCached: 0 kB Active: 687700 kB Inactive: 2704060 kB Active(anon): 3464 kB Inactive(anon): 988764 kB Active(file): 684236 kB Inactive(file): 1715296 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 58432 kB Writeback: 0 kB AnonPages: 953964 kB Mapped: 139844 kB Shmem: 37704 kB KReclaimable: 104644 kB Slab: 206024 kB SReclaimable: 104644 kB SUnreclaim: 101380 kB KernelStack: 3932 kB PageTables: 11276 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1325128 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52736 kB HardwareCorrupted: 0 kB AnonHugePages: 266240 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203592 kB DirectMap2M: 11235328 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 723764 MiB End job on nodeC005 at 2024-07-16 06:34:38