Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 30 | 1800.39 | 1773.06 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb |
MD5SUM | b63b2d912c01ff826a63051b401330db |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 23 |
Best CPU time to get the best result obtained on this benchmark | 18.8981 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | YES |
Number of variables | 4427 |
Total number of constraints | 12661 |
Number of constraints which are clauses | 12661 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 2136 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2136 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2136 |
Number of bits of the biggest sum of numbers | 12 |
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.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/372593-1177110790/instance-372593-1177110790.opb 0.20/0.20 c reading problem ... 1.86/1.34 c ... done. Wall clock time 1.135s. 1.86/1.34 c CPU time (experimental) 0.89s. 1.86/1.34 c #vars 4427 1.86/1.34 c #constraints 12489 2.14/1.53 c SATISFIABLE 2.14/1.53 c OPTIMIZING... 2.14/1.53 c Got one! Elapsed wall clock time (in seconds):1.331 2.14/1.55 o 35 31.40/28.42 c Got one! Elapsed wall clock time (in seconds):28.216 31.40/28.43 o 34 37.05/33.99 c Got one! Elapsed wall clock time (in seconds):33.783 37.05/34.00 o 33 45.47/42.11 c Got one! Elapsed wall clock time (in seconds):41.905 45.47/42.12 o 32 57.64/54.02 c Got one! Elapsed wall clock time (in seconds):53.813 57.64/54.02 o 31 128.48/124.39 c Got one! Elapsed wall clock time (in seconds):124.191 128.57/124.40 o 30 1800.05/1772.81 c starts : 9 1800.05/1772.81 c conflicts : 1534 1800.05/1772.81 c decisions : 82370 1800.05/1772.81 c propagations : 421617 1800.05/1772.81 c inspects : 2349642 1800.05/1772.81 c learnt literals : 0 1800.05/1772.81 c learnt binary clauses : 0 1800.05/1772.81 c learnt ternary clauses : 0 1800.05/1772.81 c learnt clauses : 1533 1800.05/1772.81 c root simplifications : 0 1800.05/1772.81 c removed literals (reason simplification) : 0 1800.05/1772.81 c reason swapping (by a shorter reason) : 0 1800.05/1772.81 c Calls to reduceDB : 0 1800.05/1772.81 c speed (decisions/second) : 49.96981912709029 1800.05/1772.81 c non guided choices 0 1800.05/1772.81 s SATISFIABLE 1800.05/1772.86 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 1800.05/1772.86 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 -x55 1800.05/1772.86 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1800.05/1772.86 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.05/1772.86 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.05/1772.86 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.05/1772.86 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.05/1772.86 v -x169 -x170 -x171 x172 x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.05/1772.86 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.05/1772.86 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.05/1772.86 v -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.05/1772.86 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.05/1772.86 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.05/1772.86 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.05/1772.86 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.05/1772.86 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.05/1772.86 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.05/1772.86 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.05/1772.86 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.05/1772.86 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.05/1772.86 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.05/1772.86 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.05/1772.86 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.05/1772.86 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.05/1772.86 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.05/1772.86 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1800.05/1772.86 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.05/1772.86 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.05/1772.86 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.05/1772.86 v -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.05/1772.86 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.05/1772.86 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.05/1772.86 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.05/1772.86 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.05/1772.86 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.05/1772.86 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.05/1772.86 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1800.05/1772.86 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.05/1772.86 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1800.05/1772.86 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.05/1772.86 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.05/1772.86 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 x903 1800.05/1772.86 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.05/1772.86 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.05/1772.86 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.05/1772.86 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.05/1772.86 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.05/1772.86 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.05/1772.86 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.05/1772.86 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.05/1772.86 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1800.05/1772.86 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.05/1772.86 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1800.05/1772.86 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.05/1772.86 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.05/1772.86 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.05/1772.86 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.05/1772.86 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.05/1772.86 v -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.05/1772.86 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.05/1772.86 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.05/1772.86 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.05/1772.86 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.05/1772.86 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.05/1772.86 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.05/1772.86 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1800.05/1772.86 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.05/1772.86 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1800.05/1772.86 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1800.05/1772.86 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1800.05/1772.86 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.05/1772.86 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.05/1772.86 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1800.05/1772.86 v -x1450 -x1451 -x1452 -x1453 -x1454 x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1800.05/1772.86 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 1800.05/1772.86 v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1800.05/1772.86 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1800.05/1772.86 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1800.05/1772.86 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 1800.05/1772.86 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1800.05/1772.86 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 x1580 -x1581 -x1582 x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 1800.05/1772.86 v -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 1800.05/1772.86 v -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 1800.05/1772.86 v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 1800.05/1772.86 v -x1641 -x1642 x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1800.05/1772.86 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.05/1772.86 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1800.05/1772.86 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 1800.05/1772.86 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.05/1772.86 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1800.05/1772.86 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1800.05/1772.86 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.05/1772.86 v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 1800.05/1772.86 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1800.05/1772.86 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 1800.05/1772.86 v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 1800.05/1772.86 v -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 1800.05/1772.86 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 1800.05/1772.86 v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 1800.05/1772.86 v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 1800.05/1772.86 v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 1800.05/1772.86 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 1800.05/1772.86 v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 1800.05/1772.86 v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 1800.05/1772.86 v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 1800.05/1772.86 v -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1800.05/1772.86 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 1800.05/1772.86 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1800.05/1772.86 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 1800.05/1772.86 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 1800.05/1772.86 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1800.05/1772.86 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 1800.05/1772.86 v -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 1800.05/1772.86 v -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 1800.05/1772.86 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1800.05/1772.86 v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1800.05/1772.86 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1800.05/1772.86 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1800.05/1772.86 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1800.05/1772.86 v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1800.05/1772.86 v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1800.05/1772.86 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1800.05/1772.86 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1800.05/1772.86 v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 1800.05/1772.86 v x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 1800.05/1772.86 v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.05/1772.86 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 1800.05/1772.86 v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1800.05/1772.86 v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 1800.05/1772.86 v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1800.05/1772.86 v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1800.05/1772.86 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 1800.05/1772.86 v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1800.05/1772.86 v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 1800.05/1772.86 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 1800.05/1772.86 v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 1800.05/1772.86 v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 1800.05/1772.86 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 1800.05/1772.86 v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1800.05/1772.86 v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 1800.05/1772.86 v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 1800.05/1772.86 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 1800.05/1772.86 v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 1800.05/1772.86 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 1800.05/1772.86 v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 1800.05/1772.86 v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 1800.05/1772.86 v -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 1800.05/1772.86 v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 1800.05/1772.86 v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 1800.05/1772.86 v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 1800.05/1772.86 v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1800.05/1772.86 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1800.05/1772.86 v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 1800.05/1772.86 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 1800.05/1772.86 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 1800.05/1772.86 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 1800.05/1772.86 v -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 1800.05/1772.86 v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 1800.05/1772.86 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1800.05/1772.86 v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 1800.05/1772.86 v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 1800.05/1772.86 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 1800.05/1772.86 v -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 1800.05/1772.86 v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 1800.05/1772.86 v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 1800.05/1772.86 v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 1800.05/1772.86 v -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 1800.05/1772.86 v -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 1800.05/1772.86 v -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 1800.05/1772.86 v -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 1800.05/1772.86 v -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 1800.05/1772.86 v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 1800.05/1772.86 v -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 1800.05/1772.86 v -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 1800.05/1772.86 v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 1800.05/1772.86 v -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 1800.05/1772.86 v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 1800.05/1772.86 v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 1800.05/1772.86 v -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 1800.05/1772.86 v -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 1800.05/1772.86 v -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 1800.05/1772.86 v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 1800.05/1772.86 v -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 1800.05/1772.86 v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 1800.05/1772.86 v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 1800.05/1772.86 v -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1800.05/1772.86 v -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 1800.05/1772.86 v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 1800.05/1772.86 v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 1800.05/1772.86 v -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 1800.05/1772.86 v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 1800.05/1772.86 v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1800.05/1772.86 v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 1800.05/1772.86 v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 1800.05/1772.86 v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 1800.05/1772.86 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 1800.05/1772.86 v -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 1800.05/1772.86 v -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 1800.05/1772.86 v -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 1800.05/1772.86 v -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 1800.05/1772.86 v -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 1800.05/1772.86 v -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 1800.05/1772.86 v -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3656 x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 1800.05/1772.86 v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 1800.05/1772.86 v -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 1800.05/1772.86 v -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 1800.05/1772.86 v -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 1800.05/1772.86 v -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 1800.05/1772.86 v -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 1800.05/1772.86 v -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 1800.05/1772.86 v -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 1800.05/1772.86 v -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 1800.05/1772.86 v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 1800.05/1772.86 v -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 1800.05/1772.86 v -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 1800.05/1772.86 v -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 1800.05/1772.86 v -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 x3902 x3903 -x3904 -x3905 -x3906 1800.05/1772.86 v -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 1800.05/1772.86 v -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 1800.05/1772.86 v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 1800.05/1772.86 v -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 1800.05/1772.86 v -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 1800.05/1772.86 v -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 x4008 1800.05/1772.86 v x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 1800.05/1772.86 v -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 1800.05/1772.86 v -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 1800.05/1772.86 v -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 1800.05/1772.86 v -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 1800.05/1772.86 v -x4094 -x4095 -x4096 -x4097 x4098 x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 1800.05/1772.86 v -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 1800.05/1772.86 v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 1800.05/1772.86 v -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 1800.05/1772.86 v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 1800.05/1772.86 v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 1800.05/1772.86 v -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 1800.05/1772.86 v -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 1800.05/1772.86 v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 1800.05/1772.86 v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 1800.05/1772.86 v -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 1800.05/1772.86 v -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 1800.05/1772.86 v -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 1800.05/1772.86 v -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 1800.05/1772.86 v -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 1800.05/1772.86 v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 1800.05/1772.86 v -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 1800.05/1772.86 v -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 1800.05/1772.86 v x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 x4416 x4417 x4418 x4419 -x4420 1800.05/1772.86 v -x4421 -x4422 -x4423 x4424 x4425 x4426 x4427 1800.05/1772.89 c objective function=30 1800.05/1772.89 c Total wall clock time (ms): 1772.691
OK 30
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-372593-1177110790 -o ROOT/results/node51/solver-372593-1177110790 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372593-1177110790/sat4jPseudoCP.jar /tmp/evaluation/372593-1177110790/instance-372593-1177110790.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27889 /proc/meminfo: memFree=1698344/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=18568 CPUtime=0 /proc/27889/stat : 27889 (runsolver) R 27887 27889 27150 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 65924127 19013632 292 18446744073709551615 4194304 4296420 548682068832 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/27889/statm: 4642 292 257 24 0 2626 0 [startup+0.040915 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27889 /proc/meminfo: memFree=1698344/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1776088 CPUtime=0.02 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 3202 0 1 0 1 1 0 0 19 0 4 0 65924127 1818714112 2950 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 444022 2950 887 9 0 441658 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1776088 [startup+0.101923 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27889 /proc/meminfo: memFree=1698344/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1780108 CPUtime=0.08 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 3968 0 1 0 6 2 0 0 19 0 12 0 65924127 1822830592 3710 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 445027 3710 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301939 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27889 /proc/meminfo: memFree=1698344/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1781420 CPUtime=0.32 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 5097 0 1 0 29 3 0 0 19 0 12 0 65924127 1824174080 4836 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 445355 4836 1264 9 0 442967 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1781420 [startup+0.701976 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27889 /proc/meminfo: memFree=1698344/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1783348 CPUtime=0.94 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 7278 0 1 0 91 3 0 0 19 0 12 0 65924127 1826148352 6576 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 445837 6576 1301 9 0 443449 0 Current children cumulated CPU time (s) 0.94 Current children cumulated vsize (KiB) 1783348 [startup+1.50205 s] /proc/loadavg: 1.16 1.03 1.01 2/76 27901 /proc/meminfo: memFree=1669960/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1785120 CPUtime=2.14 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 14445 0 1 0 207 7 0 0 19 0 13 0 65924127 1827962880 12660 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 446280 12660 1309 9 0 443892 0 [pid=27889/tid=27891] ppid=27887 vsize=1785120 CPUtime=1.02 /proc/27889/task/27891/stat : 27891 (java) R 27887 27889 27150 0 -1 64 10815 0 1 0 97 5 0 0 17 0 13 0 65924128 1827962880 12660 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109213328 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27892] ppid=27887 vsize=1785120 CPUtime=0 /proc/27889/task/27892/stat : 27892 (java) S 27887 27889 27150 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 65924130 1827962880 12660 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27893] ppid=27887 vsize=1785120 CPUtime=0 /proc/27889/task/27893/stat : 27893 (java) S 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 65924130 1827962880 12660 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27894] ppid=27887 vsize=1785120 CPUtime=0 /proc/27889/task/27894/stat : 27894 (java) S 27887 27889 27150 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 65924132 1827962880 12661 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27895] ppid=27887 vsize=1785120 CPUtime=0 /proc/27889/task/27895/stat : 27895 (java) S 27887 27889 27150 0 -1 64 10 0 0 0 0 0 0 0 24 0 13 0 65924133 1827962880 12661 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27896] ppid=27887 vsize=1785120 CPUtime=0 /proc/27889/task/27896/stat : 27896 (java) S 27887 27889 27150 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 65924133 1827962880 12661 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27897] ppid=27887 vsize=1785120 CPUtime=0 /proc/27889/task/27897/stat : 27897 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924136 1827962880 12661 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27898] ppid=27887 vsize=1785120 CPUtime=0.52 /proc/27889/task/27898/stat : 27898 (java) S 27887 27889 27150 0 -1 64 1469 0 0 0 52 0 0 0 16 0 13 0 65924137 1827962880 12661 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27899] ppid=27887 vsize=1785120 CPUtime=0.57 /proc/27889/task/27899/stat : 27899 (java) R 27887 27889 27150 0 -1 64 1439 0 0 0 57 0 0 0 17 0 13 0 65924137 1827962880 12661 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102111905 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27900] ppid=27887 vsize=1785120 CPUtime=0 /proc/27889/task/27900/stat : 27900 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924137 1827962880 12661 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27901] ppid=27887 vsize=1785120 CPUtime=0 /proc/27889/task/27901/stat : 27901 (java) S 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 65924137 1827962880 12661 18446744073709551615 134512640 134550740 4294956416 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) 1785120 [startup+3.1022 s] /proc/loadavg: 1.16 1.03 1.01 2/77 27903 /proc/meminfo: memFree=1610176/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1792160 CPUtime=4.45 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 45737 0 1 0 425 20 0 0 19 0 13 0 65924127 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 448040 42536 1322 9 0 445652 0 [pid=27889/tid=27891] ppid=27887 vsize=1792160 CPUtime=2.33 /proc/27889/task/27891/stat : 27891 (java) R 27887 27889 27150 0 -1 64 37723 0 1 0 217 16 0 0 20 0 13 0 65924128 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109892087 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27892] ppid=27887 vsize=1792160 CPUtime=0.02 /proc/27889/task/27892/stat : 27892 (java) S 27887 27889 27150 0 -1 64 891 0 0 0 2 0 0 0 17 0 13 0 65924130 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27893] ppid=27887 vsize=1792160 CPUtime=0.01 /proc/27889/task/27893/stat : 27893 (java) S 27887 27889 27150 0 -1 64 448 0 0 0 1 0 0 0 16 0 13 0 65924130 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27894] ppid=27887 vsize=1792160 CPUtime=0 /proc/27889/task/27894/stat : 27894 (java) S 27887 27889 27150 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 65924132 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27895] ppid=27887 vsize=1792160 CPUtime=0 /proc/27889/task/27895/stat : 27895 (java) S 27887 27889 27150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 65924133 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27896] ppid=27887 vsize=1792160 CPUtime=0 /proc/27889/task/27896/stat : 27896 (java) S 27887 27889 27150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 65924133 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27897] ppid=27887 vsize=1792160 CPUtime=0 /proc/27889/task/27897/stat : 27897 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924136 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27898] ppid=27887 vsize=1792160 CPUtime=0.86 /proc/27889/task/27898/stat : 27898 (java) S 27887 27889 27150 0 -1 64 1766 0 0 0 86 0 0 0 16 0 13 0 65924137 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27899] ppid=27887 vsize=1792160 CPUtime=1.17 /proc/27889/task/27899/stat : 27899 (java) R 27887 27889 27150 0 -1 64 4176 0 0 0 116 1 0 0 18 0 13 0 65924137 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 102399740 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27900] ppid=27887 vsize=1792160 CPUtime=0 /proc/27889/task/27900/stat : 27900 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924137 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27901] ppid=27887 vsize=1792160 CPUtime=0 /proc/27889/task/27901/stat : 27901 (java) S 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 65924137 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27903] ppid=27887 vsize=1792160 CPUtime=0 /proc/27889/task/27903/stat : 27903 (java) S 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 65924290 1835171840 42536 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.45 Current children cumulated vsize (KiB) 1792160 [startup+6.30147 s] /proc/loadavg: 1.16 1.03 1.01 2/77 27903 /proc/meminfo: memFree=1530880/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1792904 CPUtime=8.39 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 53520 0 1 0 816 23 0 0 19 0 13 0 65924127 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 448226 47096 1325 9 0 445838 0 [pid=27889/tid=27891] ppid=27887 vsize=1792904 CPUtime=5.31 /proc/27889/task/27891/stat : 27891 (java) R 27887 27889 27150 0 -1 64 41096 0 1 0 513 18 0 0 19 0 13 0 65924128 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109891895 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27892] ppid=27887 vsize=1792904 CPUtime=0.09 /proc/27889/task/27892/stat : 27892 (java) S 27887 27889 27150 0 -1 64 1840 0 0 0 9 0 0 0 16 0 13 0 65924130 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27893] ppid=27887 vsize=1792904 CPUtime=0.09 /proc/27889/task/27893/stat : 27893 (java) S 27887 27889 27150 0 -1 64 1317 0 0 0 9 0 0 0 16 0 13 0 65924130 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27894] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27894/stat : 27894 (java) S 27887 27889 27150 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 65924132 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27895] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27895/stat : 27895 (java) S 27887 27889 27150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 65924133 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27896] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27896/stat : 27896 (java) S 27887 27889 27150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 65924133 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27897] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27897/stat : 27897 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924136 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27898] ppid=27887 vsize=1792904 CPUtime=1.19 /proc/27889/task/27898/stat : 27898 (java) S 27887 27889 27150 0 -1 64 2317 0 0 0 119 0 0 0 16 0 13 0 65924137 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27899] ppid=27887 vsize=1792904 CPUtime=1.66 /proc/27889/task/27899/stat : 27899 (java) S 27887 27889 27150 0 -1 64 6195 0 0 0 164 2 0 0 16 0 13 0 65924137 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27900] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27900/stat : 27900 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924137 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27901] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27901/stat : 27901 (java) R 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 65924137 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27903] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27903/stat : 27903 (java) S 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 65924290 1835933696 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.39 Current children cumulated vsize (KiB) 1792904 [startup+12.701 s] /proc/loadavg: 1.13 1.03 1.01 2/77 27903 /proc/meminfo: memFree=1502656/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1796768 CPUtime=15.12 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 60278 0 1 0 1486 26 0 0 19 0 13 0 65924127 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 449192 49832 1325 9 0 446804 0 [pid=27889/tid=27891] ppid=27887 vsize=1796768 CPUtime=11.6 /proc/27889/task/27891/stat : 27891 (java) R 27887 27889 27150 0 -1 64 45504 0 1 0 1141 19 0 0 18 0 13 0 65924128 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109907125 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27892] ppid=27887 vsize=1796768 CPUtime=0.13 /proc/27889/task/27892/stat : 27892 (java) S 27887 27889 27150 0 -1 64 2165 0 0 0 13 0 0 0 16 0 13 0 65924130 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27893] ppid=27887 vsize=1796768 CPUtime=0.12 /proc/27889/task/27893/stat : 27893 (java) S 27887 27889 27150 0 -1 64 1706 0 0 0 12 0 0 0 16 0 13 0 65924130 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27894] ppid=27887 vsize=1796768 CPUtime=0.01 /proc/27889/task/27894/stat : 27894 (java) S 27887 27889 27150 0 -1 64 33 0 0 0 1 0 0 0 15 0 13 0 65924132 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27895] ppid=27887 vsize=1796768 CPUtime=0 /proc/27889/task/27895/stat : 27895 (java) S 27887 27889 27150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 65924133 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27896] ppid=27887 vsize=1796768 CPUtime=0 /proc/27889/task/27896/stat : 27896 (java) S 27887 27889 27150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 65924133 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27897] ppid=27887 vsize=1796768 CPUtime=0 /proc/27889/task/27897/stat : 27897 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924136 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27898] ppid=27887 vsize=1796768 CPUtime=1.47 /proc/27889/task/27898/stat : 27898 (java) S 27887 27889 27150 0 -1 64 3941 0 0 0 146 1 0 0 16 0 13 0 65924137 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27899] ppid=27887 vsize=1796768 CPUtime=1.73 /proc/27889/task/27899/stat : 27899 (java) S 27887 27889 27150 0 -1 64 6207 0 0 0 171 2 0 0 15 0 13 0 65924137 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27900] ppid=27887 vsize=1796768 CPUtime=0 /proc/27889/task/27900/stat : 27900 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924137 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27901] ppid=27887 vsize=1796768 CPUtime=0 /proc/27889/task/27901/stat : 27901 (java) S 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 65924137 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27903] ppid=27887 vsize=1796768 CPUtime=0 /proc/27889/task/27903/stat : 27903 (java) S 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 65924290 1839890432 49832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 15.12 Current children cumulated vsize (KiB) 1796768 [startup+25.5022 s] /proc/loadavg: 1.11 1.03 1.01 2/77 27903 /proc/meminfo: memFree=1525248/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1796768 CPUtime=28.49 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 64066 0 1 0 2820 29 0 0 19 0 13 0 65924127 1839890432 44191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 449192 44191 1326 9 0 446804 0 [pid=27889/tid=27891] ppid=27887 vsize=1796768 CPUtime=24.13 /proc/27889/task/27891/stat : 27891 (java) R 27887 27889 27150 0 -1 64 45547 0 1 0 2393 20 0 0 17 0 13 0 65924128 1839890432 44191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109902915 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27892] ppid=27887 vsize=1796768 CPUtime=0.23 /proc/27889/task/27892/stat : 27892 (java) S 27887 27889 27150 0 -1 64 3035 0 0 0 22 1 0 0 15 0 13 0 65924130 1839890432 44191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27893] ppid=27887 vsize=1796768 CPUtime=0.2 /proc/27889/task/27893/stat : 27893 (java) S 27887 27889 27150 0 -1 64 2632 0 0 0 20 0 0 0 16 0 13 0 65924130 1839890432 44191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27894] ppid=27887 vsize=1796768 CPUtime=0.03 /proc/27889/task/27894/stat : 27894 (java) S 27887 27889 27150 0 -1 64 33 0 0 0 2 1 0 0 15 0 13 0 65924132 1839890432 44191 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=27889/tid=27894] ppid=27887 vsize=1792904 CPUtime=0.68 /proc/27889/task/27894/stat : 27894 (java) S 27887 27889 27150 0 -1 64 284 0 0 0 41 27 0 0 16 0 13 0 65924132 1835933696 168190 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27895] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27895/stat : 27895 (java) S 27887 27889 27150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 65924133 1835933696 168190 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27896] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27896/stat : 27896 (java) S 27887 27889 27150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 65924133 1835933696 168190 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27897] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27897/stat : 27897 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924136 1835933696 168190 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27898] ppid=27887 vsize=1792904 CPUtime=2.23 /proc/27889/task/27898/stat : 27898 (java) S 27887 27889 27150 0 -1 64 4677 0 0 0 222 1 0 0 16 0 13 0 65924137 1835933696 168190 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27899] ppid=27887 vsize=1792904 CPUtime=2.45 /proc/27889/task/27899/stat : 27899 (java) S 27887 27889 27150 0 -1 64 8162 0 0 0 242 3 0 0 17 0 13 0 65924137 1835933696 168190 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27900] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27900/stat : 27900 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924137 1835933696 168190 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27901] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27901/stat : 27901 (java) S 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 65924137 1835933696 168190 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27908] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27908/stat : 27908 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 65936569 1835933696 168190 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1565.03 Current children cumulated vsize (KiB) 1792904 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/77 27908 /proc/meminfo: memFree=1011672/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1792904 CPUtime=1626.18 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 261600 0 1 0 162459 159 0 0 19 0 13 0 65924127 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 448226 172539 1329 9 0 445838 0 [pid=27889/tid=27891] ppid=27887 vsize=1792904 CPUtime=1577.7 /proc/27889/task/27891/stat : 27891 (java) R 27887 27889 27150 0 -1 64 96045 0 1 0 157724 46 0 0 18 0 13 0 65924128 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109878285 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27892] ppid=27887 vsize=1792904 CPUtime=21.53 /proc/27889/task/27892/stat : 27892 (java) S 27887 27889 27150 0 -1 64 74878 0 0 0 2115 38 0 0 16 0 13 0 65924130 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27893] ppid=27887 vsize=1792904 CPUtime=21.46 /proc/27889/task/27893/stat : 27893 (java) S 27887 27889 27150 0 -1 64 76824 0 0 0 2109 37 0 0 15 0 13 0 65924130 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27894] ppid=27887 vsize=1792904 CPUtime=0.71 /proc/27889/task/27894/stat : 27894 (java) S 27887 27889 27150 0 -1 64 284 0 0 0 43 28 0 0 16 0 13 0 65924132 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27895] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27895/stat : 27895 (java) S 27887 27889 27150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 65924133 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27896] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27896/stat : 27896 (java) S 27887 27889 27150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 65924133 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27897] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27897/stat : 27897 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924136 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27898] ppid=27887 vsize=1792904 CPUtime=2.23 /proc/27889/task/27898/stat : 27898 (java) S 27887 27889 27150 0 -1 64 4677 0 0 0 222 1 0 0 16 0 13 0 65924137 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27899] ppid=27887 vsize=1792904 CPUtime=2.46 /proc/27889/task/27899/stat : 27899 (java) S 27887 27889 27150 0 -1 64 8162 0 0 0 243 3 0 0 16 0 13 0 65924137 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27900] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27900/stat : 27900 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924137 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27901] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27901/stat : 27901 (java) S 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 65924137 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27908] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27908/stat : 27908 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 65936569 1835933696 172539 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1626.18 Current children cumulated vsize (KiB) 1792904 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/77 27908 /proc/meminfo: memFree=994264/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1792904 CPUtime=1687.28 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 266418 0 1 0 168565 163 0 0 19 0 13 0 65924127 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 448226 176752 1329 9 0 445838 0 [pid=27889/tid=27891] ppid=27887 vsize=1792904 CPUtime=1636.51 /proc/27889/task/27891/stat : 27891 (java) R 27887 27889 27150 0 -1 64 96152 0 1 0 163604 47 0 0 25 0 13 0 65924128 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109878607 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27892] ppid=27887 vsize=1792904 CPUtime=22.68 /proc/27889/task/27892/stat : 27892 (java) S 27887 27889 27150 0 -1 64 77158 0 0 0 2228 40 0 0 16 0 13 0 65924130 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27893] ppid=27887 vsize=1792904 CPUtime=22.6 /proc/27889/task/27893/stat : 27893 (java) S 27887 27889 27150 0 -1 64 79255 0 0 0 2222 38 0 0 16 0 13 0 65924130 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27894] ppid=27887 vsize=1792904 CPUtime=0.73 /proc/27889/task/27894/stat : 27894 (java) S 27887 27889 27150 0 -1 64 284 0 0 0 44 29 0 0 16 0 13 0 65924132 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27895] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27895/stat : 27895 (java) S 27887 27889 27150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 65924133 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27896] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27896/stat : 27896 (java) S 27887 27889 27150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 65924133 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27897] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27897/stat : 27897 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924136 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27898] ppid=27887 vsize=1792904 CPUtime=2.23 /proc/27889/task/27898/stat : 27898 (java) S 27887 27889 27150 0 -1 64 4677 0 0 0 222 1 0 0 16 0 13 0 65924137 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27899] ppid=27887 vsize=1792904 CPUtime=2.46 /proc/27889/task/27899/stat : 27899 (java) S 27887 27889 27150 0 -1 64 8162 0 0 0 243 3 0 0 16 0 13 0 65924137 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27900] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27900/stat : 27900 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924137 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27901] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27901/stat : 27901 (java) S 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 65924137 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27908] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27908/stat : 27908 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 65936569 1835933696 176752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1687.28 Current children cumulated vsize (KiB) 1792904 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/77 27908 /proc/meminfo: memFree=976792/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1792904 CPUtime=1748.5 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 271583 0 1 0 174684 166 0 0 19 0 13 0 65924127 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 448226 181243 1329 9 0 445838 0 [pid=27889/tid=27891] ppid=27887 vsize=1792904 CPUtime=1695.21 /proc/27889/task/27891/stat : 27891 (java) R 27887 27889 27150 0 -1 64 96255 0 1 0 169474 47 0 0 25 0 13 0 65924128 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109893610 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27892] ppid=27887 vsize=1792904 CPUtime=23.92 /proc/27889/task/27892/stat : 27892 (java) S 27887 27889 27150 0 -1 64 79400 0 0 0 2351 41 0 0 16 0 13 0 65924130 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27893] ppid=27887 vsize=1792904 CPUtime=23.84 /proc/27889/task/27893/stat : 27893 (java) S 27887 27889 27150 0 -1 64 82075 0 0 0 2345 39 0 0 16 0 13 0 65924130 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27894] ppid=27887 vsize=1792904 CPUtime=0.76 /proc/27889/task/27894/stat : 27894 (java) S 27887 27889 27150 0 -1 64 284 0 0 0 46 30 0 0 15 0 13 0 65924132 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27895] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27895/stat : 27895 (java) S 27887 27889 27150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 65924133 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27896] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27896/stat : 27896 (java) S 27887 27889 27150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 65924133 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27897] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27897/stat : 27897 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924136 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27898] ppid=27887 vsize=1792904 CPUtime=2.23 /proc/27889/task/27898/stat : 27898 (java) S 27887 27889 27150 0 -1 64 4677 0 0 0 222 1 0 0 16 0 13 0 65924137 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27899] ppid=27887 vsize=1792904 CPUtime=2.46 /proc/27889/task/27899/stat : 27899 (java) S 27887 27889 27150 0 -1 64 8162 0 0 0 243 3 0 0 16 0 13 0 65924137 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27900] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27900/stat : 27900 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924137 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27901] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27901/stat : 27901 (java) S 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 65924137 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27908] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27908/stat : 27908 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 65936569 1835933696 181243 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1748.5 Current children cumulated vsize (KiB) 1792904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1772.8 s] /proc/loadavg: 1.00 1.00 1.00 2/77 27908 /proc/meminfo: memFree=960600/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=1792904 CPUtime=1800.05 /proc/27889/stat : 27889 (java) S 27887 27889 27150 0 -1 0 275954 0 1 0 179835 170 0 0 19 0 13 0 65924127 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/27889/statm: 448226 185119 1329 9 0 445838 0 [pid=27889/tid=27891] ppid=27887 vsize=1792904 CPUtime=1744.59 /proc/27889/task/27891/stat : 27891 (java) R 27887 27889 27150 0 -1 64 96342 0 1 0 174411 48 0 0 20 0 13 0 65924128 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109907329 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27892] ppid=27887 vsize=1792904 CPUtime=24.99 /proc/27889/task/27892/stat : 27892 (java) S 27887 27889 27150 0 -1 64 81609 0 0 0 2457 42 0 0 16 0 13 0 65924130 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27893] ppid=27887 vsize=1792904 CPUtime=24.91 /proc/27889/task/27893/stat : 27893 (java) S 27887 27889 27150 0 -1 64 84150 0 0 0 2451 40 0 0 16 0 13 0 65924130 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27894] ppid=27887 vsize=1792904 CPUtime=0.78 /proc/27889/task/27894/stat : 27894 (java) S 27887 27889 27150 0 -1 64 284 0 0 0 47 31 0 0 16 0 13 0 65924132 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27895] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27895/stat : 27895 (java) S 27887 27889 27150 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 65924133 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27896] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27896/stat : 27896 (java) S 27887 27889 27150 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 65924133 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27897] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27897/stat : 27897 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924136 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27898] ppid=27887 vsize=1792904 CPUtime=2.23 /proc/27889/task/27898/stat : 27898 (java) S 27887 27889 27150 0 -1 64 4677 0 0 0 222 1 0 0 16 0 13 0 65924137 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27899] ppid=27887 vsize=1792904 CPUtime=2.46 /proc/27889/task/27899/stat : 27899 (java) S 27887 27889 27150 0 -1 64 8162 0 0 0 243 3 0 0 16 0 13 0 65924137 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27889/tid=27900] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27900/stat : 27900 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 65924137 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27901] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27901/stat : 27901 (java) S 27887 27889 27150 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 65924137 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27889/tid=27908] ppid=27887 vsize=1792904 CPUtime=0 /proc/27889/task/27908/stat : 27908 (java) S 27887 27889 27150 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 65936569 1835933696 185119 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1792904 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1773 s] /proc/loadavg: 1.00 1.00 1.00 2/77 27908 /proc/meminfo: memFree=960600/2055920 swapFree=4183244/4192956 [pid=27889] ppid=27887 vsize=0 CPUtime=1800.33 /proc/27889/stat : 27889 (java) Z 27887 27889 27150 0 -1 1036 275973 0 1 0 179857 176 0 0 15 0 2 0 65924127 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27889/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1773.06 CPU time (s): 1800.39 CPU user time (s): 1798.57 CPU system time (s): 1.81672 CPU usage (%): 101.541 Max. virtual memory (cumulated for all children) (KiB): 1797756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.57 system time used= 1.81672 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275973 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 67740 involuntary context switches= 35749 runsolver used 2.11168 second user time and 5.30019 second system time The end
Begin job on node51 on Fri Apr 20 23:13:10 UTC 2007 IDJOB= 372593 IDBENCH= 24983 IDSOLVER= 160 FILE ID= node51/372593-1177110790 PBS_JOBID= 4640419 Free space on /tmp= 66458 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372593-1177110790/sat4jPseudoCP.jar /tmp/evaluation/372593-1177110790/instance-372593-1177110790.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-372593-1177110790 -o ROOT/results/node51/solver-372593-1177110790 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/372593-1177110790/sat4jPseudoCP.jar /tmp/evaluation/372593-1177110790/instance-372593-1177110790.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= b63b2d912c01ff826a63051b401330db RANDOM SEED= 272842018 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1698752 kB Buffers: 54848 kB Cached: 250492 kB SwapCached: 3448 kB Active: 133528 kB Inactive: 183228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1698752 kB SwapTotal: 4192956 kB SwapFree: 4183244 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 15612 kB Slab: 26488 kB Committed_AS: 3697840 kB PageTables: 1408 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= 66458 MiB End job on node51 on Fri Apr 20 23:42:45 UTC 2007