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