Trace number 4529512

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.14.2MSAT (TO) 3600.08 1820.56

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph11reducmore_wcsp.wbo
MD5SUM4f5be5c84a0d76ec975a3a6b3be3f2ae
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark370
Best CPU time to get the best result obtained on this benchmark77.4065
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5747
Total number of constraints283088
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)232
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 3080
Min constraint cost 1
Max constraint cost 3080
Sum of constraints costs 64455868
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 

2143.08/1087.26	o 3074
2144.88/1088.13	o 3004
2159.58/1095.52	o 3001
2185.41/1108.57	o 2949
2185.61/1108.65	o 2928
2186.62/1109.19	o 2927
2186.80/1109.23	o 2827
2187.40/1109.55	o 2807
2187.80/1109.70	o 2795
2187.80/1109.75	o 2794
2189.39/1110.52	o 2778
2189.39/1110.59	o 2752
2191.57/1111.64	o 2751
2191.77/1111.70	o 2740
2192.96/1112.39	o 2719
2193.36/1112.54	o 2708
2193.56/1112.62	o 2707
2196.94/1114.32	o 2705
2202.51/1117.17	o 2695
2225.16/1128.57	o 2614
2225.36/1128.63	o 2603
2226.36/1129.19	o 2512
2226.55/1129.23	o 2511
2226.75/1129.33	o 2501
2236.48/1134.23	o 2489
2239.07/1135.54	o 2398
2239.87/1135.92	o 2397
2241.85/1136.96	o 2396
2243.44/1137.72	o 2366
2243.44/1137.77	o 2365
2243.65/1137.83	o 2362
2244.05/1138.07	o 2284
2247.21/1139.63	o 2283
2248.22/1140.11	o 2268
2248.80/1140.41	o 2266
2249.21/1140.62	o 2253
2249.60/1140.88	o 2248
2257.35/1144.75	o 2135
2270.87/1151.52	o 2126
2278.41/1155.31	o 2100
2278.61/1155.42	o 2098
2278.61/1155.49	o 2097
2279.81/1156.01	o 2096
2279.81/1156.06	o 2005
2280.01/1156.12	o 2004
2280.01/1156.17	o 2003
2280.60/1156.49	o 1973
2284.58/1158.46	o 1925
2284.77/1158.52	o 1872
2285.97/1159.19	o 1862
2287.56/1159.93	o 1861
2288.75/1160.57	o 1860
2288.95/1160.66	o 1850
2291.74/1162.00	o 1844
2291.74/1162.07	o 1812
2295.50/1163.96	o 1756
2295.71/1164.01	o 1654
2320.15/1176.34	o 1653
2321.35/1176.98	o 1628
2321.55/1177.07	o 1617
2322.93/1177.76	o 1608
2323.13/1177.82	o 1595
2324.12/1178.33	o 1594
2324.12/1178.39	o 1493
2324.91/1178.70	o 1483
2328.30/1180.40	o 1427
2328.70/1180.63	o 1426
2329.70/1181.13	o 1235
2329.70/1181.18	o 1234
2335.85/1184.27	o 1224
2336.05/1184.33	o 1135
2342.80/1187.79	o 1075
2343.80/1188.29	o 1010
2350.95/1191.88	o 1000
2351.94/1192.31	o 968
2351.94/1192.38	o 956
2354.53/1193.62	o 938
2354.53/1193.67	o 937
2364.06/1198.48	o 936
2365.65/1199.21	o 887
2365.65/1199.27	o 755
2367.84/1200.34	o 744
2368.44/1200.68	o 714
2368.64/1200.77	o 707
2368.84/1200.83	o 671
2372.81/1202.88	o 669
2373.01/1202.93	o 668
2375.59/1204.29	o 666
2379.17/1206.04	o 665
2380.56/1206.72	o 664
2381.16/1207.07	o 646
2385.13/1209.03	o 635
2385.33/1209.15	o 634
2389.31/1211.15	o 633
2395.45/1214.29	o 632
2395.65/1214.34	o 622
2397.05/1215.07	o 621
2433.79/1233.50	o 614
2433.79/1233.55	o 612
2438.56/1236.00	o 609
2440.95/1237.11	o 604
2452.47/1242.97	o 574
2454.66/1244.03	o 554
2460.63/1247.01	o 544
2504.34/1269.02	o 542
3600.02/1820.50	s SATISFIABLE
3600.02/1820.50	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
3600.02/1820.50	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 
3600.02/1820.50	v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 
3600.02/1820.50	v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 
3600.02/1820.50	v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 
3600.02/1820.50	v x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 
3600.02/1820.50	v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 
3600.02/1820.50	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 
3600.02/1820.50	v -x123 -x124 -x125 x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 
3600.02/1820.50	v -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 
3600.02/1820.50	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 
3600.02/1820.50	v -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 
3600.02/1820.50	v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
3600.02/1820.50	v -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 
3600.02/1820.50	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 
3600.02/1820.50	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 
3600.02/1820.50	v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 
3600.02/1820.50	v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 
3600.02/1820.50	v -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 
3600.02/1820.50	v -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 
3600.02/1820.50	v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
3600.02/1820.50	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 
3600.02/1820.50	v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 
3600.02/1820.50	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 x329 -x330 
3600.02/1820.50	v -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 
3600.02/1820.50	v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 
3600.02/1820.50	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 
3600.02/1820.50	v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 
3600.02/1820.50	v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 
3600.02/1820.50	v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 
3600.02/1820.50	v -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 
3600.02/1820.50	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 
3600.02/1820.50	v -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 
3600.02/1820.50	v -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 
3600.02/1820.50	v -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 x471 -x472 -x473 
3600.02/1820.50	v -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 
3600.02/1820.50	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 
3600.02/1820.50	v -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 
3600.02/1820.50	v -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 
3600.02/1820.50	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 
3600.02/1820.50	v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 
3600.02/1820.50	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 
3600.02/1820.50	v -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 
3600.02/1820.50	v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 
3600.02/1820.50	v -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 
3600.02/1820.50	v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 
3600.02/1820.50	v -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 
3600.02/1820.50	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 
3600.02/1820.50	v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 
3600.02/1820.50	v -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 
3600.02/1820.50	v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 
3600.02/1820.50	v x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 
3600.02/1820.50	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 
3600.02/1820.50	v -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 
3600.02/1820.50	v -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 
3600.02/1820.50	v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 
3600.02/1820.50	v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 
3600.02/1820.50	v -x760 -x761 x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 
3600.02/1820.50	v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 
3600.02/1820.50	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 
3600.02/1820.50	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 
3600.02/1820.50	v x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 
3600.02/1820.50	v -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 
3600.02/1820.50	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 
3600.02/1820.50	v -x851 x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 
3600.02/1820.50	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 
3600.02/1820.50	v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 
3600.02/1820.50	v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 
3600.02/1820.50	v -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 
3600.02/1820.50	v -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 
3600.02/1820.50	v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 
3600.02/1820.50	v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 
3600.02/1820.50	v -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 
3600.02/1820.50	v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 
3600.02/1820.50	v -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 
3600.02/1820.50	v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 
3600.02/1820.50	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 
3600.02/1820.50	v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 
3600.02/1820.50	v -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 
3600.02/1820.50	v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 
3600.02/1820.50	v -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 
3600.02/1820.50	v -x1061 -x1062 x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 
3600.02/1820.50	v -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 
3600.02/1820.50	v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 
3600.02/1820.50	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 
3600.02/1820.50	v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 
3600.02/1820.50	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 
3600.02/1820.50	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 
3600.02/1820.50	v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 
3600.02/1820.50	v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 
3600.02/1820.50	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 
3600.02/1820.50	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 
3600.02/1820.50	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 
3600.02/1820.50	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 
3600.02/1820.50	v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 
3600.02/1820.50	v -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 
3600.02/1820.50	v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 
3600.02/1820.50	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 
3600.02/1820.50	v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 
3600.02/1820.50	v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 
3600.02/1820.50	v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 
3600.02/1820.50	v -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 
3600.02/1820.50	v -x1292 -x1293 -x1294 x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 
3600.02/1820.50	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 
3600.02/1820.50	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 
3600.02/1820.50	v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 
3600.02/1820.50	v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 
3600.02/1820.50	v -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 
3600.02/1820.50	v -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 
3600.02/1820.50	v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 
3600.02/1820.50	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 
3600.02/1820.50	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 
3600.02/1820.50	v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 
3600.02/1820.50	v -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 
3600.02/1820.50	v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 
3600.02/1820.50	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 
3600.02/1820.50	v -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 
3600.02/1820.50	v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 
3600.02/1820.50	v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 
3600.02/1820.50	v -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 
3600.02/1820.50	v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 
3600.02/1820.50	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 
3600.02/1820.50	v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 
3600.02/1820.50	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 
3600.02/1820.50	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 
3600.02/1820.50	v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 
3600.02/1820.50	v -x1556 x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 
3600.02/1820.50	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 
3600.02/1820.50	v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 
3600.02/1820.50	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 
3600.02/1820.50	v -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 
3600.02/1820.50	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 
3600.02/1820.50	v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 
3600.02/1820.50	v -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 
3600.02/1820.50	v -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 
3600.02/1820.50	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 
3600.02/1820.50	v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 
3600.02/1820.50	v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 
3600.02/1820.50	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 
3600.02/1820.50	v -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 
3600.02/1820.50	v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 
3600.02/1820.50	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 
3600.02/1820.50	v -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 x1742 
3600.02/1820.50	v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 
3600.02/1820.50	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 
3600.02/1820.50	v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 
3600.02/1820.50	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 
3600.02/1820.50	v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 
3600.02/1820.50	v x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 
3600.02/1820.50	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 
3600.02/1820.50	v -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 
3600.02/1820.50	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 
3600.02/1820.50	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 
3600.02/1820.50	v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 
3600.02/1820.50	v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 
3600.02/1820.50	v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 
3600.02/1820.50	v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 
3600.02/1820.50	v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 
3600.02/1820.50	v -x1908 -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 
3600.02/1820.50	v -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 
3600.02/1820.50	v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 
3600.02/1820.50	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 
3600.02/1820.50	v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 
3600.02/1820.50	v x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 
3600.02/1820.50	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 
3600.02/1820.50	v -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 x1994 -x1995 
3600.02/1820.50	v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 
3600.02/1820.50	v -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 
3600.02/1820.50	v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 
3600.02/1820.50	v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 
3600.02/1820.50	v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 
3600.02/1820.50	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 
3600.02/1820.50	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 x2072 
3600.02/1820.50	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 
3600.02/1820.50	v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 x2094 
3600.02/1820.50	v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 
3600.02/1820.50	v -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 
3600.02/1820.50	v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 
3600.02/1820.50	v -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 
3600.02/1820.50	v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 
3600.02/1820.50	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 -x2160 
3600.02/1820.50	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 
3600.02/1820.50	v x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 
3600.02/1820.50	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 
3600.02/1820.50	v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 
3600.02/1820.50	v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 
3600.02/1820.50	v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 
3600.02/1820.50	v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 
3600.02/1820.50	v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 
3600.02/1820.50	v -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 
3600.02/1820.50	v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 
3600.02/1820.50	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 
3600.02/1820.50	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 
3600.02/1820.50	v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 
3600.02/1820.50	v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 
3600.02/1820.50	v -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 
3600.02/1820.50	v -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 
3600.02/1820.50	v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 
3600.02/1820.50	v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 
3600.02/1820.50	v -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 
3600.02/1820.50	v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 
3600.02/1820.50	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 
3600.02/1820.50	v x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 
3600.02/1820.50	v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 
3600.02/1820.50	v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 
3600.02/1820.50	v -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 
3600.02/1820.50	v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 
3600.02/1820.50	v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 
3600.02/1820.50	v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 
3600.02/1820.50	v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 
3600.02/1820.50	v x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 
3600.02/1820.50	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 
3600.02/1820.50	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 
3600.02/1820.50	v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 
3600.02/1820.50	v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 
3600.02/1820.50	v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 
3600.02/1820.50	v -x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 
3600.02/1820.50	v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 
3600.02/1820.50	v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 
3600.02/1820.50	v -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 
3600.02/1820.50	v x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 
3600.02/1820.50	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 
3600.02/1820.50	v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 
3600.02/1820.50	v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 
3600.02/1820.50	v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 
3600.02/1820.50	v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 
3600.02/1820.50	v -x2656 x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 
3600.02/1820.50	v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 
3600.02/1820.50	v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 
3600.02/1820.50	v -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 
3600.02/1820.50	v -x2700 -x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 
3600.02/1820.50	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 
3600.02/1820.50	v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 
3600.02/1820.50	v -x2733 x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 
3600.02/1820.50	v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 
3600.02/1820.50	v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 
3600.02/1820.50	v x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 
3600.02/1820.50	v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 
3600.02/1820.50	v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 
3600.02/1820.50	v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 
3600.02/1820.50	v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 
3600.02/1820.50	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 
3600.02/1820.50	v -x2832 -x2833 -x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 
3600.02/1820.50	v -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 
3600.02/1820.50	v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 
3600.02/1820.50	v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 
3600.02/1820.50	v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 
3600.02/1820.50	v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 
3600.02/1820.50	v -x2898 -x2899 -x2900 -x2901 -x2902 x2903 -x2904 -x2905 -x2906 -x2907 -x2908 
3600.02/1820.50	v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 
3600.02/1820.50	v -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 
3600.02/1820.50	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 x2938 -x2939 -x2940 -x2941 
3600.02/1820.50	v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 
3600.02/1820.50	v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 
3600.02/1820.50	v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 
3600.02/1820.50	v x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 
3600.02/1820.50	v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 
3600.02/1820.50	v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 
3600.02/1820.50	v -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 -x3016 -x3017 -x3018 
3600.02/1820.50	v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 
3600.02/1820.50	v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 
3600.02/1820.50	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 
3600.02/1820.50	v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3061 -x3062 
3600.02/1820.50	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 
3600.02/1820.50	v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 
3600.02/1820.50	v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 -x3095 
3600.02/1820.50	v -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 
3600.02/1820.50	v x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 
3600.02/1820.50	v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 
3600.02/1820.50	v -x3129 x3130 -x3131 -x3132 -x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 
3600.02/1820.50	v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 
3600.02/1820.50	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 
3600.02/1820.50	v -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 
3600.02/1820.50	v -x3173 -x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 
3600.02/1820.50	v -x3184 -x3185 -x3186 -x3187 -x3188 x3189 -x3190 -x3191 -x3192 -x3193 -x3194 
3600.02/1820.50	v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 
3600.02/1820.50	v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 
3600.02/1820.50	v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 x3227 
3600.02/1820.50	v -x3228 -x3229 -x3230 x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 
3600.02/1820.50	v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 
3600.02/1820.50	v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 
3600.02/1820.50	v -x3261 -x3262 -x3263 -x3264 x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 
3600.02/1820.50	v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 
3600.02/1820.50	v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 
3600.02/1820.50	v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3304 
3600.02/1820.50	v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 
3600.02/1820.50	v -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 
3600.02/1820.50	v x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 
3600.02/1820.50	v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 
3600.02/1820.50	v -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 
3600.02/1820.50	v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 x3369 -x3370 
3600.02/1820.50	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 
3600.02/1820.50	v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 
3600.02/1820.50	v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 
3600.02/1820.50	v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 
3600.02/1820.50	v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 
3600.02/1820.50	v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 
3600.02/1820.50	v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 
3600.02/1820.50	v -x3448 -x3449 -x3450 -x3451 x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 
3600.02/1820.50	v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 
3600.02/1820.50	v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 
3600.02/1820.50	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 x3489 -x3490 -x3491 
3600.02/1820.50	v -x3492 -x3493 -x3494 -x3495 -x3496 x3497 -x3498 -x3499 x3500 -x3501 -x3502 
3600.02/1820.50	v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 
3600.02/1820.50	v -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 
3600.02/1820.50	v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 
3600.02/1820.50	v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 
3600.02/1820.50	v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 
3600.02/1820.50	v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 
3600.02/1820.50	v -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 
3600.02/1820.50	v -x3580 x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 
3600.02/1820.50	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 
3600.02/1820.50	v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 
3600.02/1820.50	v x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 
3600.02/1820.50	v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 
3600.02/1820.50	v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 -x3642 -x3643 -x3644 x3645 
3600.02/1820.50	v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 
3600.02/1820.50	v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 
3600.02/1820.50	v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 
3600.02/1820.50	v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 
3600.02/1820.50	v x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 
3600.02/1820.50	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 
3600.02/1820.50	v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 
3600.02/1820.50	v -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 x3733 
3600.02/1820.50	v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 
3600.02/1820.50	v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 x3754 -x3755 
3600.02/1820.50	v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 
3600.02/1820.50	v -x3767 -x3768 -x3769 -x3770 -x3771 x3772 -x3773 -x3774 -x3775 -x3776 -x3777 
3600.02/1820.50	v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 
3600.02/1820.50	v -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 -x3799 
3600.02/1820.50	v -x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 
3600.02/1820.50	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 
3600.02/1820.50	v -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 
3600.02/1820.50	v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 x3839 -x3840 -x3841 -x3842 -x3843 
3600.02/1820.50	v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 x3854 
3600.02/1820.50	v -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 
3600.02/1820.50	v -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 
3600.02/1820.50	v -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 
3600.02/1820.50	v -x3888 -x3889 -x3890 x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 
3600.02/1820.50	v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 
3600.02/1820.50	v -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 
3600.02/1820.50	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 
3600.02/1820.50	v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 
3600.02/1820.50	v -x3943 x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 
3600.02/1820.50	v x3954 -x3955 -x3956 -x3957 x3958 -x3959 -x3960 -x3961 -x3962 -x3963 x3964 -x3965 
3600.02/1820.50	v -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 
3600.02/1820.50	v -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 
3600.02/1820.50	v -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 
3600.02/1820.50	v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 
3600.02/1820.50	v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 x4017 -x4018 -x4019 -x4020 
3600.02/1820.50	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 
3600.02/1820.50	v -x4032 -x4033 -x4034 -x4035 x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 
3600.02/1820.50	v -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 
3600.02/1820.50	v -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 
3600.02/1820.50	v -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 
3600.02/1820.50	v -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 
3600.02/1820.50	v -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 
3600.02/1820.50	v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 
3600.02/1820.50	v -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 
3600.02/1820.50	v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 
3600.02/1820.50	v -x4131 x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 x4140 -x4141 
3600.02/1820.50	v -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 
3600.02/1820.50	v -x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 
3600.02/1820.50	v -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 
3600.02/1820.50	v -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 
3600.02/1820.50	v -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 
3600.02/1820.50	v -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 -x4207 
3600.02/1820.50	v -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 x4216 -x4217 -x4218 
3600.02/1820.50	v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 
3600.02/1820.50	v -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 
3600.02/1820.50	v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 
3600.02/1820.50	v -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 
3600.02/1820.50	v -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 
3600.02/1820.50	v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 
3600.02/1820.50	v -x4285 -x4286 -x4287 x4288 -x4289 -x4290 -x4291 -x4292 -x4293 x4294 -x4295 
3600.02/1820.50	v -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 
3600.02/1820.50	v -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 
3600.02/1820.50	v -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 x4325 -x4326 -x4327 -x4328 
3600.02/1820.50	v -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 
3600.02/1820.50	v -x4340 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 
3600.02/1820.50	v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 
3600.02/1820.50	v -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 x4370 -x4371 -x4372 
3600.02/1820.50	v -x4373 x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 
3600.02/1820.50	v -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 
3600.02/1820.50	v -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 
3600.02/1820.50	v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 
3600.02/1820.50	v -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 
3600.02/1820.50	v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4436 -x4437 -x4438 
3600.02/1820.50	v -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 
3600.02/1820.50	v -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 
3600.02/1820.50	v -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 
3600.02/1820.50	v -x4472 -x4473 -x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 
3600.02/1820.50	v -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 
3600.02/1820.50	v -x4494 -x4495 x4496 x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 
3600.02/1820.50	v -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 
3600.02/1820.50	v -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 
3600.02/1820.50	v -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 x4535 -x4536 -x4537 
3600.02/1820.50	v -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 x4547 -x4548 
3600.02/1820.50	v -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 
3600.02/1820.50	v -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 
3600.02/1820.50	v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 
3600.02/1820.50	v -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 
3600.02/1820.50	v -x4593 -x4594 -x4595 x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 
3600.02/1820.50	v -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 
3600.02/1820.50	v -x4615 -x4616 -x4617 -x4618 -x4619 x4620 -x4621 -x4622 -x4623 -x4624 -x4625 
3600.02/1820.50	v -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 
3600.02/1820.50	v -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 
3600.02/1820.50	v -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 
3600.02/1820.50	v -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 
3600.02/1820.50	v -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 
3600.02/1820.50	v x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 
3600.02/1820.50	v -x4692 -x4693 -x4694 x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 
3600.02/1820.50	v -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 
3600.02/1820.50	v -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 
3600.02/1820.50	v -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 
3600.02/1820.50	v -x4736 -x4737 -x4738 x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 
3600.02/1820.50	v -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 
3600.02/1820.50	v -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 
3600.02/1820.50	v -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 x4776 -x4777 -x4778 -x4779 
3600.02/1820.50	v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 
3600.02/1820.50	v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 
3600.02/1820.50	v -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 x4810 -x4811 -x4812 
3600.02/1820.50	v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 x4820 -x4821 -x4822 -x4823 
3600.02/1820.50	v -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 
3600.02/1820.50	v -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 
3600.02/1820.50	v -x4846 -x4847 x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 
3600.02/1820.50	v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 
3600.02/1820.50	v -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 
3600.02/1820.50	v -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 
3600.02/1820.50	v -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 
3600.02/1820.50	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x4910 -x4911 
3600.02/1820.50	v -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 x4919 -x4920 -x4921 -x4922 
3600.02/1820.50	v -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 
3600.02/1820.50	v -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 
3600.02/1820.50	v -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 
3600.02/1820.50	v -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 
3600.02/1820.50	v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 
3600.02/1820.50	v -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 
3600.02/1820.50	v -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 
3600.02/1820.50	v -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 x5009 -x5010 
3600.02/1820.50	v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 x5017 -x5018 -x5019 -x5020 -x5021 
3600.02/1820.50	v -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 
3600.02/1820.50	v -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 
3600.02/1820.50	v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 
3600.02/1820.50	v -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 
3600.02/1820.50	v x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 
3600.02/1820.50	v -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 
3600.02/1820.50	v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 x5098 
3600.02/1820.50	v -x5099 -x5100 x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 
3600.02/1820.50	v -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 
3600.02/1820.50	v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 
3600.02/1820.50	v -x5132 -x5133 -x5134 -x5135 -x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 
3600.02/1820.50	v -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 
3600.02/1820.50	v -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 -x5162 -x5163 -x5164 
3600.02/1820.50	v -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 
3600.02/1820.50	v -x5176 -x5177 -x5178 -x5179 x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 
3600.02/1820.50	v -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 
3600.02/1820.50	v -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 x5206 -x5207 x5208 
3600.02/1820.50	v -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 x5216 -x5217 -x5218 -x5219 
3600.02/1820.50	v -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 
3600.02/1820.50	v -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 
3600.02/1820.50	v -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 
3600.02/1820.50	v -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 
3600.02/1820.50	v -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 
3600.02/1820.50	v -x5275 -x5276 -x5277 -x5278 -x5279 x5280 -x5281 -x5282 -x5283 -x5284 -x5285 
3600.02/1820.50	v -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 x5295 x5296 
3600.02/1820.50	v -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 
3600.02/1820.50	v x5308 x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 
3600.02/1820.50	v -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 
3600.02/1820.50	v -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 
3600.02/1820.50	v -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 
3600.02/1820.50	v -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 
3600.02/1820.50	v -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 
3600.02/1820.50	v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 x5384 -x5385 
3600.02/1820.50	v -x5386 -x5387 -x5388 -x5389 x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 
3600.02/1820.50	v -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 
3600.02/1820.50	v -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 
3600.02/1820.50	v -x5419 -x5420 x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 x5429 
3600.02/1820.50	v -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 
3600.02/1820.50	v -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 
3600.02/1820.50	v -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 
3600.02/1820.50	v -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 
3600.02/1820.50	v -x5474 x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 
3600.02/1820.50	v x5485 -x5486 -x5487 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 x5494 -x5495 -x5496 
3600.02/1820.50	v -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 
3600.02/1820.50	v -x5508 x5509 -x5510 x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 
3600.02/1820.50	v -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 
3600.02/1820.50	v -x5530 -x5531 -x5532 -x5533 x5534 x5535 -x5536 -x5537 -x5538 -x5539 -x5540 
3600.02/1820.50	v -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 
3600.02/1820.50	v -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 x5562 
3600.02/1820.50	v x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 
3600.02/1820.50	v -x5574 -x5575 -x5576 x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 
3600.02/1820.50	v -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 
3600.02/1820.50	v -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 
3600.02/1820.50	v -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 
3600.02/1820.50	v -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 
3600.02/1820.50	v -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 x5635 -x5636 -x5637 -x5638 -x5639 
3600.02/1820.50	v -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 x5649 -x5650 
3600.02/1820.50	v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 
3600.02/1820.50	v -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 x5668 -x5669 -x5670 -x5671 -x5672 
3600.02/1820.50	v -x5673 x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 
3600.02/1820.50	v -x5684 -x5685 -x5686 -x5687 x5688 -x5689 -x5690 -x5691 x5692 -x5693 -x5694 
3600.02/1820.50	v -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 x5705 
3600.02/1820.50	v -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 x5716 
3600.02/1820.50	v -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 
3600.02/1820.50	v -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 
3600.02/1820.50	v -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747

