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