Trace number 4526682

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
OR-Tools CP-SAT 9.14MSAT (TO) 3600.26 1857.88

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph06_wcsp.wbo
MD5SUM38287b4f81b650595c9c747bdd7f38d4
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4123
Best CPU time to get the best result obtained on this benchmark118.953
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7542
Total number of constraints1065451
Number of soft constraints1065251
Number of constraints which are clauses1065251
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 476244
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 266649860
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	21420

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: 63665 MiB (57898 MiB free)
  memory of node 1: 64507 MiB (61423 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526682-1751627952/watcher-4526682-1751627952 -o /tmp/evaluation-result-4526682-1751627952/solver-4526682-1751627952 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751624255-89467 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:566691176 --competition_mode --input HOME/instance-4526682-1751627952.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=92028, runsolver pid=92025

[startup+0.100064 s]*
/proc/loadavg: 8.02 8.04 7.91 8/270 92029
/proc/meminfo: memFree=122164888/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=45632 memory=35044 CPUtime=0.1 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 8331 0 0 0 8 2 0 0 20 0 1 0 78472923 46727168 8761 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 11408 8761 1088 2102 0 8948 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45632 KiB
Current children cumulated memory: 35044 KiB

[startup+0.205576 s]*
/proc/loadavg: 8.02 8.04 7.91 8/270 92029
/proc/meminfo: memFree=122120596/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=80624 memory=66008 CPUtime=0.2 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 14552 0 0 0 17 3 0 0 20 0 1 0 78472923 82558976 16502 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 20156 16502 1088 2102 0 17696 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80624 KiB
Current children cumulated memory: 66008 KiB

[startup+0.305592 s]*
/proc/loadavg: 8.02 8.04 7.91 8/270 92029
/proc/meminfo: memFree=122096656/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=103460 memory=97112 CPUtime=0.3 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 20258 0 0 0 26 4 0 0 20 0 1 0 78472923 105943040 24278 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 25865 24278 1088 2102 0 23405 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 103460 KiB
Current children cumulated memory: 97112 KiB

[startup+0.700191 s]
/proc/loadavg: 8.02 8.04 7.91 8/270 92029
/proc/meminfo: memFree=122023948/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=259308 memory=205684 CPUtime=0.69 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 41835 0 0 0 59 10 0 0 20 0 1 0 78472923 265531392 51421 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 64827 51421 1088 2102 0 62367 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 259308 KiB
Current children cumulated memory: 205684 KiB

[startup+1.50018 s]
/proc/loadavg: 8.02 8.04 7.91 8/270 92029
/proc/meminfo: memFree=121584412/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=705188 memory=672792 CPUtime=1.48 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 151109 0 0 0 121 27 0 0 20 0 1 0 78472923 722112512 168198 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 176297 168198 1344 2102 0 173837 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 705188 KiB
Current children cumulated memory: 672792 KiB

[startup+3.1053 s]
/proc/loadavg: 7.94 8.02 7.91 8/270 92029
/proc/meminfo: memFree=121148432/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=1111792 memory=1043564 CPUtime=3.09 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 218202 0 0 0 270 39 0 0 20 0 1 0 78472923 1138475008 260891 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 277948 260891 1408 2102 0 275488 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1111792 KiB
Current children cumulated memory: 1043564 KiB

[startup+6.30018 s]
/proc/loadavg: 7.94 8.02 7.91 8/270 92030
/proc/meminfo: memFree=121031988/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=1348480 memory=1238960 CPUtime=6.27 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 240860 0 0 0 582 45 0 0 20 0 1 0 78472923 1380843520 309740 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 337120 309740 1504 2102 0 334660 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1348480 KiB
Current children cumulated memory: 1238960 KiB

[startup+12.7002 s]
/proc/loadavg: 7.86 8.01 7.90 8/270 92030
/proc/meminfo: memFree=119958452/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=1833688 memory=1758132 CPUtime=12.64 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 347902 0 0 0 1175 89 0 0 20 0 1 0 78472923 1877696512 439533 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 458422 439533 1856 2102 0 455962 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1833688 KiB
Current children cumulated memory: 1758132 KiB

[startup+25.5002 s]
/proc/loadavg: 7.67 7.96 7.89 8/270 92030
/proc/meminfo: memFree=119651100/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=2425552 memory=2319324 CPUtime=25.4 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 415683 0 0 0 2419 121 0 0 20 0 1 0 78472923 2483765248 579831 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 606388 579831 1856 2102 0 603928 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2425552 KiB
Current children cumulated memory: 2319324 KiB

[startup+51.1056 s]
/proc/loadavg: 7.74 7.94 7.89 9/272 92032
/proc/meminfo: memFree=115432112/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=8334240 memory=6679896 CPUtime=67.95 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) S 92025 92028 89454 0 -1 4194304 686250 0 0 0 6486 309 0 0 20 0 3 0 78472923 8534261760 1669974 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 2083560 1669974 2144 2102 0 2009518 0
[pid=92028/tid=92031] ppid=92025 vsize=8334240 memory=6211448 CPUtime=11.79 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 120445 0 0 0 1075 104 0 0 20 0 3 0 78476289 8534261760 1669974 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=8334240 memory=6136124 CPUtime=17.04 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 106852 0 0 0 1635 69 0 0 20 0 3 0 78476289 8534261760 1669974 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 67.95 s
Current children cumulated vsize: 8334240 KiB
Current children cumulated memory: 6679896 KiB