Verifier Data 

OK	542

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: 63708 MiB (46540 MiB free)
  memory of node 1: 64465 MiB (62511 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529512-1752571898/watcher-4529512-1752571898 -o /tmp/evaluation-result-4529512-1752571898/solver-4529512-1752571898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752571843-131059 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:375222618 --competition_mode --input HOME/instance-4529512-1752571898.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=131359, runsolver pid=131356

[startup+0.100062 s]*
/proc/loadavg: 3.27 1.00 0.40 4/259 131361
/proc/meminfo: memFree=111636800/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=44040 memory=34748 CPUtime=0.09 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) R 131356 131359 131040 0 -1 4194304 7213 0 0 0 8 1 0 0 20 0 1 0 172866696 45096960 8687 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 11010 8687 1088 2102 0 8550 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44040 KiB
Current children cumulated memory: 34748 KiB

[startup+0.205527 s]*
/proc/loadavg: 3.27 1.00 0.40 5/263 131365
/proc/meminfo: memFree=111596728/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=94012 memory=78156 CPUtime=0.2 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) R 131356 131359 131040 0 -1 4194304 17032 0 0 0 17 3 0 0 20 0 1 0 172866696 96268288 19539 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 23503 19539 1088 2102 0 21043 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 94012 KiB
Current children cumulated memory: 78156 KiB

