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