[startup+102.3 s]
/proc/loadavg: 7.96 7.97 7.90 9/273 92035
/proc/meminfo: memFree=115605240/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=8315072 memory=6591340 CPUtime=168.92 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 966380 0 0 0 16331 561 0 0 20 0 3 0 78472923 8514633728 1647835 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 2078768 1647835 2144 2102 0 2004958 0
[pid=92028/tid=92031] ppid=92025 vsize=8315072 memory=6677504 CPUtime=31.89 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) S 92025 92028 89454 0 -1 4194368 150408 0 0 0 2936 253 0 0 20 0 3 0 78476289 8514633728 1647835 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 1 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=8315072 memory=14592 CPUtime=66.94 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 345069 0 0 0 6524 170 0 0 20 0 3 0 78476289 8514633728 1647835 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 168.92 s
Current children cumulated vsize: 8315072 KiB
Current children cumulated memory: 6591340 KiB

[startup+162.3 s]
/proc/loadavg: 7.98 7.98 7.91 9/273 92037
/proc/meminfo: memFree=115236524/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=8158768 memory=6909804 CPUtime=278.83 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 1346883 0 0 0 26946 937 0 0 20 0 3 0 78472923 8354578432 1727451 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 2039692 1727451 2144 2102 0 1965965 0
[pid=92028/tid=92031] ppid=92025 vsize=8158768 memory=6348452 CPUtime=56.14 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) S 92025 92028 89454 0 -1 4194368 179819 0 0 0 5157 457 0 0 20 0 3 0 78476289 8354578432 1727451 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=8158768 memory=6820040 CPUtime=116.9 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 690174 0 0 0 11349 341 0 0 20 0 3 0 78476289 8354578432 1727451 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 278.83 s
Current children cumulated vsize: 8158768 KiB
Current children cumulated memory: 6909804 KiB

[startup+222.3 s]
/proc/loadavg: 8.00 7.98 7.92 9/274 92044
/proc/meminfo: memFree=114946824/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=8421092 memory=7259612 CPUtime=395.2 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 1498351 0 0 0 38250 1270 0 0 20 0 3 0 78472923 8623198208 1814903 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 2105273 1814903 2144 2102 0 2029725 0
[pid=92028/tid=92031] ppid=92025 vsize=8421092 memory=7247564 CPUtime=82.51 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) S 92025 92028 89454 0 -1 4194368 230786 0 0 0 7597 654 0 0 20 0 3 0 78476289 8623198208 1814903 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 1 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=8421092 memory=14592 CPUtime=173.18 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 785085 0 0 0 16842 476 0 0 20 0 3 0 78476289 8623198208 1814903 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 395.2 s
Current children cumulated vsize: 8421092 KiB
Current children cumulated memory: 7259612 KiB

