0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=true
0.09/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-3710148-1338149426.opb
0.09/0.13	c reading problem ... 
1.32/0.86	c ... done. Wall clock time 0.736s.
1.32/0.86	c declared #vars     10894
1.32/0.86	c #constraints  825
1.32/0.86	c constraints type 
1.32/0.86	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17
1.32/0.86	c org.sat4j.minisat.constraints.card.MinWatchCard => 624
1.32/0.86	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
1.32/0.86	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 181
1.32/0.86	c 825 constraints processed.
2.05/1.11	c SATISFIABLE
2.05/1.11	c OPTIMIZING...
2.05/1.11	c Got one! Elapsed wall clock time (in seconds):0.984
2.05/1.11	o 5639465843
27.93/26.40	c cleaning 2511 clauses out of 5031 with flag 5002/5031
61.32/59.52	c cleaning 4238 clauses out of 8518 with flag 11000/11029
94.56/92.64	c cleaning 5615 clauses out of 11280 with flag 18000/18029
129.12/127.10	c cleaning 6818 clauses out of 13665 with flag 26000/26029
175.59/173.36	c cleaning 7914 clauses out of 15854 with flag 35007/35036
230.23/227.86	c cleaning 8967 clauses out of 17946 with flag 45013/45042
294.28/291.79	c cleaning 9976 clauses out of 19975 with flag 56009/56038
356.45/353.76	c cleaning 10921 clauses out of 21990 with flag 68000/68029
401.95/398.90	c cleaning 12033 clauses out of 24072 with flag 81003/81032
473.87/470.04	c cleaning 13002 clauses out of 26036 with flag 95000/95029
552.63/547.50	c cleaning 13996 clauses out of 28034 with flag 110000/110029
624.74/618.42	c cleaning 14988 clauses out of 30038 with flag 126000/126029
701.94/694.44	c cleaning 15968 clauses out of 32050 with flag 143000/143029
765.92/757.35	c cleaning 17029 clauses out of 34082 with flag 161000/161029
846.03/836.09	c cleaning 17978 clauses out of 36060 with flag 180007/180036
906.61/895.74	c cleaning 19027 clauses out of 38076 with flag 200001/200030
990.08/977.95	c cleaning 20024 clauses out of 40053 with flag 221005/221034
1100.32/1086.26	c cleaning 21001 clauses out of 42025 with flag 243001/243030
1203.47/1187.56	c cleaning 21955 clauses out of 44023 with flag 266000/266029
1313.42/1295.36	c cleaning 23027 clauses out of 46069 with flag 290001/290030
1424.33/1404.22	c cleaning 24019 clauses out of 48046 with flag 315005/315034
1553.24/1530.89	c cleaning 24995 clauses out of 50023 with flag 341001/341030
1661.10/1636.52	c cleaning 25959 clauses out of 52027 with flag 368000/368029
1800.03/1772.71	c starts		: 145
1800.03/1772.71	c conflicts		: 393948
1800.03/1772.71	c decisions		: 2361231
1800.03/1772.71	c propagations		: 393587723
1800.03/1772.71	c inspects		: 8462333097
1800.03/1772.71	c shortcuts		: 0
1800.03/1772.71	c learnt literals	: 0
1800.03/1772.71	c learnt binary clauses	: 0
1800.03/1772.71	c learnt ternary clauses	: 0
1800.03/1772.71	c learnt constraints	: 393948
1800.03/1772.71	c ignored constraints	: 0
1800.03/1772.71	c root simplifications	: 145
1800.03/1772.71	c removed literals (reason simplification)	: 1860536
1800.03/1772.71	c reason swapping (by a shorter reason)	: 0
1800.03/1772.71	c Calls to reduceDB	: 23
1800.03/1772.71	c number of reductions to clauses (during analyze)	: 0
1800.03/1772.71	c number of learned constraints concerned by reduction	: 0
1800.03/1772.71	c number of learning phase by resolution	: 0
1800.03/1772.71	c number of learning phase by cutting planes	: 0
1800.03/1772.71	c speed (assignments/second)	: 222136.33362117133
1800.03/1772.71	c non guided choices	11548
1800.03/1772.73	c learnt constraints type 
1800.03/1772.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 51993
1800.03/1772.73	c constraints type 
1800.03/1772.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17
1800.03/1772.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 624
1800.03/1772.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
1800.03/1772.73	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 182
1800.03/1772.73	c 826 constraints processed.
1800.03/1772.73	s SATISFIABLE
1800.03/1772.75	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 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 
1800.03/1772.76	c objective function=5639465843
1800.03/1772.76	c Total wall clock time (in seconds): 1772.632

