Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 67762872 | 1801.21 | 1795.87 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb |
MD5SUM | c716bc6c519760d619aa6878c926054c |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 46574767 |
Best CPU time to get the best result obtained on this benchmark | 1800.45 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 31249460 |
Optimality of the best value was proved | NO |
Number of variables | 6402 |
Total number of constraints | 4465 |
Number of constraints which are clauses | 2785 |
Number of constraints which are cardinality constraints (but not clauses) | 1428 |
Number of constraints which are nor clauses,nor cardinality constraints | 252 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 511 |
Number of terms in the objective function | 4170 |
Biggest coefficient in the objective function | 23582998528 |
Number of bits for the biggest coefficient in the objective function | 35 |
Sum of the numbers in the objective function | 2904924551250 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 1024000000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 2904924551250 |
Number of bits of the biggest sum of numbers | 42 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.1.1.v20090612 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1342000320 0.08/0.15 c Max memory 1344274432 0.08/0.15 c Total memory 1344274432 0.08/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c MiniSAT restarts strategy 0.22/0.22 c Memory based learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c solving HOME/instance-1856117-1244902844.opb 0.22/0.22 c reading problem ... 1.62/1.05 c ... done. Wall clock time 0.837s. 1.62/1.05 c #vars 6402 1.62/1.05 c #constraints 4914 1.62/1.05 c constraints type 1.62/1.05 c org.sat4j.minisat.constraints.card.MinWatchCard => 173 1.62/1.05 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 85 1.62/1.05 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 1571 1.62/1.05 c org.sat4j.pb.constraints.pb.MaxWatchPb => 252 3.37/2.08 c SATISFIABLE 3.37/2.08 c OPTIMIZING... 3.37/2.08 c Got one! Elapsed wall clock time (in seconds):1.869 3.37/2.08 o 112254388 4.86/3.38 c Got one! Elapsed wall clock time (in seconds):3.163 4.86/3.38 o 108848595 5.41/3.80 c Got one! Elapsed wall clock time (in seconds):3.588 5.41/3.80 o 70563409 6.48/4.81 c Got one! Elapsed wall clock time (in seconds):4.591 6.48/4.81 o 67762872 1800.04/1795.22 c starts : 40 1800.04/1795.22 c conflicts : 1212316 1800.04/1795.22 c decisions : 1270245 1800.04/1795.22 c propagations : 26904803 1800.04/1795.22 c inspects : 2489064029 1800.04/1795.22 c learnt literals : 0 1800.04/1795.22 c learnt binary clauses : 106 1800.04/1795.22 c learnt ternary clauses : 0 1800.04/1795.22 c learnt clauses : 1212316 1800.04/1795.22 c ignored clauses : 0 1800.04/1795.22 c root simplifications : 0 1800.04/1795.22 c removed literals (reason simplification) : 28100726 1800.04/1795.22 c reason swapping (by a shorter reason) : 0 1800.04/1795.22 c Calls to reduceDB : 0 1800.04/1795.22 c speed (assignments/second) : 15027.217864114544 1800.04/1795.22 c non guided choices 4270 1800.82/1795.61 c learnt constraints type 1800.82/1795.61 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 1212336 1800.82/1795.61 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 106 1800.82/1795.61 c constraints type 1800.82/1795.61 c org.sat4j.minisat.constraints.card.MinWatchCard => 173 1800.82/1795.61 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 85 1800.82/1795.61 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 1571 1800.82/1795.61 c org.sat4j.pb.constraints.pb.MaxWatchPb => 253 1800.82/1795.61 s SATISFIABLE 1800.82/1795.68 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 1801.02/1795.71 c objective function=67762872 1801.02/1795.71 c Total wall clock time (in seconds): 1795.497
OK 67762872
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856117-1244902844/watcher-1856117-1244902844 -o /tmp/evaluation-result-1856117-1244902844/solver-1856117-1244902844 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856117-1244902844.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.84 0.95 0.98 3/65 11850 /proc/meminfo: memFree=1362976/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=152 CPUtime=0 /proc/11850/stat : 11850 (java6) R 11848 11850 11813 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 157883816 155648 26 1992294400 134512640 134550932 4294956176 18446744073709551615 9273643 0 0 4096 0 0 0 0 17 1 0 0 /proc/11850/statm: 38 26 19 9 0 4 0 [startup+0.102704 s] /proc/loadavg: 0.84 0.95 0.98 3/65 11850 /proc/meminfo: memFree=1362976/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1472584 CPUtime=0.08 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 3615 0 1 0 6 2 0 0 18 0 12 0 157883816 1507926016 3358 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11850/statm: 368146 3358 1068 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.201715 s] /proc/loadavg: 0.84 0.95 0.98 3/65 11850 /proc/meminfo: memFree=1362976/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1474596 CPUtime=0.22 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 4719 0 1 0 19 3 0 0 18 0 12 0 157883816 1509986304 4457 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11850/statm: 368649 4457 1340 9 0 365992 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 1474596 [startup+0.301725 s] /proc/loadavg: 0.84 0.95 0.98 3/65 11850 /proc/meminfo: memFree=1362976/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1474776 CPUtime=0.35 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 5070 0 1 0 32 3 0 0 18 0 12 0 157883816 1510170624 4808 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11850/statm: 368694 4808 1358 9 0 366037 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1474776 [startup+0.701773 s] /proc/loadavg: 0.84 0.95 0.98 3/65 11850 /proc/meminfo: memFree=1362976/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1476532 CPUtime=1.03 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 9390 0 1 0 98 5 0 0 18 0 12 0 157883816 1511968768 8653 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11850/statm: 369133 8653 1400 9 0 366476 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 1476532 [startup+1.50186 s] /proc/loadavg: 1.01 0.98 0.99 4/77 11862 /proc/meminfo: memFree=1305024/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1488592 CPUtime=2.59 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 21749 0 1 0 249 10 0 0 18 0 13 0 157883816 1524318208 17336 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11850/statm: 372148 17336 1421 9 0 369491 0 [pid=11850/tid=11852] ppid=11848 vsize=1488592 CPUtime=1.03 /proc/11850/task/11852/stat : 11852 (java) R 11848 11850 11813 0 -1 64 12690 0 1 0 98 5 0 0 21 0 13 0 157883817 1524318208 17336 1992294400 134512640 134550932 4294956016 18446744073709551615 4109491965 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11853] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11853/stat : 11853 (java) S 11848 11850 11813 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 157883819 1524318208 17336 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11854] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11854/stat : 11854 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 157883819 1524318208 17336 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11855] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11855/stat : 11855 (java) S 11848 11850 11813 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 157883820 1524318208 17336 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11856] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11856/stat : 11856 (java) S 11848 11850 11813 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 157883821 1524318208 17336 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11857] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11857/stat : 11857 (java) S 11848 11850 11813 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 157883821 1524318208 17336 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11858] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11858/stat : 11858 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157883825 1524318208 17336 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11859] ppid=11848 vsize=1488592 CPUtime=0.62 /proc/11850/task/11859/stat : 11859 (java) S 11848 11850 11813 0 -1 64 2576 0 0 0 61 1 0 0 17 0 13 0 157883825 1524318208 17336 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11860] ppid=11848 vsize=1488592 CPUtime=0.91 /proc/11850/task/11860/stat : 11860 (java) S 11848 11850 11813 0 -1 64 5738 0 0 0 89 2 0 0 17 0 13 0 157883825 1524318208 17336 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11861] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11861/stat : 11861 (java) S 11848 11850 11813 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157883825 1524318208 17336 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11862] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11862/stat : 11862 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157883825 1524318208 17336 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.59 Current children cumulated vsize (KiB) 1488592 [startup+3.10203 s] /proc/loadavg: 1.01 0.98 0.99 4/78 11863 /proc/meminfo: memFree=1284536/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1488592 CPUtime=4.65 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 31437 0 1 0 450 15 0 0 18 0 13 0 157883816 1524318208 25851 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11850/statm: 372148 25851 1423 9 0 369491 0 [pid=11850/tid=11852] ppid=11848 vsize=1488592 CPUtime=2.32 /proc/11850/task/11852/stat : 11852 (java) R 11848 11850 11813 0 -1 64 21150 0 1 0 222 10 0 0 24 0 13 0 157883817 1524318208 25851 1992294400 134512640 134550932 4294956016 18446744073709551615 4109517127 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11853] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11853/stat : 11853 (java) S 11848 11850 11813 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 157883819 1524318208 25851 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11854] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11854/stat : 11854 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 157883819 1524318208 25851 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11855] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11855/stat : 11855 (java) S 11848 11850 11813 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 157883820 1524318208 25851 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11856] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11856/stat : 11856 (java) S 11848 11850 11813 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 157883821 1524318208 25851 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11857] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11857/stat : 11857 (java) S 11848 11850 11813 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 157883821 1524318208 25852 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11858] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11858/stat : 11858 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157883825 1524318208 25852 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11859] ppid=11848 vsize=1488592 CPUtime=0.95 /proc/11850/task/11859/stat : 11859 (java) S 11848 11850 11813 0 -1 64 3038 0 0 0 94 1 0 0 16 0 13 0 157883825 1524318208 25852 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11860] ppid=11848 vsize=1488592 CPUtime=1.35 /proc/11850/task/11860/stat : 11860 (java) S 11848 11850 11813 0 -1 64 6504 0 0 0 133 2 0 0 15 0 13 0 157883825 1524318208 25852 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11861] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11861/stat : 11861 (java) S 11848 11850 11813 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157883825 1524318208 25853 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11862] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11862/stat : 11862 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157883825 1524318208 25853 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11863] ppid=11848 vsize=1488592 CPUtime=0 /proc/11850/task/11863/stat : 11863 (java) S 11848 11850 11813 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 157883959 1524318208 25853 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.65 Current children cumulated vsize (KiB) 1488592 [startup+6.30239 s] /proc/loadavg: 1.01 0.98 0.99 2/78 11863 /proc/meminfo: memFree=1220928/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1487064 CPUtime=7.99 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 42760 0 1 0 779 20 0 0 18 0 13 0 157883816 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11850/statm: 371766 36662 1432 9 0 369109 0 [pid=11850/tid=11852] ppid=11848 vsize=1487064 CPUtime=5.47 /proc/11850/task/11852/stat : 11852 (java) R 11848 11850 11813 0 -1 64 30963 0 1 0 533 14 0 0 25 0 13 0 157883817 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4109761486 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11853] ppid=11848 vsize=1487064 CPUtime=0.01 /proc/11850/task/11853/stat : 11853 (java) S 11848 11850 11813 0 -1 64 541 0 0 0 1 0 0 0 16 0 13 0 157883819 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11854] ppid=11848 vsize=1487064 CPUtime=0.01 /proc/11850/task/11854/stat : 11854 (java) S 11848 11850 11813 0 -1 64 951 0 0 0 1 0 0 0 16 0 13 0 157883819 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11855] ppid=11848 vsize=1487064 CPUtime=0 /proc/11850/task/11855/stat : 11855 (java) S 11848 11850 11813 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157883820 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11856] ppid=11848 vsize=1487064 CPUtime=0 /proc/11850/task/11856/stat : 11856 (java) S 11848 11850 11813 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 157883821 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11857] ppid=11848 vsize=1487064 CPUtime=0 /proc/11850/task/11857/stat : 11857 (java) S 11848 11850 11813 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 157883821 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11858] ppid=11848 vsize=1487064 CPUtime=0 /proc/11850/task/11858/stat : 11858 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157883825 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11859] ppid=11848 vsize=1487064 CPUtime=0.98 /proc/11850/task/11859/stat : 11859 (java) S 11848 11850 11813 0 -1 64 3040 0 0 0 97 1 0 0 16 0 13 0 157883825 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11860] ppid=11848 vsize=1487064 CPUtime=1.46 /proc/11850/task/11860/stat : 11860 (java) S 11848 11850 11813 0 -1 64 6512 0 0 0 144 2 0 0 16 0 13 0 157883825 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11861] ppid=11848 vsize=1487064 CPUtime=0 /proc/11850/task/11861/stat : 11861 (java) S 11848 11850 11813 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157883825 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11862] ppid=11848 vsize=1487064 CPUtime=0 /proc/11850/task/11862/stat : 11862 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157883825 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11863] ppid=11848 vsize=1487064 CPUtime=0 /proc/11850/task/11863/stat : 11863 (java) S 11848 11850 11813 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 157883959 1522753536 36662 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.99 Current children cumulated vsize (KiB) 1487064 [startup+12.7021 s] /proc/loadavg: 1.01 0.98 0.99 2/78 11863 /proc/meminfo: memFree=1209472/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1486508 CPUtime=14.47 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 45750 0 1 0 1425 22 0 0 18 0 13 0 157883816 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11850/statm: 371627 39473 1432 9 0 368970 0 [pid=11850/tid=11852] ppid=11848 vsize=1486508 CPUtime=11.81 /proc/11850/task/11852/stat : 11852 (java) R 11848 11850 11813 0 -1 64 30970 0 1 0 1167 14 0 0 25 0 13 0 157883817 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4109624470 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11853] ppid=11848 vsize=1486508 CPUtime=0.04 /proc/11850/task/11853/stat : 11853 (java) S 11848 11850 11813 0 -1 64 1949 0 0 0 3 1 0 0 16 0 13 0 157883819 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11854] ppid=11848 vsize=1486508 CPUtime=0.04 /proc/11850/task/11854/stat : 11854 (java) S 11848 11850 11813 0 -1 64 2514 0 0 0 3 1 0 0 16 0 13 0 157883819 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11855] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11855/stat : 11855 (java) S 11848 11850 11813 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 157883820 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11856] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11856/stat : 11856 (java) S 11848 11850 11813 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 157883821 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11857] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11857/stat : 11857 (java) S 11848 11850 11813 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 157883821 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11858] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11858/stat : 11858 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157883825 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11859] ppid=11848 vsize=1486508 CPUtime=1.01 /proc/11850/task/11859/stat : 11859 (java) S 11848 11850 11813 0 -1 64 3041 0 0 0 100 1 0 0 17 0 13 0 157883825 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11860] ppid=11848 vsize=1486508 CPUtime=1.52 /proc/11850/task/11860/stat : 11860 (java) S 11848 11850 11813 0 -1 64 6519 0 0 0 150 2 0 0 16 0 13 0 157883825 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11861] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11861/stat : 11861 (java) S 11848 11850 11813 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157883825 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11862] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11862/stat : 11862 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157883825 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11863] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11863/stat : 11863 (java) S 11848 11850 11813 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 157883959 1522184192 39473 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.47 Current children cumulated vsize (KiB) 1486508 [startup+25.5016 s] /proc/loadavg: 1.01 0.98 0.99 2/78 11863 /proc/meminfo: memFree=1181376/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1486508 CPUtime=27.35 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 53763 0 1 0 2709 26 0 0 18 0 13 0 157883816 1522184192 46545 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11850/statm: 371627 46545 1432 9 0 368970 0 [pid=11850/tid=11852] ppid=11848 vsize=1486508 CPUtime=24.51 /proc/11850/task/11852/stat : 11852 (java) R 11848 11850 11813 0 -1 64 30972 0 1 0 2437 14 0 0 25 0 13 0 157883817 1522184192 46545 1992294400 134512640 134550932 4294956016 18446744073709551615 4109520166 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11853] ppid=11848 vsize=1486508 CPUtime=0.13 /proc/11850/task/11853/stat : 11853 (java) S 11848 11850 11813 0 -1 64 6707 0 0 0 10 3 0 0 17 0 13 0 157883819 1522184192 46545 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11854] ppid=11848 vsize=1486508 CPUtime=0.13 /proc/11850/task/11854/stat : 11854 (java) S 11848 11850 11813 0 -1 64 5764 0 0 0 10 3 0 0 17 0 13 0 157883819 1522184192 46545 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11855] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11855/stat : 11855 (java) S 11848 11850 11813 0 -1 64 16 0 0 0 0 0 0 0 16 0 13 0 157883820 1522184192 46545 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11856] ppid=11848 vsize=1486508 CPUtime=0 ################ # More data... # ################ [pid=11850/tid=11855] ppid=11848 vsize=1486508 CPUtime=0.01 /proc/11850/task/11855/stat : 11855 (java) S 11848 11850 11813 0 -1 64 16 0 0 0 1 0 0 0 16 0 13 0 157883820 1522184192 183204 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11856] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11856/stat : 11856 (java) S 11848 11850 11813 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 157883821 1522184192 183204 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11857] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11857/stat : 11857 (java) S 11848 11850 11813 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 157883821 1522184192 183204 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11858] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11858/stat : 11858 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157883825 1522184192 183204 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11859] ppid=11848 vsize=1486508 CPUtime=1.01 /proc/11850/task/11859/stat : 11859 (java) S 11848 11850 11813 0 -1 64 3041 0 0 0 100 1 0 0 17 0 13 0 157883825 1522184192 183204 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11860] ppid=11848 vsize=1486508 CPUtime=1.56 /proc/11850/task/11860/stat : 11860 (java) S 11848 11850 11813 0 -1 64 6519 0 0 0 154 2 0 0 16 0 13 0 157883825 1522184192 183204 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11861] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11861/stat : 11861 (java) S 11848 11850 11813 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157883825 1522184192 183204 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11862] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11862/stat : 11862 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157883825 1522184192 183204 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11863] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11863/stat : 11863 (java) S 11848 11850 11813 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 157883959 1522184192 183204 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1727.07 Current children cumulated vsize (KiB) 1486508 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11863 /proc/meminfo: memFree=623616/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1486508 CPUtime=1787.14 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 214762 0 1 0 178607 107 0 0 18 0 13 0 157883816 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11850/statm: 371627 185560 1432 9 0 368970 0 [pid=11850/tid=11852] ppid=11848 vsize=1486508 CPUtime=1777.1 /proc/11850/task/11852/stat : 11852 (java) R 11848 11850 11813 0 -1 64 31055 0 1 0 177692 18 0 0 25 0 13 0 157883817 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4109807130 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11853] ppid=11848 vsize=1486508 CPUtime=3.7 /proc/11850/task/11853/stat : 11853 (java) S 11848 11850 11813 0 -1 64 84736 0 0 0 330 40 0 0 16 0 13 0 157883819 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11854] ppid=11848 vsize=1486508 CPUtime=3.7 /proc/11850/task/11854/stat : 11854 (java) S 11848 11850 11813 0 -1 64 88651 0 0 0 328 42 0 0 17 0 13 0 157883819 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11855] ppid=11848 vsize=1486508 CPUtime=0.01 /proc/11850/task/11855/stat : 11855 (java) S 11848 11850 11813 0 -1 64 16 0 0 0 1 0 0 0 16 0 13 0 157883820 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11856] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11856/stat : 11856 (java) S 11848 11850 11813 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 157883821 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11857] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11857/stat : 11857 (java) S 11848 11850 11813 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 157883821 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11858] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11858/stat : 11858 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157883825 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11859] ppid=11848 vsize=1486508 CPUtime=1.01 /proc/11850/task/11859/stat : 11859 (java) S 11848 11850 11813 0 -1 64 3041 0 0 0 100 1 0 0 17 0 13 0 157883825 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11860] ppid=11848 vsize=1486508 CPUtime=1.56 /proc/11850/task/11860/stat : 11860 (java) S 11848 11850 11813 0 -1 64 6519 0 0 0 154 2 0 0 16 0 13 0 157883825 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11861] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11861/stat : 11861 (java) S 11848 11850 11813 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157883825 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11862] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11862/stat : 11862 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157883825 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11863] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11863/stat : 11863 (java) S 11848 11850 11813 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 157883959 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1787.14 Current children cumulated vsize (KiB) 1486508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11863 /proc/meminfo: memFree=623616/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1486508 CPUtime=1800.04 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 214762 0 1 0 179897 107 0 0 18 0 13 0 157883816 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/11850/statm: 371627 185560 1432 9 0 368970 0 [pid=11850/tid=11852] ppid=11848 vsize=1486508 CPUtime=1790 /proc/11850/task/11852/stat : 11852 (java) R 11848 11850 11813 0 -1 64 31055 0 1 0 178982 18 0 0 25 0 13 0 157883817 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4109804991 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11853] ppid=11848 vsize=1486508 CPUtime=3.7 /proc/11850/task/11853/stat : 11853 (java) S 11848 11850 11813 0 -1 64 84736 0 0 0 330 40 0 0 16 0 13 0 157883819 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11854] ppid=11848 vsize=1486508 CPUtime=3.7 /proc/11850/task/11854/stat : 11854 (java) S 11848 11850 11813 0 -1 64 88651 0 0 0 328 42 0 0 17 0 13 0 157883819 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11855] ppid=11848 vsize=1486508 CPUtime=0.01 /proc/11850/task/11855/stat : 11855 (java) S 11848 11850 11813 0 -1 64 16 0 0 0 1 0 0 0 16 0 13 0 157883820 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11856] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11856/stat : 11856 (java) S 11848 11850 11813 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 157883821 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11857] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11857/stat : 11857 (java) S 11848 11850 11813 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 157883821 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11858] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11858/stat : 11858 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157883825 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11859] ppid=11848 vsize=1486508 CPUtime=1.01 /proc/11850/task/11859/stat : 11859 (java) S 11848 11850 11813 0 -1 64 3041 0 0 0 100 1 0 0 17 0 13 0 157883825 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11860] ppid=11848 vsize=1486508 CPUtime=1.56 /proc/11850/task/11860/stat : 11860 (java) S 11848 11850 11813 0 -1 64 6519 0 0 0 154 2 0 0 16 0 13 0 157883825 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11861] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11861/stat : 11861 (java) S 11848 11850 11813 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157883825 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11862] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11862/stat : 11862 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157883825 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11863] ppid=11848 vsize=1486508 CPUtime=0 /proc/11850/task/11863/stat : 11863 (java) S 11848 11850 11813 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 157883959 1522184192 185560 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1486508 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11863 /proc/meminfo: memFree=623616/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1487156 CPUtime=1800.62 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 214784 0 1 0 179955 107 0 0 16 0 15 0 157883816 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11850/statm: 371789 185582 1434 9 0 369132 0 [pid=11850/tid=11852] ppid=11848 vsize=1487156 CPUtime=1790.3 /proc/11850/task/11852/stat : 11852 (java) R 11848 11850 11813 0 -1 64 31055 0 1 0 179012 18 0 0 25 0 15 0 157883817 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4109805128 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11853] ppid=11848 vsize=1487156 CPUtime=3.7 /proc/11850/task/11853/stat : 11853 (java) S 11848 11850 11813 0 -1 64 84736 0 0 0 330 40 0 0 16 0 15 0 157883819 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11854] ppid=11848 vsize=1487156 CPUtime=3.7 /proc/11850/task/11854/stat : 11854 (java) S 11848 11850 11813 0 -1 64 88651 0 0 0 328 42 0 0 17 0 15 0 157883819 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11855] ppid=11848 vsize=1487156 CPUtime=0.01 /proc/11850/task/11855/stat : 11855 (java) S 11848 11850 11813 0 -1 64 16 0 0 0 1 0 0 0 16 0 15 0 157883820 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11856] ppid=11848 vsize=1487156 CPUtime=0 /proc/11850/task/11856/stat : 11856 (java) S 11848 11850 11813 0 -1 64 10 0 0 0 0 0 0 0 16 0 15 0 157883821 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11857] ppid=11848 vsize=1487156 CPUtime=0 /proc/11850/task/11857/stat : 11857 (java) S 11848 11850 11813 0 -1 64 7 0 0 0 0 0 0 0 16 0 15 0 157883821 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11858] ppid=11848 vsize=1487156 CPUtime=0 /proc/11850/task/11858/stat : 11858 (java) S 11848 11850 11813 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 157883825 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11859] ppid=11848 vsize=1487156 CPUtime=1.01 /proc/11850/task/11859/stat : 11859 (java) S 11848 11850 11813 0 -1 64 3041 0 0 0 100 1 0 0 17 0 15 0 157883825 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11860] ppid=11848 vsize=1487156 CPUtime=1.59 /proc/11850/task/11860/stat : 11860 (java) S 11848 11850 11813 0 -1 64 6522 0 0 0 157 2 0 0 16 0 15 0 157883825 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11861] ppid=11848 vsize=1487156 CPUtime=0 /proc/11850/task/11861/stat : 11861 (java) S 11848 11850 11813 0 -1 64 0 0 0 0 0 0 0 0 25 0 15 0 157883825 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11862] ppid=11848 vsize=1487156 CPUtime=0 /proc/11850/task/11862/stat : 11862 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 157883825 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11863] ppid=11848 vsize=1487156 CPUtime=0 /proc/11850/task/11863/stat : 11863 (java) S 11848 11850 11813 0 -1 64 4 0 0 0 0 0 0 0 21 0 15 0 157883959 1522847744 185582 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (KiB) 1487156 [startup+1795.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11863 /proc/meminfo: memFree=623616/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=1487156 CPUtime=1801.02 /proc/11850/stat : 11850 (java) S 11848 11850 11813 0 -1 0 214788 0 1 0 179995 107 0 0 16 0 15 0 157883816 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11850/statm: 371789 185586 1434 9 0 369132 0 [pid=11850/tid=11852] ppid=11848 vsize=1487156 CPUtime=1790.5 /proc/11850/task/11852/stat : 11852 (java) R 11848 11850 11813 0 -1 64 31055 0 1 0 179032 18 0 0 25 0 15 0 157883817 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 4109610015 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11853] ppid=11848 vsize=1487156 CPUtime=3.7 /proc/11850/task/11853/stat : 11853 (java) S 11848 11850 11813 0 -1 64 84736 0 0 0 330 40 0 0 16 0 15 0 157883819 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11854] ppid=11848 vsize=1487156 CPUtime=3.7 /proc/11850/task/11854/stat : 11854 (java) S 11848 11850 11813 0 -1 64 88651 0 0 0 328 42 0 0 17 0 15 0 157883819 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11855] ppid=11848 vsize=1487156 CPUtime=0.01 /proc/11850/task/11855/stat : 11855 (java) S 11848 11850 11813 0 -1 64 16 0 0 0 1 0 0 0 16 0 15 0 157883820 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11856] ppid=11848 vsize=1487156 CPUtime=0 /proc/11850/task/11856/stat : 11856 (java) S 11848 11850 11813 0 -1 64 10 0 0 0 0 0 0 0 16 0 15 0 157883821 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11857] ppid=11848 vsize=1487156 CPUtime=0 /proc/11850/task/11857/stat : 11857 (java) S 11848 11850 11813 0 -1 64 7 0 0 0 0 0 0 0 16 0 15 0 157883821 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11858] ppid=11848 vsize=1487156 CPUtime=0 /proc/11850/task/11858/stat : 11858 (java) S 11848 11850 11813 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 157883825 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11859] ppid=11848 vsize=1487156 CPUtime=1.01 /proc/11850/task/11859/stat : 11859 (java) S 11848 11850 11813 0 -1 64 3041 0 0 0 100 1 0 0 17 0 15 0 157883825 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11860] ppid=11848 vsize=1487156 CPUtime=1.66 /proc/11850/task/11860/stat : 11860 (java) R 11848 11850 11813 0 -1 64 6526 0 0 0 164 2 0 0 16 0 15 0 157883825 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 103207419 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11861] ppid=11848 vsize=1487156 CPUtime=0 /proc/11850/task/11861/stat : 11861 (java) S 11848 11850 11813 0 -1 64 0 0 0 0 0 0 0 0 25 0 15 0 157883825 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11850/tid=11862] ppid=11848 vsize=1487156 CPUtime=0 /proc/11850/task/11862/stat : 11862 (java) S 11848 11850 11813 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 157883825 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11850/tid=11863] ppid=11848 vsize=1487156 CPUtime=0 /proc/11850/task/11863/stat : 11863 (java) S 11848 11850 11813 0 -1 64 4 0 0 0 0 0 0 0 21 0 15 0 157883959 1522847744 185586 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1801.02 Current children cumulated vsize (KiB) 1487156 [startup+1795.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11863 /proc/meminfo: memFree=623616/2055920 swapFree=4191900/4192956 [pid=11850] ppid=11848 vsize=0 CPUtime=1801.13 /proc/11850/stat : 11850 (java) Z 11848 11850 11813 0 -1 1036 214793 0 1 0 180002 111 0 0 15 0 2 0 157883816 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11850/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.13 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1795.87 CPU time (s): 1801.21 CPU user time (s): 1800.02 CPU system time (s): 1.18682 CPU usage (%): 100.297 Max. virtual memory (cumulated for all children) (KiB): 1491072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.02 system time used= 1.18682 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 214793 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38204 involuntary context switches= 40428 runsolver used 2.19667 second user time and 4.35234 second system time The end
Begin job on node32 at 2009-06-13 16:20:44 IDJOB=1856117 IDBENCH=2354 IDSOLVER=682 FILE ID=node32/1856117-1244902844 PBS_JOBID= 9354517 Free space on /tmp= 66360 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856117-1244902844/watcher-1856117-1244902844 -o /tmp/evaluation-result-1856117-1244902844/solver-1856117-1244902844 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856117-1244902844.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c716bc6c519760d619aa6878c926054c RANDOM SEED=1669441981 node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1363392 kB Buffers: 66524 kB Cached: 543352 kB SwapCached: 560 kB Active: 36196 kB Inactive: 588208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1363392 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 856 kB Writeback: 0 kB Mapped: 23632 kB Slab: 53776 kB Committed_AS: 121968 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66360 MiB End job on node32 at 2009-06-13 16:50:41