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