OK	5639465843

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710148-1338149426/watcher-3710148-1338149426 -o /tmp/evaluation-result-3710148-1338149426/solver-3710148-1338149426 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710148-1338149426.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 2/194 21580
/proc/meminfo: memFree=30035748/32873844 swapFree=7900/7900
[pid=21580] ppid=21578 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/21580/stat : 21580 (java) D 21578 21580 18146 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 281067176 9515008 182 33554432000 1073741824 1073778376 140737365219472 140737365210504 225444708021 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/21580/statm: 2323 182 140 9 0 71 0

[startup+0.029957 s]
/proc/loadavg: 2.02 2.03 2.00 2/194 21580
/proc/meminfo: memFree=30035748/32873844 swapFree=7900/7900
[pid=21580] ppid=21578 vsize=9016616 CPUtime=0.01 cores=0,2,4,6
/proc/21580/stat : 21580 (java) S 21578 21580 18146 0 -1 4202496 2772 0 1 0 1 0 0 0 20 0 10 0 281067176 9233014784 3472 33554432000 1073741824 1073778376 140733790019472 140733790010608 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21580/statm: 2254154 3472 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616

[startup+0.100252 s]
/proc/loadavg: 2.02 2.03 2.00 2/194 21580
/proc/meminfo: memFree=30035748/32873844 swapFree=7900/7900
[pid=21580] ppid=21578 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/21580/stat : 21580 (java) S 21578 21580 18146 0 -1 4202496 4188 0 1 0 8 1 0 0 20 0 18 0 281067176 9787842560 5397 33554432000 1073741824 1073778376 140733790019472 140733790010608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21580/statm: 2389610 5408 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300219 s]
/proc/loadavg: 2.02 2.03 2.00 2/194 21580
/proc/meminfo: memFree=30035748/32873844 swapFree=7900/7900
[pid=21580] ppid=21578 vsize=9558440 CPUtime=0.5 cores=0,2,4,6
/proc/21580/stat : 21580 (java) S 21578 21580 18146 0 -1 4202496 6577 0 1 0 47 3 0 0 20 0 18 0 281067176 9787842560 9646 33554432000 1073741824 1073778376 140733790019472 140733790010608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21580/statm: 2389610 9660 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558440

[startup+0.700221 s]
/proc/loadavg: 2.02 2.03 2.00 2/194 21580
/proc/meminfo: memFree=30035748/32873844 swapFree=7900/7900
[pid=21580] ppid=21578 vsize=9558440 CPUtime=1.2 cores=0,2,4,6
/proc/21580/stat : 21580 (java) S 21578 21580 18146 0 -1 4202496 8524 0 1 0 112 8 0 0 20 0 18 0 281067176 9787842560 44709 33554432000 1073741824 1073778376 140733790019472 140733790010608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21580/statm: 2389610 44709 2254 9 0 2380296 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9558440

