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