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