[startup+1.5007 s]
/proc/loadavg: 2.18 2.06 2.01 3/213 21599
/proc/meminfo: memFree=29833844/32873844 swapFree=7900/7900
[pid=21580] ppid=21578 vsize=9625004 CPUtime=2.57 cores=0,2,4,6
/proc/21580/stat : 21580 (java) S 21578 21580 18146 0 -1 4202496 9238 0 1 0 245 12 0 0 20 0 19 0 281067176 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140733790010608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21580/statm: 2406251 52873 2271 9 0 2396937 0
[pid=21580/tid=21582] ppid=21578 vsize=9625004 CPUtime=1.39 cores=0,2,4,6
/proc/21580/task/21582/stat : 21582 (java) R 21578 21580 18146 0 -1 4202560 2588 0 1 0 135 4 0 0 20 0 19 0 281067177 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667717116216 140667578466920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21583] ppid=21578 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/21580/task/21583/stat : 21583 (java) S 21578 21580 18146 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 281067178 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667561081384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21584] ppid=21578 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/21580/task/21584/stat : 21584 (java) S 21578 21580 18146 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 19 0 281067178 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667560028584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21585] ppid=21578 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/21580/task/21585/stat : 21585 (java) S 21578 21580 18146 0 -1 4202560 79 0 0 0 2 0 0 0 20 0 19 0 281067178 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667558975784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21586] ppid=21578 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/21580/task/21586/stat : 21586 (java) S 21578 21580 18146 0 -1 4202560 115 0 0 0 4 2 0 0 20 0 19 0 281067178 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667557922984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21587] ppid=21578 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/21580/task/21587/stat : 21587 (java) S 21578 21580 18146 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 281067178 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667556871208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21588] ppid=21578 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/21580/task/21588/stat : 21588 (java) S 21578 21580 18146 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 281067178 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667555818408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21589] ppid=21578 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/21580/task/21589/stat : 21589 (java) S 21578 21580 18146 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 281067178 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667554765608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21590] ppid=21578 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/21580/task/21590/stat : 21590 (java) S 21578 21580 18146 0 -1 4202560 103 0 0 0 1 0 0 0 20 0 19 0 281067178 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667553712808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21591] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21591/stat : 21591 (java) S 21578 21580 18146 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667541301736 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21592] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21592/stat : 21592 (java) S 21578 21580 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667540247800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21593] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21593/stat : 21593 (java) S 21578 21580 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667539194888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21594] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21594/stat : 21594 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667538143376 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21595] ppid=21578 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/21580/task/21595/stat : 21595 (java) S 21578 21580 18146 0 -1 4202560 2531 0 0 0 47 0 0 0 20 0 19 0 281067183 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667537091512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21596] ppid=21578 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/21580/task/21596/stat : 21596 (java) S 21578 21580 18146 0 -1 4202560 2411 0 0 0 38 2 0 0 20 0 19 0 281067183 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667536038712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21597] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21597/stat : 21597 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667534986104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21598] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21598/stat : 21598 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667533933512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21599] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21599/stat : 21599 (java) S 21578 21580 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281067265 9856004096 52873 33554432000 1073741824 1073778376 140733790019472 140667532879016 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9625004

