0.00/2.46	o 0
0.00/2.47	o -146
0.00/2.47	o -257
0.00/2.47	o -333
0.00/2.47	o -403
0.00/2.48	o -519
0.08/2.52	o -603
0.08/2.54	o -714
0.08/2.55	o -725
0.08/2.58	o -751
0.19/2.60	o -757
0.19/2.62	o -790
0.19/2.64	o -801
0.19/2.67	o -884
0.29/2.71	o -969
0.29/2.72	o -972
0.29/2.75	o -981
0.29/2.76	o -987
0.29/2.78	o -990
0.39/2.82	o -1002
0.39/2.82	o -1006
0.39/2.84	o -1052
0.49/2.93	o -1077
0.49/2.94	o -1081
0.59/3.05	o -1181
0.79/3.24	o -1186
0.99/3.45	o -1237
0.99/3.45	o -1254
1.09/3.53	o -1279
1.19/3.63	o -1299
1.19/3.64	o -1339
1.19/3.65	o -1460
1.19/3.67	o -1526
1.19/3.68	o -1541
1.19/3.69	o -1552
1.38/3.86	o -1556
1.38/3.89	o -1562
1.59/4.07	o -1568
1.78/4.27	o -1573
1.89/4.35	o -1679
2.29/4.74	o -1691
2.89/5.32	o -1693
2.89/5.34	o -1701
2.89/5.37	o -1727
3.38/5.80	o -1751
3.78/6.25	o -1754
3.78/6.29	o -1757
3.88/6.32	o -1761
3.99/6.47	o -1790
4.18/6.67	o -1940
4.38/6.80	o -1967
4.58/7.01	o -2025
4.58/7.05	o -2056
4.98/7.42	o -2075
5.29/7.83	o -2083
5.29/7.86	o -2091
5.39/7.92	o -2110
5.59/8.19	o -2167
5.69/8.20	o -2212
5.79/8.30	o -2228
5.79/8.37	o -2231
6.09/8.68	o -2233
6.28/8.80	o -2237
6.38/8.98	o -2243
6.88/9.46	o -2244
8.39/10.95	o -2360
9.08/11.67	o -2369
9.18/11.72	o -2372
9.18/11.78	o -2373
9.28/11.80	o -2386
9.28/11.82	o -2397
9.28/11.86	o -2411
9.38/11.90	o -2437
9.48/12.02	o -2443
9.78/12.39	o -2444
9.98/12.52	o -2445
10.18/12.78	o -2618
10.28/12.88	o -2619
10.49/13.02	o -2620
10.49/13.07	o -2621
10.58/13.15	o -2626
10.97/13.54	o -2640
11.68/14.27	o -2715
12.58/15.17	o -2720
13.08/15.60	o -2788
14.87/17.44	o -2898
14.97/17.51	o -3030
15.47/18.03	o -3032
15.47/18.05	o -3033
16.57/19.15	o -3043
17.16/19.70	o -3055
17.66/20.21	o -3130
19.16/21.72	o -3133
20.76/23.30	o -3228
20.76/23.39	o -3273
20.96/23.53	o -3313
23.35/25.99	o -3366
25.45/28.10	o -3424
25.64/28.20	o -3472
26.34/28.94	o -3478
26.95/29.55	o -3484
26.95/29.57	o -3502
27.34/29.92	o -3536
29.04/31.62	o -3549
29.14/31.71	o -3656
40.91/43.77	o -3757
40.91/43.78	o -3778
40.91/43.79	o -3915
41.01/43.81	o -4013
41.01/43.85	o -4021
42.41/45.23	o -4052
43.40/46.26	o -4071
81.77/85.01	o -4099
86.95/90.27	o -4110
87.05/90.34	o -4148
87.05/90.38	o -4155
87.35/90.62	o -4159
87.85/91.16	o -4224
88.05/91.34	o -4235
91.74/95.09	o -4251
93.14/96.46	o -4269
95.43/98.72	o -4375
98.62/102.36	o -4440
103.11/106.88	o -4478
105.80/109.55	o -4481
105.80/109.58	o -4507
105.89/109.64	o -4513
112.88/116.60	o -4531
119.67/123.40	o -4536
128.17/132.30	o -4561
134.05/138.21	o -4652
134.25/138.40	o -4675
181.25/185.71	o -4803
181.25/185.74	o -4826
181.25/185.77	o -4975
181.35/185.89	o -5028
194.01/198.55	o -5032
194.32/198.81	o -5069
195.62/200.13	o -5071
195.62/200.15	o -5083
196.81/201.37	o -5103
202.00/206.59	o -5175
202.20/206.76	o -5181
216.26/220.82	o -5200
229.96/234.91	o -5245
230.86/235.80	o -5300
316.64/322.93	o -5319
321.32/327.63	o -5325
321.32/327.67	o -5405
353.64/360.18	o -5412
364.40/370.92	o -5480
364.51/371.02	o -5564
466.50/474.01	o -5575
476.26/483.85	o -5577
481.75/489.33	o -5602
483.45/491.04	o -5618
517.47/525.27	o -5641
519.46/527.26	o -5643
535.55/543.95	o -5684
607.09/616.66	o -5699
611.58/621.19	o -5716
632.73/642.52	o -5725
646.89/657.02	o -5726
648.98/659.16	o -5734
648.98/659.18	o -5740
649.07/659.24	o -5780
649.77/659.99	o -5796
669.72/679.90	o -5814
708.11/718.76	o -5858
711.51/722.12	o -5861
741.57/752.58	o -5902
752.25/763.27	o -5905
752.65/763.61	o -5925
757.84/768.87	o -5931
782.48/793.63	o -5932
814.68/826.22	o -5947
848.85/860.69	o -5958
903.24/915.56	o -5988
903.84/916.11	o -5999
906.84/919.16	o -6006
1100.60/1115.09	o -6021
1168.38/1183.18	o -6023
1176.85/1191.60	o -6024
1243.76/1259.22	o -6066
1257.64/1273.40	o -6071
1264.02/1279.80	o -6103
1295.98/1312.05	o -6107
1307.86/1323.98	o -6197
1441.13/1458.27	o -6199
1588.89/1607.26	o -6262
1669.64/1688.54	o -6305
1803.83/1824.20	o -6406
1942.66/1963.89	o -6428
2018.86/2040.59	o -6436
2058.77/2081.01	o -6437
2089.01/2111.54	o -6472
2114.83/2137.71	o -6488
2270.79/2295.19	o -6524
2273.48/2297.87	o -6581
2525.06/2551.99	o -6584
2525.16/2552.03	o -6595
2663.12/2691.14	o -6600
2776.49/2805.17	o -6615
2848.69/2877.62	o -6618
2865.65/2894.66	o -6632
2895.75/2925.17	o -6644
2903.15/2932.65	o -6655
3125.37/3155.87	o -6657
3127.57/3158.00	o -6667
3128.96/3159.47	o -6713
3135.66/3166.17	o -6719
3165.99/3196.60	o -6756
3182.83/3213.61	o -6762
3425.80/3458.49	o -6773
3578.24/3612.19	o -6778
3600.01/3634.00	c Program interrupted by user.
3600.01/3634.00	s SATISFIABLE
3600.01/3634.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585

