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