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