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