Trace number 4434741

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02OPT24 23.2684 23.3554

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
MD5SUM5d8f8888afb700f17245f1d666d6f5a0
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark4.77812
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7437
Total number of constraints23270
Number of constraints which are clauses23270
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3612
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 3612
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3612
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.11/0.19	c Default LC presolving (default).
0.11/0.19	c ** Before presolving: virtualMemUsedAtLc = 73740351, getVmSize() = 68558848, SCIPgetMemUsed() = 41157786, SCIPgetMemTotal() = 45013202, SCIPgetMemExternEstim() = 28727149
0.11/0.19	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.69/0.77	c ** Estimated virtualMemUsedAtSolver = 78434777, getVmSize() = 115179520, SCIPgetMemUsed() = 60160001, SCIPgetMemTotal() = 88925017, SCIPgetMemExternEstim() = 28727149
0.69/0.77	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.69/0.77	c Original Problem   :
0.69/0.77	c   Problem name     : instance-4434741-1721101860
0.69/0.77	c   Variables        : 7437 (7437 binary, 0 integer, 0 implicit integer, 0 continuous)
0.69/0.77	c   Constraints      : 23270
0.69/0.77	c   Objective sense  : minimize
0.69/0.77	c Presolved Problem  :
0.69/0.77	c   Variables        : 3222 (3222 binary, 0 integer, 0 implicit integer, 0 continuous)
0.69/0.77	c   Constraints      : 10423
0.69/0.77	c Constraints        : Number
0.69/0.77	c   setppc           : 10191 
0.69/0.77	c   and              : 211 
0.69/0.77	c   linear           : 4 
0.69/0.77	c   logicor          : 17 
0.69/0.77	c ** Instance transfer method used: 0
0.79/0.81	c ** ParaScipInstance copy does not increase the number of variables. **
0.79/0.85	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.79/0.85	c                                Nodes    Active                                            
0.79/0.85	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
1.27/1.31	c *       1              0           1         1          36.0000                -          -
1.38/1.40	c *       1              0           1         1          31.0000                -          -
15.94/16.05	c *      16              0           1         1          28.0000                -          -
15.94/16.05	c        16              0           1         1          28.0000                -          -
16.12/16.27	c *      16              0           1         1          25.0000                -          -
22.92/23.11	c *      23              2           1         1          24.0000          22.9222      4.70%
22.92/23.11	c        23              2           1         1          24.0000          22.9222      4.70%
23.02/23.11	c        23              2           0         0          24.0000          24.0000      0.00%
23.11/23.23	c        23              2           0         0          24.0000          24.0000          -
23.11/23.23	c SCIP Status        : c problem is solved
23.11/23.23	c Total Time         : 23.2300
23.11/23.23	c   solving          : 23.2300
23.11/23.23	c   presolving       : 0.5786 (included in solving)
23.11/23.23	c B&B Tree           :
23.11/23.23	c   nodes (total)    : 2
23.11/23.23	c Solution           :
23.11/23.23	c   Solutions found  : 5
23.11/23.23	c   Primal Bound     : +2.40000000000000e+01
23.11/23.23	c   Dual Bound       : +2.40000000000000e+01
23.11/23.23	c Gap                : 0.00000 %
23.11/23.25	o 24
23.11/23.25	s OPTIMUM FOUND
23.11/23.25	v x221 x220 x7436 x219 x7434 -x7432 x7430 -x218 -x7428 -x7426 -x7424 -x217 -x7422 -x7420 -x7418 -x216 -x7416 -x7414 -x7412 -x7410 
23.11/23.25	v -x7408 -x7406 -x215 -x7404 -x214 -x7402 -x7400 -x7398 -x213 -x7396 -x7394 -x212 -x7392 -x7390 -x7388 -x7386 -x7384 x7382 -x7380 
23.11/23.25	v -x7378 -x7376 -x7374 -x211 -x7372 -x7370 -x7368 -x7366 -x7364 -x7362 -x7360 -x210 -x7358 -x7356 -x7354 -x7352 -x7350 -x7348 
23.11/23.25	v -x7346 -x209 -x7344 -x7342 -x7340 -x7338 -x7336 -x7334 -x7332 -x7330 -x7328 -x7326 -x7324 -x7322 -x7320 -x208 -x7318 x207 
23.11/23.25	v x7316 -x7314 -x7312 -x206 -x7310 -x7308 -x7306 -x205 -x7304 -x7302 x7300 -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 -x7286 -x204 
23.11/23.25	v -x7284 -x7282 -x7280 -x7278 -x7276 -x7274 -x7272 -x203 -x7270 -x7268 -x7266 -x7264 -x7262 -x7260 -x7258 -x202 -x7256 -x7254 
23.11/23.25	v -x7252 -x7250 -x7248 -x7246 -x7244 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x7228 -x201 -x7226 -x7224 -x7222 -x200 
23.11/23.25	v -x7220 -x7218 -x7216 -x7214 -x7212 -x7210 -x7208 -x199 -x7206 -x7204 -x7202 -x7200 -x7198 -x7196 -x7194 -x198 -x7192 -x7190 
23.11/23.25	v -x7188 -x7186 -x7184 -x7182 -x7180 -x7178 -x7176 -x7174 -x7172 -x7170 -x7168 -x7166 -x7164 -x197 -x7162 -x7160 -x7158 -x7156 
23.11/23.25	v -x7154 -x7152 -x7150 -x196 -x7148 -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x7128 -x7126 -x7124 -x7122 
23.11/23.25	v -x7120 -x195 -x7118 -x7116 -x7114 -x7112 -x7110 -x7108 -x7106 -x7104 -x7102 -x7100 -x7098 -x7096 -x7094 -x7092 -x7090 -x194 -x7088 
23.11/23.25	v -x7086 -x7084 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 -x7057 -x7055 -x7053 
23.11/23.25	v -x7051 -x7049 -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 -x193 -x7033 -x192 -x7031 -x7029 -x7027 -x191 -x7025 -x7023 -x7021 
23.11/23.25	v -x190 -x7019 -x7017 -x7015 -x7013 -x7011 x7009 -x7007 x189 -x7005 -x7003 -x188 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 
23.11/23.25	v -x6989 -x187 -x6987 -x6985 -x6983 -x6981 -x6979 -x6977 -x6975 -x186 -x6973 -x6971 -x6969 -x6967 -x6965 -x6963 -x6961 -x6959 
23.11/23.25	v -x6957 -x6955 -x6953 -x6951 -x6949 -x6947 -x6945 -x185 -x6943 x6941 -x6939 x184 -x6937 -x6935 -x6933 -x6931 -x6929 -x6927 -x6925 
23.11/23.25	v -x183 -x6923 -x6921 -x6919 -x6917 -x6915 -x6913 -x182 -x6911 -x6909 -x6907 -x6905 -x6903 -x6901 -x6899 -x6897 -x6895 -x6893 
23.11/23.25	v -x6891 -x6889 -x6887 -x6885 -x6883 -x181 -x6881 -x6879 -x6877 -x6875 -x6873 -x6871 -x6869 -x180 -x6867 -x6865 -x6863 -x6861 
23.11/23.25	v -x6859 -x6857 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 x6843 -x6841 -x6839 -x6837 -x6835 -x6833 -x6831 -x6829 -x6827 -x6825 
23.11/23.25	v -x6823 -x6821 -x6819 -x6817 x6815 -x6813 -x6811 -x6809 -x6807 -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 -x6789 
23.11/23.25	v -x6787 -x6785 -x6783 -x6781 -x6779 -x6777 -x6775 -x6773 -x6771 -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 -x6753 
23.11/23.25	v -x6751 -x6749 -x179 -x6747 x6745 -x6743 x178 -x6741 -x6739 -x6737 -x6735 -x6733 -x6731 -x6729 -x177 -x6727 -x6725 -x6723 -x6721 
23.11/23.25	v -x6719 -x6717 -x6715 -x176 -x6713 -x6711 -x6709 -x6707 -x6705 -x6703 -x6701 -x6699 -x6697 -x6695 -x6693 -x6691 -x6689 -x6687 
23.11/23.25	v -x6685 -x175 -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x174 -x6669 -x6667 -x6665 -x6663 -x6661 -x6659 -x6657 -x6655 
23.11/23.25	v -x6653 -x6651 -x6649 -x6647 -x6645 -x6643 -x6641 -x173 -x6639 -x6637 -x6635 -x6633 -x6631 -x6629 -x6627 -x6625 -x6623 -x6621 
23.11/23.25	v -x6619 -x6617 -x6615 -x6613 -x6611 -x172 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 
23.11/23.25	v -x6585 -x6583 -x6581 -x6579 -x6577 -x6575 -x6573 -x6571 -x6569 -x6567 -x6565 -x6563 -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 
23.11/23.25	v -x6549 -x171 -x6547 -x6545 -x6543 -x6541 -x6539 -x6537 -x6535 -x170 -x6533 -x6531 -x6529 -x6527 -x6525 -x6523 -x6521 -x6519 
23.11/23.25	v -x6517 -x6515 -x6513 -x6511 -x6509 -x6507 -x6505 x6503 -x6501 -x6499 -x6497 -x6495 -x6493 -x6491 -x6489 -x6487 -x6485 -x6483 
23.11/23.25	v -x6481 -x6479 -x6477 -x6475 -x169 -x6473 -x6471 -x6469 -x6467 -x6465 -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x6450 -x6448 
23.11/23.25	v -x6446 -x6444 -x6442 -x6440 -x6438 -x6436 -x6434 -x6432 -x6430 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418 -x6416 -x6414 -x6412 
23.11/23.25	v -x6410 -x6408 -x6406 -x6404 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392 -x6390 -x6388 -x6386 -x168 -x6384 -x6382 -x6380 -x6378 
23.11/23.25	v -x6376 -x6374 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6358 -x6356 -x6354 -x6352 -x6350 -x6348 -x6346 -x6344 
23.11/23.25	v -x6342 -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6326 -x6324 -x167 -x6322 -x6320 -x6318 -x6316 -x6314 -x6312 -x6310 
23.11/23.25	v -x6308 -x6306 -x6304 -x6302 -x6300 -x6298 -x6296 -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 -x6280 -x6278 -x6276 -x6274 
23.11/23.25	v -x6272 -x6270 -x6268 -x6266 -x6264 -x6262 -x166 -x6260 -x6258 -x6256 -x6254 -x6252 -x6250 -x6248 -x6246 -x6244 -x6242 -x6240 
23.11/23.25	v -x6238 -x6236 -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x6216 -x6214 -x6212 -x6210 -x6208 -x6206 -x6204 
23.11/23.25	v -x6202 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x6186 -x6184 -x6182 -x6180 -x6178 -x6176 -x6174 -x6172 -x6170 -x6168 
23.11/23.25	v -x6166 -x6164 -x6162 -x6160 -x6158 -x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x6142 -x165 -x6140 -x164 -x6138 -x6136 
23.11/23.25	v -x6134 x6132 -x6130 -x6128 -x163 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 -x6114 -x162 -x6112 -x6110 -x6108 -x161 -x6106 -x6104 
23.11/23.25	v -x6102 -x6100 -x6098 -x6096 -x6094 -x160 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 -x6080 -x159 -x6078 -x6076 -x6074 -x6072 
23.11/23.25	v -x6070 -x6068 -x6066 -x6064 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x158 -x6048 -x6046 -x6044 -x157 -x6042 -x6040 
23.11/23.25	v -x6038 -x6036 -x6034 -x6032 -x6030 -x156 -x6028 -x6026 -x6024 -x6022 -x6020 -x6018 -x6016 -x155 -x6014 -x6012 -x6010 -x6008 
23.11/23.25	v -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x154 -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 
23.11/23.25	v -x5972 -x153 -x5970 -x5968 -x5966 -x5964 -x5962 -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x152 
23.11/23.25	v -x5940 -x5938 -x5936 -x5934 -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 -x5920 -x5918 -x5916 -x5914 -x5912 -x151 -x5910 -x5908 
23.11/23.25	v -x5906 -x5904 -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x5871 
23.11/23.25	v -x5869 -x5867 -x5865 -x5863 -x5861 -x5859 -x5857 -x5855 -x5853 -x5851 -x150 -x5849 -x5847 -x5845 -x149 -x5843 -x5841 -x5839 
23.11/23.25	v -x5837 -x5835 -x5833 -x5831 -x148 -x5829 -x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x147 -x5815 -x5813 -x5811 -x5809 -x5807 
23.11/23.25	v -x5805 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x146 -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 
23.11/23.25	v -x145 -x5771 -x5769 -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x5747 -x5745 -x5743 -x144 -x5741 
23.11/23.25	v -x5739 -x5737 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x143 -x5711 -x5709 -x5707 
23.11/23.25	v -x5705 -x5703 -x5701 -x5699 -x5697 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x5673 -x5671 
23.11/23.25	v -x5669 -x5667 -x5665 -x5663 -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x142 -x5649 -x5647 -x5645 -x141 -x5643 -x5641 -x5639 
23.11/23.25	v -x5637 -x5635 -x5633 -x5631 -x140 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x139 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 
23.11/23.25	v -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x138 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 -x5573 -x137 
23.11/23.25	v -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x136 -x5541 -x5539 
23.11/23.25	v -x5537 -x5535 -x5533 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 -x135 -x5511 -x5509 -x5507 -x5505 
23.11/23.25	v -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 
23.11/23.25	v -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x134 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x133 
23.11/23.25	v -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x132 -x5405 -x5403 
23.11/23.25	v -x5401 -x5399 -x5397 -x5395 -x5393 x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 
23.11/23.25	v -x5365 -x5363 -x131 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x5333 
23.11/23.25	v -x130 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 
23.11/23.25	v -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x129 -x5272 -x5270 -x5268 -x5266 -x5264 
23.11/23.25	v -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x128 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 
23.11/23.25	v -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 
23.11/23.25	v -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x127 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 
23.11/23.25	v -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 
23.11/23.25	v -x5124 -x5122 -x5120 -x126 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 
23.11/23.25	v -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 
23.11/23.25	v -x5053 -x5051 -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 
23.11/23.25	v -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x125 -x4991 -x4989 -x4987 -x124 
23.11/23.25	v -x4985 -x4983 -x4981 -x123 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x122 -x4965 -x4963 -x4961 -x121 -x4959 -x4957 -x4955 
23.11/23.25	v -x4953 -x4951 -x4949 -x4947 -x120 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x119 -x4931 -x4929 -x4927 -x4925 -x4923 
23.11/23.25	v -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x118 -x4901 -x4899 -x117 -x4897 -x4895 -x4893 -x4891 
23.11/23.25	v -x4889 -x4887 -x4885 -x116 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x115 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 
23.11/23.25	v -x4857 -x4855 -x4853 -x4851 -x4849 -x4847 -x4845 -x4843 -x4841 -x114 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x113 
23.11/23.25	v -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x112 -x4795 -x4793 
23.11/23.25	v -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x111 -x4765 -x4763 -x4761 -x4759 
23.11/23.25	v -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 
23.11/23.25	v -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705 -x110 -x4703 -x4701 -x4699 -x109 -x4697 -x4695 -x4693 -x4691 
23.11/23.25	v -x4689 -x4687 -x4685 -x108 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 -x107 -x4669 -x4667 -x4665 -x4663 x4661 -x4659 
23.11/23.25	v -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x106 -x4625 
23.11/23.25	v -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x105 -x4595 -x4593 -x4591 
23.11/23.25	v -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x104 -x4565 -x4563 -x4561 -x4559 -x4557 
23.11/23.25	v -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521 
23.11/23.25	v -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x103 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x102 -x4489 
23.11/23.25	v -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x101 -x4459 -x4457 -x4455 
23.11/23.25	v -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x100 -x4429 -x4427 -x4425 -x4423 -x4421 
23.11/23.25	v -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 
23.11/23.25	v -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x99 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 
23.11/23.25	v -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x98 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 
23.11/23.25	v -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 
23.11/23.25	v -x4279 -x4277 -x97 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 
23.11/23.25	v -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x96 -x4213 -x4211 
23.11/23.25	v -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4174 
23.11/23.25	v -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 
23.11/23.25	v -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 
23.11/23.25	v -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x95 -x4088 -x4086 -x4084 -x94 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 
23.11/23.25	v -x93 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x92 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 
23.11/23.25	v -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x91 -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x90 -x4010 -x4008 -x4006 -x4004 
23.11/23.25	v -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x89 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 
23.11/23.25	v -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x88 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 
23.11/23.25	v -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 
23.11/23.25	v -x3898 -x3896 -x3894 -x87 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x3880 -x86 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 
23.11/23.25	v -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x85 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 
23.11/23.25	v -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x84 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 
23.11/23.25	v -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 
23.11/23.25	v -x3762 -x3760 -x83 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 
23.11/23.25	v -x82 -x3728 -x3726 x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 
23.11/23.25	v -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 
23.11/23.25	v -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 
23.11/23.25	v -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x81 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 
23.11/23.25	v -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 
23.11/23.25	v -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 
23.11/23.25	v -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 x3482 
23.11/23.25	v -x3480 -x3478 -x80 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x79 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x78 
23.11/23.25	v -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 x3420 -x3418 -x77 -x3416 
23.11/23.25	v -x3414 -x3412 -x76 -x3410 -x3408 -x3406 -x75 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x74 -x3390 -x3388 -x3386 -x73 
23.11/23.25	v -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x72 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x71 -x3356 -x3354 -x3352 
23.11/23.25	v -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x70 -x3326 -x3324 -x3322 -x69 -x3320 
23.11/23.25	v -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x68 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x67 -x3292 -x3290 -x3288 -x3286 
23.11/23.25	v -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x66 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 
23.11/23.25	v -x3250 -x65 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x64 
23.11/23.25	v -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x63 -x3188 -x3186 
23.11/23.25	v -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 
23.11/23.25	v -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x62 -x3126 -x3124 -x3122 -x61 -x3120 -x3118 -x3116 
23.11/23.25	v -x3114 -x3112 -x3110 -x3108 -x60 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x59 -x3092 -x3090 -x3088 -x3086 -x3084 
23.11/23.25	v -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x58 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 
23.11/23.25	v -x57 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x56 -x3018 -x3016 
23.11/23.25	v -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x55 -x2988 -x2986 -x2984 -x2982 
23.11/23.25	v -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 
23.11/23.25	v -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x54 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x53 
23.11/23.25	v -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x52 -x2882 -x2880 
23.11/23.25	v -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x51 -x2852 -x2850 -x2848 -x2846 
23.11/23.25	v -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 
23.11/23.25	v -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x50 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 
23.11/23.25	v -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x49 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 
23.11/23.25	v -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 
23.11/23.25	v -x2704 -x2702 -x2700 -x48 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 
23.11/23.25	v -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x47 -x2636 
23.11/23.25	v -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 
23.11/23.25	v -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 
23.11/23.25	v -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 
23.11/23.25	v -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x46 -x2510 -x2508 -x2506 -x45 -x2504 -x2502 -x2500 -x2498 -x2496 
23.11/23.25	v -x2494 -x2492 -x44 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x43 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 
23.11/23.25	v -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x42 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x41 -x2434 -x2432 
23.11/23.25	v -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x40 -x2404 -x2402 -x2400 -x2398 -x2396 
23.11/23.25	v -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x39 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 
23.11/23.25	v -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 
23.11/23.25	v -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x38 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x37 -x2298 -x2296 -x2294 
23.11/23.25	v -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x36 -x2268 -x2266 -x2264 -x2262 -x2260 
23.11/23.25	v -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x35 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 
23.11/23.25	v -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 
23.11/23.25	v -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x34 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 
23.11/23.25	v -x2154 -x2152 -x2150 -x2148 -x33 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 
23.11/23.25	v -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 
23.11/23.25	v -x32 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 
23.11/23.25	v -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x31 -x2022 -x2020 -x2018 -x2016 
23.11/23.25	v -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 
23.11/23.25	v -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 
23.11/23.25	v -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 
23.11/23.25	v -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x30 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x29 -x1882 -x1880 -x1878 -x1876 
23.11/23.25	v -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x28 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 
23.11/23.25	v -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x27 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 
23.11/23.25	v -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 
23.11/23.25	v -x1770 -x1768 -x1766 -x1764 -x1762 -x26 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 
23.11/23.25	v -x1736 -x1734 -x1732 -x25 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 
23.11/23.25	v -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x24 
23.11/23.25	v -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 
23.11/23.25	v -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x23 -x1606 -x1604 -x1602 -x1600 
23.11/23.25	v -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 
23.11/23.25	v -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 
23.11/23.25	v -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 
23.11/23.25	v -x1490 -x1488 -x1486 -x1484 -x1482 -x22 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 
23.11/23.25	v -x1456 -x1454 -x1452 -x21 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 
23.11/23.25	v -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x20 
23.11/23.25	v -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 
23.11/23.25	v -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x19 -x1326 -x1324 -x1322 -x1320 
23.11/23.25	v -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 
23.11/23.25	v -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 
23.11/23.25	v -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 
23.11/23.25	v -x1209 -x1207 -x1205 -x1203 -x18 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 
23.11/23.25	v -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 
23.11/23.25	v -x17 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 
23.11/23.25	v -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 
23.11/23.25	v -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 
23.11/23.25	v -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x16 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 
23.11/23.25	v -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 
23.11/23.25	v -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 
23.11/23.25	v -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x15 -x889 -x887 -x885 -x883 -x881 -x879 
23.11/23.25	v -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 x837 
23.11/23.25	v -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 
23.11/23.25	v -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 
23.11/23.25	v -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 
23.11/23.25	v -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 
23.11/23.25	v -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x14 -x630 -x628 
23.11/23.25	v -x626 -x624 -x622 -x620 -x618 -x13 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x12 -x602 -x600 -x598 -x596 -x594 -x592 -x590 
23.11/23.25	v -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x11 -x572 -x570 -x568 -x566 x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 
23.11/23.25	v -x548 -x546 -x10 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x9 -x514 -x512 
23.11/23.25	v -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x8 -x484 -x482 -x480 -x478 -x476 -x474 -x472 
23.11/23.25	v -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 x438 -x436 -x434 -x432 -x430 
23.11/23.25	v -x428 -x426 -x424 -x422 -x420 -x418 -x7 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x6 -x402 -x400 -x398 -x396 -x394 -x392 -x390 
23.11/23.25	v -x5 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x4 -x358 -x356 -x354 -x352 
23.11/23.25	v -x350 -x348 -x346 -x3 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x2 -x314 -x312 
23.11/23.25	v -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x1 -x284 -x282 -x280 -x278 -x276 -x274 -x272 
23.11/23.25	v -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 x240 -x238 -x236 -x234 -x232 -x230 
23.11/23.25	v -x228 -x226 -x224 -x222 x7437 x7435 -x7433 x7431 -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7415 -x7413 -x7411 -x7409 
23.11/23.25	v -x7407 -x7405 -x7403 -x7401 -x7399 -x7397 -x7395 -x7393 -x7391 -x7389 -x7387 -x7385 x7383 -x7381 -x7379 -x7377 -x7375 -x7373 
23.11/23.25	v -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 -x7349 -x7347 -x7345 -x7343 -x7341 -x7339 -x7337 
23.11/23.25	v -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 x7317 -x7315 -x7313 -x7311 -x7309 -x7307 -x7305 -x7303 x7301 
23.11/23.25	v -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x7281 -x7279 -x7277 -x7275 -x7273 -x7271 -x7269 -x7267 -x7265 
23.11/23.25	v -x7263 -x7261 -x7259 -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 -x7235 -x7233 -x7231 -x7229 
23.11/23.25	v -x7227 -x7225 -x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 -x7199 -x7197 -x7195 -x7193 
23.11/23.25	v -x7191 -x7189 -x7187 -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7165 -x7163 -x7161 -x7159 
23.11/23.25	v -x7157 -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143 -x7141 -x7139 -x7137 -x7135 -x7133 -x7131 -x7129 -x7127 -x7125 -x7123 
23.11/23.25	v -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091 -x7089 -x7087 
23.11/23.25	v -x7085 -x7083 -x7082 -x7080 -x7078 -x7076 -x7074 -x7072 -x7070 -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 
23.11/23.25	v -x7050 -x7048 -x7046 -x7044 -x7042 -x7040 -x7038 -x7036 -x7034 -x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x7020 -x7018 -x7016 
23.11/23.25	v -x7014 -x7012 x7010 -x7008 -x7006 -x7004 -x7002 -x7000 -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 -x6980 
23.11/23.25	v -x6978 -x6976 -x6974 -x6972 -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 -x6946 -x6944 
23.11/23.25	v x6942 -x6940 -x6938 -x6936 -x6934 -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 -x6912 -x6910 -x6908 
23.11/23.25	v -x6906 -x6904 -x6902 -x6900 -x6898 -x6896 -x6894 -x6892 -x6890 -x6888 -x6886 -x6884 -x6882 -x6880 -x6878 -x6876 -x6874 -x6872 
23.11/23.25	v -x6870 -x6868 -x6866 -x6864 -x6862 -x6860 -x6858 -x6856 -x6854 -x6852 -x6850 -x6848 -x6846 x6844 -x6842 -x6840 -x6838 -x6836 
23.11/23.25	v -x6834 -x6832 -x6830 -x6828 -x6826 -x6824 -x6822 -x6820 -x6818 x6816 -x6814 -x6812 -x6810 -x6808 -x6806 -x6804 -x6802 -x6800 
23.11/23.25	v -x6798 -x6796 -x6794 -x6792 -x6790 -x6788 -x6786 -x6784 -x6782 -x6780 -x6778 -x6776 -x6774 -x6772 -x6770 -x6768 -x6766 
23.11/23.25	v -x6764 -x6762 -x6760 -x6758 -x6756 -x6754 -x6752 -x6750 -x6748 x6746 -x6744 -x6742 -x6740 -x6738 -x6736 -x6734 -x6732 -x6730 
23.11/23.25	v -x6728 -x6726 -x6724 -x6722 -x6720 -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6706 -x6704 -x6702 -x6700 -x6698 -x6696 -x6694 
23.11/23.25	v -x6692 -x6690 -x6688 -x6686 -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x6664 -x6662 -x6660 -x6658 
23.11/23.25	v -x6656 -x6654 -x6652 -x6650 -x6648 -x6646 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634 -x6632 -x6630 -x6628 -x6626 -x6624 -x6622 
23.11/23.25	v -x6620 -x6618 -x6616 -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6598 -x6596 -x6594 -x6592 -x6590 -x6588 -x6586 
23.11/23.25	v -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x6570 -x6568 -x6566 -x6564 -x6562 -x6560 -x6558 -x6556 -x6554 -x6552 -x6550 
23.11/23.25	v -x6548 -x6546 -x6544 -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x6530 -x6528 -x6526 -x6524 -x6522 -x6520 -x6518 -x6516 -x6514 
23.11/23.25	v -x6512 -x6510 -x6508 -x6506 x6504 -x6502 -x6500 -x6498 -x6496 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484 -x6482 -x6480 -x6478 
23.11/23.25	v -x6476 -x6474 -x6472 -x6470 -x6468 -x6466 x6464 -x6463 -x6461 -x6459 -x6457 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 
23.11/23.25	v -x6441 -x6439 -x6437 -x6435 -x6433 -x6431 -x6429 -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 -x6415 -x6413 -x6411 -x6409 
23.11/23.25	v -x6407 -x6405 -x6403 -x6401 -x6399 -x6397 -x6395 -x6393 -x6391 -x6389 -x6387 -x6385 -x6383 -x6381 -x6379 -x6377 -x6375 -x6373 
23.11/23.25	v -x6371 -x6369 -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347 -x6345 -x6343 -x6341 -x6339 -x6337 
23.11/23.25	v -x6335 -x6333 -x6331 -x6329 -x6327 -x6325 -x6323 -x6321 -x6319 -x6317 -x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 
23.11/23.25	v -x6299 -x6297 -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 -x6273 -x6271 -x6269 -x6267 -x6265 
23.11/23.25	v -x6263 -x6261 -x6259 -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x6239 -x6237 -x6235 -x6233 -x6231 -x6229 
23.11/23.25	v -x6227 -x6225 -x6223 -x6221 -x6219 -x6217 -x6215 -x6213 -x6211 -x6209 -x6207 -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 
23.11/23.25	v -x6191 -x6189 -x6187 -x6185 -x6183 -x6181 -x6179 -x6177 -x6175 -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 
23.11/23.25	v -x6157 -x6155 -x6153 -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 -x6137 -x6135 x6133 -x6131 -x6129 -x6127 -x6125 -x6123 
23.11/23.25	v -x6121 -x6119 -x6117 -x6115 -x6113 -x6111 -x6109 -x6107 -x6105 -x6103 -x6101 -x6099 -x6097 -x6095 -x6093 -x6091 -x6089 -x6087 
23.11/23.25	v -x6085 -x6083 -x6081 -x6079 -x6077 -x6075 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 
23.11/23.25	v -x6049 -x6047 -x6045 -x6043 -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6023 -x6021 -x6019 -x6017 -x6015 
23.11/23.25	v -x6013 -x6011 -x6009 -x6007 -x6005 -x6003 -x6001 -x5999 -x5997 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 
23.11/23.25	v -x5977 -x5975 -x5973 -x5971 -x5969 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 -x5943 
23.11/23.25	v -x5941 -x5939 -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 -x5907 
23.11/23.25	v -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 
23.11/23.25	v -x5872 -x5870 -x5868 -x5866 -x5864 -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840 -x5838 
23.11/23.25	v -x5836 -x5834 -x5832 -x5830 -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 -x5808 -x5806 -x5804 -x5802 
23.11/23.25	v -x5800 -x5798 -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 
23.11/23.25	v -x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 
23.11/23.25	v -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696 -x5694 
23.11/23.25	v -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 
23.11/23.25	v -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5632 -x5630 -x5628 -x5626 -x5624 
23.11/23.25	v -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x5594 -x5592 -x5590 -x5588 
23.11/23.25	v -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558 -x5556 -x5554 -x5552 
23.11/23.25	v -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 
23.11/23.25	v -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 
23.11/23.25	v -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 
23.11/23.25	v -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 
23.11/23.25	v -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 
23.11/23.25	v -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 
23.11/23.25	v -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x5307 -x5305 -x5303 
23.11/23.25	v -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 
23.11/23.25	v -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 
23.11/23.25	v -x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201 -x5199 -x5197 -x5195 
23.11/23.25	v -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 
23.11/23.25	v -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 
23.11/23.25	v -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 
23.11/23.25	v -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 x5069 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 
23.11/23.25	v -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 
23.11/23.25	v -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 
23.11/23.25	v -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4948 -x4946 
23.11/23.25	v -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 -x4914 -x4912 -x4910 
23.11/23.25	v -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878 -x4876 -x4874 
23.11/23.25	v -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844 -x4842 -x4840 -x4838 
23.11/23.25	v -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808 -x4806 -x4804 
23.11/23.25	v -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 
23.11/23.25	v -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 
23.11/23.25	v -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 
23.11/23.25	v -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 x4662 -x4660 
23.11/23.25	v -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 
23.11/23.25	v -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 
23.11/23.25	v -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 
23.11/23.25	v -x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 
23.11/23.25	v -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 
23.11/23.25	v -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 
23.11/23.25	v -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 
23.11/23.25	v -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 
23.11/23.25	v -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 
23.11/23.25	v -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 
23.11/23.25	v -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 
23.11/23.25	v -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 
23.11/23.25	v -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 
23.11/23.25	v -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 
23.11/23.25	v -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 
23.11/23.25	v -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 
23.11/23.25	v -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 
23.11/23.25	v -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 
23.11/23.25	v -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 
23.11/23.25	v -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 
23.11/23.25	v -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 
23.11/23.25	v -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 
23.11/23.25	v -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 
23.11/23.25	v -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 
23.11/23.25	v -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 
23.11/23.25	v -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 
23.11/23.25	v -x3731 -x3729 -x3727 x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 
23.11/23.25	v -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 
23.11/23.25	v -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 
23.11/23.25	v -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 
23.11/23.25	v -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 
23.11/23.25	v -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 
23.11/23.25	v -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 x3483 -x3481 
23.11/23.25	v -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 
23.11/23.25	v -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 x3421 -x3419 -x3417 -x3415 -x3413 -x3411 
23.11/23.25	v -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 
23.11/23.25	v -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 
23.11/23.25	v -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 
23.11/23.25	v -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 
23.11/23.25	v -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 
23.11/23.25	v -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 
23.11/23.25	v -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 
23.11/23.25	v -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 
23.11/23.25	v -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 
23.11/23.25	v -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 
23.11/23.25	v -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 
23.11/23.25	v -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 
23.11/23.25	v -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 
23.11/23.25	v -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 
23.11/23.25	v -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 
23.11/23.25	v -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 
23.11/23.25	v -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 
23.11/23.25	v -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 
23.11/23.25	v -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 
23.11/23.25	v -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 
23.11/23.25	v -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 
23.11/23.25	v -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 
23.11/23.25	v -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 
23.11/23.25	v -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 
23.11/23.25	v -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 
23.11/23.25	v -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 
23.11/23.25	v -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 
23.11/23.25	v -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 
23.11/23.25	v -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 
23.11/23.25	v -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 
23.11/23.25	v -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 
23.11/23.25	v -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 
23.11/23.25	v -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 
23.11/23.25	v -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 
23.11/23.25	v -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 
23.11/23.25	v -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 
23.11/23.25	v -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 
23.11/23.25	v -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 
23.11/23.25	v -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 
23.11/23.25	v -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 
23.11/23.25	v -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 
23.11/23.25	v -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 
23.11/23.25	v -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 
23.11/23.25	v -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 
23.11/23.25	v -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 
23.11/23.25	v -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 
23.11/23.25	v -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 
23.11/23.25	v -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 
23.11/23.25	v -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 
23.11/23.25	v -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 
23.11/23.25	v -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 
23.11/23.25	v -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 
23.11/23.25	v -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 
23.11/23.25	v -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 
23.11/23.25	v -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 
23.11/23.25	v -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 
23.11/23.25	v -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 
23.11/23.25	v -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 
23.11/23.25	v -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 
23.11/23.25	v -x1301 -x1299 -x1297 -x1295 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 
23.11/23.25	v -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 
23.11/23.25	v -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 
23.11/23.25	v -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 
23.20/23.33	v -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 
23.20/23.33	v -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 
23.20/23.33	v -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 
23.20/23.33	v -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 
23.20/23.33	v -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 
23.20/23.33	v -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 
23.20/23.33	v -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 
23.20/23.33	v -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 
23.20/23.33	v -x852 -x850 -x848 -x846 -x844 -x842 -x840 x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x819 -x817 -x815 -x813 
23.20/23.33	v -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 
23.20/23.33	v -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 
23.20/23.33	v -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 
23.20/23.33	v -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 
23.20/23.33	v -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 
23.20/23.33	v -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 x565 -x563 
23.20/23.33	v -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 
23.20/23.33	v -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 
23.20/23.33	v -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 x439 
23.20/23.33	v -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 
23.20/23.33	v -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 
23.20/23.33	v -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 
23.20/23.33	v -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 
23.20/23.33	v -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 x241 -x239 -x237 -x235 -x233 -x231 -x229 
23.20/23.33	v -x227 -x225 -x223

