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