[startup+282.3 s]
/proc/loadavg: 8.02 7.99 7.92 9/272 92046
/proc/meminfo: memFree=115227280/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=7973396 memory=6967876 CPUtime=510.12 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) S 92025 92028 89454 0 -1 4194304 1855007 0 0 0 49418 1594 0 0 20 0 3 0 78472923 8164757504 1741969 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 1993349 1741969 2144 2102 0 1918636 0
[pid=92028/tid=92031] ppid=92025 vsize=7973396 memory=6502916 CPUtime=124.61 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 281585 0 0 0 11619 842 0 0 20 0 3 0 78476289 8164757504 1741969 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=7973396 memory=14592 CPUtime=228 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 1082724 0 0 0 22190 610 0 0 20 0 3 0 78476289 8164757504 1741969 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 510.12 s
Current children cumulated vsize: 7973396 KiB
Current children cumulated memory: 6967876 KiB

[startup+342.3 s]
/proc/loadavg: 8.01 7.99 7.93 9/272 92048
/proc/meminfo: memFree=114532760/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=7904280 memory=6966224 CPUtime=626.4 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) S 92025 92028 89454 0 -1 4194304 2209912 0 0 0 60641 1999 0 0 20 0 3 0 78472923 8093982720 1741556 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 1976070 1741556 2144 2102 0 1901357 0
[pid=92028/tid=92031] ppid=92025 vsize=7904280 memory=6502916 CPUtime=173.38 cores=5,7

################
# More data... #
################

/proc/92028/statm: 3516752 3240047 2144 2102 0 3443030 0
[pid=92028/tid=92031] ppid=92025 vsize=14067008 memory=12286676 CPUtime=1045.81 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 2455585 0 0 0 99572 5009 0 0 20 0 3 0 78476289 14404616192 3240047 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=14067008 memory=-8183429189551230661 CPUtime=1258.98 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 5109105 0 0 0 121740 4158 0 0 20 0 3 0 78476289 14404616192 3240047 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 2626.64 s
Current children cumulated vsize: 14067008 KiB
Current children cumulated memory: 12960188 KiB

[startup+1422.3 s]
/proc/loadavg: 8.29 8.06 8.01 7/273 92241
/proc/meminfo: memFree=80526252/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=13551176 memory=12525212 CPUtime=2744.29 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) S 92025 92028 89454 0 -1 4194304 8494791 0 0 0 264679 9750 0 0 20 0 3 0 78472923 13876404224 3131303 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 3387794 3131303 2144 2102 0 3299794 0
[pid=92028/tid=92031] ppid=92025 vsize=13551176 memory=12286676 CPUtime=1097.03 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 2606295 0 0 0 104467 5236 0 0 20 0 3 0 78476289 13876404224 3131303 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=13551176 memory=12932828 CPUtime=1316.57 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 5370486 0 0 0 127302 4355 0 0 20 0 3 0 78476289 13876404224 3131303 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 2744.29 s
Current children cumulated vsize: 13551176 KiB
Current children cumulated memory: 12525212 KiB

[startup+1482.3 s]
/proc/loadavg: 8.29 8.10 8.02 9/273 92248
/proc/meminfo: memFree=79193500/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=14004140 memory=12944432 CPUtime=2862.01 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 8823022 0 0 0 276024 10177 0 0 20 0 3 0 78472923 14340239360 3236108 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 3501035 3236108 2144 2102 0 3427313 0
[pid=92028/tid=92031] ppid=92025 vsize=14004140 memory=12932828 CPUtime=1150.17 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) S 92025 92028 89454 0 -1 4194368 2753702 0 0 0 109546 5471 0 0 20 0 3 0 78476289 14340239360 3236108 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 1 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=14004140 memory=13097792 CPUtime=1373.52 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 5550733 0 0 0 132805 4547 0 0 20 0 3 0 78476289 14340239360 3236108 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 2862.01 s
Current children cumulated vsize: 14004140 KiB
Current children cumulated memory: 12944432 KiB

[startup+1542.3 s]
/proc/loadavg: 8.25 8.13 8.03 9/273 92250
/proc/meminfo: memFree=77795712/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=14144284 memory=12942104 CPUtime=2979.28 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) S 92025 92028 89454 0 -1 4194304 9119761 0 0 0 287356 10572 0 0 20 0 3 0 78472923 14483746816 3235526 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 3536071 3235526 2144 2102 0 3462349 0
[pid=92028/tid=92031] ppid=92025 vsize=14144284 memory=12633980 CPUtime=1196.44 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 2862612 0 0 0 113946 5698 0 0 20 0 3 0 78476289 14483746816 3235526 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=14144284 memory=12872760 CPUtime=1430.26 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 5737970 0 0 0 138313 4713 0 0 20 0 3 0 78476289 14483746816 3235526 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 2979.28 s
Current children cumulated vsize: 14144284 KiB
Current children cumulated memory: 12942104 KiB

