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