[startup+3.10069 s]
/proc/loadavg: 2.18 2.06 2.01 3/213 21599
/proc/meminfo: memFree=29803932/32873844 swapFree=7900/7900
[pid=21580] ppid=21578 vsize=9625004 CPUtime=4.3 cores=0,2,4,6
/proc/21580/stat : 21580 (java) S 21578 21580 18146 0 -1 4202496 9475 0 1 0 414 16 0 0 20 0 19 0 281067176 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140733790010608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21580/statm: 2406251 86289 2271 9 0 2396937 0
[pid=21580/tid=21582] ppid=21578 vsize=9625004 CPUtime=2.95 cores=0,2,4,6
/proc/21580/task/21582/stat : 21582 (java) R 21578 21580 18146 0 -1 4202560 2643 0 1 0 289 6 0 0 20 0 19 0 281067177 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667717123408 140667578372839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21583] ppid=21578 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/21580/task/21583/stat : 21583 (java) S 21578 21580 18146 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 281067178 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667561081384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21584] ppid=21578 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/21580/task/21584/stat : 21584 (java) S 21578 21580 18146 0 -1 4202560 109 0 0 0 3 1 0 0 20 0 19 0 281067178 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667560028584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21585] ppid=21578 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/21580/task/21585/stat : 21585 (java) S 21578 21580 18146 0 -1 4202560 92 0 0 0 4 1 0 0 20 0 19 0 281067178 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667558975784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21586] ppid=21578 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/21580/task/21586/stat : 21586 (java) S 21578 21580 18146 0 -1 4202560 115 0 0 0 4 2 0 0 20 0 19 0 281067178 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667557922984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21587] ppid=21578 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/21580/task/21587/stat : 21587 (java) S 21578 21580 18146 0 -1 4202560 27 0 0 0 4 2 0 0 20 0 19 0 281067178 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667556871208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21588] ppid=21578 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/21580/task/21588/stat : 21588 (java) S 21578 21580 18146 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 19 0 281067178 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667555818408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21589] ppid=21578 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/21580/task/21589/stat : 21589 (java) S 21578 21580 18146 0 -1 4202560 19 0 0 0 1 2 0 0 20 0 19 0 281067178 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667554765608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21590] ppid=21578 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/21580/task/21590/stat : 21590 (java) S 21578 21580 18146 0 -1 4202560 106 0 0 0 2 0 0 0 20 0 19 0 281067178 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667553712808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21591] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21591/stat : 21591 (java) S 21578 21580 18146 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667541301736 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21592] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21592/stat : 21592 (java) S 21578 21580 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667540247800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21593] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21593/stat : 21593 (java) S 21578 21580 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667539194888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21594] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21594/stat : 21594 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667538143376 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21595] ppid=21578 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/21580/task/21595/stat : 21595 (java) S 21578 21580 18146 0 -1 4202560 2531 0 0 0 49 0 0 0 20 0 19 0 281067183 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667537091512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21596] ppid=21578 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/21580/task/21596/stat : 21596 (java) S 21578 21580 18146 0 -1 4202560 2411 0 0 0 38 2 0 0 20 0 19 0 281067183 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667536038712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21597] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21597/stat : 21597 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667534986104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21598] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21598/stat : 21598 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667533933512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21599] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21599/stat : 21599 (java) S 21578 21580 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281067265 9856004096 86289 33554432000 1073741824 1073778376 140733790019472 140667532879016 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 2.16 2.06 2.01 3/213 21599
/proc/meminfo: memFree=29673420/32873844 swapFree=7900/7900
[pid=21580] ppid=21578 vsize=9625004 CPUtime=7.62 cores=0,2,4,6
/proc/21580/stat : 21580 (java) S 21578 21580 18146 0 -1 4202496 9772 0 1 0 742 20 0 0 20 0 19 0 281067176 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140733790010608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21580/statm: 2406251 97239 2271 9 0 2396937 0
[pid=21580/tid=21582] ppid=21578 vsize=9625004 CPUtime=6.12 cores=0,2,4,6
/proc/21580/task/21582/stat : 21582 (java) R 21578 21580 18146 0 -1 4202560 2837 0 1 0 606 6 0 0 20 0 19 0 281067177 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667717123408 140667578466920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21583] ppid=21578 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/21580/task/21583/stat : 21583 (java) S 21578 21580 18146 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 281067178 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667561081384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21584] ppid=21578 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/21580/task/21584/stat : 21584 (java) S 21578 21580 18146 0 -1 4202560 138 0 0 0 4 1 0 0 20 0 19 0 281067178 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667560028584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21585] ppid=21578 vsize=9625004 CPUtime=0.09 cores=0,2,4,6
/proc/21580/task/21585/stat : 21585 (java) S 21578 21580 18146 0 -1 4202560 112 0 0 0 7 2 0 0 20 0 19 0 281067178 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667558975784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21586] ppid=21578 vsize=9625004 CPUtime=0.08 cores=0,2,4,6
/proc/21580/task/21586/stat : 21586 (java) S 21578 21580 18146 0 -1 4202560 122 0 0 0 5 3 0 0 20 0 19 0 281067178 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667557922984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21587] ppid=21578 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/21580/task/21587/stat : 21587 (java) S 21578 21580 18146 0 -1 4202560 38 0 0 0 5 2 0 0 20 0 19 0 281067178 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667556871208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21588] ppid=21578 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/21580/task/21588/stat : 21588 (java) S 21578 21580 18146 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 19 0 281067178 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667555818408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21589] ppid=21578 vsize=9625004 CPUtime=0.06 cores=0,2,4,6
/proc/21580/task/21589/stat : 21589 (java) S 21578 21580 18146 0 -1 4202560 40 0 0 0 3 3 0 0 20 0 19 0 281067178 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667554765608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21590] ppid=21578 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/21580/task/21590/stat : 21590 (java) S 21578 21580 18146 0 -1 4202560 110 0 0 0 3 0 0 0 20 0 19 0 281067178 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667553712808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21591] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21591/stat : 21591 (java) S 21578 21580 18146 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667541301736 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21592] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21592/stat : 21592 (java) S 21578 21580 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667540247800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21593] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21593/stat : 21593 (java) S 21578 21580 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667539194888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21594] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21594/stat : 21594 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667538143376 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21595] ppid=21578 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/21580/task/21595/stat : 21595 (java) S 21578 21580 18146 0 -1 4202560 2531 0 0 0 51 0 0 0 20 0 19 0 281067183 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667537091512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21596] ppid=21578 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/21580/task/21596/stat : 21596 (java) S 21578 21580 18146 0 -1 4202560 2411 0 0 0 38 2 0 0 20 0 19 0 281067183 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667536038712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21597] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21597/stat : 21597 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667534986104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21598] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21598/stat : 21598 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667533933512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21599] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21599/stat : 21599 (java) S 21578 21580 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281067265 9856004096 97239 33554432000 1073741824 1073778376 140733790019472 140667532879016 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=21580/tid=21588] ppid=21578 vsize=9625004 CPUtime=4.4 cores=0,2,4,6
/proc/21580/task/21588/stat : 21588 (java) S 21578 21580 18146 0 -1 4202560 277 0 0 0 430 10 0 0 20 0 19 0 281067178 9856004096 139532 33554432000 1073741824 1073778376 140733790019472 140667555818408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21589] ppid=21578 vsize=9625004 CPUtime=4.28 cores=0,2,4,6
/proc/21580/task/21589/stat : 21589 (java) S 21578 21580 18146 0 -1 4202560 155 0 0 0 418 10 0 0 20 0 19 0 281067178 9856004096 139532 33554432000 1073741824 1073778376 140733790019472 140667554765608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21590] ppid=21578 vsize=9625004 CPUtime=4.4 cores=0,2,4,6
/proc/21580/task/21590/stat : 21590 (java) S 21578 21580 18146 0 -1 4202560 555 0 0 0 431 9 0 0 20 0 19 0 281067178 9856004096 139532 33554432000 1073741824 1073778376 140733790019472 140667553712808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21591] ppid=21578 vsize=9625004 CPUtime=3.48 cores=0,2,4,6
/proc/21580/task/21591/stat : 21591 (java) S 21578 21580 18146 0 -1 4202560 37869 0 0 0 313 35 0 0 20 0 19 0 281067180 9856004096 139532 33554432000 1073741824 1073778376 140733790019472 140667541301736 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21592] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21592/stat : 21592 (java) S 21578 21580 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 139532 33554432000 1073741824 1073778376 140733790019472 140667540247800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21593] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21593/stat : 21593 (java) S 21578 21580 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 139532 33554432000 1073741824 1073778376 140733790019472 140667539194888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21594] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21594/stat : 21594 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 139532 33554432000 1073741824 1073778376 140733790019472 140667538143376 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21595] ppid=21578 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/21580/task/21595/stat : 21595 (java) S 21578 21580 18146 0 -1 4202560 3065 0 0 0 69 0 0 0 20 0 19 0 281067183 9856004096 139532 33554432000 1073741824 1073778376 140733790019472 140667537091512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21596] ppid=21578 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/21580/task/21596/stat : 21596 (java) S 21578 21580 18146 0 -1 4202560 2413 0 0 0 41 2 0 0 20 0 19 0 281067183 9856004096 139532 33554432000 1073741824 1073778376 140733790019472 140667536038712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21597] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21597/stat : 21597 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 139532 33554432000 1073741824 1073778376 140733790019472 140667534986104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21598] ppid=21578 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/21580/task/21598/stat : 21598 (java) S 21578 21580 18146 0 -1 4202560 95 0 0 0 26 34 0 0 20 0 19 0 281067183 9856004096 139532 33554432000 1073741824 1073778376 140733790019472 140667533933512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21599] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21599/stat : 21599 (java) S 21578 21580 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281067265 9856004096 139532 33554432000 1073741824 1073778376 140733790019472 140667532879016 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1687.44
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/213 21672
/proc/meminfo: memFree=30233044/32873844 swapFree=7900/7900
[pid=21580] ppid=21578 vsize=9625004 CPUtime=1748.55 cores=0,2,4,6
/proc/21580/stat : 21580 (java) S 21578 21580 18146 0 -1 4202496 56595 0 1 0 174649 206 0 0 20 0 19 0 281067176 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140733790010608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21580/statm: 2406251 136494 2284 9 0 2396937 0
[pid=21580/tid=21582] ppid=21578 vsize=9625004 CPUtime=1707.05 cores=0,2,4,6
/proc/21580/task/21582/stat : 21582 (java) R 21578 21580 18146 0 -1 4202560 9604 0 1 0 170622 83 0 0 20 0 19 0 281067177 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667717123392 140667578371269 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21583] ppid=21578 vsize=9625004 CPUtime=4.44 cores=0,2,4,6
/proc/21580/task/21583/stat : 21583 (java) S 21578 21580 18146 0 -1 4202560 237 0 0 0 434 10 0 0 20 0 19 0 281067178 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667561081384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21584] ppid=21578 vsize=9625004 CPUtime=4.71 cores=0,2,4,6
/proc/21580/task/21584/stat : 21584 (java) S 21578 21580 18146 0 -1 4202560 286 0 0 0 460 11 0 0 20 0 19 0 281067178 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667560028584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21585] ppid=21578 vsize=9625004 CPUtime=4.69 cores=0,2,4,6
/proc/21580/task/21585/stat : 21585 (java) S 21578 21580 18146 0 -1 4202560 286 0 0 0 457 12 0 0 20 0 19 0 281067178 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667558975784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21586] ppid=21578 vsize=9625004 CPUtime=4.59 cores=0,2,4,6
/proc/21580/task/21586/stat : 21586 (java) S 21578 21580 18146 0 -1 4202560 308 0 0 0 446 13 0 0 20 0 19 0 281067178 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667557922984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21587] ppid=21578 vsize=9625004 CPUtime=4.56 cores=0,2,4,6
/proc/21580/task/21587/stat : 21587 (java) S 21578 21580 18146 0 -1 4202560 250 0 0 0 444 12 0 0 20 0 19 0 281067178 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667556871208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21588] ppid=21578 vsize=9625004 CPUtime=4.6 cores=0,2,4,6
/proc/21580/task/21588/stat : 21588 (java) S 21578 21580 18146 0 -1 4202560 279 0 0 0 450 10 0 0 20 0 19 0 281067178 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667555818408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21589] ppid=21578 vsize=9625004 CPUtime=4.47 cores=0,2,4,6
/proc/21580/task/21589/stat : 21589 (java) S 21578 21580 18146 0 -1 4202560 158 0 0 0 436 11 0 0 20 0 19 0 281067178 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667554765608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21590] ppid=21578 vsize=9625004 CPUtime=4.59 cores=0,2,4,6
/proc/21580/task/21590/stat : 21590 (java) S 21578 21580 18146 0 -1 4202560 556 0 0 0 450 9 0 0 20 0 19 0 281067178 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667553712808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21591] ppid=21578 vsize=9625004 CPUtime=3.5 cores=0,2,4,6
/proc/21580/task/21591/stat : 21591 (java) S 21578 21580 18146 0 -1 4202560 37871 0 0 0 314 36 0 0 20 0 19 0 281067180 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667541301736 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21592] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21592/stat : 21592 (java) S 21578 21580 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667540247800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21593] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21593/stat : 21593 (java) S 21578 21580 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667539194888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21594] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21594/stat : 21594 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667538143376 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21595] ppid=21578 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/21580/task/21595/stat : 21595 (java) S 21578 21580 18146 0 -1 4202560 3065 0 0 0 69 0 0 0 20 0 19 0 281067183 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667537091512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21596] ppid=21578 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/21580/task/21596/stat : 21596 (java) S 21578 21580 18146 0 -1 4202560 2413 0 0 0 41 2 0 0 20 0 19 0 281067183 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667536038712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21597] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21597/stat : 21597 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667534986104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21598] ppid=21578 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/21580/task/21598/stat : 21598 (java) S 21578 21580 18146 0 -1 4202560 97 0 0 0 27 35 0 0 20 0 19 0 281067183 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667533933512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21599] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21599/stat : 21599 (java) S 21578 21580 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281067265 9856004096 136494 33554432000 1073741824 1073778376 140733790019472 140667532879016 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1748.55
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772.7 s]
/proc/loadavg: 2.04 2.05 2.01 3/213 21672
/proc/meminfo: memFree=30177848/32873844 swapFree=7900/7900
[pid=21580] ppid=21578 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/21580/stat : 21580 (java) S 21578 21580 18146 0 -1 4202496 57571 0 1 0 179794 209 0 0 20 0 19 0 281067176 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140733790010608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21580/statm: 2406251 136717 2284 9 0 2396937 0
[pid=21580/tid=21582] ppid=21578 vsize=9625004 CPUtime=1756.95 cores=0,2,4,6
/proc/21580/task/21582/stat : 21582 (java) R 21578 21580 18146 0 -1 4202560 10213 0 1 0 175611 84 0 0 20 0 19 0 281067177 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667717123408 140667578371199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21583] ppid=21578 vsize=9625004 CPUtime=4.63 cores=0,2,4,6
/proc/21580/task/21583/stat : 21583 (java) S 21578 21580 18146 0 -1 4202560 251 0 0 0 453 10 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667561081384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21584] ppid=21578 vsize=9625004 CPUtime=4.9 cores=0,2,4,6
/proc/21580/task/21584/stat : 21584 (java) S 21578 21580 18146 0 -1 4202560 324 0 0 0 479 11 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667560028584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21585] ppid=21578 vsize=9625004 CPUtime=4.89 cores=0,2,4,6
/proc/21580/task/21585/stat : 21585 (java) S 21578 21580 18146 0 -1 4202560 288 0 0 0 476 13 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667558975784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21586] ppid=21578 vsize=9625004 CPUtime=4.79 cores=0,2,4,6
/proc/21580/task/21586/stat : 21586 (java) S 21578 21580 18146 0 -1 4202560 342 0 0 0 466 13 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667557922984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21587] ppid=21578 vsize=9625004 CPUtime=4.73 cores=0,2,4,6
/proc/21580/task/21587/stat : 21587 (java) S 21578 21580 18146 0 -1 4202560 394 0 0 0 461 12 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667556871208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21588] ppid=21578 vsize=9625004 CPUtime=4.79 cores=0,2,4,6
/proc/21580/task/21588/stat : 21588 (java) S 21578 21580 18146 0 -1 4202560 281 0 0 0 469 10 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667555818408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21589] ppid=21578 vsize=9625004 CPUtime=4.69 cores=0,2,4,6
/proc/21580/task/21589/stat : 21589 (java) S 21578 21580 18146 0 -1 4202560 242 0 0 0 458 11 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667554765608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21590] ppid=21578 vsize=9625004 CPUtime=4.78 cores=0,2,4,6
/proc/21580/task/21590/stat : 21590 (java) S 21578 21580 18146 0 -1 4202560 557 0 0 0 469 9 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667553712808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21591] ppid=21578 vsize=9625004 CPUtime=3.5 cores=0,2,4,6
/proc/21580/task/21591/stat : 21591 (java) S 21578 21580 18146 0 -1 4202560 37915 0 0 0 314 36 0 0 20 0 19 0 281067180 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667541301736 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21592] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21592/stat : 21592 (java) S 21578 21580 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667540247800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21593] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21593/stat : 21593 (java) S 21578 21580 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667539194888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21594] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21594/stat : 21594 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667538143376 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21595] ppid=21578 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/21580/task/21595/stat : 21595 (java) S 21578 21580 18146 0 -1 4202560 3065 0 0 0 69 0 0 0 20 0 19 0 281067183 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667537091512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21596] ppid=21578 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/21580/task/21596/stat : 21596 (java) S 21578 21580 18146 0 -1 4202560 2413 0 0 0 41 2 0 0 20 0 19 0 281067183 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667536038712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21597] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21597/stat : 21597 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667534986104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21598] ppid=21578 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/21580/task/21598/stat : 21598 (java) S 21578 21580 18146 0 -1 4202560 101 0 0 0 28 36 0 0 20 0 19 0 281067183 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667533933512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21599] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21599/stat : 21599 (java) S 21578 21580 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281067265 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667532879016 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

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

