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