Trace number 4529511

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.2OPTIMUM 670.345 351.715

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph07_wcsp.wbo
MD5SUM9031472e82cc640e2367b3bed0c7412c
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4324
Best CPU time to get the best result obtained on this benchmark41.7207
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5160
Total number of constraints512485
Number of soft constraints512344
Number of constraints which are clauses512344
Number of constraints which are cardinality constraints (but not clauses)141
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 463736
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 146536849
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 

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

Verifier Data 

OK	4324

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (60447 MiB free)
  memory of node 1: 64507 MiB (63346 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529511-1752571898/watcher-4529511-1752571898 -o /tmp/evaluation-result-4529511-1752571898/solver-4529511-1752571898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752571843-122533 --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-4529511-1752571898.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=122784, runsolver pid=122781

[startup+0.100063 s]*
/proc/loadavg: 3.56 1.06 0.42 7/269 122785
/proc/meminfo: memFree=126733184/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=45144 memory=36016 CPUtime=0.09 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) R 122781 122784 122516 0 -1 4194304 7532 0 0 0 9 0 0 0 20 0 1 0 172869842 46227456 9004 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 11286 9004 1088 2102 0 8826 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45144 KiB
Current children cumulated memory: 36016 KiB

[startup+0.205468 s]*
/proc/loadavg: 3.56 1.06 0.42 7/269 122785
/proc/meminfo: memFree=126709304/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=80136 memory=64952 CPUtime=0.19 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) R 122781 122784 122516 0 -1 4194304 13742 0 0 0 18 1 0 0 20 0 1 0 172869842 82059264 16238 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 20034 16238 1088 2102 0 17574 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80136 KiB
Current children cumulated memory: 64952 KiB

[startup+0.305443 s]*
/proc/loadavg: 3.56 1.06 0.42 7/269 122785
/proc/meminfo: memFree=126685112/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=102708 memory=95696 CPUtime=0.3 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) R 122781 122784 122516 0 -1 4194304 19366 0 0 0 28 2 0 0 20 0 1 0 172869842 105172992 23924 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 25677 23924 1088 2102 0 23217 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102708 KiB
Current children cumulated memory: 95696 KiB

[startup+0.700179 s]
/proc/loadavg: 3.56 1.06 0.42 7/269 122785
/proc/meminfo: memFree=126497504/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=322544 memory=316556 CPUtime=0.68 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) R 122781 122784 122516 0 -1 4194304 75759 0 0 0 59 9 0 0 20 0 1 0 172869842 330285056 79139 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 80636 79139 1344 2102 0 78176 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 322544 KiB
Current children cumulated memory: 316556 KiB

[startup+1.50017 s]
/proc/loadavg: 3.56 1.06 0.42 7/269 122785
/proc/meminfo: memFree=126335272/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=549056 memory=538840 CPUtime=1.49 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) R 122781 122784 122516 0 -1 4194304 110732 0 0 0 133 16 0 0 20 0 1 0 172869842 562233344 134710 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 137264 134710 1504 2102 0 134804 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 549056 KiB
Current children cumulated memory: 538840 KiB

[startup+3.10528 s]
/proc/loadavg: 3.76 1.14 0.45 7/269 122785
/proc/meminfo: memFree=126086056/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=652584 memory=629500 CPUtime=3.08 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) R 122781 122784 122516 0 -1 4194304 121654 0 0 0 290 18 0 0 20 0 1 0 172869842 668246016 157375 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 163146 157375 1536 2102 0 160686 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 652584 KiB
Current children cumulated memory: 629500 KiB

[startup+6.30017 s]
/proc/loadavg: 3.76 1.14 0.45 7/269 122786
/proc/meminfo: memFree=125633488/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=915748 memory=905572 CPUtime=6.27 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) R 122781 122784 122516 0 -1 4194304 180638 0 0 0 591 36 0 0 20 0 1 0 172869842 937725952 226393 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 228937 226393 1856 2102 0 226477 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 915748 KiB
Current children cumulated memory: 905572 KiB

