Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Sat4j CuttingPlanes 2.3.0 | SAT (TO) | 1800.37 | 1785.98 |
Name | /OPT-SMALLINT-LIN/heinz/ normalized-neos-777800.opb |
MD5SUM | fa5c07257df1fb9de8867209807734ca |
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 | -80 |
Best CPU time to get the best result obtained on this benchmark | 4.93425 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6400 |
Total number of constraints | 475 |
Number of constraints which are clauses | 4 |
Number of constraints which are cardinality constraints (but not clauses) | 471 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 6400 |
Number of terms in the objective function | 6400 |
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 | 6400 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 6480 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.10 c See www.sat4j.org for details. 0.06/0.10 c version 2.3.1.v20110525 0.06/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.10 c java.vm.version 19.1-b02 0.06/0.10 c java.vm.vendor Sun Microsystems Inc. 0.06/0.10 c sun.arch.data.model 64 0.06/0.10 c java.version 1.6.0_24 0.06/0.10 c os.name Linux 0.06/0.10 c os.version 2.6.18-164.el5 0.06/0.10 c os.arch amd64 0.06/0.10 c Free memory 9996466904 0.06/0.10 c Max memory 10048897024 0.06/0.10 c Total memory 10048897024 0.06/0.10 c Number of processors 8 0.06/0.13 c Pseudo Boolean Optimization 0.06/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@38540408 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.06/0.13 c No reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 c solving HOME/instance-3479146-1307447432.opb 0.06/0.13 c reading problem ... 0.47/0.36 c ... done. Wall clock time 0.232s. 0.47/0.36 c #vars 6400 0.47/0.36 c #constraints 476 0.47/0.36 c constraints type 0.47/0.36 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4 0.47/0.36 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 472 150.44/147.37 c SATISFIABLE 150.44/147.37 c OPTIMIZING... 150.44/147.37 c Got one! Elapsed wall clock time (in seconds):147.24 150.44/147.37 o -80 1800.03/1785.72 c starts : 16 1800.03/1785.72 c conflicts : 2745 1800.03/1785.72 c decisions : 6980 1800.03/1785.72 c propagations : 163162 1800.03/1785.72 c inspects : 141808634 1800.03/1785.72 c shortcuts : 0 1800.03/1785.72 c learnt literals : 0 1800.03/1785.72 c learnt binary clauses : 0 1800.03/1785.72 c learnt ternary clauses : 0 1800.03/1785.72 c learnt constraints : 2744 1800.03/1785.72 c ignored constraints : 0 1800.03/1785.72 c root simplifications : 0 1800.03/1785.72 c removed literals (reason simplification) : 0 1800.03/1785.72 c reason swapping (by a shorter reason) : 0 1800.03/1785.72 c Calls to reduceDB : 0 1800.03/1785.72 c number of reductions to clauses (during analyze) : 0 1800.03/1785.72 c number of learned constraints concerned by reduction : 0 1800.03/1785.72 c number of learning phase by resolution : 0 1800.03/1785.72 c number of learning phase by cutting planes : 0 1800.03/1785.72 c speed (assignments/second) : 99.58885614603908 1800.03/1785.72 c non guided choices 0 1800.03/1785.73 c learnt constraints type 1800.03/1785.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 98 1800.03/1785.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2646 1800.03/1785.73 c constraints type 1800.03/1785.73 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4 1800.03/1785.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 473 1800.03/1785.73 s SATISFIABLE 1800.03/1785.74 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 1800.03/1785.75 c objective function=-80 1800.03/1785.75 c Total wall clock time (in seconds): 1785.623
OK -80
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3479146-1307447432/watcher-3479146-1307447432 -o /tmp/evaluation-result-3479146-1307447432/solver-3479146-1307447432 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3479146-1307447432.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.95 2.03 2.15 3/549 5684 /proc/meminfo: memFree=24618756/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/5684/stat : 5684 (java) R 5682 5684 3822 0 -1 4202496 766 0 0 0 0 0 0 0 18 0 1 0 856340277 23580672 510 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239471732480 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/5684/statm: 5757 522 393 9 0 124 0 [pid=5684/tid=5689] ppid=5682 vsize=35788 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5689/stat : 5689 (java) R 5682 5684 3822 0 -1 4202560 202 0 0 0 0 0 0 0 17 0 2 0 856340278 36646912 1018 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239476715078 0 0 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.074369 s] /proc/loadavg: 1.95 2.03 2.15 3/549 5684 /proc/meminfo: memFree=24618756/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=10467616 CPUtime=0.04 cores=1,3,5,7 /proc/5684/stat : 5684 (java) S 5682 5684 3822 0 -1 4202496 11498 0 1 0 3 1 0 0 18 0 13 0 856340277 10718838784 11195 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488497637 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 /proc/5684/statm: 2616904 11195 1685 9 0 2607652 0 [pid=5684/tid=5689] ppid=5682 vsize=10467616 CPUtime=0.04 cores=1,3,5,7 /proc/5684/task/5689/stat : 5689 (java) R 5682 5684 3822 0 -1 4202560 10351 0 1 0 3 1 0 0 18 0 13 0 856340278 10718838784 11195 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 47393760638995 0 4 0 16800971 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10467616 [startup+0.100362 s] /proc/loadavg: 1.95 2.03 2.15 3/549 5684 /proc/meminfo: memFree=24618756/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=10473380 CPUtime=0.06 cores=1,3,5,7 /proc/5684/stat : 5684 (java) S 5682 5684 3822 0 -1 4202496 12113 0 1 0 5 1 0 0 18 0 18 0 856340277 10724741120 11810 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5684/statm: 2618345 11825 1846 9 0 2609079 0 [pid=5684/tid=5689] ppid=5682 vsize=10473380 CPUtime=0.06 cores=1,3,5,7 /proc/5684/task/5689/stat : 5689 (java) R 5682 5684 3822 0 -1 4202560 10829 0 1 0 5 1 0 0 22 0 18 0 856340278 10724741120 11833 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488520885 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10473380 [startup+0.300258 s] /proc/loadavg: 1.95 2.03 2.15 3/549 5684 /proc/meminfo: memFree=24618756/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=10542544 CPUtime=0.47 cores=1,3,5,7 /proc/5684/stat : 5684 (java) S 5682 5684 3822 0 -1 4202496 16992 0 1 0 45 2 0 0 18 0 18 0 856340277 10795565056 16297 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5684/statm: 2635636 16297 2200 9 0 2626370 0 [pid=5684/tid=5689] ppid=5682 vsize=10542544 CPUtime=0.27 cores=1,3,5,7 /proc/5684/task/5689/stat : 5689 (java) R 5682 5684 3822 0 -1 4202560 13749 0 1 0 25 2 0 0 22 0 18 0 856340278 10795565056 16297 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 46912505217314 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 10542544 [startup+0.700182 s] /proc/loadavg: 1.95 2.03 2.15 3/549 5684 /proc/meminfo: memFree=24618756/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=10560036 CPUtime=1.46 cores=1,3,5,7 /proc/5684/stat : 5684 (java) S 5682 5684 3822 0 -1 4202496 34738 0 1 0 142 4 0 0 18 0 19 0 856340277 10813476864 30150 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5684/statm: 2640009 30150 2223 9 0 2630743 0 [pid=5684/tid=5689] ppid=5682 vsize=10560036 CPUtime=0.66 cores=1,3,5,7 /proc/5684/task/5689/stat : 5689 (java) R 5682 5684 3822 0 -1 4202560 21391 0 1 0 64 2 0 0 25 0 19 0 856340278 10813476864 30150 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 46912505328172 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 10560036 [startup+1.50109 s] /proc/loadavg: 1.95 2.03 2.15 4/591 5726 /proc/meminfo: memFree=24266712/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=10560648 CPUtime=2.9 cores=1,3,5,7 /proc/5684/stat : 5684 (java) S 5682 5684 3822 0 -1 4202496 59418 0 1 0 284 6 0 0 18 0 19 0 856340277 10814103552 54294 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5684/statm: 2640162 54302 2225 9 0 2630896 0 [pid=5684/tid=5689] ppid=5682 vsize=10560648 CPUtime=1.45 cores=1,3,5,7 /proc/5684/task/5689/stat : 5689 (java) R 5682 5684 3822 0 -1 4202560 43109 0 1 0 141 4 0 0 25 0 19 0 856340278 10814103552 54306 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 46912505825614 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5684/tid=5693] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5693/stat : 5693 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856340281 10814103552 54310 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5694] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5694/stat : 5694 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 54315 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5695] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5695/stat : 5695 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 54320 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5696] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5696/stat : 5696 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 54324 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5697] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5697/stat : 5697 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 54328 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5698] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5698/stat : 5698 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 54333 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5699] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5699/stat : 5699 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 54337 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5700] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5700/stat : 5700 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 54341 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5709] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5709/stat : 5709 (java) S 5682 5684 3822 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 856340282 10814103552 54346 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 0 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5711] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5711/stat : 5711 (java) S 5682 5684 3822 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 856340282 10814103552 54350 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5712] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5712/stat : 5712 (java) S 5682 5684 3822 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 856340282 10814103552 54355 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5715] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5715/stat : 5715 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340285 10814103552 54359 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488518577 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5716] ppid=5682 vsize=10560648 CPUtime=0.78 cores=1,3,5,7 /proc/5684/task/5716/stat : 5716 (java) S 5682 5684 3822 0 -1 4202560 8201 0 0 0 77 1 0 0 17 0 19 0 856340285 10814103552 54362 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5719] ppid=5682 vsize=10560648 CPUtime=0.64 cores=1,3,5,7 /proc/5684/task/5719/stat : 5719 (java) S 5682 5684 3822 0 -1 4202560 6961 0 0 0 64 0 0 0 16 0 19 0 856340285 10814103552 54366 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5720] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5720/stat : 5720 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856340285 10814103552 54371 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5721] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5721/stat : 5721 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856340285 10814103552 54375 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5725] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5725/stat : 5725 (java) S 5682 5684 3822 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 856340317 10814103552 54380 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.9 Current children cumulated vsize (KiB) 10560648 [startup+3.10079 s] /proc/loadavg: 1.95 2.03 2.15 3/591 5726 /proc/meminfo: memFree=23680688/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=10560648 CPUtime=4.51 cores=1,3,5,7 /proc/5684/stat : 5684 (java) S 5682 5684 3822 0 -1 4202496 104560 0 1 0 439 12 0 0 18 0 19 0 856340277 10814103552 99434 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5684/statm: 2640162 99434 2225 9 0 2630896 0 [pid=5684/tid=5689] ppid=5682 vsize=10560648 CPUtime=3.06 cores=1,3,5,7 /proc/5684/task/5689/stat : 5689 (java) R 5682 5684 3822 0 -1 4202560 88238 0 1 0 296 10 0 0 19 0 19 0 856340278 10814103552 99434 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 46912505944400 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5684/tid=5693] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5693/stat : 5693 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856340281 10814103552 99434 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5694] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5694/stat : 5694 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 99435 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5695] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5695/stat : 5695 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 99440 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5696] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5696/stat : 5696 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 99440 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5697] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5697/stat : 5697 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 99440 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5698] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5698/stat : 5698 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 99440 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5699] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5699/stat : 5699 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 99440 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5700] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5700/stat : 5700 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 99440 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5709] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5709/stat : 5709 (java) S 5682 5684 3822 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 856340282 10814103552 99440 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 0 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5711] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5711/stat : 5711 (java) S 5682 5684 3822 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 856340282 10814103552 99440 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5712] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5712/stat : 5712 (java) S 5682 5684 3822 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 856340282 10814103552 99440 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5715] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5715/stat : 5715 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340285 10814103552 99444 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488518577 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5716] ppid=5682 vsize=10560648 CPUtime=0.78 cores=1,3,5,7 /proc/5684/task/5716/stat : 5716 (java) S 5682 5684 3822 0 -1 4202560 8201 0 0 0 77 1 0 0 15 0 19 0 856340285 10814103552 99446 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5719] ppid=5682 vsize=10560648 CPUtime=0.64 cores=1,3,5,7 /proc/5684/task/5719/stat : 5719 (java) S 5682 5684 3822 0 -1 4202560 6961 0 0 0 64 0 0 0 16 0 19 0 856340285 10814103552 99446 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5720] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5720/stat : 5720 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856340285 10814103552 99446 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5721] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5721/stat : 5721 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 856340285 10814103552 99446 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5725] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5725/stat : 5725 (java) S 5682 5684 3822 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 856340317 10814103552 99446 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.51 Current children cumulated vsize (KiB) 10560648 [startup+6.30119 s] /proc/loadavg: 1.95 2.03 2.14 3/591 5726 /proc/meminfo: memFree=22303548/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=10560648 CPUtime=7.72 cores=1,3,5,7 /proc/5684/stat : 5684 (java) S 5682 5684 3822 0 -1 4202496 186420 0 1 0 752 20 0 0 18 0 19 0 856340277 10814103552 181156 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5684/statm: 2640162 181156 2226 9 0 2630896 0 [pid=5684/tid=5689] ppid=5682 vsize=10560648 CPUtime=6.26 cores=1,3,5,7 /proc/5684/task/5689/stat : 5689 (java) R 5682 5684 3822 0 -1 4202560 170094 0 1 0 608 18 0 0 21 0 19 0 856340278 10814103552 181156 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 46912505959579 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5684/tid=5693] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5693/stat : 5693 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856340281 10814103552 181156 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5694] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5694/stat : 5694 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 181156 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5695] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5695/stat : 5695 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 181156 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5696] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5696/stat : 5696 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 181158 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5697] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5697/stat : 5697 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 181158 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5698] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5698/stat : 5698 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 181158 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5699] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5699/stat : 5699 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 181158 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5700] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5700/stat : 5700 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340281 10814103552 181158 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5709] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5709/stat : 5709 (java) S 5682 5684 3822 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 856340282 10814103552 181158 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 0 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5711] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5711/stat : 5711 (java) S 5682 5684 3822 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 856340282 10814103552 181158 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5712] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5712/stat : 5712 (java) S 5682 5684 3822 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 856340282 10814103552 181158 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5715] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5715/stat : 5715 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340285 10814103552 181158 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488518577 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5716] ppid=5682 vsize=10560648 CPUtime=0.8 cores=1,3,5,7 /proc/5684/task/5716/stat : 5716 (java) S 5682 5684 3822 0 -1 4202560 8204 0 0 0 79 1 0 0 15 0 19 0 856340285 10814103552 181160 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5719] ppid=5682 vsize=10560648 CPUtime=0.64 cores=1,3,5,7 /proc/5684/task/5719/stat : 5719 (java) S 5682 5684 3822 0 -1 4202560 6961 0 0 0 64 0 0 0 16 0 19 0 856340285 10814103552 181160 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 ################ # More data... # ################ [pid=5684/tid=5725] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5725/stat : 5725 (java) S 5682 5684 3822 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 856340317 10814103552 1460188 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1676.32 Current children cumulated vsize (KiB) 10560648 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.04 3/591 5784 /proc/meminfo: memFree=14478592/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=10560648 CPUtime=1736.62 cores=1,3,5,7 /proc/5684/stat : 5684 (java) S 5682 5684 3822 0 -1 4202496 1530489 0 1 0 173474 188 0 0 18 0 19 0 856340277 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5684/statm: 2640162 1497542 2241 9 0 2630896 0 [pid=5684/tid=5689] ppid=5682 vsize=10560648 CPUtime=1717.68 cores=1,3,5,7 /proc/5684/task/5689/stat : 5689 (java) R 5682 5684 3822 0 -1 4202560 651110 0 1 0 171699 69 0 0 25 0 19 0 856340278 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 46912505945217 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5684/tid=5693] ppid=5682 vsize=10560648 CPUtime=2.12 cores=1,3,5,7 /proc/5684/task/5693/stat : 5693 (java) S 5682 5684 3822 0 -1 4202560 86525 0 0 0 201 11 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5694] ppid=5682 vsize=10560648 CPUtime=2.18 cores=1,3,5,7 /proc/5684/task/5694/stat : 5694 (java) S 5682 5684 3822 0 -1 4202560 118440 0 0 0 203 15 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5695] ppid=5682 vsize=10560648 CPUtime=2.3 cores=1,3,5,7 /proc/5684/task/5695/stat : 5695 (java) S 5682 5684 3822 0 -1 4202560 107656 0 0 0 216 14 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5696] ppid=5682 vsize=10560648 CPUtime=2.36 cores=1,3,5,7 /proc/5684/task/5696/stat : 5696 (java) S 5682 5684 3822 0 -1 4202560 96598 0 0 0 224 12 0 0 15 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 1 0 0 0 [pid=5684/tid=5697] ppid=5682 vsize=10560648 CPUtime=1.96 cores=1,3,5,7 /proc/5684/task/5697/stat : 5697 (java) S 5682 5684 3822 0 -1 4202560 97835 0 0 0 185 11 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5698] ppid=5682 vsize=10560648 CPUtime=2.01 cores=1,3,5,7 /proc/5684/task/5698/stat : 5698 (java) S 5682 5684 3822 0 -1 4202560 134942 0 0 0 182 19 0 0 15 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5699] ppid=5682 vsize=10560648 CPUtime=1.61 cores=1,3,5,7 /proc/5684/task/5699/stat : 5699 (java) S 5682 5684 3822 0 -1 4202560 91442 0 0 0 149 12 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 1 0 0 0 [pid=5684/tid=5700] ppid=5682 vsize=10560648 CPUtime=2.42 cores=1,3,5,7 /proc/5684/task/5700/stat : 5700 (java) S 5682 5684 3822 0 -1 4202560 129388 0 0 0 224 18 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5709] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5709/stat : 5709 (java) S 5682 5684 3822 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 856340282 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 0 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5711] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5711/stat : 5711 (java) S 5682 5684 3822 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 856340282 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5712] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5712/stat : 5712 (java) S 5682 5684 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 856340282 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5715] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5715/stat : 5715 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488518577 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5716] ppid=5682 vsize=10560648 CPUtime=0.99 cores=1,3,5,7 /proc/5684/task/5716/stat : 5716 (java) S 5682 5684 3822 0 -1 4202560 8235 0 0 0 98 1 0 0 15 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5719] ppid=5682 vsize=10560648 CPUtime=0.86 cores=1,3,5,7 /proc/5684/task/5719/stat : 5719 (java) S 5682 5684 3822 0 -1 4202560 6989 0 0 0 86 0 0 0 15 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5720] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5720/stat : 5720 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5721] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5721/stat : 5721 (java) S 5682 5684 3822 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5725] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5725/stat : 5725 (java) S 5682 5684 3822 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 856340317 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1736.62 Current children cumulated vsize (KiB) 10560648 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.04 3/591 5785 /proc/meminfo: memFree=14477324/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=10560648 CPUtime=1796.62 cores=1,3,5,7 /proc/5684/stat : 5684 (java) S 5682 5684 3822 0 -1 4202496 1530491 0 1 0 179474 188 0 0 18 0 19 0 856340277 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5684/statm: 2640162 1497542 2241 9 0 2630896 0 [pid=5684/tid=5689] ppid=5682 vsize=10560648 CPUtime=1777.69 cores=1,3,5,7 /proc/5684/task/5689/stat : 5689 (java) R 5682 5684 3822 0 -1 4202560 651110 0 1 0 177700 69 0 0 25 0 19 0 856340278 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 46912505945233 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5684/tid=5693] ppid=5682 vsize=10560648 CPUtime=2.12 cores=1,3,5,7 /proc/5684/task/5693/stat : 5693 (java) S 5682 5684 3822 0 -1 4202560 86525 0 0 0 201 11 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5694] ppid=5682 vsize=10560648 CPUtime=2.18 cores=1,3,5,7 /proc/5684/task/5694/stat : 5694 (java) S 5682 5684 3822 0 -1 4202560 118440 0 0 0 203 15 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5695] ppid=5682 vsize=10560648 CPUtime=2.3 cores=1,3,5,7 /proc/5684/task/5695/stat : 5695 (java) S 5682 5684 3822 0 -1 4202560 107656 0 0 0 216 14 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5696] ppid=5682 vsize=10560648 CPUtime=2.36 cores=1,3,5,7 /proc/5684/task/5696/stat : 5696 (java) S 5682 5684 3822 0 -1 4202560 96598 0 0 0 224 12 0 0 15 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 1 0 0 0 [pid=5684/tid=5697] ppid=5682 vsize=10560648 CPUtime=1.96 cores=1,3,5,7 /proc/5684/task/5697/stat : 5697 (java) S 5682 5684 3822 0 -1 4202560 97835 0 0 0 185 11 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5698] ppid=5682 vsize=10560648 CPUtime=2.01 cores=1,3,5,7 /proc/5684/task/5698/stat : 5698 (java) S 5682 5684 3822 0 -1 4202560 134942 0 0 0 182 19 0 0 15 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5699] ppid=5682 vsize=10560648 CPUtime=1.61 cores=1,3,5,7 /proc/5684/task/5699/stat : 5699 (java) S 5682 5684 3822 0 -1 4202560 91442 0 0 0 149 12 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 1 0 0 0 [pid=5684/tid=5700] ppid=5682 vsize=10560648 CPUtime=2.42 cores=1,3,5,7 /proc/5684/task/5700/stat : 5700 (java) S 5682 5684 3822 0 -1 4202560 129388 0 0 0 224 18 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5709] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5709/stat : 5709 (java) S 5682 5684 3822 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 856340282 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 0 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5711] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5711/stat : 5711 (java) S 5682 5684 3822 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 856340282 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5712] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5712/stat : 5712 (java) S 5682 5684 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 856340282 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5715] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5715/stat : 5715 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488518577 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5716] ppid=5682 vsize=10560648 CPUtime=0.99 cores=1,3,5,7 /proc/5684/task/5716/stat : 5716 (java) S 5682 5684 3822 0 -1 4202560 8235 0 0 0 98 1 0 0 15 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5719] ppid=5682 vsize=10560648 CPUtime=0.86 cores=1,3,5,7 /proc/5684/task/5719/stat : 5719 (java) S 5682 5684 3822 0 -1 4202560 6989 0 0 0 86 0 0 0 15 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5720] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5720/stat : 5720 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5721] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5721/stat : 5721 (java) S 5682 5684 3822 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5725] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5725/stat : 5725 (java) S 5682 5684 3822 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 856340317 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (KiB) 10560648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.7 s] /proc/loadavg: 2.00 2.02 2.04 3/591 5785 /proc/meminfo: memFree=14477324/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=10560648 CPUtime=1800.03 cores=1,3,5,7 /proc/5684/stat : 5684 (java) S 5682 5684 3822 0 -1 4202496 1530491 0 1 0 179815 188 0 0 18 0 19 0 856340277 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5684/statm: 2640162 1497542 2241 9 0 2630896 0 [pid=5684/tid=5689] ppid=5682 vsize=10560648 CPUtime=1781.11 cores=1,3,5,7 /proc/5684/task/5689/stat : 5689 (java) R 5682 5684 3822 0 -1 4202560 651110 0 1 0 178042 69 0 0 25 0 19 0 856340278 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 46912505945217 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5684/tid=5693] ppid=5682 vsize=10560648 CPUtime=2.12 cores=1,3,5,7 /proc/5684/task/5693/stat : 5693 (java) S 5682 5684 3822 0 -1 4202560 86525 0 0 0 201 11 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5694] ppid=5682 vsize=10560648 CPUtime=2.18 cores=1,3,5,7 /proc/5684/task/5694/stat : 5694 (java) S 5682 5684 3822 0 -1 4202560 118440 0 0 0 203 15 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5695] ppid=5682 vsize=10560648 CPUtime=2.3 cores=1,3,5,7 /proc/5684/task/5695/stat : 5695 (java) S 5682 5684 3822 0 -1 4202560 107656 0 0 0 216 14 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5696] ppid=5682 vsize=10560648 CPUtime=2.36 cores=1,3,5,7 /proc/5684/task/5696/stat : 5696 (java) S 5682 5684 3822 0 -1 4202560 96598 0 0 0 224 12 0 0 15 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 1 0 0 0 [pid=5684/tid=5697] ppid=5682 vsize=10560648 CPUtime=1.96 cores=1,3,5,7 /proc/5684/task/5697/stat : 5697 (java) S 5682 5684 3822 0 -1 4202560 97835 0 0 0 185 11 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5698] ppid=5682 vsize=10560648 CPUtime=2.01 cores=1,3,5,7 /proc/5684/task/5698/stat : 5698 (java) S 5682 5684 3822 0 -1 4202560 134942 0 0 0 182 19 0 0 15 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5699] ppid=5682 vsize=10560648 CPUtime=1.61 cores=1,3,5,7 /proc/5684/task/5699/stat : 5699 (java) S 5682 5684 3822 0 -1 4202560 91442 0 0 0 149 12 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 1 0 0 0 [pid=5684/tid=5700] ppid=5682 vsize=10560648 CPUtime=2.42 cores=1,3,5,7 /proc/5684/task/5700/stat : 5700 (java) S 5682 5684 3822 0 -1 4202560 129388 0 0 0 224 18 0 0 16 0 19 0 856340281 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5709] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5709/stat : 5709 (java) S 5682 5684 3822 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 856340282 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 0 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5711] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5711/stat : 5711 (java) S 5682 5684 3822 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 856340282 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5712] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5712/stat : 5712 (java) S 5682 5684 3822 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 856340282 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5715] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5715/stat : 5715 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488518577 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5716] ppid=5682 vsize=10560648 CPUtime=0.99 cores=1,3,5,7 /proc/5684/task/5716/stat : 5716 (java) S 5682 5684 3822 0 -1 4202560 8235 0 0 0 98 1 0 0 15 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 5 0 0 0 [pid=5684/tid=5719] ppid=5682 vsize=10560648 CPUtime=0.86 cores=1,3,5,7 /proc/5684/task/5719/stat : 5719 (java) S 5682 5684 3822 0 -1 4202560 6989 0 0 0 86 0 0 0 15 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5720] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5720/stat : 5720 (java) S 5682 5684 3822 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488510873 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 [pid=5684/tid=5721] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5721/stat : 5721 (java) S 5682 5684 3822 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 856340285 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 4 0 16800975 18446604462047442816 0 0 -1 7 0 0 0 [pid=5684/tid=5725] ppid=5682 vsize=10560648 CPUtime=0 cores=1,3,5,7 /proc/5684/task/5725/stat : 5725 (java) S 5682 5684 3822 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 856340317 10814103552 1497542 33554432000 1073741824 1073778376 140737415145440 18446744073709551615 239488511488 0 4 0 16800975 18446604462047442816 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 10560648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1785.83 s] /proc/loadavg: 2.00 2.02 2.04 3/591 5785 /proc/meminfo: memFree=14477324/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=0 CPUtime=1800.2 cores=1,3,5,7 /proc/5684/stat : 5684 (java) Z 5682 5684 3822 0 -1 4203548 1530529 0 1 0 179825 195 0 0 17 0 2 0 856340277 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5684/statm: 0 0 0 0 0 0 0 [pid=5684/tid=5725] ppid=5682 vsize=0 CPUtime=0.06 cores=1,3,5,7 /proc/5684/task/5725/stat : 5725 (java) R 5682 5684 3822 0 -1 4203588 7 0 0 0 0 6 0 0 18 0 2 0 856340317 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 [startup+1785.9 s] /proc/loadavg: 2.00 2.02 2.04 3/591 5785 /proc/meminfo: memFree=14477324/32950928 swapFree=67056580/67111528 [pid=5684] ppid=5682 vsize=0 CPUtime=1800.28 cores=1,3,5,7 /proc/5684/stat : 5684 (java) Z 5682 5684 3822 0 -1 4203548 1530529 0 1 0 179825 203 0 0 17 0 2 0 856340277 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/5684/statm: 0 0 0 0 0 0 0 [pid=5684/tid=5725] ppid=5682 vsize=0 CPUtime=0.14 cores=1,3,5,7 /proc/5684/task/5725/stat : 5725 (java) R 5682 5684 3822 0 -1 4203588 7 0 0 0 0 14 0 0 18 0 2 0 856340317 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1785.98 CPU time (s): 1800.37 CPU user time (s): 1798.26 CPU system time (s): 2.11368 CPU usage (%): 100.806 Max. virtual memory (cumulated for all children) (KiB): 10560648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.26 system time used= 2.11368 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1530529 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= 37474 involuntary context switches= 24510 runsolver used 10.4924 second user time and 24.1573 second system time The end
Begin job on node148 at 2011-06-07 13:50:32 IDJOB=3479146 IDBENCH=89843 IDSOLVER=1951 FILE ID=node148/3479146-1307447432 RUNJOBID= node148-1307445635-5526 PBS_JOBID= 13519940 Free space on /tmp= 73948 MiB SOLVER NAME= Sat4j CuttingPlanes 2.3.0 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-777800.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479146-1307447432/watcher-3479146-1307447432 -o /tmp/evaluation-result-3479146-1307447432/solver-3479146-1307447432 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3479146-1307447432.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fa5c07257df1fb9de8867209807734ca RANDOM SEED=2043457349 node148.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 24619020 kB Buffers: 299716 kB Cached: 893844 kB SwapCached: 7908 kB Active: 7318780 kB Inactive: 702388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 24619020 kB SwapTotal: 67111528 kB SwapFree: 67056580 kB Dirty: 1244 kB Writeback: 0 kB AnonPages: 6825632 kB Mapped: 43184 kB Slab: 183096 kB PageTables: 57132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 170358880 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73948 MiB End job on node148 at 2011-06-07 14:20:20