Verifier Data 

OK	24

Watcher Data 

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: 64059 MiB (58990 MiB free)
  memory of node 1: 64510 MiB (61209 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434741-1721101860/watcher-4434741-1721101860 -o /tmp/evaluation-result-4434741-1721101860/solver-4434741-1721101860 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830636 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434741-1721101860.opb -qsol -t 3600 -sth 1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=834362, runsolver pid=834359
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 4.10 4.10 4.11 5/250 834363
/proc/meminfo: memFree=123065252/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=42536 memory=31080 CPUtime=0.11 cores=1,3
/proc/834362/stat : 834362 (fscip) R 834359 834362 830624 0 -1 4194304 5704 0 0 0 10 1 0 0 20 0 1 0 162344808 43556864 7770 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 10634 7770 2318 3032 0 7034 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 42536 KiB
Current children cumulated memory: 31080 KiB

[startup+0.213163 s]*
/proc/loadavg: 4.10 4.10 4.11 5/250 834363
/proc/meminfo: memFree=123037496/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=70992 memory=59076 CPUtime=0.21 cores=1,3
/proc/834362/stat : 834362 (fscip) R 834359 834362 830624 0 -1 4194304 12456 0 0 0 19 2 0 0 20 0 1 0 162344808 72695808 14769 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 17748 14769 2606 3032 0 14148 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 70992 KiB
Current children cumulated memory: 59076 KiB

[startup+0.312822 s]*
/proc/loadavg: 4.10 4.10 4.11 5/250 834363
/proc/meminfo: memFree=123033688/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=74728 memory=62244 CPUtime=0.32 cores=1,3
/proc/834362/stat : 834362 (fscip) R 834359 834362 830624 0 -1 4194304 13222 0 0 0 29 3 0 0 20 0 1 0 162344808 76521472 15561 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 18682 15561 2606 3032 0 15082 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 74728 KiB
Current children cumulated memory: 62244 KiB

[startup+0.700341 s]
/proc/loadavg: 4.10 4.10 4.11 5/250 834363
/proc/meminfo: memFree=123027608/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=85092 memory=72076 CPUtime=0.69 cores=1,3
/proc/834362/stat : 834362 (fscip) R 834359 834362 830624 0 -1 4194304 17268 0 0 0 65 4 0 0 20 0 1 0 162344808 87134208 18019 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 21273 18019 2734 3032 0 17673 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 85092 KiB
Current children cumulated memory: 72076 KiB

[startup+1.50064 s]
/proc/loadavg: 4.10 4.10 4.11 5/252 834365
/proc/meminfo: memFree=122963580/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=200204 memory=153484 CPUtime=1.48 cores=1,3
/proc/834362/stat : 834362 (fscip) S 834359 834362 830624 0 -1 1077936128 39433 0 0 0 138 10 0 0 20 0 3 0 162344808 205008896 38371 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 50051 38371 2894 3032 0 44761 0
[pid=834362/tid=834364] ppid=834359 vsize=200204 memory=4228 CPUtime=0.66 cores=1,3
/proc/834362/task/834364/stat : 834364 (fscip) R 834359 834362 830624 0 -1 4194368 14284 0 0 0 63 3 0 0 20 0 3 0 162344885 205008896 38371 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
[pid=834362/tid=834365] ppid=834359 vsize=200204 memory=2268 CPUtime=0 cores=1,3
/proc/834362/task/834365/stat : 834365 (fscip) S 834359 834362 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162344893 205008896 38371 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 200204 KiB
Current children cumulated memory: 153484 KiB

[startup+3.1126 s]
/proc/loadavg: 4.09 4.09 4.11 5/252 834365
/proc/meminfo: memFree=122938040/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=200204 memory=157244 CPUtime=3.07 cores=1,3
/proc/834362/stat : 834362 (fscip) S 834359 834362 830624 0 -1 1077936128 42973 0 0 0 297 10 0 0 20 0 3 0 162344808 205008896 39311 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 50051 39311 2910 3032 0 45554 0
[pid=834362/tid=834364] ppid=834359 vsize=200204 memory=2268 CPUtime=2.26 cores=1,3
/proc/834362/task/834364/stat : 834364 (fscip) R 834359 834362 830624 0 -1 4194368 17819 0 0 0 222 4 0 0 20 0 3 0 162344885 205008896 39311 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
[pid=834362/tid=834365] ppid=834359 vsize=200204 memory=100 CPUtime=0 cores=1,3
/proc/834362/task/834365/stat : 834365 (fscip) S 834359 834362 830624 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 162344893 205008896 39311 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 200204 KiB
Current children cumulated memory: 157244 KiB

[startup+6.30037 s]
/proc/loadavg: 4.09 4.09 4.11 5/252 834365
/proc/meminfo: memFree=122918128/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=265740 memory=177848 CPUtime=6.25 cores=1,3
/proc/834362/stat : 834362 (fscip) S 834359 834362 830624 0 -1 1077936128 62200 0 0 0 613 12 0 0 20 0 3 0 162344808 272117760 44462 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 66435 44462 2910 3032 0 51191 0
[pid=834362/tid=834364] ppid=834359 vsize=265740 memory=0 CPUtime=5.43 cores=1,3
/proc/834362/task/834364/stat : 834364 (fscip) R 834359 834362 830624 0 -1 4194368 37041 0 0 0 538 5 0 0 20 0 3 0 162344885 272117760 44462 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
[pid=834362/tid=834365] ppid=834359 vsize=265740 memory=2314990813501276760 CPUtime=0 cores=1,3
/proc/834362/task/834365/stat : 834365 (fscip) S 834359 834362 830624 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 162344893 272117760 44462 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 265740 KiB
Current children cumulated memory: 177848 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.09 4.11 5/252 834367
/proc/meminfo: memFree=122872024/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=331276 memory=225440 CPUtime=12.63 cores=1,3
/proc/834362/stat : 834362 (fscip) S 834359 834362 830624 0 -1 1077936128 99069 0 0 0 1248 15 0 0 20 0 3 0 162344808 339226624 56360 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 82819 56360 2910 3032 0 65092 0
[pid=834362/tid=834364] ppid=834359 vsize=331276 memory=157244 CPUtime=11.82 cores=1,3
/proc/834362/task/834364/stat : 834364 (fscip) R 834359 834362 830624 0 -1 4194368 73903 0 0 0 1173 9 0 0 20 0 3 0 162344885 339226624 56360 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
[pid=834362/tid=834365] ppid=834359 vsize=331276 memory=207672 CPUtime=0 cores=1,3
/proc/834362/task/834365/stat : 834365 (fscip) S 834359 834362 830624 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 162344893 339226624 56360 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 331276 KiB
Current children cumulated memory: 225440 KiB

[startup+23.3554 s]
# the end of solver process 834362 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=23.0095 s, system=0.258905 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8005 s]
/proc/loadavg: 4.08 4.09 4.11 5/252 834367
/proc/meminfo: memFree=122872024/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=331276 memory=225440 CPUtime=12.73 cores=1,3
/proc/834362/stat : 834362 (fscip) S 834359 834362 830624 0 -1 1077936128 99069 0 0 0 1258 15 0 0 20 0 3 0 162344808 339226624 56360 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 82819 56360 2910 3032 0 65092 0
[pid=834362/tid=834364] ppid=834359 vsize=331276 memory=6363676890395992939 CPUtime=11.92 cores=1,3
/proc/834362/task/834364/stat : 834364 (fscip) R 834359 834362 830624 0 -1 4194368 73903 0 0 0 1183 9 0 0 20 0 3 0 162344885 339226624 56360 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
[pid=834362/tid=834365] ppid=834359 vsize=331276 memory=-6370175008146373475 CPUtime=0 cores=1,3
/proc/834362/task/834365/stat : 834365 (fscip) S 834359 834362 830624 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 162344893 339226624 56360 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 331276 KiB
Current children cumulated memory: 225440 KiB

[startup+19.2004 s]
/proc/loadavg: 4.07 4.09 4.11 5/252 834368
/proc/meminfo: memFree=122807516/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=396812 memory=278216 CPUtime=19.12 cores=1,3
/proc/834362/stat : 834362 (fscip) S 834359 834362 830624 0 -1 1077936128 138074 0 0 0 1893 19 0 0 20 0 3 0 162344808 406335488 69554 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 99203 69554 2974 3032 0 80480 0
[pid=834362/tid=834364] ppid=834359 vsize=396812 memory=201308 CPUtime=18.3 cores=1,3
/proc/834362/task/834364/stat : 834364 (fscip) R 834359 834362 830624 0 -1 4194368 112301 0 0 0 1818 12 0 0 20 0 3 0 162344885 406335488 69554 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
[pid=834362/tid=834365] ppid=834359 vsize=396812 memory=218940 CPUtime=0 cores=1,3
/proc/834362/task/834365/stat : 834365 (fscip) S 834359 834362 830624 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 162344893 406335488 69554 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
Current children cumulated CPU time: 19.12 s
Current children cumulated vsize: 396812 KiB
Current children cumulated memory: 278216 KiB

[startup+20.8004 s]
/proc/loadavg: 4.07 4.09 4.11 5/252 834368
/proc/meminfo: memFree=122807180/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=396812 memory=278224 CPUtime=20.71 cores=1,3
/proc/834362/stat : 834362 (fscip) S 834359 834362 830624 0 -1 1077936128 138538 0 0 0 2052 19 0 0 20 0 3 0 162344808 406335488 69556 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 99203 69556 2974 3032 0 80480 0
[pid=834362/tid=834364] ppid=834359 vsize=396812 memory=25168 CPUtime=19.89 cores=1,3
/proc/834362/task/834364/stat : 834364 (fscip) R 834359 834362 830624 0 -1 4194368 112765 0 0 0 1977 12 0 0 20 0 3 0 162344885 406335488 69556 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
[pid=834362/tid=834365] ppid=834359 vsize=396812 memory=100 CPUtime=0 cores=1,3
/proc/834362/task/834365/stat : 834365 (fscip) S 834359 834362 830624 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 162344893 406335488 69556 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
Current children cumulated CPU time: 20.71 s
Current children cumulated vsize: 396812 KiB
Current children cumulated memory: 278224 KiB

[startup+22.4004 s]
/proc/loadavg: 4.15 4.10 4.11 5/252 834368
/proc/meminfo: memFree=122807432/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=396812 memory=278276 CPUtime=22.31 cores=1,3
/proc/834362/stat : 834362 (fscip) S 834359 834362 830624 0 -1 1077936128 139106 0 0 0 2212 19 0 0 20 0 3 0 162344808 406335488 69569 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 99203 69569 2974 3032 0 80480 0
[pid=834362/tid=834364] ppid=834359 vsize=396812 memory=0 CPUtime=21.49 cores=1,3
/proc/834362/task/834364/stat : 834364 (fscip) R 834359 834362 830624 0 -1 4194368 113333 0 0 0 2137 12 0 0 20 0 3 0 162344885 406335488 69569 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
[pid=834362/tid=834365] ppid=834359 vsize=396812 memory=41416 CPUtime=0 cores=1,3
/proc/834362/task/834365/stat : 834365 (fscip) S 834359 834362 830624 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 162344893 406335488 69569 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
Current children cumulated CPU time: 22.31 s
Current children cumulated vsize: 396812 KiB
Current children cumulated memory: 278276 KiB

[startup+22.8004 s]
/proc/loadavg: 4.15 4.10 4.11 5/252 834368
/proc/meminfo: memFree=122807432/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=396812 memory=278276 CPUtime=22.7 cores=1,3
/proc/834362/stat : 834362 (fscip) S 834359 834362 830624 0 -1 1077936128 139195 0 0 0 2251 19 0 0 20 0 3 0 162344808 406335488 69569 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 99203 69569 2974 3032 0 80480 0
[pid=834362/tid=834364] ppid=834359 vsize=396812 memory=18871 CPUtime=21.89 cores=1,3
/proc/834362/task/834364/stat : 834364 (fscip) R 834359 834362 830624 0 -1 4194368 113422 0 0 0 2177 12 0 0 20 0 3 0 162344885 406335488 69569 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
[pid=834362/tid=834365] ppid=834359 vsize=396812 memory=5468 CPUtime=0 cores=1,3
/proc/834362/task/834365/stat : 834365 (fscip) S 834359 834362 830624 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 162344893 406335488 69569 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
Current children cumulated CPU time: 22.7 s
Current children cumulated vsize: 396812 KiB
Current children cumulated memory: 278276 KiB

[startup+23.2004 s]
/proc/loadavg: 4.15 4.10 4.11 5/252 834368
/proc/meminfo: memFree=122807284/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=396812 memory=278304 CPUtime=23.11 cores=1,3
/proc/834362/stat : 834362 (fscip) S 834359 834362 830624 0 -1 1077936128 151487 0 0 0 2291 20 0 0 20 0 3 0 162344808 406335488 69576 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 99203 69576 2974 3032 0 80480 0
[pid=834362/tid=834364] ppid=834359 vsize=396812 memory=11516 CPUtime=22.29 cores=1,3
/proc/834362/task/834364/stat : 834364 (fscip) R 834359 834362 830624 0 -1 4194368 125550 0 0 0 2216 13 0 0 20 0 3 0 162344885 406335488 69576 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
[pid=834362/tid=834365] ppid=834359 vsize=396812 memory=41416 CPUtime=0 cores=1,3
/proc/834362/task/834365/stat : 834365 (fscip) S 834359 834362 830624 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 162344893 406335488 69576 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
Current children cumulated CPU time: 23.11 s
Current children cumulated vsize: 396812 KiB
Current children cumulated memory: 278304 KiB

[startup+23.3006 s]
/proc/loadavg: 4.15 4.10 4.11 5/252 834368
/proc/meminfo: memFree=122807284/131655788 swapFree=131071996/131071996
[pid=834362] ppid=834359 vsize=395780 memory=277272 CPUtime=23.2 cores=1,3
/proc/834362/stat : 834362 (fscip) R 834359 834362 830624 0 -1 4194304 168141 0 0 0 2298 22 0 0 20 0 2 0 162344808 405278720 69318 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
/proc/834362/statm: 98945 69318 2974 3032 0 80222 0
[pid=834362/tid=834365] ppid=834359 vsize=395780 memory=230108 CPUtime=0 cores=1,3
/proc/834362/task/834365/stat : 834365 (fscip) S 834359 834362 830624 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 2 0 162344893 405278720 69318 134679101440 4194304 16613245 140722781060560 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 27963392 140722781062165 140722781062281 140722781062281 140722781069296 0
Current children cumulated CPU time: 23.2 s
Current children cumulated vsize: 395780 KiB
Current children cumulated memory: 277272 KiB

Child status: 0

Real time (s): 23.3554
CPU time (s): 23.2684
CPU user time (s): 23.0095
CPU system time (s): 0.258905
CPU usage (%): 99.6275
Max. virtual memory (cumulated for all children) (KiB): 396812
Max. memory (cumulated for all children) (KiB): 278304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.0095
system time used= 0.258905
maximum resident set size= 278304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170524
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= 37
involuntary context switches= 48


# summary of solver processes directly reported to runsolver:
#   pid: 834362
#   total CPU time (s): 23.2684
#   total CPU user time (s): 23.0095
#   total CPU system time (s): 0.258905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.148019 second user time and 0.284724 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-16 05:51:13
IDJOB=4434741
IDBENCH=148120
IDSOLVER=3064
FILE ID=nodeC006/4434741-1721101860
RUNJOBID= nodeC006-1721095536-830636
SLURM_JOB_ID= 7505606
Free space on /tmp= 723684 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434741-1721101860/watcher-4434741-1721101860 -o /tmp/evaluation-result-4434741-1721101860/solver-4434741-1721101860 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830636 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434741-1721101860.opb -qsol -t 3600 -sth 1

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 5d8f8888afb700f17245f1d666d6f5a0
RANDOM SEED=1933936184

nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3668.659
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1777.362
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.372
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.248
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3636.396
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3654.825
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.348
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.278
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.26
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123084492 kB
MemAvailable:   126821900 kB
Buffers:          400612 kB
Cached:          4133760 kB
SwapCached:            0 kB
Active:           708016 kB
Inactive:        7232844 kB
Active(anon):       1460 kB
Inactive(anon):  3442760 kB
Active(file):     706556 kB
Inactive(file):  3790084 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             28972 kB
Writeback:            12 kB
AnonPages:       3403576 kB
Mapped:           139136 kB
Shmem:             37704 kB
KReclaimable:     161600 kB
Slab:             266472 kB
SReclaimable:     161600 kB
SUnreclaim:       104872 kB
KernelStack:        3984 kB
PageTables:        16208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1579548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52160 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2113536 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      219976 kB
DirectMap2M:    27996160 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723656 MiB
End job on nodeC006 at 2024-07-16 05:51:37