[startup+12.7002 s]
/proc/loadavg: 4.02 1.24 0.49 8/271 122788
/proc/meminfo: memFree=124164656/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=1128152 memory=1104692 CPUtime=12.65 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) R 122781 122784 122516 0 -1 4194304 208271 0 0 0 1220 45 0 0 20 0 1 0 172869842 1155227648 276173 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 282038 276173 1856 2102 0 279578 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1128152 KiB
Current children cumulated memory: 1104692 KiB

[startup+25.5003 s]
/proc/loadavg: 4.83 1.55 0.60 9/273 122790
/proc/meminfo: memFree=121818480/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=4307456 memory=3603904 CPUtime=34.22 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) S 122781 122784 122516 0 -1 4194304 407591 0 0 0 3297 125 0 0 20 0 3 0 172869842 4410834944 900976 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 1076864 900976 2144 2102 0 1016346 0
[pid=122784/tid=122789] ppid=122781 vsize=4307456 memory=14720 CPUtime=8.93 cores=0,2
/proc/122784/task/122789/stat : 122789 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 128730 0 0 0 851 42 0 0 20 0 3 0 172871492 4410834944 900976 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
[pid=122784/tid=122790] ppid=122781 vsize=4307456 memory=20864 CPUtime=8.84 cores=0,2
/proc/122784/task/122790/stat : 122790 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 68882 0 0 0 849 35 0 0 20 0 3 0 172871492 4410834944 900976 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
Current children cumulated CPU time: 34.22 s
Current children cumulated vsize: 4307456 KiB
Current children cumulated memory: 3603904 KiB

[startup+51.1057 s]
/proc/loadavg: 5.99 2.09 0.81 9/273 122790
/proc/meminfo: memFree=121374604/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=4727700 memory=3906180 CPUtime=84.85 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) S 122781 122784 122516 0 -1 4194304 597112 0 0 0 8304 181 0 0 20 0 3 0 172869842 4841164800 976545 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 1181925 976545 2144 2102 0 1115040 0
[pid=122784/tid=122789] ppid=122781 vsize=4727700 memory=3959528 CPUtime=30.23 cores=0,2
/proc/122784/task/122789/stat : 122789 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 204713 0 0 0 2966 57 0 0 20 0 3 0 172871492 4841164800 976545 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
[pid=122784/tid=122790] ppid=122781 vsize=4727700 memory=20864 CPUtime=34.03 cores=0,2
/proc/122784/task/122790/stat : 122790 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 182353 0 0 0 3326 77 0 0 20 0 3 0 172871492 4841164800 976545 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
Current children cumulated CPU time: 84.85 s
Current children cumulated vsize: 4727700 KiB
Current children cumulated memory: 3906180 KiB

[startup+102.3 s]
/proc/loadavg: 7.20 3.02 1.19 9/272 122792
/proc/meminfo: memFree=120991724/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=4368324 memory=3911372 CPUtime=184.16 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) S 122781 122784 122516 0 -1 4194304 851798 0 0 0 18097 319 0 0 20 0 3 0 172869842 4473163776 977843 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 1092081 977843 2144 2102 0 1033236 0
[pid=122784/tid=122789] ppid=122781 vsize=4368324 memory=5276 CPUtime=71.83 cores=0,2
/proc/122784/task/122789/stat : 122789 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 255334 0 0 0 7119 64 0 0 20 0 3 0 172871492 4473163776 977843 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
[pid=122784/tid=122790] ppid=122781 vsize=4368324 memory=0 CPUtime=82.07 cores=0,2
/proc/122784/task/122790/stat : 122790 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 382247 0 0 0 8001 206 0 0 20 0 3 0 172871492 4473163776 977843 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
Current children cumulated CPU time: 184.16 s
Current children cumulated vsize: 4368324 KiB
Current children cumulated memory: 3911372 KiB