OK	-6778

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: 63968 MiB (61794 MiB free)
  memory of node 1: 64473 MiB (62556 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462188-1722236576/watcher-4462188-1722236576 -o /tmp/evaluation-result-4462188-1722236576/solver-4462188-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722236576-453996 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4462188-1722236576 --seed=697437227 HOME/instance-4462188-1722236576.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100083 s]*
/proc/loadavg: 0.05 0.08 0.09 2/251 454045
/proc/meminfo: memFree=127319272/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) D 454041 454044 453983 0 -1 1078198272 123 0 0 0 0 0 0 0 20 0 1 0 60185914 25829376 619 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+0.205528 s]*
/proc/loadavg: 0.05 0.08 0.09 1/255 454056
/proc/meminfo: memFree=127321456/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) D 454041 454044 453983 0 -1 4194304 123 0 0 0 0 0 0 0 20 0 1 0 60185914 25829376 619 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+0.305554 s]*
/proc/loadavg: 0.05 0.08 0.09 1/255 454056
/proc/meminfo: memFree=127321016/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) D 454041 454044 453983 0 -1 4194304 123 0 0 0 0 0 0 0 20 0 1 0 60185914 25829376 619 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+0.700147 s]
/proc/loadavg: 0.05 0.08 0.09 1/255 454056
/proc/meminfo: memFree=127320632/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) D 454041 454044 453983 0 -1 4194304 123 0 0 0 0 0 0 0 20 0 1 0 60185914 25829376 619 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+1.50024 s]
/proc/loadavg: 0.05 0.08 0.09 1/255 454056
/proc/meminfo: memFree=127320192/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) D 454041 454044 453983 0 -1 4194304 123 0 0 0 0 0 0 0 20 0 1 0 60185914 25829376 619 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+3.1055 s]
/proc/loadavg: 0.37 0.14 0.11 5/255 454056
/proc/meminfo: memFree=126865600/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=36524 memory=22084 CPUtime=0.69 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 3503 0 0 0 68 1 0 0 20 0 1 0 60185914 37400576 5521 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 9131 5521 834 747 0 8194 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36524 KiB
Current children cumulated memory: 22084 KiB
heavy processes:

[startup+6.30018 s]
/proc/loadavg: 0.37 0.14 0.11 5/256 454057
/proc/meminfo: memFree=126357380/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=83940 memory=58244 CPUtime=3.88 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 7605 0 0 0 383 5 0 0 20 0 1 0 60185914 85954560 14561 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 20985 14561 834 747 0 20048 0
Current children cumulated CPU time: 3.88 s
Current children cumulated vsize: 83940 KiB
Current children cumulated memory: 58244 KiB
heavy processes:

[startup+12.7002 s]
/proc/loadavg: 0.93 0.27 0.15 5/257 454060
/proc/meminfo: memFree=126025492/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=128412 memory=105408 CPUtime=10.18 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 9651 0 0 0 1008 10 0 0 20 0 1 0 60185914 131493888 26352 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 32103 26352 834 747 0 31166 0
Current children cumulated CPU time: 10.18 s
Current children cumulated vsize: 128412 KiB
Current children cumulated memory: 105408 KiB

[startup+25.5002 s]
/proc/loadavg: 1.47 0.41 0.20 5/255 454061
/proc/meminfo: memFree=125628840/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=334936 memory=209304 CPUtime=22.95 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 14480 0 0 0 2273 22 0 0 20 0 1 0 60185914 342974464 52326 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 83734 52326 850 747 0 82797 0
Current children cumulated CPU time: 22.95 s
Current children cumulated vsize: 334936 KiB
Current children cumulated memory: 209304 KiB

[startup+51.1056 s]
/proc/loadavg: 2.34 0.70 0.30 5/255 454066
/proc/meminfo: memFree=124814132/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=355300 memory=320840 CPUtime=48.3 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 19535 0 0 0 4797 33 0 0 20 0 1 0 60185914 363827200 80210 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 28 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 88825 80210 850 747 0 87888 0
Current children cumulated CPU time: 48.3 s
Current children cumulated vsize: 355300 KiB
Current children cumulated memory: 320840 KiB

[startup+102.3 s]
/proc/loadavg: 3.38 1.27 0.52 5/256 454075
/proc/meminfo: memFree=123533804/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=602088 memory=415500 CPUtime=98.62 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 27851 0 0 0 9802 60 0 0 20 0 1 0 60185914 616538112 103875 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 104 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 150522 103875 850 747 0 149585 0
Current children cumulated CPU time: 98.62 s
Current children cumulated vsize: 602088 KiB
Current children cumulated memory: 415500 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.80 0.75 5/256 454087
/proc/meminfo: memFree=122068272/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=608260 memory=422304 CPUtime=157.9 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 29782 0 0 0 15709 81 0 0 20 0 1 0 60185914 622858240 105576 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 161 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 152065 105576 850 747 0 151128 0
Current children cumulated CPU time: 157.9 s
Current children cumulated vsize: 608260 KiB
Current children cumulated memory: 422304 KiB

[startup+222.3 s]
/proc/loadavg: 3.96 2.20 0.96 5/256 454097
/proc/meminfo: memFree=121015392/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=620600 memory=442340 CPUtime=217.76 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 32876 0 0 0 21672 104 0 0 20 0 1 0 60185914 635494400 110585 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 161 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 155150 110585 850 747 0 154213 0
Current children cumulated CPU time: 217.76 s
Current children cumulated vsize: 620600 KiB
Current children cumulated memory: 442340 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.56 1.16 5/256 454107
/proc/meminfo: memFree=119673776/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=629088 memory=450440 CPUtime=276.82 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 35089 0 0 0 27558 124 0 0 20 0 1 0 60185914 644186112 112610 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 240 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 157272 112610 850 747 0 156335 0
Current children cumulated CPU time: 276.82 s
Current children cumulated vsize: 629088 KiB
Current children cumulated memory: 450440 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 2.84 1.35 5/256 454118
/proc/meminfo: memFree=118511960/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=651288 memory=470792 CPUtime=335.99 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 40247 0 0 0 33460 139 0 0 20 0 1 0 60185914 666918912 117698 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 309 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 162822 117698 850 747 0 161885 0
Current children cumulated CPU time: 335.99 s
Current children cumulated vsize: 651288 KiB
Current children cumulated memory: 470792 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.09 1.53 5/258 454130
/proc/meminfo: memFree=117490104/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=664080 memory=481808 CPUtime=395.54 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 43177 0 0 0 39388 166 0 0 20 0 1 0 60185914 680017920 120452 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 340 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 166020 120452 850 747 0 165083 0
Current children cumulated CPU time: 395.54 s
Current children cumulated vsize: 664080 KiB
Current children cumulated memory: 481808 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.27 1.69 5/261 454145
/proc/meminfo: memFree=116893520/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=686948 memory=501580 CPUtime=455 cores=5,7

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

