Trace number 4465104

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 NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-30OPTIMUM 390.586 391.999

General information on the benchmark

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

Verifier Data 

OK	1

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: 64096 MiB (61351 MiB free)
  memory of node 1: 64473 MiB (57966 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4465104-1722389396/watcher-4465104-1722389396 -o /tmp/evaluation-result-4465104-1722389396/solver-4465104-1722389396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722389396-37261 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465104-1722389396.wbo -qsol -t 3600 -sth 1 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64

Current StackSize limit: 8192 KiB

solver pid=37304, runsolver pid=37297

[startup+0.100859 s]*
/proc/loadavg: 4.15 4.22 4.18 8/245 37322
/proc/meminfo: memFree=122125592/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=46120 memory=34640 CPUtime=0.1 cores=5,7
/proc/37304/stat : 37304 (fscip) R 37297 37304 37248 0 -1 4194304 6552 0 0 0 8 2 0 0 20 0 1 0 5536123 47226880 8660 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 11530 8660 2347 3035 0 7926 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46120 KiB
Current children cumulated memory: 34640 KiB

[startup+0.214854 s]*
/proc/loadavg: 4.15 4.22 4.18 5/242 37323
/proc/meminfo: memFree=122065408/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=70592 memory=60144 CPUtime=0.21 cores=5,7
/proc/37304/stat : 37304 (fscip) R 37297 37304 37248 0 -1 4194304 12983 0 0 0 17 4 0 0 20 0 1 0 5536123 72286208 15036 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 17648 15036 2555 3035 0 14044 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 70592 KiB
Current children cumulated memory: 60144 KiB

[startup+0.314683 s]*
/proc/loadavg: 4.15 4.22 4.18 7/239 37331
/proc/meminfo: memFree=122007440/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=105472 memory=94464 CPUtime=0.31 cores=5,7
/proc/37304/stat : 37304 (fscip) R 37297 37304 37248 0 -1 4194304 21549 0 0 0 24 7 0 0 20 0 1 0 5536123 108003328 23616 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 26368 23616 2555 3035 0 22764 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 105472 KiB
Current children cumulated memory: 94464 KiB

[startup+0.700347 s]
/proc/loadavg: 4.15 4.22 4.18 7/239 37331
/proc/meminfo: memFree=121921484/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=197748 memory=181272 CPUtime=0.68 cores=5,7
/proc/37304/stat : 37304 (fscip) R 37297 37304 37248 0 -1 4194304 43200 0 0 0 55 13 0 0 20 0 1 0 5536123 202493952 45318 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 49437 45318 2614 3035 0 45833 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 197748 KiB
Current children cumulated memory: 181272 KiB

[startup+1.50038 s]
/proc/loadavg: 4.15 4.22 4.18 6/239 37360
/proc/meminfo: memFree=121725512/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=289568 memory=205376 CPUtime=1.47 cores=5,7
/proc/37304/stat : 37304 (fscip) R 37297 37304 37248 0 -1 4194304 47653 0 0 0 133 14 0 0 20 0 1 0 5536123 296517632 51344 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 72392 51344 2630 3035 0 68788 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 289568 KiB
Current children cumulated memory: 205376 KiB

[startup+3.11049 s]
/proc/loadavg: 4.15 4.22 4.18 6/247 37374
/proc/meminfo: memFree=120905128/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=668120 memory=506128 CPUtime=3.06 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 140134 0 0 0 268 38 0 0 20 0 3 0 5536123 684154880 126532 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 167030 126532 2710 3035 0 150271 0
[pid=37304/tid=37371] ppid=37297 vsize=668120 memory=5787221523746412388 CPUtime=1.25 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 60457 0 0 0 108 17 0 0 20 0 3 0 5536290 684154880 126532 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=668120 memory=0 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5536335 684154880 126532 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 668120 KiB
Current children cumulated memory: 506128 KiB

[startup+6.30031 s]
/proc/loadavg: 4.13 4.22 4.18 6/251 37378
/proc/meminfo: memFree=119563636/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=733656 memory=582952 CPUtime=6.24 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 174679 0 0 0 579 45 0 0 20 0 3 0 5536123 751263744 145738 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 183414 145738 2758 3035 0 170379 0
[pid=37304/tid=37371] ppid=37297 vsize=733656 memory=12744 CPUtime=4.43 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 94996 0 0 0 419 24 0 0 20 0 3 0 5536290 751263744 145738 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=733656 memory=241956 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5536335 751263744 145738 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 733656 KiB
Current children cumulated memory: 582952 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.21 4.18 6/254 37437
/proc/meminfo: memFree=119107740/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=733656 memory=582968 CPUtime=12.6 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 196788 0 0 0 1214 46 0 0 20 0 3 0 5536123 751263744 145742 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 183414 145742 2758 3035 0 170379 0
[pid=37304/tid=37371] ppid=37297 vsize=733656 memory=0 CPUtime=10.79 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 117091 0 0 0 1054 25 0 0 20 0 3 0 5536290 751263744 145742 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=733656 memory=12036 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5536335 751263744 145742 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 733656 KiB
Current children cumulated memory: 582968 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.20 4.18 6/254 37440
/proc/meminfo: memFree=119012344/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=733656 memory=590364 CPUtime=25.36 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 225710 0 0 0 2485 51 0 0 20 0 3 0 5536123 751263744 147591 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 183414 147591 2758 3035 0 172082 0
[pid=37304/tid=37371] ppid=37297 vsize=733656 memory=587212 CPUtime=23.54 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 145993 0 0 0 2325 29 0 0 20 0 3 0 5536290 751263744 147591 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=733656 memory=19852 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 5536335 751263744 147591 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 733656 KiB
Current children cumulated memory: 590364 KiB

[startup+51.1134 s]
/proc/loadavg: 4.12 4.20 4.18 5/254 37491
/proc/meminfo: memFree=118527048/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1001020 memory=854736 CPUtime=50.88 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 338331 0 0 0 5024 64 0 0 20 0 3 0 5536123 1025044480 213684 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 250255 213684 2854 3035 0 240913 0
[pid=37304/tid=37371] ppid=37297 vsize=1001020 memory=854496 CPUtime=49.07 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 258601 0 0 0 4864 43 0 0 20 0 3 0 5536290 1025044480 213684 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1001020 memory=582968 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 5536335 1025044480 213684 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1001020 KiB
Current children cumulated memory: 854736 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/254 37500
/proc/meminfo: memFree=118334040/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1072276 memory=936104 CPUtime=101.89 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 553603 0 0 0 10105 84 0 0 20 0 3 0 5536123 1098010624 234026 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 268069 234026 2902 3035 0 257935 0
[pid=37304/tid=37371] ppid=37297 vsize=1072276 memory=164 CPUtime=100.05 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 465957 0 0 0 9944 61 0 0 20 0 3 0 5536290 1098010624 234026 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1072276 memory=927312 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 5536335 1098010624 234026 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 1072276 KiB
Current children cumulated memory: 936104 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/255 37513
/proc/meminfo: memFree=117562188/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1072276 memory=937648 CPUtime=161.66 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 654291 0 0 0 16074 92 0 0 20 0 3 0 5536123 1098010624 234412 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 268069 234412 2918 3035 0 257935 0
[pid=37304/tid=37371] ppid=37297 vsize=1072276 memory=937624 CPUtime=159.8 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 559168 0 0 0 15911 69 0 0 20 0 3 0 5536290 1098010624 234412 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1072276 memory=937648 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 5536335 1098010624 234412 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 1072276 KiB
Current children cumulated memory: 937648 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/254 37524
/proc/meminfo: memFree=117498964/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1072276 memory=938868 CPUtime=221.45 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 759565 0 0 0 22045 100 0 0 20 0 3 0 5536123 1098010624 234717 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 268069 234717 2918 3035 0 257935 0
[pid=37304/tid=37371] ppid=37297 vsize=1072276 memory=12036 CPUtime=219.59 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 664434 0 0 0 21882 77 0 0 20 0 3 0 5536290 1098010624 234717 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1072276 memory=938868 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 3 0 5536335 1098010624 234717 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 1072276 KiB
Current children cumulated memory: 938868 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/254 37534
/proc/meminfo: memFree=117437820/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1072276 memory=941732 CPUtime=281.24 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 895189 0 0 0 28014 110 0 0 20 0 3 0 5536123 1098010624 235433 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 268069 235433 2998 3035 0 257935 0
[pid=37304/tid=37371] ppid=37297 vsize=1072276 memory=940100 CPUtime=279.35 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 792582 0 0 0 27849 86 0 0 20 0 3 0 5536290 1098010624 235433 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1072276 memory=12036 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 3 0 5536335 1098010624 235433 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 1072276 KiB
Current children cumulated memory: 941732 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/253 37548
/proc/meminfo: memFree=117265616/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1072276 memory=945492 CPUtime=341.04 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 917768 0 0 0 33993 111 0 0 20 0 3 0 5536123 1098010624 236373 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 268069 236373 2998 3035 0 257935 0
[pid=37304/tid=37371] ppid=37297 vsize=1072276 memory=12036 CPUtime=339.15 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 815138 0 0 0 33828 87 0 0 20 0 3 0 5536290 1098010624 236373 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1072276 memory=942308 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 91 0 0 0 0 0 0 0 20 0 3 0 5536335 1098010624 236373 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 1072276 KiB
Current children cumulated memory: 945492 KiB

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

# cumulated CPU time of all completed processes:  user=389.335 s, system=1.25123 s

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

[startup+358.4 s]
/proc/loadavg: 4.16 4.17 4.17 5/253 37553
/proc/meminfo: memFree=117224004/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1072276 memory=945704 CPUtime=357.09 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 919011 0 0 0 35597 112 0 0 20 0 3 0 5536123 1098010624 236426 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 268069 236426 2998 3035 0 257935 0
[pid=37304/tid=37371] ppid=37297 vsize=1072276 memory=945428 CPUtime=355.19 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 816377 0 0 0 35432 87 0 0 20 0 3 0 5536290 1098010624 236426 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1072276 memory=945492 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 93 0 0 0 0 0 0 0 20 0 3 0 5536335 1098010624 236426 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 357.09 s
Current children cumulated vsize: 1072276 KiB
Current children cumulated memory: 945704 KiB

[startup+371.2 s]
/proc/loadavg: 4.13 4.16 4.17 5/253 37554
/proc/meminfo: memFree=117195172/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1072276 memory=968568 CPUtime=369.84 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 925121 0 0 0 36872 112 0 0 20 0 3 0 5536123 1098010624 242142 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 268069 242142 2998 3035 0 263499 0
[pid=37304/tid=37371] ppid=37297 vsize=1072276 memory=5548 CPUtime=367.95 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 822469 0 0 0 36707 88 0 0 20 0 3 0 5536290 1098010624 242142 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1072276 memory=14936 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 5536335 1098010624 242142 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 369.84 s
Current children cumulated vsize: 1072276 KiB
Current children cumulated memory: 968568 KiB

[startup+384 s]*
/proc/loadavg: 4.19 4.17 4.18 5/253 37558
/proc/meminfo: memFree=117159020/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1143648 memory=1004636 CPUtime=382.61 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 935104 0 0 0 38148 113 0 0 20 0 3 0 5536123 1171095552 251159 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 285912 251159 2998 3035 0 272523 0
[pid=37304/tid=37371] ppid=37297 vsize=1143648 memory=-7378421781101634168 CPUtime=380.72 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 832452 0 0 0 37983 89 0 0 20 0 3 0 5536290 1171095552 251159 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1143648 memory=4426928054547934875 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 5536335 1171095552 251159 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 382.61 s
Current children cumulated vsize: 1143648 KiB
Current children cumulated memory: 1004636 KiB

[startup+387.2 s]
/proc/loadavg: 4.17 4.17 4.17 5/253 37558
/proc/meminfo: memFree=117158708/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1143648 memory=1004660 CPUtime=385.78 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 935170 0 0 0 38465 113 0 0 20 0 3 0 5536123 1171095552 251165 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 285912 251165 2998 3035 0 272523 0
[pid=37304/tid=37371] ppid=37297 vsize=1143648 memory=14936 CPUtime=383.9 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 832518 0 0 0 38301 89 0 0 20 0 3 0 5536290 1171095552 251165 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1143648 memory=1004660 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 5536335 1171095552 251165 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 385.78 s
Current children cumulated vsize: 1143648 KiB
Current children cumulated memory: 1004660 KiB

[startup+390.4 s]
/proc/loadavg: 4.16 4.17 4.17 5/253 37558
/proc/meminfo: memFree=117154960/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1143648 memory=1009744 CPUtime=388.98 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 945891 0 0 0 38784 114 0 0 20 0 3 0 5536123 1171095552 252436 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 285912 252436 2998 3035 0 275970 0
[pid=37304/tid=37371] ppid=37297 vsize=1143648 memory=14936 CPUtime=387.09 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 843239 0 0 0 38619 90 0 0 20 0 3 0 5536290 1171095552 252436 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1143648 memory=999180 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 5536335 1171095552 252436 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 388.98 s
Current children cumulated vsize: 1143648 KiB
Current children cumulated memory: 1009744 KiB

[startup+391.2 s]
/proc/loadavg: 4.16 4.17 4.17 5/253 37558
/proc/meminfo: memFree=117149872/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1143648 memory=1009744 CPUtime=389.77 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 946184 0 0 0 38863 114 0 0 20 0 3 0 5536123 1171095552 252436 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 285912 252436 2998 3035 0 275970 0
[pid=37304/tid=37371] ppid=37297 vsize=1143648 memory=12036 CPUtime=387.89 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 843532 0 0 0 38699 90 0 0 20 0 3 0 5536290 1171095552 252436 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1143648 memory=5548 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 5536335 1171095552 252436 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 389.77 s
Current children cumulated vsize: 1143648 KiB
Current children cumulated memory: 1009744 KiB

[startup+391.6 s]
/proc/loadavg: 4.16 4.17 4.17 5/253 37558
/proc/meminfo: memFree=117149872/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1143648 memory=1009744 CPUtime=390.17 cores=5,7
/proc/37304/stat : 37304 (fscip) S 37297 37304 37248 0 -1 1077936128 963921 0 0 0 38902 115 0 0 20 0 3 0 5536123 1171095552 252436 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 285912 252436 2998 3035 0 275970 0
[pid=37304/tid=37371] ppid=37297 vsize=1143648 memory=1804 CPUtime=388.29 cores=5,7
/proc/37304/task/37371/stat : 37371 (fscip) R 37297 37304 37248 0 -1 4194368 861298 0 0 0 38738 91 0 0 20 0 3 0 5536290 1171095552 252436 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
[pid=37304/tid=37372] ppid=37297 vsize=1143648 memory=38548 CPUtime=0 cores=5,7
/proc/37304/task/37372/stat : 37372 (fscip) S 37297 37304 37248 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 3 0 5536335 1171095552 252436 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
Current children cumulated CPU time: 390.17 s
Current children cumulated vsize: 1143648 KiB
Current children cumulated memory: 1009744 KiB

[startup+391.801 s]
/proc/loadavg: 4.16 4.17 4.17 5/253 37558
/proc/meminfo: memFree=117149872/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1059616 memory=957116 CPUtime=390.38 cores=5,7
/proc/37304/stat : 37304 (fscip) R 37297 37304 37248 0 -1 4194304 993011 0 0 0 38919 119 0 0 20 0 1 0 5536123 1085046784 239279 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 264904 239279 2998 3035 0 260334 0
Current children cumulated CPU time: 390.38 s
Current children cumulated vsize: 1059616 KiB
Current children cumulated memory: 957116 KiB

[startup+391.901 s]
/proc/loadavg: 4.16 4.17 4.17 5/253 37558
/proc/meminfo: memFree=117149872/131655788 swapFree=131071996/131071996
[pid=37304] ppid=37297 vsize=1033952 memory=931452 CPUtime=390.48 cores=5,7
/proc/37304/stat : 37304 (fscip) R 37297 37304 37248 0 -1 4194304 1001571 0 0 0 38928 120 0 0 20 0 1 0 5536123 1058766848 232863 134679101440 4194304 16623229 140731439091504 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 45621248 140731439092756 140731439092872 140731439092872 140731439099888 0
/proc/37304/statm: 258488 232863 2998 3035 0 253918 0
Current children cumulated CPU time: 390.48 s
Current children cumulated vsize: 1033952 KiB
Current children cumulated memory: 931452 KiB

Child status: 0

Real time (s): 391.999
CPU time (s): 390.586
CPU user time (s): 389.335
CPU system time (s): 1.25123
CPU usage (%): 99.6394
Max. virtual memory (cumulated for all children) (KiB): 1143648
Max. memory (cumulated for all children) (KiB): 1009744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 389.335
system time used= 1.25123
maximum resident set size= 1009744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1006829
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= 612
involuntary context switches= 734


# summary of solver processes directly reported to runsolver:
#   pid: 37304
#   total CPU time (s): 390.586
#   total CPU user time (s): 389.335
#   total CPU system time (s): 1.25123

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.02376 second user time and 4.21513 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-31 03:29:56
IDJOB=4465104
IDBENCH=143108
IDSOLVER=3093
FILE ID=nodeC006/4465104-1722389396
RUNJOBID= nodeC006-1722389396-37261
SLURM_JOB_ID= 8249860
Free space on /tmp= 723780 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl--soft-0-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4465104-1722389396/watcher-4465104-1722389396 -o /tmp/evaluation-result-4465104-1722389396/solver-4465104-1722389396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722389396-37261 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4465104-1722389396.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 422b47731253e11b6937aedb0da90672
RANDOM SEED=1975820529

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		: 1197.181
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.46
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		: 1197.177
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.38
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.169
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.46
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.169
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.38
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		: 1197.169
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.46
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		: 1197.168
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.38
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.174
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.46
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.173
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122190264 kB
MemAvailable:   129911348 kB
Buffers:          113028 kB
Cached:          8376452 kB
SwapCached:            0 kB
Active:           283064 kB
Inactive:        8605484 kB
Active(anon):       1320 kB
Inactive(anon):   419060 kB
Active(file):     281744 kB
Inactive(file):  8186424 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            116608 kB
Writeback:             0 kB
AnonPages:        398804 kB
Mapped:            88228 kB
Shmem:             21320 kB
KReclaimable:     186232 kB
Slab:             273356 kB
SReclaimable:     186232 kB
SUnreclaim:        87124 kB
KernelStack:        3648 kB
PageTables:         9368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     728772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7328 kB
HardwareCorrupted:     0 kB
AnonHugePages:    280576 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:      232264 kB
DirectMap2M:    16449536 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 723668 MiB
End job on nodeC006 at 2024-07-31 03:36:28