[startup+0.305616 s]*
/proc/loadavg: 3.27 1.00 0.40 5/263 131365
/proc/meminfo: memFree=111474380/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=162428 memory=153444 CPUtime=0.29 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) R 131356 131359 131040 0 -1 4194304 37910 0 0 0 23 6 0 0 20 0 1 0 172866696 166326272 38361 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 40607 38361 1280 2102 0 38147 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 162428 KiB
Current children cumulated memory: 153444 KiB

[startup+0.700176 s]
/proc/loadavg: 3.27 1.00 0.40 5/263 131365
/proc/meminfo: memFree=111271076/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=299320 memory=280684 CPUtime=0.68 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) R 131356 131359 131040 0 -1 4194304 62986 0 0 0 59 9 0 0 20 0 1 0 172866696 306503680 70171 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 74830 70171 1408 2102 0 72370 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 299320 KiB
Current children cumulated memory: 280684 KiB

[startup+1.50017 s]
/proc/loadavg: 3.27 1.00 0.40 6/266 131371
/proc/meminfo: memFree=111061036/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=380060 memory=346416 CPUtime=1.47 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) R 131356 131359 131040 0 -1 4194304 70610 0 0 0 136 11 0 0 20 0 1 0 172866696 389181440 86604 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 95015 86604 1536 2102 0 92555 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 380060 KiB
Current children cumulated memory: 346416 KiB