[startup+162.3 s]
/proc/loadavg: 8.04 4.01 1.65 8/272 122794
/proc/meminfo: memFree=121058884/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=4448420 memory=3968792 CPUtime=301.16 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) S 122781 122784 122516 0 -1 4194304 1022018 0 0 0 29660 456 0 0 20 0 3 0 172869842 4555182080 992198 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 1112105 992198 2144 2102 0 1046794 0
[pid=122784/tid=122789] ppid=122781 vsize=4448420 memory=3945036 CPUtime=125.7 cores=0,2
/proc/122784/task/122789/stat : 122789 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 287605 0 0 0 12501 69 0 0 20 0 3 0 172871492 4555182080 992198 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
[pid=122784/tid=122790] ppid=122781 vsize=4448420 memory=4063700 CPUtime=139.51 cores=0,2
/proc/122784/task/122790/stat : 122790 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 520144 0 0 0 13613 338 0 0 20 0 3 0 172871492 4555182080 992198 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
Current children cumulated CPU time: 301.16 s
Current children cumulated vsize: 4448420 KiB
Current children cumulated memory: 3968792 KiB

[startup+222.3 s]
/proc/loadavg: 8.16 4.79 2.07 9/273 122797
/proc/meminfo: memFree=121015940/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=4632392 memory=4133544 CPUtime=417.64 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) S 122781 122784 122516 0 -1 4194304 1236888 0 0 0 41169 595 0 0 20 0 3 0 172869842 4743569408 1033386 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 1158098 1033386 2144 2102 0 1087428 0
[pid=122784/tid=122789] ppid=122781 vsize=4632392 memory=4240060 CPUtime=173.96 cores=0,2
/proc/122784/task/122789/stat : 122789 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 300488 0 0 0 17324 72 0 0 20 0 3 0 172871492 4743569408 1033386 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
[pid=122784/tid=122790] ppid=122781 vsize=4632392 memory=4155204 CPUtime=196.14 cores=0,2
/proc/122784/task/122790/stat : 122790 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 722046 0 0 0 19141 473 0 0 20 0 3 0 172871492 4743569408 1033386 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
Current children cumulated CPU time: 417.64 s
Current children cumulated vsize: 4632392 KiB
Current children cumulated memory: 4133544 KiB

[startup+282.3 s]
/proc/loadavg: 8.16 5.41 2.45 9/271 122799
/proc/meminfo: memFree=120906832/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=4775548 memory=4256172 CPUtime=535.99 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) S 122781 122784 122516 0 -1 4194304 1419274 0 0 0 52870 729 0 0 20 0 3 0 172869842 4890161152 1064043 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 1193887 1064043 2144 2102 0 1132684 0
[pid=122784/tid=122789] ppid=122781 vsize=4775548 memory=20864 CPUtime=229.94 cores=0,2
/proc/122784/task/122789/stat : 122789 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 348825 0 0 0 22916 78 0 0 20 0 3 0 172871492 4890161152 1064043 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
[pid=122784/tid=122790] ppid=122781 vsize=4775548 memory=4129532 CPUtime=252.95 cores=0,2
/proc/122784/task/122790/stat : 122790 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 843627 0 0 0 24698 597 0 0 20 0 3 0 172871492 4890161152 1064043 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
Current children cumulated CPU time: 535.99 s
Current children cumulated vsize: 4775548 KiB
Current children cumulated memory: 4256172 KiB

[startup+342.3 s]
/proc/loadavg: 8.06 5.88 2.80 9/271 122801
/proc/meminfo: memFree=120820088/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=4848652 memory=4391392 CPUtime=652.01 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) S 122781 122784 122516 0 -1 4194304 1662047 0 0 0 64329 872 0 0 20 0 3 0 172869842 4965019648 1097848 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 1212163 1097848 2144 2102 0 1157535 0
[pid=122784/tid=122789] ppid=122781 vsize=4848652 memory=4362432 CPUtime=278.27 cores=0,2
/proc/122784/task/122789/stat : 122789 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 374677 0 0 0 27746 81 0 0 20 0 3 0 172871492 4965019648 1097848 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
[pid=122784/tid=122790] ppid=122781 vsize=4848652 memory=4165428 CPUtime=308.33 cores=0,2
/proc/122784/task/122790/stat : 122790 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 1052604 0 0 0 30098 735 0 0 20 0 3 0 172871492 4965019648 1097848 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
Current children cumulated CPU time: 652.01 s
Current children cumulated vsize: 4848652 KiB
Current children cumulated memory: 4391392 KiB