[startup+1602.3 s]
/proc/loadavg: 8.38 8.17 8.05 9/273 92252
/proc/meminfo: memFree=78303172/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=13702280 memory=12739328 CPUtime=3097.01 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 9451922 0 0 0 298699 11002 0 0 20 0 3 0 78472923 14031134720 3184832 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 3425570 3184832 2144 2102 0 3351848 0
[pid=92028/tid=92031] ppid=92025 vsize=13702280 memory=12761724 CPUtime=1248.53 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) S 92025 92028 89454 0 -1 4194368 2983890 0 0 0 118932 5921 0 0 20 0 3 0 78476289 14031134720 3184832 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=13702280 memory=13133400 CPUtime=1487.12 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 5948347 0 0 0 143792 4920 0 0 20 0 3 0 78476289 14031134720 3184832 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 3097.01 s
Current children cumulated vsize: 13702280 KiB
Current children cumulated memory: 12739328 KiB

[startup+1662.3 s]
/proc/loadavg: 8.13 8.14 8.05 9/273 92253
/proc/meminfo: memFree=78177536/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=14016520 memory=12800880 CPUtime=3213.8 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) S 92025 92028 89454 0 -1 4194304 9802483 0 0 0 309943 11437 0 0 20 0 3 0 78472923 14352916480 3200220 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 3504130 3200220 2144 2102 0 3430408 0
[pid=92028/tid=92031] ppid=92025 vsize=14016520 memory=12761724 CPUtime=1297.67 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 3091707 0 0 0 123620 6147 0 0 20 0 3 0 78476289 14352916480 3200220 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=14016520 memory=12815476 CPUtime=1543.45 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 6188903 0 0 0 149217 5128 0 0 20 0 3 0 78476289 14352916480 3200220 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 14016520 KiB
Current children cumulated memory: 12800880 KiB

[startup+1722.3 s]
/proc/loadavg: 8.57 8.24 8.09 9/274 92258
/proc/meminfo: memFree=77680708/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=13825484 memory=12834196 CPUtime=3332.19 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) R 92025 92028 89454 0 -1 4194304 10176242 0 0 0 321348 11871 0 0 20 0 3 0 78472923 14157295616 3208549 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 3456371 3208549 2144 2102 0 3382658 0
[pid=92028/tid=92031] ppid=92025 vsize=13825484 memory=12761724 CPUtime=1351.91 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) S 92025 92028 89454 0 -1 4194368 3278853 0 0 0 128805 6386 0 0 20 0 3 0 78476289 14157295616 3208549 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=13825484 memory=12747624 CPUtime=1601.35 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 6375458 0 0 0 154813 5322 0 0 20 0 3 0 78476289 14157295616 3208549 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 3332.19 s
Current children cumulated vsize: 13825484 KiB
Current children cumulated memory: 12834196 KiB

[startup+1782.3 s]
/proc/loadavg: 8.28 8.22 8.09 9/272 92261
/proc/meminfo: memFree=76962544/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=13824200 memory=12761536 CPUtime=3450.64 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) S 92025 92028 89454 0 -1 4194304 10513979 0 0 0 332806 12258 0 0 20 0 3 0 78472923 14155980800 3190384 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 3456050 3190384 2144 2102 0 3380301 0
[pid=92028/tid=92031] ppid=92025 vsize=13824200 memory=12743572 CPUtime=1409.76 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 3439001 0 0 0 134380 6596 0 0 20 0 3 0 78476289 14155980800 3190384 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=13824200 memory=12720576 CPUtime=1660.5 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 6552995 0 0 0 160553 5497 0 0 20 0 3 0 78476289 14155980800 3190384 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 3450.64 s
Current children cumulated vsize: 13824200 KiB
Current children cumulated memory: 12761536 KiB