[startup+3.10534 s]
/proc/loadavg: 3.27 1.00 0.40 5/261 131388
/proc/meminfo: memFree=110444456/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=675612 memory=627304 CPUtime=3.08 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) R 131356 131359 131040 0 -1 4194304 117935 0 0 0 285 23 0 0 20 0 1 0 172866696 691826688 156826 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 168903 156826 1856 2102 0 166443 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 675612 KiB
Current children cumulated memory: 627304 KiB

[startup+6.30017 s]
/proc/loadavg: 3.33 1.05 0.42 5/261 131388
/proc/meminfo: memFree=110340128/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=769024 memory=718116 CPUtime=6.27 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) R 131356 131359 131040 0 -1 4194304 130240 0 0 0 599 28 0 0 20 0 1 0 172866696 787480576 179529 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 192256 179529 1888 2102 0 189796 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 769024 KiB
Current children cumulated memory: 718116 KiB

[startup+12.7003 s]
/proc/loadavg: 3.39 1.10 0.44 7/265 131392
/proc/meminfo: memFree=107618164/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=2601088 memory=2127520 CPUtime=16.14 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 281739 0 0 0 1544 70 0 0 20 0 3 0 172866696 2663514112 531880 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 650272 531880 2176 2102 0 619968 0
[pid=131359/tid=131391] ppid=131356 vsize=2601088 memory=132 CPUtime=3.53 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 70398 0 0 0 332 21 0 0 20 0 3 0 172867610 2663514112 531880 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=2601088 memory=14248 CPUtime=3.5 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 75883 0 0 0 333 17 0 0 20 0 3 0 172867610 2663514112 531880 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 16.14 s
Current children cumulated vsize: 2601088 KiB
Current children cumulated memory: 2127520 KiB

