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