Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo CP 2.1.1 | SAT (TO) | 32 | 1800.43 | 1762.36 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb |
MD5SUM | 45c2f7ac01d7ade9fbe465857931ee2b |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 27 |
Best CPU time to get the best result obtained on this benchmark | 54.8697 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 27 |
Optimality of the best value was proved | YES |
Number of variables | 5828 |
Total number of constraints | 17411 |
Number of constraints which are clauses | 17411 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 2817 |
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 | 2817 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2817 |
Number of bits of the biggest sum of numbers | 12 |
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-2008 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.15 c version 2.1.1.v20090612 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0_12 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.9-22.EL.rootsmp 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1342000320 0.09/0.15 c Max memory 1344274432 0.09/0.15 c Total memory 1344274432 0.09/0.15 c Number of processors 2 0.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ecd7e 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.23/0.21 c No reason simplification 0.23/0.21 c MiniSAT restarts strategy 0.23/0.21 c Memory based learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c solving HOME/instance-1857008-1244930196.opb 0.23/0.21 c reading problem ... 1.59/1.15 c ... done. Wall clock time 0.938s. 1.59/1.15 c #vars 5828 1.59/1.15 c #constraints 17411 1.59/1.15 c constraints type 1.59/1.15 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14108 1.59/1.15 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3020 2.02/1.48 c SATISFIABLE 2.02/1.48 c OPTIMIZING... 2.02/1.48 c Got one! Elapsed wall clock time (in seconds):1.273 2.02/1.48 o 39 3.77/2.55 c Got one! Elapsed wall clock time (in seconds):2.338 3.77/2.55 o 38 5.08/3.63 c Got one! Elapsed wall clock time (in seconds):3.423 5.08/3.63 o 37 8.23/6.52 c Got one! Elapsed wall clock time (in seconds):6.307 8.23/6.52 o 36 510.38/504.15 c Got one! Elapsed wall clock time (in seconds):503.942 510.38/504.15 o 35 1155.51/1136.61 c Got one! Elapsed wall clock time (in seconds):1136.402 1155.51/1136.61 o 34 1492.28/1464.35 c Got one! Elapsed wall clock time (in seconds):1464.142 1492.28/1464.35 o 32 1800.07/1762.12 c starts : 20 1800.07/1762.12 c conflicts : 2543 1800.07/1762.12 c decisions : 272493 1800.07/1762.12 c propagations : 1534799 1800.07/1762.12 c inspects : 25829878 1800.07/1762.12 c learnt literals : 0 1800.07/1762.12 c learnt binary clauses : 0 1800.07/1762.12 c learnt ternary clauses : 0 1800.07/1762.12 c learnt clauses : 2542 1800.07/1762.12 c ignored clauses : 0 1800.07/1762.12 c root simplifications : 0 1800.07/1762.12 c removed literals (reason simplification) : 0 1800.07/1762.12 c reason swapping (by a shorter reason) : 0 1800.07/1762.12 c Calls to reduceDB : 0 1800.07/1762.12 c speed (assignments/second) : 5154.570032409196 1800.07/1762.12 c non guided choices 0 1800.07/1762.12 c learnt constraints type 1800.07/1762.12 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 72 1800.07/1762.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 55 1800.07/1762.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2415 1800.07/1762.12 c constraints type 1800.07/1762.12 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14108 1800.07/1762.12 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3020 1800.07/1762.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.07/1762.12 s SATISFIABLE 1800.07/1762.19 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 1800.27/1762.22 c objective function=32 1800.27/1762.22 c Total wall clock time (in seconds): 1762.015
OK 32
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1857008-1244930196/watcher-1857008-1244930196 -o /tmp/evaluation-result-1857008-1244930196/solver-1857008-1244930196 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1857008-1244930196.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/64 9439 /proc/meminfo: memFree=1696428/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1612 CPUtime=0 /proc/9439/stat : 9439 (java6) R 9437 9439 9134 0 -1 0 147 0 0 0 0 0 0 0 20 0 1 0 160616801 1650688 119 1992294400 134512640 134550932 4294956160 18446744073709551615 2419953 0 0 4096 0 0 0 0 17 1 0 0 /proc/9439/statm: 403 123 87 9 0 45 0 [startup+0.0240421 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9439 /proc/meminfo: memFree=1696428/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1465492 CPUtime=0.01 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 1929 0 1 0 0 1 0 0 18 0 2 0 160616801 1500663808 1678 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 366373 1688 406 9 0 364125 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1465492 [startup+0.101043 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9439 /proc/meminfo: memFree=1696428/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1472584 CPUtime=0.09 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 3613 0 1 0 7 2 0 0 18 0 12 0 160616801 1507926016 3356 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 368146 3356 1068 9 0 365494 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1472584 [startup+0.301083 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9439 /proc/meminfo: memFree=1696428/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1475640 CPUtime=0.35 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 5074 0 1 0 32 3 0 0 18 0 12 0 160616801 1511055360 4812 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 368910 4812 1353 9 0 366253 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1475640 [startup+0.701152 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9439 /proc/meminfo: memFree=1696428/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1478488 CPUtime=1.02 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 8071 0 1 0 97 5 0 0 18 0 12 0 160616801 1513971712 6939 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 369622 6939 1396 9 0 366965 0 Current children cumulated CPU time (s) 1.02 Current children cumulated vsize (KiB) 1478488 [startup+1.50229 s] /proc/loadavg: 0.92 0.98 0.99 4/76 9451 /proc/meminfo: memFree=1663436/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1478812 CPUtime=2.19 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 14774 0 1 0 211 8 0 0 18 0 13 0 160616801 1514303488 13028 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 369703 13028 1420 9 0 367046 0 [pid=9439/tid=9441] ppid=9437 vsize=1478812 CPUtime=1.17 /proc/9439/task/9441/stat : 9441 (java) R 9437 9439 9134 0 -1 64 10993 0 1 0 111 6 0 0 20 0 13 0 160616802 1514303488 13028 1992294400 134512640 134550932 4294956000 18446744073709551615 4109145372 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9442] ppid=9437 vsize=1478812 CPUtime=0 /proc/9439/task/9442/stat : 9442 (java) S 9437 9439 9134 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 160616804 1514303488 13028 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9443] ppid=9437 vsize=1478812 CPUtime=0 /proc/9439/task/9443/stat : 9443 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 160616804 1514303488 13028 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9444] ppid=9437 vsize=1478812 CPUtime=0 /proc/9439/task/9444/stat : 9444 (java) S 9437 9439 9134 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 160616806 1514303488 13028 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9445] ppid=9437 vsize=1478812 CPUtime=0 /proc/9439/task/9445/stat : 9445 (java) S 9437 9439 9134 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 160616806 1514303488 13028 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9446] ppid=9437 vsize=1478812 CPUtime=0 /proc/9439/task/9446/stat : 9446 (java) S 9437 9439 9134 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 160616806 1514303488 13028 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9447] ppid=9437 vsize=1478812 CPUtime=0 /proc/9439/task/9447/stat : 9447 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 160616810 1514303488 13028 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9448] ppid=9437 vsize=1478812 CPUtime=0.44 /proc/9439/task/9448/stat : 9448 (java) R 9437 9439 9134 0 -1 64 1238 0 0 0 44 0 0 0 16 0 13 0 160616810 1514303488 13028 1992294400 134512640 134550932 4294956000 18446744073709551615 105580590 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9449] ppid=9437 vsize=1478812 CPUtime=0.55 /proc/9439/task/9449/stat : 9449 (java) R 9437 9439 9134 0 -1 64 1792 0 0 0 54 1 0 0 16 0 13 0 160616810 1514303488 13028 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9450] ppid=9437 vsize=1478812 CPUtime=0 /proc/9439/task/9450/stat : 9450 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160616810 1514303488 13028 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9451] ppid=9437 vsize=1478812 CPUtime=0 /proc/9439/task/9451/stat : 9451 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160616810 1514303488 13028 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 1478812 [startup+3.10156 s] /proc/loadavg: 0.92 0.98 0.99 3/77 9452 /proc/meminfo: memFree=1644484/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1479836 CPUtime=4.5 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 18452 0 1 0 440 10 0 0 18 0 13 0 160616801 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 369959 16429 1426 9 0 367302 0 [pid=9439/tid=9441] ppid=9437 vsize=1479836 CPUtime=2.41 /proc/9439/task/9441/stat : 9441 (java) R 9437 9439 9134 0 -1 64 14238 0 1 0 233 8 0 0 17 0 13 0 160616802 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9442] ppid=9437 vsize=1479836 CPUtime=0 /proc/9439/task/9442/stat : 9442 (java) S 9437 9439 9134 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 160616804 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9443] ppid=9437 vsize=1479836 CPUtime=0 /proc/9439/task/9443/stat : 9443 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 160616804 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9444] ppid=9437 vsize=1479836 CPUtime=0 /proc/9439/task/9444/stat : 9444 (java) S 9437 9439 9134 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 160616806 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9445] ppid=9437 vsize=1479836 CPUtime=0 /proc/9439/task/9445/stat : 9445 (java) S 9437 9439 9134 0 -1 64 10 0 0 0 0 0 0 0 21 0 13 0 160616806 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9446] ppid=9437 vsize=1479836 CPUtime=0 /proc/9439/task/9446/stat : 9446 (java) S 9437 9439 9134 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 160616806 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9447] ppid=9437 vsize=1479836 CPUtime=0 /proc/9439/task/9447/stat : 9447 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 160616810 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9448] ppid=9437 vsize=1479836 CPUtime=0.99 /proc/9439/task/9448/stat : 9448 (java) R 9437 9439 9134 0 -1 64 1628 0 0 0 99 0 0 0 15 0 13 0 160616810 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 105727552 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9449] ppid=9437 vsize=1479836 CPUtime=1.08 /proc/9439/task/9449/stat : 9449 (java) R 9437 9439 9134 0 -1 64 1835 0 0 0 107 1 0 0 16 0 13 0 160616810 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 102338044 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9450] ppid=9437 vsize=1479836 CPUtime=0 /proc/9439/task/9450/stat : 9450 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160616810 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9451] ppid=9437 vsize=1479836 CPUtime=0 /proc/9439/task/9451/stat : 9451 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160616810 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9452] ppid=9437 vsize=1479836 CPUtime=0 /proc/9439/task/9452/stat : 9452 (java) S 9437 9439 9134 0 -1 64 6 0 0 0 0 0 0 0 20 0 13 0 160616938 1515352064 16429 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.5 Current children cumulated vsize (KiB) 1479836 [startup+6.3021 s] /proc/loadavg: 0.93 0.98 0.99 2/77 9452 /proc/meminfo: memFree=1561092/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1480064 CPUtime=8.02 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 37593 0 1 0 783 19 0 0 18 0 13 0 160616801 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 370016 35419 1435 9 0 367359 0 [pid=9439/tid=9441] ppid=9437 vsize=1480064 CPUtime=5.45 /proc/9439/task/9441/stat : 9441 (java) R 9437 9439 9134 0 -1 64 31017 0 1 0 530 15 0 0 18 0 13 0 160616802 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4109793270 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9442] ppid=9437 vsize=1480064 CPUtime=0.05 /proc/9439/task/9442/stat : 9442 (java) S 9437 9439 9134 0 -1 64 991 0 0 0 5 0 0 0 16 0 13 0 160616804 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9443] ppid=9437 vsize=1480064 CPUtime=0.05 /proc/9439/task/9443/stat : 9443 (java) S 9437 9439 9134 0 -1 64 1156 0 0 0 5 0 0 0 16 0 13 0 160616804 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9444] ppid=9437 vsize=1480064 CPUtime=0 /proc/9439/task/9444/stat : 9444 (java) S 9437 9439 9134 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 160616806 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9445] ppid=9437 vsize=1480064 CPUtime=0 /proc/9439/task/9445/stat : 9445 (java) S 9437 9439 9134 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 160616806 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9446] ppid=9437 vsize=1480064 CPUtime=0 /proc/9439/task/9446/stat : 9446 (java) S 9437 9439 9134 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 160616806 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9447] ppid=9437 vsize=1480064 CPUtime=0 /proc/9439/task/9447/stat : 9447 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 160616810 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9448] ppid=9437 vsize=1480064 CPUtime=1.11 /proc/9439/task/9448/stat : 9448 (java) S 9437 9439 9134 0 -1 64 1665 0 0 0 111 0 0 0 16 0 13 0 160616810 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9449] ppid=9437 vsize=1480064 CPUtime=1.29 /proc/9439/task/9449/stat : 9449 (java) S 9437 9439 9134 0 -1 64 1989 0 0 0 128 1 0 0 17 0 13 0 160616810 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9450] ppid=9437 vsize=1480064 CPUtime=0 /proc/9439/task/9450/stat : 9450 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160616810 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9451] ppid=9437 vsize=1480064 CPUtime=0 /proc/9439/task/9451/stat : 9451 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160616810 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9452] ppid=9437 vsize=1480064 CPUtime=0 /proc/9439/task/9452/stat : 9452 (java) S 9437 9439 9134 0 -1 64 6 0 0 0 0 0 0 0 20 0 13 0 160616938 1515585536 35419 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.02 Current children cumulated vsize (KiB) 1480064 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/77 9452 /proc/meminfo: memFree=1526724/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1479792 CPUtime=14.7 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 45988 0 1 0 1447 23 0 0 18 0 13 0 160616801 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 369948 43568 1435 9 0 367291 0 [pid=9439/tid=9441] ppid=9437 vsize=1479792 CPUtime=11.74 /proc/9439/task/9441/stat : 9441 (java) R 9437 9439 9134 0 -1 64 35686 0 1 0 1157 17 0 0 25 0 13 0 160616802 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4110028890 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9442] ppid=9437 vsize=1479792 CPUtime=0.12 /proc/9439/task/9442/stat : 9442 (java) S 9437 9439 9134 0 -1 64 2919 0 0 0 11 1 0 0 16 0 13 0 160616804 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9443] ppid=9437 vsize=1479792 CPUtime=0.11 /proc/9439/task/9443/stat : 9443 (java) S 9437 9439 9134 0 -1 64 2937 0 0 0 10 1 0 0 16 0 13 0 160616804 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9444] ppid=9437 vsize=1479792 CPUtime=0 /proc/9439/task/9444/stat : 9444 (java) S 9437 9439 9134 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 160616806 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9445] ppid=9437 vsize=1479792 CPUtime=0 /proc/9439/task/9445/stat : 9445 (java) S 9437 9439 9134 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 160616806 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9446] ppid=9437 vsize=1479792 CPUtime=0 /proc/9439/task/9446/stat : 9446 (java) S 9437 9439 9134 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 160616806 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9447] ppid=9437 vsize=1479792 CPUtime=0 /proc/9439/task/9447/stat : 9447 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 160616810 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9448] ppid=9437 vsize=1479792 CPUtime=1.16 /proc/9439/task/9448/stat : 9448 (java) S 9437 9439 9134 0 -1 64 1670 0 0 0 116 0 0 0 16 0 13 0 160616810 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9449] ppid=9437 vsize=1479792 CPUtime=1.5 /proc/9439/task/9449/stat : 9449 (java) S 9437 9439 9134 0 -1 64 1996 0 0 0 149 1 0 0 16 0 13 0 160616810 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9450] ppid=9437 vsize=1479792 CPUtime=0 /proc/9439/task/9450/stat : 9450 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160616810 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9451] ppid=9437 vsize=1479792 CPUtime=0 /proc/9439/task/9451/stat : 9451 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160616810 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9452] ppid=9437 vsize=1479792 CPUtime=0 /proc/9439/task/9452/stat : 9452 (java) S 9437 9439 9134 0 -1 64 6 0 0 0 0 0 0 0 20 0 13 0 160616938 1515307008 43568 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.7 Current children cumulated vsize (KiB) 1479792 [startup+25.5024 s] /proc/loadavg: 0.95 0.98 0.99 2/77 9452 /proc/meminfo: memFree=1520836/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1479792 CPUtime=27.58 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 47723 0 1 0 2734 24 0 0 18 0 13 0 160616801 1515307008 45069 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 369948 45069 1435 9 0 367291 0 [pid=9439/tid=9441] ppid=9437 vsize=1479792 CPUtime=24.44 /proc/9439/task/9441/stat : 9441 (java) R 9437 9439 9134 0 -1 64 35836 0 1 0 2426 18 0 0 25 0 13 0 160616802 1515307008 45069 1992294400 134512640 134550932 4294956000 18446744073709551615 4109781104 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9442] ppid=9437 vsize=1479792 CPUtime=0.17 /proc/9439/task/9442/stat : 9442 (java) S 9437 9439 9134 0 -1 64 3841 0 0 0 16 1 0 0 16 0 13 0 160616804 1515307008 45069 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9443] ppid=9437 vsize=1479792 CPUtime=0.16 /proc/9439/task/9443/stat : 9443 (java) S 9437 9439 9134 0 -1 64 3572 0 0 0 15 1 0 0 16 0 13 0 160616804 1515307008 45069 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9444] ppid=9437 vsize=1479792 CPUtime=0.01 /proc/9439/task/9444/stat : 9444 (java) S 9437 9439 9134 0 -1 64 32 0 0 0 1 0 0 0 15 0 13 0 160616806 1515307008 45069 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9445] ppid=9437 vsize=1479792 CPUtime=0 ################ # More data... # ################ [pid=9439/tid=9444] ppid=9437 vsize=1482864 CPUtime=0.65 /proc/9439/task/9444/stat : 9444 (java) S 9437 9439 9134 0 -1 64 39 0 0 0 43 22 0 0 15 0 13 0 160616806 1518452736 177123 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9445] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9445/stat : 9445 (java) S 9437 9439 9134 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 160616806 1518452736 177123 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9446] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9446/stat : 9446 (java) S 9437 9439 9134 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 160616806 1518452736 177123 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9447] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9447/stat : 9447 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 160616810 1518452736 177123 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9448] ppid=9437 vsize=1482864 CPUtime=1.46 /proc/9439/task/9448/stat : 9448 (java) S 9437 9439 9134 0 -1 64 3730 0 0 0 144 2 0 0 16 0 13 0 160616810 1518452736 177123 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9449] ppid=9437 vsize=1482864 CPUtime=1.68 /proc/9439/task/9449/stat : 9449 (java) S 9437 9439 9134 0 -1 64 1996 0 0 0 167 1 0 0 17 0 13 0 160616810 1518452736 177123 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9450] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9450/stat : 9450 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160616810 1518452736 177123 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9451] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9451/stat : 9451 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160616810 1518452736 177123 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9452] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9452/stat : 9452 (java) S 9437 9439 9134 0 -1 64 6 0 0 0 0 0 0 0 20 0 13 0 160616938 1518452736 177123 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1635.19 Current children cumulated vsize (KiB) 1482864 [startup+1662.3 s] /proc/loadavg: 1.01 1.07 1.03 2/77 9458 /proc/meminfo: memFree=971460/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1482864 CPUtime=1697.25 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 202173 0 1 0 169564 161 0 0 18 0 13 0 160616801 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 370716 182023 1439 9 0 368059 0 [pid=9439/tid=9441] ppid=9437 vsize=1482864 CPUtime=1625.47 /proc/9439/task/9441/stat : 9441 (java) R 9437 9439 9134 0 -1 64 38804 0 1 0 162518 29 0 0 25 0 13 0 160616802 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4109781126 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9442] ppid=9437 vsize=1482864 CPUtime=33.96 /proc/9439/task/9442/stat : 9442 (java) S 9437 9439 9134 0 -1 64 83695 0 0 0 3340 56 0 0 16 0 13 0 160616804 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9443] ppid=9437 vsize=1482864 CPUtime=33.95 /proc/9439/task/9443/stat : 9443 (java) S 9437 9439 9134 0 -1 64 73161 0 0 0 3347 48 0 0 17 0 13 0 160616804 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9444] ppid=9437 vsize=1482864 CPUtime=0.67 /proc/9439/task/9444/stat : 9444 (java) S 9437 9439 9134 0 -1 64 39 0 0 0 45 22 0 0 15 0 13 0 160616806 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9445] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9445/stat : 9445 (java) S 9437 9439 9134 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 160616806 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9446] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9446/stat : 9446 (java) S 9437 9439 9134 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 160616806 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9447] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9447/stat : 9447 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 160616810 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9448] ppid=9437 vsize=1482864 CPUtime=1.46 /proc/9439/task/9448/stat : 9448 (java) S 9437 9439 9134 0 -1 64 3730 0 0 0 144 2 0 0 16 0 13 0 160616810 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9449] ppid=9437 vsize=1482864 CPUtime=1.68 /proc/9439/task/9449/stat : 9449 (java) S 9437 9439 9134 0 -1 64 1996 0 0 0 167 1 0 0 17 0 13 0 160616810 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9450] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9450/stat : 9450 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160616810 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9451] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9451/stat : 9451 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160616810 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9452] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9452/stat : 9452 (java) S 9437 9439 9134 0 -1 64 6 0 0 0 0 0 0 0 20 0 13 0 160616938 1518452736 182023 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1697.25 Current children cumulated vsize (KiB) 1482864 [startup+1722.3 s] /proc/loadavg: 1.00 1.06 1.02 2/77 9458 /proc/meminfo: memFree=947844/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1482864 CPUtime=1758.94 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 208477 0 1 0 175727 167 0 0 18 0 13 0 160616801 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 370716 187846 1439 9 0 368059 0 [pid=9439/tid=9441] ppid=9437 vsize=1482864 CPUtime=1683.7 /proc/9439/task/9441/stat : 9441 (java) R 9437 9439 9134 0 -1 64 38881 0 1 0 168341 29 0 0 25 0 13 0 160616802 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4109974712 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9442] ppid=9437 vsize=1482864 CPUtime=35.68 /proc/9439/task/9442/stat : 9442 (java) S 9437 9439 9134 0 -1 64 87499 0 0 0 3508 60 0 0 16 0 13 0 160616804 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9443] ppid=9437 vsize=1482864 CPUtime=35.68 /proc/9439/task/9443/stat : 9443 (java) S 9437 9439 9134 0 -1 64 75584 0 0 0 3518 50 0 0 17 0 13 0 160616804 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9444] ppid=9437 vsize=1482864 CPUtime=0.69 /proc/9439/task/9444/stat : 9444 (java) S 9437 9439 9134 0 -1 64 39 0 0 0 46 23 0 0 16 0 13 0 160616806 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9445] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9445/stat : 9445 (java) S 9437 9439 9134 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 160616806 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9446] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9446/stat : 9446 (java) S 9437 9439 9134 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 160616806 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9447] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9447/stat : 9447 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 160616810 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9448] ppid=9437 vsize=1482864 CPUtime=1.46 /proc/9439/task/9448/stat : 9448 (java) S 9437 9439 9134 0 -1 64 3730 0 0 0 144 2 0 0 16 0 13 0 160616810 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9449] ppid=9437 vsize=1482864 CPUtime=1.68 /proc/9439/task/9449/stat : 9449 (java) S 9437 9439 9134 0 -1 64 1996 0 0 0 167 1 0 0 17 0 13 0 160616810 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9450] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9450/stat : 9450 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160616810 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9451] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9451/stat : 9451 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160616810 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9452] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9452/stat : 9452 (java) S 9437 9439 9134 0 -1 64 6 0 0 0 0 0 0 0 20 0 13 0 160616938 1518452736 187846 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1758.94 Current children cumulated vsize (KiB) 1482864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1762.1 s] /proc/loadavg: 1.00 1.05 1.02 2/77 9458 /proc/meminfo: memFree=931460/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1482864 CPUtime=1800.07 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 213003 0 1 0 179836 171 0 0 18 0 13 0 160616801 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 370716 191916 1439 9 0 368059 0 [pid=9439/tid=9441] ppid=9437 vsize=1482864 CPUtime=1722.15 /proc/9439/task/9441/stat : 9441 (java) R 9437 9439 9134 0 -1 64 38932 0 1 0 172186 29 0 0 24 0 13 0 160616802 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4109781126 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9442] ppid=9437 vsize=1482864 CPUtime=37.01 /proc/9439/task/9442/stat : 9442 (java) S 9437 9439 9134 0 -1 64 90464 0 0 0 3639 62 0 0 16 0 13 0 160616804 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9443] ppid=9437 vsize=1482864 CPUtime=37 /proc/9439/task/9443/stat : 9443 (java) S 9437 9439 9134 0 -1 64 77094 0 0 0 3650 50 0 0 16 0 13 0 160616804 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9444] ppid=9437 vsize=1482864 CPUtime=0.7 /proc/9439/task/9444/stat : 9444 (java) S 9437 9439 9134 0 -1 64 39 0 0 0 47 23 0 0 16 0 13 0 160616806 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9445] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9445/stat : 9445 (java) S 9437 9439 9134 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 160616806 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9446] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9446/stat : 9446 (java) S 9437 9439 9134 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 160616806 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9447] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9447/stat : 9447 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 160616810 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9448] ppid=9437 vsize=1482864 CPUtime=1.46 /proc/9439/task/9448/stat : 9448 (java) S 9437 9439 9134 0 -1 64 3730 0 0 0 144 2 0 0 16 0 13 0 160616810 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9449] ppid=9437 vsize=1482864 CPUtime=1.68 /proc/9439/task/9449/stat : 9449 (java) S 9437 9439 9134 0 -1 64 1996 0 0 0 167 1 0 0 17 0 13 0 160616810 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9450] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9450/stat : 9450 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 160616810 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9451] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9451/stat : 9451 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 160616810 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9452] ppid=9437 vsize=1482864 CPUtime=0 /proc/9439/task/9452/stat : 9452 (java) S 9437 9439 9134 0 -1 64 6 0 0 0 0 0 0 0 20 0 13 0 160616938 1518452736 191916 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1482864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1762.22 s] /proc/loadavg: 1.00 1.05 1.02 2/77 9458 /proc/meminfo: memFree=931460/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=1483512 CPUtime=1800.27 /proc/9439/stat : 9439 (java) S 9437 9439 9134 0 -1 0 213025 0 1 0 179856 171 0 0 16 0 15 0 160616801 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 370878 191938 1439 9 0 368221 0 [pid=9439/tid=9441] ppid=9437 vsize=1483512 CPUtime=1722.26 /proc/9439/task/9441/stat : 9441 (java) R 9437 9439 9134 0 -1 64 38932 0 1 0 172197 29 0 0 25 0 15 0 160616802 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 4110031579 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9442] ppid=9437 vsize=1483512 CPUtime=37.01 /proc/9439/task/9442/stat : 9442 (java) S 9437 9439 9134 0 -1 64 90464 0 0 0 3639 62 0 0 16 0 15 0 160616804 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9443] ppid=9437 vsize=1483512 CPUtime=37 /proc/9439/task/9443/stat : 9443 (java) S 9437 9439 9134 0 -1 64 77094 0 0 0 3650 50 0 0 16 0 15 0 160616804 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9444] ppid=9437 vsize=1483512 CPUtime=0.7 /proc/9439/task/9444/stat : 9444 (java) S 9437 9439 9134 0 -1 64 39 0 0 0 47 23 0 0 16 0 15 0 160616806 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9445] ppid=9437 vsize=1483512 CPUtime=0 /proc/9439/task/9445/stat : 9445 (java) S 9437 9439 9134 0 -1 64 11 0 0 0 0 0 0 0 16 0 15 0 160616806 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9446] ppid=9437 vsize=1483512 CPUtime=0 /proc/9439/task/9446/stat : 9446 (java) S 9437 9439 9134 0 -1 64 7 0 0 0 0 0 0 0 16 0 15 0 160616806 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9447] ppid=9437 vsize=1483512 CPUtime=0 /proc/9439/task/9447/stat : 9447 (java) S 9437 9439 9134 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 160616810 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9448] ppid=9437 vsize=1483512 CPUtime=1.53 /proc/9439/task/9448/stat : 9448 (java) R 9437 9439 9134 0 -1 64 3733 0 0 0 151 2 0 0 17 0 15 0 160616810 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 103150386 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=9439/tid=9449] ppid=9437 vsize=1483512 CPUtime=1.68 /proc/9439/task/9449/stat : 9449 (java) S 9437 9439 9134 0 -1 64 1996 0 0 0 167 1 0 0 17 0 15 0 160616810 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9450] ppid=9437 vsize=1483512 CPUtime=0 /proc/9439/task/9450/stat : 9450 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 24 0 15 0 160616810 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9451] ppid=9437 vsize=1483512 CPUtime=0 /proc/9439/task/9451/stat : 9451 (java) S 9437 9439 9134 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 160616810 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=9439/tid=9452] ppid=9437 vsize=1483512 CPUtime=0 /proc/9439/task/9452/stat : 9452 (java) S 9437 9439 9134 0 -1 64 6 0 0 0 0 0 0 0 20 0 15 0 160616938 1519116288 191938 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 1483512 [startup+1762.3 s] /proc/loadavg: 1.00 1.05 1.02 2/77 9458 /proc/meminfo: memFree=931460/2055920 swapFree=4181368/4192956 [pid=9439] ppid=9437 vsize=0 CPUtime=1800.37 /proc/9439/stat : 9439 (java) Z 9437 9439 9134 0 -1 1036 213028 0 1 0 179859 178 0 0 15 0 2 0 160616801 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/9439/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1762.36 CPU time (s): 1800.43 CPU user time (s): 1798.59 CPU system time (s): 1.83872 CPU usage (%): 102.16 Max. virtual memory (cumulated for all children) (KiB): 1483512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.59 system time used= 1.83872 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 213028 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= 69911 involuntary context switches= 41618 runsolver used 2.11968 second user time and 5.2882 second system time The end
Begin job on node43 at 2009-06-13 23:56:36 IDJOB=1857008 IDBENCH=24974 IDSOLVER=681 FILE ID=node43/1857008-1244930196 PBS_JOBID= 9354646 Free space on /tmp= 66204 MiB SOLVER NAME= SAT4J Pseudo CP 2.1.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1857008-1244930196/watcher-1857008-1244930196 -o /tmp/evaluation-result-1857008-1244930196/solver-1857008-1244930196 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1857008-1244930196.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b RANDOM SEED=1469918703 node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1696844 kB Buffers: 56136 kB Cached: 233336 kB SwapCached: 5308 kB Active: 37680 kB Inactive: 259632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1696844 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 796 kB Writeback: 0 kB Mapped: 13544 kB Slab: 47728 kB Committed_AS: 127016 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66204 MiB End job on node43 at 2009-06-14 00:26:00