[startup+25.5002 s]
/proc/loadavg: 3.97 1.34 0.53 7/265 131392
/proc/meminfo: memFree=106519588/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=2689960 memory=2396648 CPUtime=40.98 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) R 131356 131359 131040 0 -1 4194304 426739 0 0 0 4005 93 0 0 20 0 3 0 172866696 2754519040 599162 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 672490 599162 2176 2102 0 643161 0
[pid=131359/tid=131391] ppid=131356 vsize=2689960 memory=14248 CPUtime=15.72 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) S 131356 131359 131040 0 -1 4194368 155299 0 0 0 1540 32 0 0 20 0 3 0 172867610 2754519040 599162 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 1 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=2689960 memory=0 CPUtime=15.39 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) S 131356 131359 131040 0 -1 4194368 117724 0 0 0 1512 27 0 0 20 0 3 0 172867610 2754519040 599162 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 1 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 40.98 s
Current children cumulated vsize: 2689960 KiB
Current children cumulated memory: 2396648 KiB

[startup+51.1055 s]
/proc/loadavg: 4.72 1.73 0.69 7/264 131393
/proc/meminfo: memFree=106349112/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=2826260 memory=2519920 CPUtime=90.3 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 559203 0 0 0 8904 126 0 0 20 0 3 0 172866696 2894090240 629980 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 706565 629980 2176 2102 0 673889 0
[pid=131359/tid=131391] ppid=131356 vsize=2826260 memory=2147792 CPUtime=38.17 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 209180 0 0 0 3776 41 0 0 20 0 3 0 172867610 2894090240 629980 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=2826260 memory=2480868 CPUtime=38.75 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 196219 0 0 0 3824 51 0 0 20 0 3 0 172867610 2894090240 629980 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 90.3 s
Current children cumulated vsize: 2826260 KiB
Current children cumulated memory: 2519920 KiB

