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