Current children cumulated memory: 788444 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.10 4.00 5/260 455200
/proc/meminfo: memFree=79513740/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=841312 memory=794212 CPUtime=2833.55 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 87050 0 0 0 282485 870 0 0 20 0 1 0 60185914 861503488 198553 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1961 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 210328 198553 850 747 0 209391 0
Current children cumulated CPU time: 2833.55 s
Current children cumulated vsize: 841312 KiB
Current children cumulated memory: 794212 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.00 5/260 455211
/proc/meminfo: memFree=78469916/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=841312 memory=794240 CPUtime=2892.94 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 87283 0 0 0 288404 890 0 0 20 0 1 0 60185914 861503488 198560 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2008 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 210328 198560 850 747 0 209391 0
Current children cumulated CPU time: 2892.94 s
Current children cumulated vsize: 841312 KiB
Current children cumulated memory: 794240 KiB

[startup+2982.3 s]
/proc/loadavg: 4.42 4.17 4.03 5/259 455222
/proc/meminfo: memFree=77909032/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=848800 memory=800584 CPUtime=2952.65 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 89202 0 0 0 294355 910 0 0 20 0 1 0 60185914 869171200 200146 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2023 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 212200 200146 850 747 0 211263 0
Current children cumulated CPU time: 2952.65 s
Current children cumulated vsize: 848800 KiB
Current children cumulated memory: 800584 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.15 4.03 5/256 455233
/proc/meminfo: memFree=77413872/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=848800 memory=800584 CPUtime=3012.25 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 89408 0 0 0 300304 921 0 0 20 0 1 0 60185914 869171200 200146 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2051 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 212200 200146 850 747 0 211263 0
Current children cumulated CPU time: 3012.25 s
Current children cumulated vsize: 848800 KiB
Current children cumulated memory: 800584 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.03 5/256 455243
/proc/meminfo: memFree=76757700/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=856296 memory=807360 CPUtime=3072 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 91364 0 0 0 306270 930 0 0 20 0 1 0 60185914 876847104 201840 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2060 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 214074 201840 850 747 0 213137 0
Current children cumulated CPU time: 3072 s
Current children cumulated vsize: 856296 KiB
Current children cumulated memory: 807360 KiB

[startup+3162.3 s]
/proc/loadavg: 4.47 4.22 4.07 5/256 455636
/proc/meminfo: memFree=76256384/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=869028 memory=817928 CPUtime=3131.85 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 93692 0 0 0 312238 947 0 0 20 0 1 0 60185914 889884672 204482 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2060 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 217257 204482 850 747 0 216320 0
Current children cumulated CPU time: 3131.85 s
Current children cumulated vsize: 869028 KiB
Current children cumulated memory: 817928 KiB