[startup+351.715 s]
# the end of solver process 122784 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=661.25 s, system=9.09484 s

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

[startup+345.6 s]
/proc/loadavg: 8.05 5.92 2.83 10/271 122801
/proc/meminfo: memFree=120915708/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=4610400 memory=4165556 CPUtime=658.56 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) S 122781 122784 122516 0 -1 4194304 1686723 0 0 0 64978 878 0 0 20 0 3 0 172869842 4721049600 1041389 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 1152600 1041389 2144 2102 0 1098004 0
[pid=122784/tid=122789] ppid=122781 vsize=4610400 memory=4405692 CPUtime=281.53 cores=0,2
/proc/122784/task/122789/stat : 122789 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 375942 0 0 0 28072 81 0 0 20 0 3 0 172871492 4721049600 1041389 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
[pid=122784/tid=122790] ppid=122781 vsize=4610400 memory=-7594334126227086713 CPUtime=311.5 cores=0,2
/proc/122784/task/122790/stat : 122790 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 1074224 0 0 0 30409 741 0 0 20 0 3 0 172871492 4721049600 1041389 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
Current children cumulated CPU time: 658.56 s
Current children cumulated vsize: 4610400 KiB
Current children cumulated memory: 4165556 KiB

[startup+348.8 s]
/proc/loadavg: 8.13 5.97 2.87 9/271 122801
/proc/meminfo: memFree=120845708/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=4800972 memory=4286500 CPUtime=664.91 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) S 122781 122784 122516 0 -1 4194304 1700289 0 0 0 65603 888 0 0 20 0 3 0 172869842 4916195328 1071625 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 1200243 1071625 2144 2102 0 1145647 0
[pid=122784/tid=122789] ppid=122781 vsize=4800972 memory=4165556 CPUtime=284.7 cores=0,2
/proc/122784/task/122789/stat : 122789 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 376106 0 0 0 28389 81 0 0 20 0 3 0 172871492 4916195328 1071625 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
[pid=122784/tid=122790] ppid=122781 vsize=4800972 memory=4165556 CPUtime=314.46 cores=0,2
/proc/122784/task/122790/stat : 122790 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 1087617 0 0 0 30695 751 0 0 20 0 3 0 172871492 4916195328 1071625 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
Current children cumulated CPU time: 664.91 s
Current children cumulated vsize: 4800972 KiB
Current children cumulated memory: 4286500 KiB

[startup+350.4 s]
/proc/loadavg: 8.13 5.97 2.87 9/271 122801
/proc/meminfo: memFree=120850416/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=4800972 memory=4345764 CPUtime=668.07 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) R 122781 122784 122516 0 -1 4194304 1702659 0 0 0 65913 894 0 0 20 0 3 0 172869842 4916195328 1086441 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 1200243 1086441 2144 2102 0 1145647 0
[pid=122784/tid=122789] ppid=122781 vsize=4800972 memory=14720 CPUtime=286.28 cores=0,2
/proc/122784/task/122789/stat : 122789 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 376112 0 0 0 28547 81 0 0 20 0 3 0 172871492 4916195328 1086441 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
[pid=122784/tid=122790] ppid=122781 vsize=4800972 memory=20864 CPUtime=315.96 cores=0,2
/proc/122784/task/122790/stat : 122790 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 1089816 0 0 0 30838 758 0 0 20 0 3 0 172871492 4916195328 1086441 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
Current children cumulated CPU time: 668.07 s
Current children cumulated vsize: 4800972 KiB
Current children cumulated memory: 4345764 KiB