[startup+102.3 s]
/proc/loadavg: 5.57 2.42 0.98 6/264 131395
/proc/meminfo: memFree=106103872/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=2941140 memory=2629272 CPUtime=192 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 714500 0 0 0 19024 176 0 0 20 0 3 0 172866696 3011727360 657318 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 735285 657318 2176 2102 0 709734 0
[pid=131359/tid=131391] ppid=131356 vsize=2941140 memory=23808 CPUtime=89.19 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 256860 0 0 0 8869 50 0 0 20 0 3 0 172867610 3011727360 657318 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=2941140 memory=2594392 CPUtime=89.4 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 303780 0 0 0 8849 91 0 0 20 0 3 0 172867610 3011727360 657318 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 192 s
Current children cumulated vsize: 2941140 KiB
Current children cumulated memory: 2629272 KiB

[startup+162.3 s]
/proc/loadavg: 5.99 3.11 1.31 6/264 131397
/proc/meminfo: memFree=105603220/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3390628 memory=3098732 CPUtime=307.7 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 928427 0 0 0 30538 232 0 0 20 0 3 0 172866696 3472003072 774683 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 847657 774683 2176 2102 0 819539 0
[pid=131359/tid=131391] ppid=131356 vsize=3390628 memory=2585192 CPUtime=142.48 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 389558 0 0 0 14176 72 0 0 20 0 3 0 172867610 3472003072 774683 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3390628 memory=2958856 CPUtime=142.51 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 384919 0 0 0 14127 124 0 0 20 0 3 0 172867610 3472003072 774683 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 307.7 s
Current children cumulated vsize: 3390628 KiB
Current children cumulated memory: 3098732 KiB

[startup+222.3 s]
/proc/loadavg: 5.99 3.64 1.60 7/264 131399
/proc/meminfo: memFree=105342652/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3492252 memory=3221304 CPUtime=425.4 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 1080003 0 0 0 42242 298 0 0 20 0 3 0 172866696 3576066048 805326 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 873063 805326 2176 2102 0 847580 0
[pid=131359/tid=131391] ppid=131356 vsize=3492252 memory=2585192 CPUtime=198.42 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 461189 0 0 0 19744 98 0 0 20 0 3 0 172867610 3576066048 805326 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3492252 memory=3141556 CPUtime=198.94 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 461650 0 0 0 19730 164 0 0 20 0 3 0 172867610 3576066048 805326 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 425.4 s
Current children cumulated vsize: 3492252 KiB
Current children cumulated memory: 3221304 KiB

[startup+282.3 s]
/proc/loadavg: 6.04 4.09 1.89 7/263 131401
/proc/meminfo: memFree=105239164/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3350164 memory=3081764 CPUtime=543.92 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 1243200 0 0 0 54048 344 0 0 20 0 3 0 172866696 3430567936 770441 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 837541 770441 2176 2102 0 812429 0
[pid=131359/tid=131391] ppid=131356 vsize=3350164 memory=2585192 CPUtime=256.76 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 524165 0 0 0 25569 107 0 0 20 0 3 0 172867610 3430567936 770441 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3350164 memory=3181352 CPUtime=257.78 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 561853 0 0 0 25578 200 0 0 20 0 3 0 172867610 3430567936 770441 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 543.92 s
Current children cumulated vsize: 3350164 KiB

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