[startup+3222.3 s]
/proc/loadavg: 4.32 4.22 4.07 5/256 455646
/proc/meminfo: memFree=75432676/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=869028 memory=817992 CPUtime=3191.51 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 93996 0 0 0 318178 973 0 0 20 0 1 0 60185914 889884672 204498 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2081 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 217257 204498 850 747 0 216320 0
Current children cumulated CPU time: 3191.51 s
Current children cumulated vsize: 869028 KiB
Current children cumulated memory: 817992 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.07 5/256 455657
/proc/meminfo: memFree=74962048/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=869028 memory=817992 CPUtime=3251.03 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 94232 0 0 0 324117 986 0 0 20 0 1 0 60185914 889884672 204498 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2115 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 217257 204498 850 747 0 216320 0
Current children cumulated CPU time: 3251.03 s
Current children cumulated vsize: 869028 KiB
Current children cumulated memory: 817992 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.19 4.08 5/256 455835
/proc/meminfo: memFree=74187960/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=869028 memory=818480 CPUtime=3310.58 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 94664 0 0 0 330054 1004 0 0 20 0 1 0 60185914 889884672 204620 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2145 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 217257 204620 850 747 0 216320 0
Current children cumulated CPU time: 3310.58 s
Current children cumulated vsize: 869028 KiB
Current children cumulated memory: 818480 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.16 4.08 5/256 455845
/proc/meminfo: memFree=73236200/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=869028 memory=818808 CPUtime=3370.14 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 95044 0 0 0 335989 1025 0 0 20 0 1 0 60185914 889884672 204702 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2175 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 217257 204702 850 747 0 216320 0
Current children cumulated CPU time: 3370.14 s
Current children cumulated vsize: 869028 KiB
Current children cumulated memory: 818808 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.15 4.08 5/258 455861
/proc/meminfo: memFree=72448280/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=869028 memory=818808 CPUtime=3429.69 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 95250 0 0 0 341932 1037 0 0 20 0 1 0 60185914 889884672 204702 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2206 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 217257 204702 850 747 0 216320 0
Current children cumulated CPU time: 3429.69 s
Current children cumulated vsize: 869028 KiB
Current children cumulated memory: 818808 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.08 5/259 455884
/proc/meminfo: memFree=71090232/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=872040 memory=822116 CPUtime=3489.07 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 95817 0 0 0 347850 1057 0 0 20 0 1 0 60185914 892968960 205529 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2254 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 218010 205529 850 747 0 217073 0
Current children cumulated CPU time: 3489.07 s
Current children cumulated vsize: 872040 KiB
Current children cumulated memory: 822116 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.08 5/259 455894
/proc/meminfo: memFree=69707460/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=872616 memory=822124 CPUtime=3548.61 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 96140 0 0 0 353787 1074 0 0 20 0 1 0 60185914 893558784 205531 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2286 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 218154 205531 850 747 0 217217 0
Current children cumulated CPU time: 3548.61 s
Current children cumulated vsize: 872616 KiB
Current children cumulated memory: 822124 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3634 s]*
/proc/loadavg: 4.13 4.14 4.09 4/253 456022
/proc/meminfo: memFree=101601176/131524600 swapFree=131062976/131071996
[pid=454044] ppid=454041 vsize=872616 memory=822124 CPUtime=3600.01 cores=5,7
/proc/454044/stat : 454044 (Exact_veripb2_n) R 454041 454044 453983 0 -1 4194304 96269 0 0 0 358912 1089 0 0 20 0 1 0 60185914 893558784 205531 134679101440 4194304 7250417 140724547234960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2304 0 0 7950792 8015128 42819584 140724547240762 140724547241050 140724547241050 140724547248062 0
/proc/454044/statm: 218154 205531 850 747 0 217217 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 872616 KiB
Current children cumulated memory: 822124 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.13 s, system=10.9065 s

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

Child status: 10

Real time (s): 3634.02
CPU time (s): 3600.04
CPU user time (s): 3589.13
CPU system time (s): 10.9065
CPU usage (%): 99.0648
Max. virtual memory (cumulated for all children) (KiB): 872616
Max. memory (cumulated for all children) (KiB): 822124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.13
system time used= 10.9065
maximum resident set size= 822124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96274
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30911168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 222
involuntary context switches= 4804


# summary of solver processes directly reported to runsolver:
#   pid: 454044
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3589.13
#   total CPU system time (s): 10.9065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76725 second user time and 17.0912 second system time

The end

Begin job on nodeC027 at 2024-07-29 09:02:56
IDJOB=4462188
IDBENCH=178879
IDSOLVER=3080
FILE ID=nodeC027/4462188-1722236576
RUNJOBID= nodeC027-1722236576-453996
SLURM_JOB_ID= 8248762
Free space on /tmp= 890072 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_250_005.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462188-1722236576/watcher-4462188-1722236576 -o /tmp/evaluation-result-4462188-1722236576/solver-4462188-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722236576-453996 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4462188-1722236576 --seed=697437227 HOME/instance-4462188-1722236576.opb

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

MD5SUM BENCH= c1572c005e5d2804643966c7bf58bacf
RANDOM SEED=697437227

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2123.493
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3497.311
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.65
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		: 2885.542
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3638.128
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.65
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		: 1762.331
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3629.292
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.65
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		: 1745.609
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.74
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		: 3694.944
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127339748 kB
MemAvailable:   129712268 kB
Buffers:          392976 kB
Cached:          2689588 kB
SwapCached:           84 kB
Active:          2756580 kB
Inactive:         590616 kB
Active(anon):       2264 kB
Inactive(anon):   315712 kB
Active(file):    2754316 kB
Inactive(file):   274904 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062976 kB
Dirty:             18304 kB
Writeback:             0 kB
AnonPages:        264688 kB
Mapped:           120852 kB
Shmem:             53348 kB
KReclaimable:     366244 kB
Slab:             488644 kB
SReclaimable:     366244 kB
SUnreclaim:       122400 kB
KernelStack:        4016 kB
PageTables:         9852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     702628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17376 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      359124 kB
DirectMap2M:    40308736 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC027 at 2024-07-29 10:03:31