Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | SAT (TO) | 649 | 1800.39 | 1762.97 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb |
MD5SUM | a5b00f1ae7deac89a36da7a8be4b1f6d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 301 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 291 |
Optimality of the best value was proved | NO |
Number of variables | 5380 |
Total number of constraints | 630 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 542 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 77 |
Number of terms in the objective function | 3720 |
Biggest coefficient in the objective function | 2115 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 527620 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262086 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 527620 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.07/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.07/0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.07/0.15 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.07/0.16 c no version file found!!! 0.07/0.16 c sun.arch.data.model 32 0.07/0.16 c java.version 1.6.0 0.07/0.16 c os.name Linux 0.07/0.16 c os.version 2.6.9-22.EL.rootsmp 0.07/0.16 c os.arch i386 0.07/0.16 c Free memory 1651659224 0.07/0.16 c Max memory 1654456320 0.07/0.16 c Total memory 1654456320 0.07/0.16 c Number of processors 2 0.19/0.22 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.19/0.22 --- Begin Solver configuration --- 0.19/0.22 c Stops conflict analysis at the first Unique Implication Point 0.19/0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.22 c Learn all clauses as in MiniSAT 0.19/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.19/0.22 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.22 c No reason simplification 0.19/0.22 c --- End Solver configuration --- 0.19/0.22 c Simplify asserted PB constraints to clauses 0.19/0.22 c solving /tmp/evaluation/351864-1176615642/instance-351864-1176615642.opb 0.19/0.22 c reading problem ... 1.10/0.89 c ... done. Wall clock time 0.673s. 1.10/0.89 c CPU time (experimental) 0.59s. 1.10/0.89 c #vars 5380 1.10/0.89 c #constraints 962 4.09/2.33 c SATISFIABLE 4.09/2.33 c OPTIMIZING... 4.09/2.33 c Got one! Elapsed wall clock time (in seconds):2.116 4.09/2.37 o 971 7.48/4.96 c Got one! Elapsed wall clock time (in seconds):4.744 7.48/4.98 o 649 1800.01/1762.71 c starts : 5 1800.01/1762.71 c conflicts : 126117 1800.01/1762.71 c decisions : 957854 1800.01/1762.71 c propagations : 2349305 1800.01/1762.71 c inspects : 815894625 1800.01/1762.71 c learnt literals : 0 1800.01/1762.71 c learnt binary clauses : 8 1800.01/1762.71 c learnt ternary clauses : 16 1800.01/1762.71 c learnt clauses : 126117 1800.01/1762.71 c root simplifications : 0 1800.01/1762.71 c removed literals (reason simplification) : 0 1800.01/1762.71 c reason swapping (by a shorter reason) : 0 1800.01/1762.71 c Calls to reduceDB : 0 1800.01/1762.71 c speed (decisions/second) : 544.9613263126154 1800.01/1762.71 c non guided choices 78005 1800.01/1762.71 s SATISFIABLE 1800.01/1762.76 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 x14 x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.01/1762.76 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 x46 x47 -x48 -x49 x50 -x51 -x52 -x53 x54 -x55 -x56 1800.01/1762.76 v -x57 x58 -x59 -x60 -x61 -x62 x63 x64 -x65 x66 -x67 -x68 x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 1800.01/1762.76 v -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 1800.01/1762.76 v -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126 x127 x128 x129 1800.01/1762.76 v -x130 x131 x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 1800.01/1762.76 v -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 1800.01/1762.76 v -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1800.01/1762.76 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 x210 x211 -x212 -x213 -x214 1800.01/1762.76 v -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 1800.01/1762.76 v -x236 -x237 x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 1800.01/1762.76 v -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 x274 -x275 -x276 -x277 1800.01/1762.76 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1800.01/1762.76 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1800.01/1762.76 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1800.01/1762.76 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1800.01/1762.76 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1800.01/1762.76 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1800.01/1762.76 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1800.01/1762.76 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 x445 1800.01/1762.76 v x446 -x447 x448 x449 -x450 x451 x452 -x453 x454 -x455 -x456 -x457 x458 -x459 x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.01/1762.76 v -x468 -x469 -x470 -x471 -x472 -x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 -x490 -x491 1800.01/1762.76 v -x492 x493 -x494 x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 1800.01/1762.76 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 1800.01/1762.76 v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 1800.01/1762.76 v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 1800.01/1762.76 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1800.01/1762.76 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 1800.01/1762.76 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 1800.01/1762.76 v -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 1800.01/1762.76 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 1800.01/1762.76 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 1800.01/1762.76 v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 1800.01/1762.76 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1800.01/1762.76 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.01/1762.76 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.01/1762.76 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 1800.01/1762.76 v x807 x808 -x809 x810 x811 x812 x813 x814 x815 -x816 x817 x818 -x819 -x820 x821 x822 x823 x824 x825 -x826 -x827 -x828 -x829 -x830 1800.01/1762.76 v -x831 -x832 -x833 x834 x835 x836 x837 x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 -x852 -x853 -x854 1800.01/1762.76 v -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 x865 x866 -x867 x868 x869 -x870 x871 -x872 x873 x874 -x875 -x876 1800.01/1762.76 v -x877 x878 x879 -x880 x881 x882 x883 x884 x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 x897 x898 x899 1800.01/1762.76 v x900 x901 x902 x903 x904 -x905 -x906 x907 -x908 x909 x910 x911 x912 x913 x914 x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 1800.01/1762.76 v -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 1800.01/1762.76 v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 x956 x957 x958 x959 x960 x961 -x962 -x963 -x964 -x965 1800.01/1762.76 v -x966 x967 x968 -x969 -x970 x971 -x972 -x973 x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 x985 x986 x987 1800.01/1762.76 v x988 x989 x990 x991 x992 x993 x994 x995 x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 x1005 -x1006 -x1007 -x1008 1800.01/1762.76 v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 x1017 x1018 x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 1800.01/1762.76 v -x1027 -x1028 x1029 -x1030 x1031 x1032 x1033 x1034 x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.01/1762.76 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1800.01/1762.76 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.01/1762.76 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.01/1762.76 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.01/1762.76 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.01/1762.76 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 x1137 x1138 x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 1800.01/1762.76 v -x1148 x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 1800.01/1762.76 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 1800.01/1762.76 v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 1800.01/1762.76 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1800.01/1762.76 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1800.01/1762.76 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1800.01/1762.76 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1800.01/1762.76 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 1800.01/1762.76 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1800.01/1762.76 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 x1315 x1316 x1317 x1318 x1319 1800.01/1762.76 v -x1320 -x1321 x1322 x1323 x1324 x1325 x1326 -x1327 x1328 x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 1800.01/1762.76 v -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 1800.01/1762.76 v -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 1800.01/1762.76 v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 1800.01/1762.76 v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 1800.01/1762.76 v -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 1800.01/1762.76 v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1800.01/1762.76 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 1800.01/1762.76 v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 1800.01/1762.76 v -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 1800.01/1762.76 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1800.01/1762.76 v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 1800.01/1762.76 v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1800.01/1762.76 v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 1800.01/1762.76 v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 1800.01/1762.76 v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 1800.01/1762.76 v -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 1800.01/1762.76 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 1800.01/1762.76 v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 1800.01/1762.76 v -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 1800.01/1762.76 v -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 x1677 x1678 -x1679 1800.01/1762.76 v x1680 -x1681 -x1682 x1683 -x1684 x1685 x1686 -x1687 -x1688 x1689 x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 1800.01/1762.76 v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 1800.01/1762.76 v -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 1800.01/1762.76 v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 1800.01/1762.76 v x1749 -x1750 x1751 -x1752 -x1753 x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1800.01/1762.76 v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 1800.01/1762.76 v -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 1800.01/1762.76 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 1800.01/1762.76 v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 1800.01/1762.76 v -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 1800.01/1762.76 v -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 x1867 -x1868 x1869 1800.01/1762.76 v -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 x1885 -x1886 x1887 1800.01/1762.76 v x1888 -x1889 x1890 x1891 x1892 x1893 x1894 x1895 -x1896 x1897 -x1898 x1899 x1900 x1901 -x1902 x1903 -x1904 -x1905 -x1906 1800.01/1762.76 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1800.01/1762.76 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1800.01/1762.76 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 x1948 -x1949 x1950 x1951 x1952 x1953 x1954 x1955 -x1956 -x1957 -x1958 1800.01/1762.76 v -x1959 x1960 x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.01/1762.76 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 x1990 -x1991 -x1992 -x1993 -x1994 1800.01/1762.76 v x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 x2006 x2007 -x2008 x2009 x2010 x2011 x2012 -x2013 1800.01/1762.76 v x2014 x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 1800.01/1762.76 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 1800.01/1762.76 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 1800.01/1762.76 v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 1800.01/1762.76 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1800.01/1762.76 v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 1800.01/1762.76 v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 1800.01/1762.76 v x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1800.01/1762.76 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1800.01/1762.76 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1800.01/1762.76 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1800.01/1762.76 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1800.01/1762.76 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1800.01/1762.76 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1800.01/1762.76 v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1800.01/1762.76 v -x2271 -x2272 -x2273 x2274 x2275 -x2276 -x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 x2287 -x2288 1800.01/1762.76 v x2289 x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 1800.01/1762.76 v -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 1800.01/1762.76 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 1800.01/1762.76 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 1800.01/1762.76 v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 1800.01/1762.76 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.01/1762.76 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1800.01/1762.76 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1800.01/1762.76 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 1800.01/1762.76 v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 1800.01/1762.76 v -x2460 -x2461 -x2462 -x2463 x2464 -x2465 x2466 x2467 -x2468 x2469 -x2470 x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 1800.01/1762.76 v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 1800.01/1762.76 v -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 1800.01/1762.76 v -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 1800.01/1762.76 v -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 1800.01/1762.76 v -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 x2561 -x2562 -x2563 1800.01/1762.76 v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 1800.01/1762.76 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 1800.01/1762.76 v -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 1800.01/1762.76 v -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 1800.01/1762.76 v -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 1800.01/1762.76 v -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 1800.01/1762.76 v -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 1800.01/1762.76 v -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 1800.01/1762.76 v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 1800.01/1762.76 v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 1800.01/1762.76 v -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 1800.01/1762.76 v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 1800.01/1762.76 v -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 1800.01/1762.76 v -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 1800.01/1762.76 v -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 1800.01/1762.76 v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 1800.01/1762.76 v -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 x2844 x2845 x2846 x2847 -x2848 x2849 x2850 -x2851 x2852 x2853 x2854 1800.01/1762.76 v -x2855 x2856 x2857 x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1800.01/1762.76 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1800.01/1762.76 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1800.01/1762.76 v -x2907 -x2908 x2909 -x2910 -x2911 x2912 x2913 x2914 -x2915 x2916 x2917 x2918 -x2919 -x2920 x2921 x2922 -x2923 -x2924 -x2925 1800.01/1762.76 v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 x2936 x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 1800.01/1762.76 v -x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 x2951 x2952 -x2953 x2954 x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 1800.01/1762.76 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 1800.01/1762.76 v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1800.01/1762.76 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 1800.01/1762.76 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 1800.01/1762.76 v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 1800.01/1762.76 v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 -x3059 -x3060 x3061 x3062 x3063 x3064 1800.01/1762.76 v x3065 x3066 x3067 -x3068 x3069 -x3070 x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 1800.01/1762.76 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.01/1762.76 v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 1800.01/1762.76 v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 1800.01/1762.76 v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 1800.01/1762.76 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 1800.01/1762.76 v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 1800.01/1762.76 v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 1800.01/1762.76 v -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 x3211 x3212 -x3213 -x3214 -x3215 -x3216 -x3217 x3218 x3219 1800.01/1762.76 v -x3220 x3221 x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 1800.01/1762.76 v -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 1800.01/1762.76 v -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 1800.01/1762.76 v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 1800.01/1762.76 v -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 1800.01/1762.76 v -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 1800.01/1762.76 v -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 1800.01/1762.76 v -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 1800.01/1762.76 v -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 1800.01/1762.76 v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1800.01/1762.76 v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 1800.01/1762.76 v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 x3417 x3418 -x3419 -x3420 x3421 -x3422 x3423 x3424 x3425 1800.01/1762.76 v -x3426 -x3427 x3428 -x3429 x3430 x3431 x3432 x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 1800.01/1762.76 v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 1800.01/1762.76 v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 x3474 x3475 x3476 -x3477 x3478 1800.01/1762.76 v x3479 x3480 x3481 -x3482 x3483 x3484 x3485 x3486 -x3487 -x3488 x3489 -x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 1800.01/1762.76 v -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 1800.01/1762.76 v x3515 -x3516 -x3517 x3518 x3519 x3520 -x3521 -x3522 x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 1800.01/1762.76 v -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 1800.01/1762.76 v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 1800.01/1762.76 v -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 1800.01/1762.76 v -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 1800.01/1762.76 v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 1800.01/1762.76 v -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 -x3633 -x3634 1800.01/1762.76 v -x3635 x3636 -x3637 -x3638 -x3639 x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 1800.01/1762.76 v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 1800.01/1762.76 v -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 1800.01/1762.76 v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 1800.01/1762.76 v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 1800.01/1762.76 v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 1800.01/1762.76 v -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 1800.01/1762.76 v -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 1800.01/1762.76 v -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x3780 -x3781 x3782 -x3783 x3784 -x3785 -x3786 -x3787 x3788 x3789 1800.01/1762.76 v -x3790 -x3791 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 x3804 x3805 x3806 x3807 1800.01/1762.76 v x3808 x3809 x3810 x3811 x3812 x3813 x3814 x3815 x3816 -x3817 x3818 x3819 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 1800.01/1762.76 v -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 1800.01/1762.76 v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 1800.01/1762.76 v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 1800.01/1762.76 v -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 1800.01/1762.76 v -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 1800.01/1762.76 v -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 1800.01/1762.76 v -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 1800.01/1762.76 v -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 1800.01/1762.76 v -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 1800.01/1762.76 v -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 1800.01/1762.76 v -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 1800.01/1762.76 v -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 1800.01/1762.76 v -x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 x4038 x4039 -x4040 x4041 x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 1800.01/1762.76 v -x4049 x4050 -x4051 -x4052 x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 1800.01/1762.76 v -x4067 -x4068 -x4069 -x4070 -x4071 x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 1800.01/1762.76 v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 -x4097 -x4098 -x4099 -x4100 1800.01/1762.76 v -x4101 -x4102 -x4103 -x4104 -x4105 x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 1800.01/1762.76 v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 1800.01/1762.76 v -x4135 -x4136 -x4137 x4138 -x4139 -x4140 x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 1800.01/1762.76 v -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 x4168 -x4169 1800.01/1762.76 v -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 1800.01/1762.76 v -x4187 -x4188 x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 1800.01/1762.76 v -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 1800.01/1762.76 v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 x4232 -x4233 -x4234 -x4235 -x4236 -x4237 1800.01/1762.76 v -x4238 -x4239 x4240 -x4241 -x4242 -x4243 -x4244 -x4245 x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 1800.01/1762.76 v -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 1800.01/1762.76 v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 x4284 -x4285 -x4286 -x4287 -x4288 -x4289 1800.01/1762.76 v -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 1800.01/1762.76 v -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 1800.01/1762.76 v -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 x4340 1800.01/1762.76 v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 1800.01/1762.76 v -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 1800.01/1762.76 v -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 1800.01/1762.76 v -x4393 -x4394 x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 x4404 -x4405 -x4406 -x4407 -x4408 x4409 -x4410 1800.01/1762.76 v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 x4426 -x4427 1800.01/1762.76 v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 1800.01/1762.76 v x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 1800.01/1762.76 v -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 1800.01/1762.76 v -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 1800.01/1762.76 v -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 1800.01/1762.76 v -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 1800.01/1762.76 v -x4530 -x4531 -x4532 -x4533 -x4534 x4535 -x4536 -x4537 -x4538 -x4539 x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 1800.01/1762.76 v -x4548 x4549 -x4550 -x4551 x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 1800.01/1762.76 v -x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 1800.01/1762.76 v x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 1800.01/1762.76 v x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 1800.01/1762.76 v -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 1800.01/1762.76 v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 x4650 -x4651 1800.01/1762.76 v -x4652 -x4653 x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 1800.01/1762.76 v -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 1800.01/1762.76 v -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 1800.01/1762.76 v -x4703 -x4704 -x4705 x4706 -x4707 -x4708 x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 1800.01/1762.76 v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 1800.01/1762.76 v -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 1800.01/1762.76 v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 1800.01/1762.76 v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 1800.01/1762.76 v -x4789 -x4790 -x4791 -x4792 x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 x4802 -x4803 -x4804 -x4805 -x4806 1800.01/1762.76 v -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 1800.01/1762.76 v -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 1800.01/1762.76 v -x4841 -x4842 -x4843 -x4844 -x4845 x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 1800.01/1762.76 v -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 1800.01/1762.76 v -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 1800.01/1762.76 v -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 1800.01/1762.76 v -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 1800.01/1762.76 v -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 1800.01/1762.76 v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 1800.01/1762.76 v -x4960 -x4961 x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 1800.01/1762.76 v -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 1800.01/1762.76 v -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 1800.01/1762.76 v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 1800.01/1762.76 v -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 1800.01/1762.76 v -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 1800.01/1762.76 v -x5062 -x5063 -x5064 -x5065 -x5066 x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 1800.01/1762.76 v -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 1800.01/1762.76 v -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 1800.01/1762.76 v -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122 -x5123 -x5124 x5125 -x5126 -x5127 -x5128 -x5129 -x5130 1800.01/1762.76 v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 1800.01/1762.76 v -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 1800.01/1762.76 v -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 x5181 -x5182 1800.01/1762.76 v -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 1800.01/1762.76 v -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 1800.01/1762.76 v -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 1800.01/1762.76 v -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 x5246 -x5247 -x5248 -x5249 -x5250 1800.01/1762.76 v -x5251 x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 1800.01/1762.76 v -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 1800.01/1762.76 v -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 1800.01/1762.76 v -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 1800.01/1762.76 v -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 1800.01/1762.76 v -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 1800.01/1762.76 v -x5353 -x5354 -x5355 -x5356 -x5357 x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 1800.01/1762.76 v -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 1800.21/1762.81 c objective function=649 1800.21/1762.81 c Total wall clock time (ms): 1762.595
OK 649
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-351864-1176615642 -o ROOT/results/node9/solver-351864-1176615642 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351864-1176615642/sat4jPseudoCPClause.jar /tmp/evaluation/351864-1176615642/instance-351864-1176615642.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16909 /proc/meminfo: memFree=1594816/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=308 CPUtime=0 /proc/16909/stat : 16909 (java) R 16907 16909 15899 0 -1 0 58 0 0 0 0 0 0 0 18 0 1 0 137601803 315392 41 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 8663611 0 0 4096 0 0 0 0 17 1 0 0 /proc/16909/statm: 81 44 33 9 0 6 0 [startup+0.0911051 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16909 /proc/meminfo: memFree=1594816/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1777708 CPUtime=0.06 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 3760 0 1 0 4 2 0 0 18 0 7 0 137601803 1820372992 3502 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 444427 3502 1085 9 0 442063 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777708 [startup+0.101105 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16909 /proc/meminfo: memFree=1594816/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1777844 CPUtime=0.07 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 3833 0 1 0 5 2 0 0 18 0 7 0 137601803 1820512256 3575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 444461 3575 1091 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.301129 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16909 /proc/meminfo: memFree=1594816/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1782372 CPUtime=0.3 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 5085 0 1 0 27 3 0 0 18 0 12 0 137601803 1825148928 4823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 445593 4823 1264 9 0 443204 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1782372 [startup+0.701173 s] /proc/loadavg: 0.92 0.98 0.99 2/77 16909 /proc/meminfo: memFree=1594816/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1785152 CPUtime=0.9 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 7510 0 1 0 86 4 0 0 18 0 12 0 137601803 1827995648 6898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 446288 6898 1308 9 0 443899 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 1785152 [startup+1.50227 s] /proc/loadavg: 0.92 0.98 0.99 4/89 16921 /proc/meminfo: memFree=1562720/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1796636 CPUtime=2.49 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 16697 0 1 0 241 8 0 0 18 0 13 0 137601803 1839755264 11894 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 449159 11898 1318 9 0 446770 0 [pid=16909/tid=16911] ppid=16907 vsize=1796636 CPUtime=0.94 /proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 7578 0 1 0 89 5 0 0 18 0 13 0 137601804 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109368139 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16912] ppid=16907 vsize=1796636 CPUtime=0 /proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 137601806 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16913] ppid=16907 vsize=1796636 CPUtime=0 /proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 137601806 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16914] ppid=16907 vsize=1796636 CPUtime=0 /proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 137601808 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16915] ppid=16907 vsize=1796636 CPUtime=0 /proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 137601808 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16916] ppid=16907 vsize=1796636 CPUtime=0 /proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 137601808 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16917] ppid=16907 vsize=1796636 CPUtime=0 /proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16918] ppid=16907 vsize=1796636 CPUtime=0.61 /proc/16909/task/16918/stat : 16918 (java) R 16907 16909 15899 0 -1 64 3183 0 0 0 61 0 0 0 18 0 13 0 137601814 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105295842 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16919] ppid=16907 vsize=1796636 CPUtime=0.91 /proc/16909/task/16919/stat : 16919 (java) R 16907 16909 15899 0 -1 64 5212 0 0 0 90 1 0 0 22 0 13 0 137601814 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103335960 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16920] ppid=16907 vsize=1796636 CPUtime=0 /proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16921] ppid=16907 vsize=1796636 CPUtime=0 /proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1839755264 11898 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.49 Current children cumulated vsize (KiB) 1796636 [startup+3.10245 s] /proc/loadavg: 1.09 1.02 1.01 4/90 16922 /proc/meminfo: memFree=1543896/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1798928 CPUtime=5.52 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 38596 0 1 0 530 22 0 0 18 0 13 0 137601803 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 449732 27663 1324 9 0 447343 0 [pid=16909/tid=16911] ppid=16907 vsize=1798928 CPUtime=1.92 /proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 22460 0 1 0 179 13 0 0 18 0 13 0 137601804 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109765847 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16912] ppid=16907 vsize=1798928 CPUtime=0 /proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 137601806 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16913] ppid=16907 vsize=1798928 CPUtime=0 /proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 137601806 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16914] ppid=16907 vsize=1798928 CPUtime=0.02 /proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 3 0 0 0 0 2 0 0 16 0 13 0 137601808 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16915] ppid=16907 vsize=1798928 CPUtime=0 /proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 137601808 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16916] ppid=16907 vsize=1798928 CPUtime=0 /proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 137601808 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16917] ppid=16907 vsize=1798928 CPUtime=0 /proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16918] ppid=16907 vsize=1798928 CPUtime=1.92 /proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 7913 0 0 0 190 2 0 0 19 0 13 0 137601814 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16919] ppid=16907 vsize=1798928 CPUtime=1.61 /proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7494 0 0 0 159 2 0 0 16 0 13 0 137601814 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16920] ppid=16907 vsize=1798928 CPUtime=0 /proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16921] ppid=16907 vsize=1798928 CPUtime=0 /proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1842102272 27663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 5.52 Current children cumulated vsize (KiB) 1798928 [startup+6.3018 s] /proc/loadavg: 1.09 1.02 1.01 2/90 16924 /proc/meminfo: memFree=1418184/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1798788 CPUtime=9.07 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 56272 0 1 0 878 29 0 0 18 0 13 0 137601803 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 449697 45190 1334 9 0 447308 0 [pid=16909/tid=16911] ppid=16907 vsize=1798788 CPUtime=4.86 /proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 37755 0 1 0 466 20 0 0 25 0 13 0 137601804 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109727859 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16912] ppid=16907 vsize=1798788 CPUtime=0.06 /proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 1182 0 0 0 6 0 0 0 16 0 13 0 137601806 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16913] ppid=16907 vsize=1798788 CPUtime=0.06 /proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 1171 0 0 0 6 0 0 0 16 0 13 0 137601806 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.03 /proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 12 0 0 0 1 2 0 0 17 0 13 0 137601808 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16916] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16917] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16918] ppid=16907 vsize=1798788 CPUtime=2.16 /proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 7921 0 0 0 214 2 0 0 16 0 13 0 137601814 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16919] ppid=16907 vsize=1798788 CPUtime=1.85 /proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7505 0 0 0 183 2 0 0 16 0 13 0 137601814 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16920] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16921] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16924] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 137602309 1841958912 45190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 9.07 Current children cumulated vsize (KiB) 1798788 [startup+12.7025 s] /proc/loadavg: 1.07 1.02 1.00 2/90 16924 /proc/meminfo: memFree=1395216/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1798788 CPUtime=15.64 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 63585 0 1 0 1532 32 0 0 18 0 13 0 137601803 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 449697 50926 1335 9 0 447308 0 [pid=16909/tid=16911] ppid=16907 vsize=1798788 CPUtime=11.08 /proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 37760 0 1 0 1088 20 0 0 25 0 13 0 137601804 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109715306 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16912] ppid=16907 vsize=1798788 CPUtime=0.23 /proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 5088 0 0 0 22 1 0 0 16 0 13 0 137601806 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16913] ppid=16907 vsize=1798788 CPUtime=0.22 /proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 4557 0 0 0 21 1 0 0 16 0 13 0 137601806 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.03 /proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 27 0 0 0 1 2 0 0 16 0 13 0 137601808 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16916] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16917] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16918] ppid=16907 vsize=1798788 CPUtime=2.16 /proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 7921 0 0 0 214 2 0 0 17 0 13 0 137601814 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16919] ppid=16907 vsize=1798788 CPUtime=1.86 /proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7506 0 0 0 184 2 0 0 16 0 13 0 137601814 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16920] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16921] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16924] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 137602309 1841958912 50926 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 15.64 Current children cumulated vsize (KiB) 1798788 [startup+25.502 s] /proc/loadavg: 1.06 1.01 1.00 2/90 16924 /proc/meminfo: memFree=1374224/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1798788 CPUtime=28.56 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 69945 0 1 0 2822 34 0 0 18 0 13 0 137601803 1841958912 56196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 449697 56196 1335 9 0 447308 0 [pid=16909/tid=16911] ppid=16907 vsize=1798788 CPUtime=23.74 /proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 39303 0 1 0 2354 20 0 0 25 0 13 0 137601804 1841958912 56196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109722113 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16912] ppid=16907 vsize=1798788 CPUtime=0.35 /proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 7970 0 0 0 33 2 0 0 16 0 13 0 137601806 1841958912 56196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16913] ppid=16907 vsize=1798788 CPUtime=0.35 /proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 6492 0 0 0 33 2 0 0 16 0 13 0 137601806 1841958912 56196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.03 /proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 27 0 0 0 1 2 0 0 17 0 13 0 137601808 1841958912 56196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 56196 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.28 /proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 144 0 0 0 15 13 0 0 16 0 13 0 137601808 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16916] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16917] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16918] ppid=16907 vsize=1798788 CPUtime=2.48 /proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 8104 0 0 0 245 3 0 0 17 0 13 0 137601814 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16919] ppid=16907 vsize=1798788 CPUtime=1.97 /proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7513 0 0 0 195 2 0 0 17 0 13 0 137601814 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16920] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16921] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16924] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 137602309 1841958912 189664 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1636.38 Current children cumulated vsize (KiB) 1798788 [startup+1662.3 s] /proc/loadavg: 1.02 1.01 1.00 2/90 17121 /proc/meminfo: memFree=834448/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1798788 CPUtime=1697.55 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 279587 0 1 0 169592 163 0 0 18 0 13 0 137601803 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 449697 190685 1335 9 0 447308 0 [pid=16909/tid=16911] ppid=16907 vsize=1798788 CPUtime=1626.99 /proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 78128 0 1 0 162642 57 0 0 25 0 13 0 137601804 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109722048 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16912] ppid=16907 vsize=1798788 CPUtime=32.86 /proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 99620 0 0 0 3241 45 0 0 17 0 13 0 137601806 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16913] ppid=16907 vsize=1798788 CPUtime=32.88 /proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 85352 0 0 0 3249 39 0 0 16 0 13 0 137601806 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.3 /proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 144 0 0 0 16 14 0 0 16 0 13 0 137601808 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16916] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16917] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16918] ppid=16907 vsize=1798788 CPUtime=2.48 /proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 8104 0 0 0 245 3 0 0 17 0 13 0 137601814 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16919] ppid=16907 vsize=1798788 CPUtime=1.97 /proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7513 0 0 0 195 2 0 0 17 0 13 0 137601814 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16920] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16921] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16924] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 137602309 1841958912 190685 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1697.55 Current children cumulated vsize (KiB) 1798788 [startup+1722.3 s] /proc/loadavg: 1.01 1.00 1.00 2/90 17121 /proc/meminfo: memFree=830992/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1798788 CPUtime=1758.76 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 280554 0 1 0 175712 164 0 0 18 0 13 0 137601803 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 449697 191574 1335 9 0 447308 0 [pid=16909/tid=16911] ppid=16907 vsize=1798788 CPUtime=1685.73 /proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 78158 0 1 0 168516 57 0 0 25 0 13 0 137601804 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109722101 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16912] ppid=16907 vsize=1798788 CPUtime=34.1 /proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 100176 0 0 0 3364 46 0 0 17 0 13 0 137601806 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16913] ppid=16907 vsize=1798788 CPUtime=34.12 /proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 85733 0 0 0 3372 40 0 0 16 0 13 0 137601806 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.31 /proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 144 0 0 0 17 14 0 0 16 0 13 0 137601808 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16916] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16917] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16918] ppid=16907 vsize=1798788 CPUtime=2.48 /proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 8104 0 0 0 245 3 0 0 17 0 13 0 137601814 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16919] ppid=16907 vsize=1798788 CPUtime=1.97 /proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7513 0 0 0 195 2 0 0 17 0 13 0 137601814 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16920] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16921] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16924] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 137602309 1841958912 191574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1758.76 Current children cumulated vsize (KiB) 1798788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1762.7 s] /proc/loadavg: 1.00 1.00 1.00 2/90 17121 /proc/meminfo: memFree=828624/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1798788 CPUtime=1800.01 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 281158 0 1 0 179836 165 0 0 18 0 13 0 137601803 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 449697 192134 1335 9 0 447308 0 [pid=16909/tid=16911] ppid=16907 vsize=1798788 CPUtime=1725.26 /proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 78178 0 1 0 172469 57 0 0 25 0 13 0 137601804 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109775137 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16912] ppid=16907 vsize=1798788 CPUtime=34.95 /proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 100643 0 0 0 3449 46 0 0 16 0 13 0 137601806 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16913] ppid=16907 vsize=1798788 CPUtime=34.98 /proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 85850 0 0 0 3458 40 0 0 17 0 13 0 137601806 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16914] ppid=16907 vsize=1798788 CPUtime=0.31 /proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 144 0 0 0 17 14 0 0 16 0 13 0 137601808 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16915] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16916] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 137601808 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16917] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 137601814 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16918] ppid=16907 vsize=1798788 CPUtime=2.48 /proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 8104 0 0 0 245 3 0 0 17 0 13 0 137601814 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16919] ppid=16907 vsize=1798788 CPUtime=1.97 /proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7513 0 0 0 195 2 0 0 17 0 13 0 137601814 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16920] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 13 0 137601814 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16921] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 137601814 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16924] ppid=16907 vsize=1798788 CPUtime=0 /proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 137602309 1841958912 192134 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1798788 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1762.81 s] /proc/loadavg: 1.00 1.00 1.00 2/90 17121 /proc/meminfo: memFree=828624/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=1799436 CPUtime=1800.21 /proc/16909/stat : 16909 (java) S 16907 16909 15899 0 -1 0 281177 0 1 0 179856 165 0 0 16 0 15 0 137601803 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 449859 192153 1335 9 0 447470 0 [pid=16909/tid=16911] ppid=16907 vsize=1799436 CPUtime=1725.37 /proc/16909/task/16911/stat : 16911 (java) R 16907 16909 15899 0 -1 64 78178 0 1 0 172480 57 0 0 25 0 15 0 137601804 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109721567 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16912] ppid=16907 vsize=1799436 CPUtime=34.95 /proc/16909/task/16912/stat : 16912 (java) S 16907 16909 15899 0 -1 64 100643 0 0 0 3449 46 0 0 16 0 15 0 137601806 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16913] ppid=16907 vsize=1799436 CPUtime=34.98 /proc/16909/task/16913/stat : 16913 (java) S 16907 16909 15899 0 -1 64 85850 0 0 0 3458 40 0 0 17 0 15 0 137601806 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16914] ppid=16907 vsize=1799436 CPUtime=0.31 /proc/16909/task/16914/stat : 16914 (java) S 16907 16909 15899 0 -1 64 144 0 0 0 17 14 0 0 16 0 15 0 137601808 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16915] ppid=16907 vsize=1799436 CPUtime=0 /proc/16909/task/16915/stat : 16915 (java) S 16907 16909 15899 0 -1 64 11 0 0 0 0 0 0 0 16 0 15 0 137601808 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16916] ppid=16907 vsize=1799436 CPUtime=0 /proc/16909/task/16916/stat : 16916 (java) S 16907 16909 15899 0 -1 64 6 0 0 0 0 0 0 0 16 0 15 0 137601808 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16917] ppid=16907 vsize=1799436 CPUtime=0 /proc/16909/task/16917/stat : 16917 (java) S 16907 16909 15899 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 137601814 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16918] ppid=16907 vsize=1799436 CPUtime=2.5 /proc/16909/task/16918/stat : 16918 (java) S 16907 16909 15899 0 -1 64 8104 0 0 0 247 3 0 0 16 0 15 0 137601814 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16919] ppid=16907 vsize=1799436 CPUtime=2 /proc/16909/task/16919/stat : 16919 (java) S 16907 16909 15899 0 -1 64 7515 0 0 0 198 2 0 0 16 0 15 0 137601814 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=16909/tid=16920] ppid=16907 vsize=1799436 CPUtime=0 /proc/16909/task/16920/stat : 16920 (java) S 16907 16909 15899 0 -1 64 2 0 0 0 0 0 0 0 24 0 15 0 137601814 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16921] ppid=16907 vsize=1799436 CPUtime=0 /proc/16909/task/16921/stat : 16921 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 137601814 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=16909/tid=16924] ppid=16907 vsize=1799436 CPUtime=0 /proc/16909/task/16924/stat : 16924 (java) S 16907 16909 15899 0 -1 64 1 0 0 0 0 0 0 0 23 0 15 0 137602309 1842622464 192153 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 1799436 [startup+1762.9 s] /proc/loadavg: 1.00 1.00 1.00 2/90 17121 /proc/meminfo: memFree=828624/2055920 swapFree=4158676/4192956 [pid=16909] ppid=16907 vsize=0 CPUtime=1800.31 /proc/16909/stat : 16909 (java) Z 16907 16909 15899 0 -1 1036 281179 0 1 0 179860 171 0 0 15 0 2 0 137601803 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/16909/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1762.97 CPU time (s): 1800.39 CPU user time (s): 1798.61 CPU system time (s): 1.77873 CPU usage (%): 102.122 Max. virtual memory (cumulated for all children) (KiB): 1802400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.61 system time used= 1.77873 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281179 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45143 involuntary context switches= 63077 runsolver used 2.14167 second user time and 5.56815 second system time The end
Begin job on node9 on Sun Apr 15 05:40:42 UTC 2007 IDJOB= 351864 IDBENCH= 1831 IDSOLVER= 164 FILE ID= node9/351864-1176615642 PBS_JOBID= 4556829 Free space on /tmp= 66553 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351864-1176615642/sat4jPseudoCPClause.jar /tmp/evaluation/351864-1176615642/instance-351864-1176615642.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-351864-1176615642 -o ROOT/results/node9/solver-351864-1176615642 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351864-1176615642/sat4jPseudoCPClause.jar /tmp/evaluation/351864-1176615642/instance-351864-1176615642.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= a5b00f1ae7deac89a36da7a8be4b1f6d RANDOM SEED= 661052129 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.221 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.221 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: 1595224 kB Buffers: 80604 kB Cached: 252732 kB SwapCached: 10540 kB Active: 211804 kB Inactive: 178364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1595224 kB SwapTotal: 4192956 kB SwapFree: 4158676 kB Dirty: 3728 kB Writeback: 0 kB Mapped: 53660 kB Slab: 55992 kB Committed_AS: 4828152 kB PageTables: 1848 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66553 MiB End job on node9 on Sun Apr 15 06:10:07 UTC 2007