Current children cumulated memory: 3180852 KiB

[startup+1362.3 s]
/proc/loadavg: 4.08 4.51 4.04 5/256 131485
/proc/meminfo: memFree=105487712/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3421940 memory=3156988 CPUtime=2689.72 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 2350790 0 0 0 267627 1345 0 0 20 0 3 0 172866696 3504066560 789247 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 855485 789247 2176 2102 0 831852 0
[pid=131359/tid=131391] ppid=131356 vsize=3421940 memory=5760 CPUtime=1325.87 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1138540 0 0 0 132309 278 0 0 20 0 3 0 172867610 3504066560 789247 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3421940 memory=14248 CPUtime=1334.1 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1053986 0 0 0 132389 1021 0 0 20 0 3 0 172867610 3504066560 789247 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 2689.72 s
Current children cumulated vsize: 3421940 KiB
Current children cumulated memory: 3156988 KiB

[startup+1422.3 s]
/proc/loadavg: 4.13 4.44 4.04 6/257 131490
/proc/meminfo: memFree=105530184/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3508752 memory=3249944 CPUtime=2808.94 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 2386516 0 0 0 279450 1444 0 0 20 0 3 0 172866696 3592962048 812486 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 877188 812486 2176 2102 0 853555 0
[pid=131359/tid=131391] ppid=131356 vsize=3508752 memory=5760 CPUtime=1385.26 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1140315 0 0 0 138225 301 0 0 20 0 3 0 172867610 3592962048 812486 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3508752 memory=14248 CPUtime=1393.89 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1087895 0 0 0 138294 1095 0 0 20 0 3 0 172867610 3592962048 812486 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 2808.94 s
Current children cumulated vsize: 3508752 KiB
Current children cumulated memory: 3249944 KiB

[startup+1482.3 s]
/proc/loadavg: 4.10 4.37 4.04 5/257 131492
/proc/meminfo: memFree=105545836/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3350164 memory=3091360 CPUtime=2928.13 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 2432542 0 0 0 291237 1576 0 0 20 0 3 0 172866696 3430567936 772840 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 837541 772840 2176 2102 0 813908 0
[pid=131359/tid=131391] ppid=131356 vsize=3350164 memory=3200220 CPUtime=1444.67 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1152705 0 0 0 144112 355 0 0 20 0 3 0 172867610 3430567936 772840 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3350164 memory=3202268 CPUtime=1453.66 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1121507 0 0 0 144193 1173 0 0 20 0 3 0 172867610 3430567936 772840 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 2928.13 s
Current children cumulated vsize: 3350164 KiB
Current children cumulated memory: 3091360 KiB

[startup+1542.3 s]
/proc/loadavg: 4.11 4.32 4.04 5/256 131494
/proc/meminfo: memFree=105599388/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3520528 memory=3212572 CPUtime=3047.31 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 2486455 0 0 0 302969 1762 0 0 20 0 3 0 172866696 3605020672 803143 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 880132 803143 2176 2102 0 856499 0
[pid=131359/tid=131391] ppid=131356 vsize=3520528 memory=3245848 CPUtime=1504.06 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1164284 0 0 0 149941 465 0 0 20 0 3 0 172867610 3605020672 803143 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3520528 memory=3174932 CPUtime=1513.44 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1163798 0 0 0 150095 1249 0 0 20 0 3 0 172867610 3605020672 803143 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 3047.31 s
Current children cumulated vsize: 3520528 KiB
Current children cumulated memory: 3212572 KiB

[startup+1602.3 s]
/proc/loadavg: 4.10 4.28 4.04 5/256 131497
/proc/meminfo: memFree=105642304/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3458284 memory=3179000 CPUtime=3166.5 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 2553165 0 0 0 314714 1936 0 0 20 0 3 0 172866696 3541282816 794750 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 864571 794750 2176 2102 0 840938 0
[pid=131359/tid=131391] ppid=131356 vsize=3458284 memory=3245848 CPUtime=1563.47 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1192168 0 0 0 155783 564 0 0 20 0 3 0 172867610 3541282816 794750 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3458284 memory=14248 CPUtime=1573.21 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1202571 0 0 0 155997 1324 0 0 20 0 3 0 172867610 3541282816 794750 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 3166.5 s
Current children cumulated vsize: 3458284 KiB
Current children cumulated memory: 3179000 KiB

[startup+1662.3 s]
/proc/loadavg: 4.08 4.24 4.04 5/255 131499
/proc/meminfo: memFree=105689852/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3429352 memory=3111160 CPUtime=3285.73 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 2600415 0 0 0 326453 2120 0 0 20 0 3 0 172866696 3511656448 777790 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 857338 777790 2176 2102 0 833705 0
[pid=131359/tid=131391] ppid=131356 vsize=3429352 memory=3159844 CPUtime=1622.86 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1219827 0 0 0 161611 675 0 0 20 0 3 0 172867610 3511656448 777790 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3429352 memory=3135084 CPUtime=1633.01 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1222135 0 0 0 161905 1396 0 0 20 0 3 0 172867610 3511656448 777790 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 3285.73 s
Current children cumulated vsize: 3429352 KiB
Current children cumulated memory: 3111160 KiB

[startup+1722.3 s]
/proc/loadavg: 4.10 4.22 4.05 5/254 131501
/proc/meminfo: memFree=105687936/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3336524 memory=3077724 CPUtime=3404.94 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 2660302 0 0 0 338180 2314 0 0 20 0 3 0 172866696 3416600576 769431 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 834131 769431 2176 2102 0 810498 0
[pid=131359/tid=131391] ppid=131356 vsize=3336524 memory=3159844 CPUtime=1682.26 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1238851 0 0 0 167428 798 0 0 20 0 3 0 172867610 3416600576 769431 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3336524 memory=3171468 CPUtime=1692.82 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1262932 0 0 0 167815 1467 0 0 20 0 3 0 172867610 3416600576 769431 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 3404.94 s
Current children cumulated vsize: 3336524 KiB
Current children cumulated memory: 3077724 KiB

