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