Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | SAT (TO) | 25 | 1800.45 | 1758.43 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
MD5SUM | 82a3d84200b069df277c7f14e0e883d0 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | NO |
Number of variables | 6076 |
Total number of constraints | 21401 |
Number of constraints which are clauses | 21392 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 666 |
Number of terms in the objective function | 666 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 666 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 697 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.14 c See www.sat4j.org for details. 0.09/0.16 c version 2.2.0.v20100526 0.09/0.16 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.16 c java.vm.name Java HotSpot(TM) Server VM 0.09/0.16 c java.vm.version 11.2-b01 0.09/0.16 c java.vm.vendor Sun Microsystems Inc. 0.09/0.16 c sun.arch.data.model 32 0.09/0.16 c java.version 1.6.0_12 0.09/0.16 c os.name Linux 0.09/0.16 c os.version 2.6.18-164.el5 0.09/0.16 c os.arch i386 0.09/0.16 c Free memory 1393557488 0.09/0.16 c Max memory 1395916800 0.09/0.16 c Total memory 1395916800 0.09/0.16 c Number of processors 2 0.25/0.21 c Pseudo Boolean Optimization 0.25/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.25/0.21 c --- Begin Solver configuration --- 0.25/0.21 c Stops conflict analysis at the first Unique Implication Point 0.25/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@16fd0b7 0.25/0.21 c Learn all clauses as in MiniSAT 0.25/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.25/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.25/0.21 c No reason simplification 0.25/0.21 c Armin Biere (Picosat) restarts strategy 0.25/0.21 c Glucose learned constraints deletion strategy 0.25/0.21 c timeout=2147483s 0.25/0.21 c DB Simplification allowed=false 0.25/0.21 c --- End Solver configuration --- 0.25/0.21 c solving HOME/instance-2660193-1276639342.opb 0.25/0.21 c reading problem ... 1.67/1.08 c ... done. Wall clock time 0.873s. 1.67/1.08 c #vars 6076 1.67/1.08 c #constraints 21401 1.67/1.08 c constraints type 1.67/1.08 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15984 1.67/1.08 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5411 1.67/1.08 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 2.47/1.41 c SATISFIABLE 2.47/1.41 c OPTIMIZING... 2.47/1.41 c Got one! Elapsed wall clock time (in seconds):1.197 2.47/1.41 o 26 16.79/13.97 c Got one! Elapsed wall clock time (in seconds):13.762 16.79/13.97 o 25 1151.10/1125.67 c cleaning 0 clauses out of 5000 with flag 0/5000 1800.08/1758.26 c starts : 29 1800.08/1758.26 c conflicts : 6823 1800.08/1758.26 c decisions : 84902 1800.08/1758.26 c propagations : 1202358 1800.08/1758.26 c inspects : 239555368 1800.08/1758.26 c learnt literals : 0 1800.08/1758.26 c learnt binary clauses : 1 1800.08/1758.26 c learnt ternary clauses : 0 1800.08/1758.26 c learnt clauses : 6822 1800.08/1758.26 c ignored clauses : 0 1800.08/1758.26 c root simplifications : 0 1800.08/1758.26 c removed literals (reason simplification) : 0 1800.08/1758.26 c reason swapping (by a shorter reason) : 0 1800.08/1758.26 c Calls to reduceDB : 1 1800.08/1758.26 c number of reductions to clauses (during analyze) : 0 1800.08/1758.26 c number of learned constraints concerned by reduction : 0 1800.08/1758.26 c number of learning phase by resolution : 0 1800.08/1758.26 c number of learning phase by cutting planes : 0 1800.08/1758.26 c speed (assignments/second) : 689.3120226201307 1800.08/1758.26 c non guided choices 0 1800.08/1758.27 c learnt constraints type 1800.08/1758.27 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 79 1800.08/1758.27 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 54 1800.08/1758.27 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1 1800.08/1758.27 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6688 1800.08/1758.27 c constraints type 1800.08/1758.27 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15984 1800.08/1758.27 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5411 1800.08/1758.27 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.08/1758.27 s SATISFIABLE 1800.08/1758.30 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 1800.28/1758.35 c objective function=25 1800.28/1758.35 c Total wall clock time (in seconds): 1758.139
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2660193-1276639342/watcher-2660193-1276639342 -o /tmp/evaluation-result-2660193-1276639342/solver-2660193-1276639342 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660193-1276639342.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.92 0.98 0.99 3/106 6734 /proc/meminfo: memFree=1818756/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1832 CPUtime=0 /proc/6734/stat : 6734 (java6) R 6732 6734 6709 0 -1 4194304 242 0 0 0 0 0 0 0 21 0 1 0 37590496 1875968 145 1992294400 134512640 134550932 4287192304 18446744073709551615 134528019 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6734/statm: 458 148 111 10 0 63 0 [startup+0.10456 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6734 /proc/meminfo: memFree=1818756/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1524184 CPUtime=0.09 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 3971 0 1 0 7 2 0 0 18 0 12 0 37590496 1560764416 3410 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 381046 3410 1078 10 0 378348 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1524184 [startup+0.209393 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6734 /proc/meminfo: memFree=1818756/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1526260 CPUtime=0.25 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 5098 0 1 0 22 3 0 0 18 0 12 0 37590496 1562890240 4535 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 381565 4535 1347 10 0 378867 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 1526260 [startup+0.300392 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6734 /proc/meminfo: memFree=1818756/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1526260 CPUtime=0.37 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 5338 0 1 0 34 3 0 0 18 0 12 0 37590496 1562890240 4775 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 381565 4775 1362 10 0 378867 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 1526260 [startup+0.700387 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6734 /proc/meminfo: memFree=1818756/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1528180 CPUtime=1.15 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 7704 0 1 0 111 4 0 0 18 0 12 0 37590496 1564856320 7067 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 382045 7068 1403 10 0 379347 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 1528180 [startup+1.50138 s] /proc/loadavg: 0.92 0.98 0.99 4/118 6746 /proc/meminfo: memFree=1768936/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1530484 CPUtime=2.66 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 16278 0 1 0 257 9 0 0 18 0 13 0 37590496 1567215616 14893 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 382621 14893 1420 10 0 379923 0 [pid=6734/tid=6736] ppid=6732 vsize=1530484 CPUtime=1.46 /proc/6734/task/6736/stat : 6736 (java) R 6732 6734 6709 0 -1 4202560 12825 0 1 0 139 7 0 0 18 0 13 0 37590498 1567215616 14893 1992294400 134512640 134550932 4291564416 18446744073709551615 103615277 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6734/tid=6737] ppid=6732 vsize=1530484 CPUtime=0 /proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 37590499 1567215616 14893 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6738] ppid=6732 vsize=1530484 CPUtime=0 /proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 37590499 1567215616 14894 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6739] ppid=6732 vsize=1530484 CPUtime=0 /proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6709 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 13 0 37590501 1567215616 14894 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6740] ppid=6732 vsize=1530484 CPUtime=0 /proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6709 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 13 0 37590502 1567215616 14894 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6741] ppid=6732 vsize=1530484 CPUtime=0 /proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6709 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 37590502 1567215616 14894 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6742] ppid=6732 vsize=1530484 CPUtime=0 /proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 37590506 1567215616 14894 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6743] ppid=6732 vsize=1530484 CPUtime=0.57 /proc/6734/task/6743/stat : 6743 (java) R 6732 6734 6709 0 -1 4202560 1396 0 0 0 57 0 0 0 25 0 13 0 37590506 1567215616 14894 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6734/tid=6744] ppid=6732 vsize=1530484 CPUtime=0.59 /proc/6734/task/6744/stat : 6744 (java) R 6732 6734 6709 0 -1 4202560 986 0 0 0 59 0 0 0 25 0 13 0 37590506 1567215616 14894 1992294400 134512640 134550932 4291564416 18446744073709551615 104145630 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6734/tid=6745] ppid=6732 vsize=1530484 CPUtime=0 /proc/6734/task/6745/stat : 6745 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37590506 1567215616 14895 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6746] ppid=6732 vsize=1530484 CPUtime=0 /proc/6734/task/6746/stat : 6746 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 37590506 1567215616 14895 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.66 Current children cumulated vsize (KiB) 1530484 [startup+3.10136 s] /proc/loadavg: 1.17 1.03 1.01 4/119 6747 /proc/meminfo: memFree=1685848/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1544660 CPUtime=5.8 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 43759 0 1 0 560 20 0 0 18 0 13 0 37590496 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 386165 39303 1435 10 0 383467 0 [pid=6734/tid=6736] ppid=6732 vsize=1544660 CPUtime=2.85 /proc/6734/task/6736/stat : 6736 (java) R 6732 6734 6709 0 -1 4202560 32083 0 1 0 271 14 0 0 18 0 13 0 37590498 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4109582904 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6734/tid=6737] ppid=6732 vsize=1544660 CPUtime=0.02 /proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6709 0 -1 4202560 749 0 0 0 2 0 0 0 16 0 13 0 37590499 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6738] ppid=6732 vsize=1544660 CPUtime=0.02 /proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6709 0 -1 4202560 799 0 0 0 2 0 0 0 16 0 13 0 37590499 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6739] ppid=6732 vsize=1544660 CPUtime=0 /proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6709 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 13 0 37590501 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6740] ppid=6732 vsize=1544660 CPUtime=0 /proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6709 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37590502 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6741] ppid=6732 vsize=1544660 CPUtime=0 /proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6709 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37590502 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6742] ppid=6732 vsize=1544660 CPUtime=0 /proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 37590506 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6743] ppid=6732 vsize=1544660 CPUtime=1.09 /proc/6734/task/6743/stat : 6743 (java) S 6732 6734 6709 0 -1 4202560 2484 0 0 0 109 0 0 0 17 0 13 0 37590506 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6744] ppid=6732 vsize=1544660 CPUtime=1.76 /proc/6734/task/6744/stat : 6744 (java) S 6732 6734 6709 0 -1 4202560 6561 0 0 0 173 3 0 0 24 0 13 0 37590506 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6745] ppid=6732 vsize=1544660 CPUtime=0 /proc/6734/task/6745/stat : 6745 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37590506 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6746] ppid=6732 vsize=1544660 CPUtime=0 /proc/6734/task/6746/stat : 6746 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 37590506 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6747] ppid=6732 vsize=1544660 CPUtime=0 /proc/6734/task/6747/stat : 6747 (java) S 6732 6734 6709 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 13 0 37590611 1581731840 39303 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.8 Current children cumulated vsize (KiB) 1544660 [startup+6.30133 s] /proc/loadavg: 1.17 1.03 1.01 2/119 6747 /proc/meminfo: memFree=1633520/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1544088 CPUtime=9.12 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 52432 0 1 0 889 23 0 0 18 0 13 0 37590496 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 386022 47660 1435 10 0 383324 0 [pid=6734/tid=6736] ppid=6732 vsize=1544088 CPUtime=5.96 /proc/6734/task/6736/stat : 6736 (java) R 6732 6734 6709 0 -1 4202560 37626 0 1 0 580 16 0 0 24 0 13 0 37590498 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4109665795 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6734/tid=6737] ppid=6732 vsize=1544088 CPUtime=0.1 /proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6709 0 -1 4202560 2228 0 0 0 9 1 0 0 16 0 13 0 37590499 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6738] ppid=6732 vsize=1544088 CPUtime=0.09 /proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6709 0 -1 4202560 2433 0 0 0 9 0 0 0 16 0 13 0 37590499 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6739] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6709 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 13 0 37590501 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6740] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6709 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37590502 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6741] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6709 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37590502 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6742] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 37590506 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6743] ppid=6732 vsize=1544088 CPUtime=1.12 /proc/6734/task/6743/stat : 6743 (java) S 6732 6734 6709 0 -1 4202560 2484 0 0 0 112 0 0 0 15 0 13 0 37590506 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6744] ppid=6732 vsize=1544088 CPUtime=1.78 /proc/6734/task/6744/stat : 6744 (java) S 6732 6734 6709 0 -1 4202560 6561 0 0 0 175 3 0 0 15 0 13 0 37590506 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6745] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6745/stat : 6745 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37590506 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6746] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6746/stat : 6746 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 37590506 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6747] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6747/stat : 6747 (java) S 6732 6734 6709 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 13 0 37590611 1581146112 47660 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.12 Current children cumulated vsize (KiB) 1544088 [startup+12.7013 s] /proc/loadavg: 1.14 1.03 1.01 2/119 6747 /proc/meminfo: memFree=1629560/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1544088 CPUtime=15.58 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 53506 0 1 0 1535 23 0 0 18 0 13 0 37590496 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 386022 48613 1435 10 0 383324 0 [pid=6734/tid=6736] ppid=6732 vsize=1544088 CPUtime=12.28 /proc/6734/task/6736/stat : 6736 (java) R 6732 6734 6709 0 -1 4202560 37639 0 1 0 1212 16 0 0 20 0 13 0 37590498 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4109659159 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6734/tid=6737] ppid=6732 vsize=1544088 CPUtime=0.14 /proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6709 0 -1 4202560 2733 0 0 0 13 1 0 0 15 0 13 0 37590499 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6738] ppid=6732 vsize=1544088 CPUtime=0.13 /proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6709 0 -1 4202560 2989 0 0 0 13 0 0 0 16 0 13 0 37590499 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6739] ppid=6732 vsize=1544088 CPUtime=0.01 /proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6709 0 -1 4202560 31 0 0 0 1 0 0 0 15 0 13 0 37590501 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6740] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6709 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37590502 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6741] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6709 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37590502 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6742] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 37590506 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6743] ppid=6732 vsize=1544088 CPUtime=1.19 /proc/6734/task/6743/stat : 6743 (java) S 6732 6734 6709 0 -1 4202560 2484 0 0 0 119 0 0 0 15 0 13 0 37590506 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6744] ppid=6732 vsize=1544088 CPUtime=1.78 /proc/6734/task/6744/stat : 6744 (java) S 6732 6734 6709 0 -1 4202560 6561 0 0 0 175 3 0 0 15 0 13 0 37590506 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6745] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6745/stat : 6745 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37590506 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6746] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6746/stat : 6746 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 37590506 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6747] ppid=6732 vsize=1544088 CPUtime=0 /proc/6734/task/6747/stat : 6747 (java) S 6732 6734 6709 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 13 0 37590611 1581146112 48613 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.58 Current children cumulated vsize (KiB) 1544088 [startup+25.5001 s] /proc/loadavg: 1.20 1.05 1.01 2/119 6747 /proc/meminfo: memFree=1618648/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1545112 CPUtime=28.6 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 56775 0 1 0 2835 25 0 0 18 0 13 0 37590496 1582194688 51167 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 386278 51167 1436 10 0 383580 0 [pid=6734/tid=6736] ppid=6732 vsize=1545112 CPUtime=24.95 /proc/6734/task/6736/stat : 6736 (java) R 6732 6734 6709 0 -1 4202560 37959 0 1 0 2479 16 0 0 25 0 13 0 37590498 1582194688 51167 1992294400 134512640 134550932 4291564416 18446744073709551615 4109659222 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6734/tid=6737] ppid=6732 vsize=1545112 CPUtime=0.22 /proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6709 0 -1 4202560 3681 0 0 0 21 1 0 0 16 0 13 0 37590499 1582194688 51167 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6738] ppid=6732 vsize=1545112 CPUtime=0.22 /proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6709 0 -1 4202560 4371 0 0 0 21 1 0 0 15 0 13 0 37590499 1582194688 51167 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6739] ppid=6732 vsize=1545112 CPUtime=0.01 /proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6709 0 -1 4202560 31 0 0 0 1 0 0 0 15 0 13 0 37590501 1582194688 51167 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6740] ppid=6732 vsize=1545112 CPUtime=0 ################ # More data... # ################ [pid=6734/tid=6740] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6709 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37590502 1582194688 152732 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6741] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6709 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37590502 1582194688 152732 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6742] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 37590506 1582194688 152732 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6743] ppid=6732 vsize=1545112 CPUtime=1.66 /proc/6734/task/6743/stat : 6743 (java) S 6732 6734 6709 0 -1 4202560 3251 0 0 0 165 1 0 0 15 0 13 0 37590506 1582194688 152732 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6744] ppid=6732 vsize=1545112 CPUtime=2 /proc/6734/task/6744/stat : 6744 (java) S 6732 6734 6709 0 -1 4202560 6581 0 0 0 197 3 0 0 15 0 13 0 37590506 1582194688 152732 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6745] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6745/stat : 6745 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37590506 1582194688 152732 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6746] ppid=6732 vsize=1545112 CPUtime=0.01 /proc/6734/task/6746/stat : 6746 (java) S 6732 6734 6709 0 -1 4202560 99 0 0 0 1 0 0 0 15 0 13 0 37590506 1582194688 152732 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6747] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6747/stat : 6747 (java) S 6732 6734 6709 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 13 0 37590611 1582194688 152732 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1638.35 Current children cumulated vsize (KiB) 1545112 [startup+1662.3 s] /proc/loadavg: 1.14 1.10 1.03 2/119 6791 /proc/meminfo: memFree=1178820/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1545112 CPUtime=1700.38 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 176183 0 1 0 169856 182 0 0 18 0 13 0 37590496 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 386278 160654 1450 10 0 383580 0 [pid=6734/tid=6736] ppid=6732 vsize=1545112 CPUtime=1623.25 /proc/6734/task/6736/stat : 6736 (java) R 6732 6734 6709 0 -1 4202560 39516 0 1 0 162263 62 0 0 25 0 13 0 37590498 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4109659482 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6734/tid=6737] ppid=6732 vsize=1545112 CPUtime=35.8 /proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6709 0 -1 4202560 62230 0 0 0 3526 54 0 0 15 0 13 0 37590499 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6738] ppid=6732 vsize=1545112 CPUtime=35.78 /proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6709 0 -1 4202560 63290 0 0 0 3531 47 0 0 16 0 13 0 37590499 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6739] ppid=6732 vsize=1545112 CPUtime=1.81 /proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6709 0 -1 4202560 144 0 0 0 170 11 0 0 15 0 13 0 37590501 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6740] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6709 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37590502 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6741] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6709 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37590502 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6742] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 37590506 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6743] ppid=6732 vsize=1545112 CPUtime=1.66 /proc/6734/task/6743/stat : 6743 (java) S 6732 6734 6709 0 -1 4202560 3251 0 0 0 165 1 0 0 15 0 13 0 37590506 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6744] ppid=6732 vsize=1545112 CPUtime=2 /proc/6734/task/6744/stat : 6744 (java) S 6732 6734 6709 0 -1 4202560 6581 0 0 0 197 3 0 0 15 0 13 0 37590506 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6745] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6745/stat : 6745 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37590506 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6746] ppid=6732 vsize=1545112 CPUtime=0.01 /proc/6734/task/6746/stat : 6746 (java) S 6732 6734 6709 0 -1 4202560 103 0 0 0 1 0 0 0 15 0 13 0 37590506 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6747] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6747/stat : 6747 (java) S 6732 6734 6709 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 13 0 37590611 1582194688 160654 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1700.38 Current children cumulated vsize (KiB) 1545112 [startup+1722.3 s] /proc/loadavg: 1.22 1.12 1.04 2/119 6791 /proc/meminfo: memFree=1155880/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1545112 CPUtime=1762.75 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 182189 0 1 0 176087 188 0 0 18 0 13 0 37590496 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 386278 166262 1450 10 0 383580 0 [pid=6734/tid=6736] ppid=6732 vsize=1545112 CPUtime=1680.82 /proc/6734/task/6736/stat : 6736 (java) R 6732 6734 6709 0 -1 4202560 39566 0 1 0 168020 62 0 0 25 0 13 0 37590498 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4109659176 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6734/tid=6737] ppid=6732 vsize=1545112 CPUtime=38.2 /proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6709 0 -1 4202560 64192 0 0 0 3765 55 0 0 15 0 13 0 37590499 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6738] ppid=6732 vsize=1545112 CPUtime=38.17 /proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6709 0 -1 4202560 67280 0 0 0 3765 52 0 0 16 0 13 0 37590499 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6739] ppid=6732 vsize=1545112 CPUtime=1.82 /proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6709 0 -1 4202560 146 0 0 0 171 11 0 0 16 0 13 0 37590501 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6740] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6709 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37590502 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6741] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6709 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37590502 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6742] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 37590506 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6743] ppid=6732 vsize=1545112 CPUtime=1.66 /proc/6734/task/6743/stat : 6743 (java) S 6732 6734 6709 0 -1 4202560 3251 0 0 0 165 1 0 0 15 0 13 0 37590506 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6744] ppid=6732 vsize=1545112 CPUtime=2 /proc/6734/task/6744/stat : 6744 (java) S 6732 6734 6709 0 -1 4202560 6581 0 0 0 197 3 0 0 15 0 13 0 37590506 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6745] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6745/stat : 6745 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37590506 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6746] ppid=6732 vsize=1545112 CPUtime=0.01 /proc/6734/task/6746/stat : 6746 (java) S 6732 6734 6709 0 -1 4202560 105 0 0 0 1 0 0 0 15 0 13 0 37590506 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6747] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6747/stat : 6747 (java) S 6732 6734 6709 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 13 0 37590611 1582194688 166262 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1762.75 Current children cumulated vsize (KiB) 1545112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1758.2 s] /proc/loadavg: 1.12 1.11 1.04 2/119 6793 /proc/meminfo: memFree=1144348/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1545112 CPUtime=1800.08 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 185059 0 1 0 179817 191 0 0 18 0 13 0 37590496 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 386278 169017 1450 10 0 383580 0 [pid=6734/tid=6736] ppid=6732 vsize=1545112 CPUtime=1715.25 /proc/6734/task/6736/stat : 6736 (java) R 6732 6734 6709 0 -1 4202560 39595 0 1 0 171463 62 0 0 25 0 13 0 37590498 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4109666312 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6734/tid=6737] ppid=6732 vsize=1545112 CPUtime=39.65 /proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6709 0 -1 4202560 65092 0 0 0 3909 56 0 0 15 0 13 0 37590499 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6738] ppid=6732 vsize=1545112 CPUtime=39.61 /proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6709 0 -1 4202560 69217 0 0 0 3907 54 0 0 16 0 13 0 37590499 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6739] ppid=6732 vsize=1545112 CPUtime=1.82 /proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6709 0 -1 4202560 148 0 0 0 171 11 0 0 15 0 13 0 37590501 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6740] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6709 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37590502 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6741] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6709 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37590502 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6742] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 37590506 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6743] ppid=6732 vsize=1545112 CPUtime=1.66 /proc/6734/task/6743/stat : 6743 (java) S 6732 6734 6709 0 -1 4202560 3251 0 0 0 165 1 0 0 15 0 13 0 37590506 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6744] ppid=6732 vsize=1545112 CPUtime=2.01 /proc/6734/task/6744/stat : 6744 (java) S 6732 6734 6709 0 -1 4202560 6581 0 0 0 198 3 0 0 15 0 13 0 37590506 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6745] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6745/stat : 6745 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 37590506 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6746] ppid=6732 vsize=1545112 CPUtime=0.01 /proc/6734/task/6746/stat : 6746 (java) S 6732 6734 6709 0 -1 4202560 107 0 0 0 1 0 0 0 15 0 13 0 37590506 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6747] ppid=6732 vsize=1545112 CPUtime=0 /proc/6734/task/6747/stat : 6747 (java) S 6732 6734 6709 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 13 0 37590611 1582194688 169017 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1545112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1758.31 s] /proc/loadavg: 1.12 1.11 1.04 2/119 6793 /proc/meminfo: memFree=1144348/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=1545760 CPUtime=1800.28 /proc/6734/stat : 6734 (java) S 6732 6734 6709 0 -1 4202496 185158 0 1 0 179837 191 0 0 18 0 15 0 37590496 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 386440 169115 1450 10 0 383742 0 [pid=6734/tid=6736] ppid=6732 vsize=1545760 CPUtime=1715.29 /proc/6734/task/6736/stat : 6736 (java) R 6732 6734 6709 0 -1 4202560 39595 0 1 0 171467 62 0 0 25 0 15 0 37590498 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 4109670062 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6734/tid=6737] ppid=6732 vsize=1545760 CPUtime=39.7 /proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6709 0 -1 4202560 65101 0 0 0 3914 56 0 0 15 0 15 0 37590499 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6738] ppid=6732 vsize=1545760 CPUtime=39.66 /proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6709 0 -1 4202560 69287 0 0 0 3912 54 0 0 16 0 15 0 37590499 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6739] ppid=6732 vsize=1545760 CPUtime=1.82 /proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6709 0 -1 4202560 148 0 0 0 171 11 0 0 15 0 15 0 37590501 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 0 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6740] ppid=6732 vsize=1545760 CPUtime=0 /proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6709 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 15 0 37590502 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6741] ppid=6732 vsize=1545760 CPUtime=0 /proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6709 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 15 0 37590502 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6742] ppid=6732 vsize=1545760 CPUtime=0 /proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6709 0 -1 4202560 6 0 0 0 0 0 0 0 19 0 15 0 37590506 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6743] ppid=6732 vsize=1545760 CPUtime=1.68 /proc/6734/task/6743/stat : 6743 (java) R 6732 6734 6709 0 -1 4202560 3251 0 0 0 167 1 0 0 16 0 15 0 37590506 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 105870720 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6734/tid=6744] ppid=6732 vsize=1545760 CPUtime=2.03 /proc/6734/task/6744/stat : 6744 (java) S 6732 6734 6709 0 -1 4202560 6583 0 0 0 200 3 0 0 15 0 15 0 37590506 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 1 0 0 0 [pid=6734/tid=6745] ppid=6732 vsize=1545760 CPUtime=0 /proc/6734/task/6745/stat : 6745 (java) S 6732 6734 6709 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 37590506 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6746] ppid=6732 vsize=1545760 CPUtime=0.01 /proc/6734/task/6746/stat : 6746 (java) S 6732 6734 6709 0 -1 4202560 107 0 0 0 1 0 0 0 15 0 15 0 37590506 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 [pid=6734/tid=6747] ppid=6732 vsize=1545760 CPUtime=0 /proc/6734/task/6747/stat : 6747 (java) S 6732 6734 6709 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 15 0 37590611 1582858240 169115 1992294400 134512640 134550932 4291564416 18446744073709551615 4294960144 0 4 0 16800975 18446604437877805376 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 1545760 [startup+1758.4 s] /proc/loadavg: 1.12 1.11 1.04 2/119 6793 /proc/meminfo: memFree=1144348/2059040 swapFree=4140352/4192956 [pid=6734] ppid=6732 vsize=0 CPUtime=1800.41 /proc/6734/stat : 6734 (java) Z 6732 6734 6709 0 -1 4203548 185164 0 1 0 179846 195 0 0 16 0 2 0 37590496 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6734/statm: 0 0 0 0 0 0 0 [pid=6734/tid=6736] ppid=6732 vsize=0 CPUtime=1715.38 /proc/6734/task/6736/stat : 6736 (java) R 6732 6734 6709 0 -1 4203588 39595 0 1 0 171472 66 0 0 25 0 2 0 37590498 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1758.43 CPU time (s): 1800.45 CPU user time (s): 1798.46 CPU system time (s): 1.9887 CPU usage (%): 102.39 Max. virtual memory (cumulated for all children) (KiB): 1546332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.46 system time used= 1.9887 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 185164 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= 52989 involuntary context switches= 60568 runsolver used 3.88641 second user time and 9.80151 second system time The end
Begin job on node019 at 2010-06-16 00:02:22 IDJOB=2660193 IDBENCH=25012 IDSOLVER=1165 FILE ID=node019/2660193-1276639342 PBS_JOBID= 11172405 Free space on /tmp= 62412 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2660193-1276639342/watcher-2660193-1276639342 -o /tmp/evaluation-result-2660193-1276639342/solver-2660193-1276639342 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660193-1276639342.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0 RANDOM SEED=587490091 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1819276 kB Buffers: 48996 kB Cached: 101220 kB SwapCached: 6060 kB Active: 85500 kB Inactive: 77916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1819276 kB SwapTotal: 4192956 kB SwapFree: 4140352 kB Dirty: 1200 kB Writeback: 0 kB AnonPages: 11436 kB Mapped: 13008 kB Slab: 54600 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181632 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62412 MiB End job on node019 at 2010-06-16 00:31:42