Solver just ended. Dumping a history of the last processes samples

[startup+1772.7 s]
/proc/loadavg: 2.04 2.05 2.01 3/213 21672
/proc/meminfo: memFree=30177848/32873844 swapFree=7900/7900
[pid=21580] ppid=21578 vsize=9625004 CPUtime=1800.03 cores=0,2,4,6
/proc/21580/stat : 21580 (java) S 21578 21580 18146 0 -1 4202496 57571 0 1 0 179794 209 0 0 20 0 19 0 281067176 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140733790010608 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21580/statm: 2406251 136717 2284 9 0 2396937 0
[pid=21580/tid=21582] ppid=21578 vsize=9625004 CPUtime=1756.95 cores=0,2,4,6
/proc/21580/task/21582/stat : 21582 (java) R 21578 21580 18146 0 -1 4202560 10213 0 1 0 175611 84 0 0 20 0 19 0 281067177 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667717123408 140667578371199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21583] ppid=21578 vsize=9625004 CPUtime=4.63 cores=0,2,4,6
/proc/21580/task/21583/stat : 21583 (java) S 21578 21580 18146 0 -1 4202560 251 0 0 0 453 10 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667561081384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21584] ppid=21578 vsize=9625004 CPUtime=4.9 cores=0,2,4,6
/proc/21580/task/21584/stat : 21584 (java) S 21578 21580 18146 0 -1 4202560 324 0 0 0 479 11 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667560028584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21585] ppid=21578 vsize=9625004 CPUtime=4.89 cores=0,2,4,6
/proc/21580/task/21585/stat : 21585 (java) S 21578 21580 18146 0 -1 4202560 288 0 0 0 476 13 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667558975784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21586] ppid=21578 vsize=9625004 CPUtime=4.79 cores=0,2,4,6
/proc/21580/task/21586/stat : 21586 (java) S 21578 21580 18146 0 -1 4202560 342 0 0 0 466 13 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667557922984 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21587] ppid=21578 vsize=9625004 CPUtime=4.73 cores=0,2,4,6
/proc/21580/task/21587/stat : 21587 (java) S 21578 21580 18146 0 -1 4202560 394 0 0 0 461 12 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667556871208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21588] ppid=21578 vsize=9625004 CPUtime=4.79 cores=0,2,4,6
/proc/21580/task/21588/stat : 21588 (java) S 21578 21580 18146 0 -1 4202560 281 0 0 0 469 10 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667555818408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21589] ppid=21578 vsize=9625004 CPUtime=4.69 cores=0,2,4,6
/proc/21580/task/21589/stat : 21589 (java) S 21578 21580 18146 0 -1 4202560 242 0 0 0 458 11 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667554765608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21590] ppid=21578 vsize=9625004 CPUtime=4.78 cores=0,2,4,6
/proc/21580/task/21590/stat : 21590 (java) S 21578 21580 18146 0 -1 4202560 557 0 0 0 469 9 0 0 20 0 19 0 281067178 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667553712808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21591] ppid=21578 vsize=9625004 CPUtime=3.5 cores=0,2,4,6
/proc/21580/task/21591/stat : 21591 (java) S 21578 21580 18146 0 -1 4202560 37915 0 0 0 314 36 0 0 20 0 19 0 281067180 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667541301736 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21592] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21592/stat : 21592 (java) S 21578 21580 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667540247800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21593] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21593/stat : 21593 (java) S 21578 21580 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281067180 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667539194888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21594] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21594/stat : 21594 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667538143376 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21595] ppid=21578 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/21580/task/21595/stat : 21595 (java) S 21578 21580 18146 0 -1 4202560 3065 0 0 0 69 0 0 0 20 0 19 0 281067183 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667537091512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21580/tid=21596] ppid=21578 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/21580/task/21596/stat : 21596 (java) S 21578 21580 18146 0 -1 4202560 2413 0 0 0 41 2 0 0 20 0 19 0 281067183 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667536038712 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21580/tid=21597] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21597/stat : 21597 (java) S 21578 21580 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281067183 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667534986104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21580/tid=21598] ppid=21578 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/21580/task/21598/stat : 21598 (java) S 21578 21580 18146 0 -1 4202560 101 0 0 0 28 36 0 0 20 0 19 0 281067183 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667533933512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21580/tid=21599] ppid=21578 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21580/task/21599/stat : 21599 (java) S 21578 21580 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281067265 9856004096 136717 33554432000 1073741824 1073778376 140733790019472 140667532879016 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1772.77
CPU time (s): 1800.83
CPU user time (s): 1798.22
CPU system time (s): 2.6116
CPU usage (%): 101.583
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.22
system time used= 2.6116
maximum resident set size= 2840536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57612
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77407
involuntary context switches= 116136

