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