[startup+351.2 s]
/proc/loadavg: 8.13 5.97 2.87 9/271 122801
/proc/meminfo: memFree=120991980/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=4863448 memory=4262956 CPUtime=669.66 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) S 122781 122784 122516 0 -1 4194304 1703014 0 0 0 66069 897 0 0 20 0 3 0 172869842 4980170752 1065739 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 1215862 1065739 2144 2102 0 1161266 0
[pid=122784/tid=122789] ppid=122781 vsize=4863448 memory=14720 CPUtime=287.06 cores=0,2
/proc/122784/task/122789/stat : 122789 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 376115 0 0 0 28625 81 0 0 20 0 3 0 172871492 4980170752 1065739 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
[pid=122784/tid=122790] ppid=122781 vsize=4863448 memory=20864 CPUtime=316.62 cores=0,2
/proc/122784/task/122790/stat : 122790 (cp_sat_runner) R 122781 122784 122516 0 -1 4194368 1090168 0 0 0 30902 760 0 0 20 0 3 0 172871492 4980170752 1065739 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
Current children cumulated CPU time: 669.66 s
Current children cumulated vsize: 4863448 KiB
Current children cumulated memory: 4262956 KiB

[startup+351.6 s]
/proc/loadavg: 8.13 5.97 2.87 9/271 122801
/proc/meminfo: memFree=120991980/131250000 swapFree=33010416/33010684
[pid=122784] ppid=122781 vsize=3887488 memory=3544912 CPUtime=670.22 cores=0,2
/proc/122784/stat : 122784 (cp_sat_runner) R 122781 122784 122516 0 -1 4194304 1735685 0 0 0 66121 901 0 0 20 0 1 0 172869842 3980787712 886228 18446744073709551615 4198400 12806697 140721823599520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146848 14333620 31588352 140721823607061 140721823607265 140721823607265 140721823612871 0
/proc/122784/statm: 971872 886228 2144 2102 0 917276 0
Current children cumulated CPU time: 670.22 s
Current children cumulated vsize: 3887488 KiB
Current children cumulated memory: 3544912 KiB

[startup+351.7 s]*
/proc/loadavg: 8.13 5.97 2.87 8/269 122801
/proc/meminfo: memFree=124044384/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 351.715
CPU time (s): 670.345
CPU user time (s): 661.25
CPU system time (s): 9.09484
CPU usage (%): 190.594
Max. virtual memory (cumulated for all children) (KiB): 4979724
Max. memory (cumulated for all children) (KiB): 4496208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 661.25
system time used= 9.09484
maximum resident set size= 4496208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1762814
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= 4779
involuntary context switches= 32306


# summary of solver processes directly reported to runsolver:
#   pid: 122784
#   total CPU time (s): 670.345
#   total CPU user time (s): 661.25
#   total CPU system time (s): 9.09484

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.607892 second user time and 1.84408 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-15 11:31:39
IDJOB=4529511
IDBENCH=144135
IDSOLVER=3387
FILE ID=nodeC027/4529511-1752571898
RUNJOBID= nodeC027-1752571843-122533
SLURM_JOB_ID= 9683896
Free space on /tmp= 431624 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph07_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-4529511-1752571898/watcher-4529511-1752571898 -o /tmp/evaluation-result-4529511-1752571898/solver-4529511-1752571898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752571843-122533 --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-4529511-1752571898.wbo

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

MD5SUM BENCH= 9031472e82cc640e2367b3bed0c7412c
RANDOM SEED=375222618

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126765568 kB
MemAvailable:   128597728 kB
Buffers:            2488 kB
Cached:          2624116 kB
SwapCached:           12 kB
Active:          1780332 kB
Inactive:        2013332 kB
Active(anon):    1182324 kB
Inactive(anon):     2792 kB
Active(file):     598008 kB
Inactive(file):  2010540 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61616 kB
Writeback:             4 kB
AnonPages:       1167076 kB
Mapped:           131532 kB
Shmem:             18056 kB
KReclaimable:     125300 kB
Slab:             218360 kB
SReclaimable:     125300 kB
SUnreclaim:        93060 kB
KernelStack:        4336 kB
PageTables:         5320 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1567372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    313344 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:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431612 MiB
End job on nodeC027 at 2025-07-15 11:37:31