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