runsolver used 6.549 second user time and 13.9039 second system time

The end

Begin job on node137 at 2012-05-27 22:10:26
IDJOB=3710148
IDBENCH=2365
IDSOLVER=2289
FILE ID=node137/3710148-1338149426
RUNJOBID= node137-1338140231-20453
PBS_JOBID= 14624475
Free space on /tmp= 71484 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710148-1338149426/watcher-3710148-1338149426 -o /tmp/evaluation-result-3710148-1338149426/solver-3710148-1338149426 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710148-1338149426.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 433b539d7c7c8ff139e6ea6f7acee573
RANDOM SEED=1296698391

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30036128 kB
Buffers:          328364 kB
Cached:           587356 kB
SwapCached:        20904 kB
Active:          1863328 kB
Inactive:         125140 kB
Active(anon):    1051536 kB
Inactive(anon):    23688 kB
Active(file):     811792 kB
Inactive(file):   101452 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67082664 kB
Dirty:              3792 kB
Writeback:             0 kB
AnonPages:       1065668 kB
Mapped:            17096 kB
Shmem:                 0 kB
Slab:             704732 kB
SReclaimable:     145968 kB
SUnreclaim:       558764 kB
KernelStack:        1592 kB
PageTables:         6208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1737920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1028096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71488 MiB
End job on node137 at 2012-05-27 22:40:01