[startup+1842.3 s]
/proc/loadavg: 8.15 8.19 8.09 9/272 92263
/proc/meminfo: memFree=79811960/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=13897004 memory=12845428 CPUtime=3569.56 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) S 92025 92028 89454 0 -1 4194304 10943605 0 0 0 344270 12686 0 0 20 0 3 0 78472923 14230532096 3211357 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 3474251 3211357 2144 2102 0 3398502 0
[pid=92028/tid=92031] ppid=92025 vsize=13897004 memory=12433012 CPUtime=1468.98 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 3592573 0 0 0 140095 6803 0 0 20 0 3 0 78476289 14230532096 3211357 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=13897004 memory=12136504 CPUtime=1720.2 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 6828954 0 0 0 166302 5718 0 0 20 0 3 0 78476289 14230532096 3211357 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 3569.56 s
Current children cumulated vsize: 13897004 KiB
Current children cumulated memory: 12845428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1857.7 s]
/proc/loadavg: 8.12 8.18 8.09 9/272 92265
/proc/meminfo: memFree=78253756/131249996 swapFree=33003468/33010684
[pid=92028] ppid=92025 vsize=13563388 memory=12550728 CPUtime=3600.08 cores=5,7
/proc/92028/stat : 92028 (cp-sat-runner) S 92025 92028 89454 0 -1 4194304 11053303 0 0 0 347211 12797 0 0 20 0 3 0 78472923 13888909312 3137682 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
/proc/92028/statm: 3390847 3137682 2144 2102 0 3315098 0
[pid=92028/tid=92031] ppid=92025 vsize=13563388 memory=12630128 CPUtime=1484.18 cores=5,7
/proc/92028/task/92031/stat : 92031 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 3609897 0 0 0 141569 6849 0 0 20 0 3 0 78476289 13888909312 3137682 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
[pid=92028/tid=92032] ppid=92025 vsize=13563388 memory=12462356 CPUtime=1735.5 cores=5,7
/proc/92028/task/92032/stat : 92032 (cp-sat-runner) R 92025 92028 89454 0 -1 4194368 6921290 0 0 0 167768 5782 0 0 20 0 3 0 78476289 13888909312 3137682 18446744073709551615 4198400 12805993 140735235137504 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 38289408 140735235139863 140735235140067 140735235140067 140735235145671 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 13563388 KiB
Current children cumulated memory: 12550728 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3472.13 s, system=128.138 s

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

[startup+1857.8 s]*
/proc/loadavg: 8.12 8.18 8.09 8/271 92265
/proc/meminfo: memFree=83363028/131249996 swapFree=33003468/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 1857.88
CPU time (s): 3600.26
CPU user time (s): 3472.13
CPU system time (s): 128.138
CPU usage (%): 193.784
Max. virtual memory (cumulated for all children) (KiB): 14340084
Max. memory (cumulated for all children) (KiB): 13270784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3472.13
system time used= 128.138
maximum resident set size= 13270784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11053326
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= 28406
involuntary context switches= 202997


# summary of solver processes directly reported to runsolver:
#   pid: 92028
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3472.13
#   total CPU system time (s): 128.138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.81842 second user time and 9.47635 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-04 13:19:12
IDJOB=4526682
IDBENCH=144139
IDSOLVER=3378
FILE ID=nodeC021/4526682-1751627952
RUNJOBID= nodeC021-1751624255-89467
SLURM_JOB_ID= 9598947
Free space on /tmp= 430792 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph06_wcsp.wbo
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526682-1751627952/watcher-4526682-1751627952 -o /tmp/evaluation-result-4526682-1751627952/solver-4526682-1751627952 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751624255-89467 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:566691176 --competition_mode --input HOME/instance-4526682-1751627952.wbo

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

MD5SUM BENCH= 38287b4f81b650595c9c747bdd7f38d4
RANDOM SEED=566691176

nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122185432 kB
MemAvailable:   128690448 kB
Buffers:            1056 kB
Cached:          7237564 kB
SwapCached:           32 kB
Active:          1439288 kB
Inactive:        6775052 kB
Active(anon):     948368 kB
Inactive(anon):    40804 kB
Active(file):     490920 kB
Inactive(file):  6734248 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             45200 kB
Writeback:            12 kB
AnonPages:        978760 kB
Mapped:           125736 kB
Shmem:             13452 kB
KReclaimable:     237772 kB
Slab:             330140 kB
SReclaimable:     237772 kB
SUnreclaim:        92368 kB
KernelStack:        4352 kB
PageTables:         4908 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1379684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    811008 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430628 MiB
End job on nodeC021 at 2025-07-04 13:50:10