[startup+1782.3 s]
/proc/loadavg: 4.08 4.19 4.05 5/254 131514
/proc/meminfo: memFree=105750804/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3336524 memory=3077724 CPUtime=3524.13 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 2710033 0 0 0 349923 2490 0 0 20 0 3 0 172866696 3416600576 769431 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 834131 769431 2176 2102 0 810498 0
[pid=131359/tid=131391] ppid=131356 vsize=3336524 memory=3183736 CPUtime=1741.66 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1259294 0 0 0 173263 903 0 0 20 0 3 0 172867610 3416600576 769431 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3336524 memory=1792 CPUtime=1752.6 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1292219 0 0 0 173722 1538 0 0 20 0 3 0 172867610 3416600576 769431 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 3524.13 s
Current children cumulated vsize: 3336524 KiB
Current children cumulated memory: 3077724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1820.5 s]
/proc/loadavg: 4.09 4.18 4.05 5/256 131524
/proc/meminfo: memFree=105669688/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3436936 memory=3126940 CPUtime=3600.02 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 2750474 0 0 0 357392 2610 0 0 20 0 3 0 172866696 3519422464 781735 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 859234 781735 2176 2102 0 835601 0
[pid=131359/tid=131391] ppid=131356 vsize=3436936 memory=23808 CPUtime=1779.47 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1261719 0 0 0 176977 970 0 0 20 0 3 0 172867610 3519422464 781735 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3436936 memory=3077728 CPUtime=1790.65 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1329648 0 0 0 177476 1589 0 0 20 0 3 0 172867610 3519422464 781735 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3436936 KiB
Current children cumulated memory: 3126940 KiB

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

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

# cumulated CPU time of all completed processes:  user=3573.93 s, system=26.1534 s

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

[startup+1820.5 s]
/proc/loadavg: 4.09 4.18 4.05 5/256 131524
/proc/meminfo: memFree=105669688/131250000 swapFree=33008356/33010684
[pid=131359] ppid=131356 vsize=3436936 memory=3126940 CPUtime=3600.02 cores=1,3
/proc/131359/stat : 131359 (cp_sat_runner) S 131356 131359 131040 0 -1 4194304 2750474 0 0 0 357392 2610 0 0 20 0 3 0 172866696 3519422464 781735 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
/proc/131359/statm: 859234 781735 2176 2102 0 835601 0
[pid=131359/tid=131391] ppid=131356 vsize=3436936 memory=23808 CPUtime=1779.47 cores=1,3
/proc/131359/task/131391/stat : 131391 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1261719 0 0 0 176977 970 0 0 20 0 3 0 172867610 3519422464 781735 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
[pid=131359/tid=131392] ppid=131356 vsize=3436936 memory=3077728 CPUtime=1790.65 cores=1,3
/proc/131359/task/131392/stat : 131392 (cp_sat_runner) R 131356 131359 131040 0 -1 4194368 1329648 0 0 0 177476 1589 0 0 20 0 3 0 172867610 3519422464 781735 18446744073709551615 4198400 12806697 140728261154672 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146848 14333620 45367296 140728261163285 140728261163489 140728261163489 140728261169095 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3436936 KiB
Current children cumulated memory: 3126940 KiB

Child status: 0

Real time (s): 1820.56
CPU time (s): 3600.08
CPU user time (s): 3573.93
CPU system time (s): 26.1534
CPU usage (%): 197.746
Max. virtual memory (cumulated for all children) (KiB): 3664916
Max. memory (cumulated for all children) (KiB): 3329804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.93
system time used= 26.1534
maximum resident set size= 3331852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2750482
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= 26623
involuntary context switches= 55694


# summary of solver processes directly reported to runsolver:
#   pid: 131359
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3573.93
#   total CPU system time (s): 26.1534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.44073 second user time and 7.70435 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-15 11:31:40
IDJOB=4529512
IDBENCH=144138
IDSOLVER=3387
FILE ID=nodeC014/4529512-1752571898
RUNJOBID= nodeC014-1752571843-131059
SLURM_JOB_ID= 9683883
Free space on /tmp= 431264 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph11reducmore_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-4529512-1752571898/watcher-4529512-1752571898 -o /tmp/evaluation-result-4529512-1752571898/solver-4529512-1752571898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752571843-131059 --watchdog 3760  cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:375222618 --competition_mode --input HOME/instance-4529512-1752571898.wbo

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

MD5SUM BENCH= 4f5be5c84a0d76ec975a3a6b3be3f2ae
RANDOM SEED=375222618

nodeC014 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		: 1199.990
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	: 7000.23
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		: 3663.319
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	: 7000.23
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		: 1277.336
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	: 7000.23
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		: 3600.108
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	: 7000.23
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		: 1369.709
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	: 7000.23
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		: 3600.117
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	: 7000.23
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		: 1199.780
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	: 7000.23
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		: 3600.013
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        111687028 kB
MemAvailable:   129205016 kB
Buffers:             696 kB
Cached:         18267740 kB
SwapCached:         1628 kB
Active:           904464 kB
Inactive:       17897168 kB
Active(anon):     526796 kB
Inactive(anon):    30996 kB
Active(file):     377668 kB
Inactive(file): 17866172 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29492 kB
Writeback:             0 kB
AnonPages:        534688 kB
Mapped:           114732 kB
Shmem:             24596 kB
KReclaimable:     226776 kB
Slab:             321720 kB
SReclaimable:     226776 kB
SUnreclaim:        94944 kB
KernelStack:        4208 kB
PageTables:         4000 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     881696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431260 MiB
End job on nodeC014 at 2025-07-15 12:02:02