Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | -3839 | 1800.77 | 1783.7 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb |
MD5SUM | 7ddc5796bc843f2bf9bc94a0b22fd8e4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -4316 |
Best CPU time to get the best result obtained on this benchmark | 1800.59 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4362 |
Optimality of the best value was proved | NO |
Number of variables | 5383 |
Total number of constraints | 3279 |
Number of constraints which are clauses | 2977 |
Number of constraints which are cardinality constraints (but not clauses) | 276 |
Number of constraints which are nor clauses,nor cardinality constraints | 26 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2952 |
Number of terms in the objective function | 2946 |
Biggest coefficient in the objective function | 334 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 526119 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 254588 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 526119 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.20 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node30/42638-1149273550/instance-42638-1149273550.opb 0.20 c reading problem ... 1.55 c ... done. Time 1.347 ms. 1.55 c #vars 5383 1.55 c #constraints 3225 1.96 c SATISFIABLE 1.96 c OPTIMIZING... 1.96 c Got one! Ellapsed CPU time (in seconds):1.754 1.99 o -3121 20.70 c Got one! Ellapsed CPU time (in seconds):20.497 20.72 o -3419 36.84 c Got one! Ellapsed CPU time (in seconds):36.64 36.87 o -3445 53.78 c Got one! Ellapsed CPU time (in seconds):53.579 53.81 o -3805 96.69 c Got one! Ellapsed CPU time (in seconds):96.482 96.71 o -3839 1783.34 c starts : 17 1783.34 c conflicts : 2842 1783.34 c decisions : 29215 1783.34 c propagations : 373097 1783.34 c inspects : 7627394 1783.34 c learnt literals : 0 1783.34 c learnt binary clauses : 0 1783.34 c learnt ternary clauses : 0 1783.34 c learnt clauses : 2841 1783.34 c root simplifications : 0 1783.34 c removed literals (reason simplification) : 0 1783.34 c reason swapping (by a shorter reason) : 0 1783.34 c Calls to reduceDB : 0 1783.34 c speed (decisions/second) : 17.321882253890234 1783.34 c non guided choices 5056 1783.34 s SATISFIABLE 1783.41 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 1783.41 v -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1783.41 v -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1783.41 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1783.41 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1783.41 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1783.41 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1783.41 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1783.41 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1783.41 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1783.41 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1783.41 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1783.41 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1783.41 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1783.41 v -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1783.41 v -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1783.41 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1783.41 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1783.41 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1783.41 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1783.41 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1783.41 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1783.41 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1783.41 v -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1783.41 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1783.41 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1783.41 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1783.41 v -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1783.41 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1783.41 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1783.41 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1783.41 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1783.41 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1783.41 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1783.41 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1783.41 v -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1783.41 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1783.41 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1783.41 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1783.41 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1783.41 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1783.41 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1783.41 v -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1783.41 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1783.41 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1783.41 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1783.41 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1783.41 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1783.41 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1783.41 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1783.41 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1783.41 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1783.41 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1783.41 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1783.41 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1783.41 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1783.41 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1783.41 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1783.41 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1783.41 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1783.41 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 1783.41 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1783.41 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1783.41 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1783.41 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1783.41 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1783.41 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1783.41 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1783.41 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1783.41 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1783.41 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1783.41 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1783.41 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1783.41 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1783.41 v -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1783.41 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1783.41 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1783.41 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1783.41 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1783.41 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1783.41 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1783.41 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1783.41 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1783.41 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 1783.41 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1783.41 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1783.41 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1783.41 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1783.41 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1783.41 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1783.41 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1783.41 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1783.41 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1783.41 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1783.41 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1783.41 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1783.41 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 1783.41 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1783.41 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1783.41 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1783.41 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 1783.41 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1783.41 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1783.41 v -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1783.41 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1783.41 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1783.41 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1783.41 v -x2027 -x2028 -x2029 -x2030 x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1783.41 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 x2061 -x2062 1783.41 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 1783.41 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1783.41 v x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 1783.41 v -x2115 x2116 x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1783.41 v -x2133 -x2134 -x2135 -x2136 x2137 x2138 x2139 x2140 x2141 x2142 x2143 x2144 x2145 -x2146 x2147 x2148 x2149 x2150 x2151 x2152 1783.41 v x2153 x2154 x2155 x2156 -x2157 x2158 x2159 x2160 x2161 x2162 x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 1783.41 v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 x2181 -x2182 -x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 1783.41 v -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 1783.41 v -x2207 -x2208 -x2209 x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 1783.41 v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 1783.41 v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 1783.41 v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 1783.41 v -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 1783.41 v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 1783.41 v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 1783.41 v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 1783.41 v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 1783.41 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 1783.41 v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 1783.41 v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 1783.41 v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 1783.41 v -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1783.41 v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 1783.41 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1783.41 v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1783.41 v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 1783.41 v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 1783.41 v -x2531 -x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 1783.41 v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 1783.41 v -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 1783.41 v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 1783.41 v -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 1783.41 v -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 1783.41 v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 1783.41 v -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 1783.41 v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 1783.41 v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 1783.41 v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 1783.41 v -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 1783.41 v -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750 -x2751 1783.41 v -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 1783.41 v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 1783.41 v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 x2797 -x2798 -x2799 -x2800 -x2801 -x2802 1783.41 v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 1783.41 v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 1783.41 v -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 1783.41 v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 1783.41 v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 1783.41 v -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 1783.41 v -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 1783.41 v -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 1783.41 v -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 1783.41 v -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 1783.41 v -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 1783.41 v -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 1783.41 v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 1783.41 v -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 1783.41 v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 1783.41 v -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 1783.41 v -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 1783.41 v -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 1783.41 v -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 1783.41 v -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142 1783.41 v -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 1783.41 v -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 1783.41 v -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 1783.41 v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 1783.41 v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 1783.41 v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 1783.41 v -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 1783.41 v -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 1783.41 v -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 1783.41 v -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 1783.41 v -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 1783.41 v -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 1783.41 v -x3347 -x3348 x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 1783.41 v -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 1783.41 v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 1783.41 v -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 1783.41 v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 1783.41 v -x3432 -x3433 -x3434 -x3435 -x3436 x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 1783.41 v -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 1783.41 v -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 1783.41 v -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 1783.41 v -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 1783.41 v -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 1783.41 v -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 1783.41 v x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 1783.41 v -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 1783.41 v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 1783.41 v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 1783.41 v -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 1783.41 v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 1783.41 v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 1783.41 v -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 1783.41 v -x3687 -x3688 -x3689 -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 1783.41 v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 1783.41 v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 1783.41 v -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 1783.41 v -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 1783.41 v -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 1783.41 v -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 1783.41 v -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 1783.41 v -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 1783.41 v -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 1783.41 v -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 x3868 -x3869 -x3870 -x3871 -x3872 -x3873 1783.41 v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 1783.41 v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 1783.41 v -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 1783.41 v -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 1783.41 v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 1783.41 v -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 1783.41 v -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 1783.41 v -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 1783.41 v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 1783.41 v -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 1783.41 v -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 1783.41 v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 1783.41 v -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 x4090 -x4091 -x4092 x4093 -x4094 -x4095 1783.41 v -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 1783.41 v -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 1783.41 v -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 1783.41 v -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 1783.41 v -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 1783.41 v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 1783.41 v -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 1783.41 v -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 1783.41 v -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 1783.41 v -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 1783.41 v -x4266 x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 1783.41 v -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 1783.41 v -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 1783.41 v -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 1783.41 v -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 1783.41 v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 1783.41 v -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 1783.41 v -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 1783.41 v -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 1783.41 v -x4419 -x4420 -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 1783.41 v -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 1783.41 v -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 1783.41 v -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 1783.41 v -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 1783.41 v -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 1783.41 v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 1783.41 v -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 1783.41 v x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 1783.41 v -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 x4586 -x4587 -x4588 1783.41 v -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 1783.41 v -x4606 -x4607 -x4608 -x4609 -x4610 x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 1783.41 v -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 1783.41 v -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 1783.41 v -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 1783.41 v -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 1783.41 v -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 1783.41 v -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 x4719 x4720 -x4721 -x4722 -x4723 -x4724 -x4725 1783.41 v -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 1783.41 v -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 1783.41 v -x4760 -x4761 -x4762 -x4763 -x4764 x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 x4775 -x4776 -x4777 1783.41 v -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790 -x4791 -x4792 -x4793 -x4794 1783.41 v -x4795 x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 x4809 -x4810 -x4811 -x4812 1783.41 v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 -x4820 -x4821 -x4822 x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 1783.41 v -x4831 x4832 -x4833 -x4834 x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 x4843 -x4844 -x4845 -x4846 x4847 -x4848 1783.41 v -x4849 -x4850 x4851 -x4852 x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 x4864 x4865 -x4866 1783.41 v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 1783.41 v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 1783.41 v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 x4916 -x4917 1783.41 v -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 1783.41 v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 1783.41 v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 1783.41 v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 1783.41 v -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 x5001 -x5002 1783.41 v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 1783.41 v -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 1783.41 v -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 1783.41 v -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 1783.41 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 1783.41 v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 1783.41 v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 1783.41 v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 1783.41 v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 1783.41 v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 1783.41 v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 1783.41 v -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 1783.41 v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 1783.41 v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 1783.41 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 1783.41 v -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 1783.41 v -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 1783.41 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 1783.41 v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 1783.41 v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 1783.41 v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 1783.41 v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 1783.41 v -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 1783.44 c objective function=-3839 1783.44 c Total wall clock time (ms): 1783.233
OK -3839
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/node30/watcher-42638-1149273550 -o ROOT/results/node30/solver-42638-1149273550 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node30/42638-1149273550/instance-42638-1149273550.opb 988876059 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.97 3/64 23236 /proc/meminfo: memFree=1723744/2055920 swapFree=4180904/4192956 [pid=23236] ppid=23234 vsize=1452 CPUtime=0 /proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 103 0 0 0 0 0 0 0 19 0 1 0 193018667 1486848 75 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 7916870 0 0 4096 0 0 0 0 17 1 0 0 /proc/23236/statm: 363 84 66 14 0 8 0 [startup+10.003 s] /proc/loadavg: 0.93 0.98 0.97 2/76 23249 /proc/meminfo: memFree=1556096/2055920 swapFree=4180904/4192956 [pid=23236] ppid=23234 vsize=1713136 CPUtime=11.45 /proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 45740 0 1 0 1122 23 0 0 18 0 13 0 193018667 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23236/statm: 428284 43740 1911 14 0 415031 0 [pid=23236/tid=23237] ppid=23234 vsize=1713136 CPUtime=0.12 /proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 2950 0 0 0 12 0 0 0 16 0 13 0 193018670 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23238] ppid=23234 vsize=1713136 CPUtime=0.13 /proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 2948 0 0 0 12 1 0 0 16 0 13 0 193018670 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23239] ppid=23234 vsize=1713136 CPUtime=0 /proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 193018673 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23240] ppid=23234 vsize=1713136 CPUtime=0 /proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23241] ppid=23234 vsize=1713136 CPUtime=0 /proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23242] ppid=23234 vsize=1713136 CPUtime=0 /proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23243] ppid=23234 vsize=1713136 CPUtime=0 /proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23244] ppid=23234 vsize=1713136 CPUtime=1.04 /proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1599 0 0 0 103 1 0 0 15 0 13 0 193018677 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23245] ppid=23234 vsize=1713136 CPUtime=0.79 /proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1610 0 0 0 78 1 0 0 16 0 13 0 193018677 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23246] ppid=23234 vsize=1713136 CPUtime=0 /proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23247] ppid=23234 vsize=1713136 CPUtime=0 /proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23249] ppid=23234 vsize=1713136 CPUtime=0 /proc/23236/task/23249/stat : 23249 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 193018878 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.45 Current children cumulated vsize (Kb) 1713136 [startup+20.0101 s] /proc/loadavg: 0.94 0.98 0.97 2/76 23249 /proc/meminfo: memFree=1529992/2055920 swapFree=4180904/4192956 [pid=23236] ppid=23234 vsize=1713964 CPUtime=21.71 /proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 52807 0 1 0 2145 26 0 0 25 0 13 0 193018667 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071561585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23236/statm: 428491 50259 1911 14 0 415238 0 [pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=0.34 /proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 6554 0 0 0 32 2 0 0 17 0 13 0 193018670 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=0.34 /proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 6220 0 0 0 32 2 0 0 16 0 13 0 193018670 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.07 /proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1772 0 0 0 106 1 0 0 17 0 13 0 193018677 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.81 /proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1616 0 0 0 80 1 0 0 16 0 13 0 193018677 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23249] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23249/stat : 23249 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 193018878 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.71 Current children cumulated vsize (Kb) 1713964 [startup+30.0171 s] /proc/loadavg: 0.95 0.98 0.97 2/76 23250 /proc/meminfo: memFree=1508672/2055920 swapFree=4180904/4192956 [pid=23236] ppid=23234 vsize=1713964 CPUtime=31.96 /proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 59123 0 1 0 3167 29 0 0 25 0 13 0 193018667 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071694008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23236/statm: 428491 55577 1911 14 0 415238 0 [pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=0.49 /proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 9332 0 0 0 45 4 0 0 16 0 13 0 193018670 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=0.49 /proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 9743 0 0 0 45 4 0 0 16 0 13 0 193018670 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.12 /proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1774 0 0 0 111 1 0 0 16 0 13 0 193018677 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.9 /proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1620 0 0 0 89 1 0 0 16 0 13 0 193018677 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23250] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23250/stat : 23250 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 193020744 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.96 Current children cumulated vsize (Kb) 1713964 [startup+40.0242 s] /proc/loadavg: 0.96 0.98 0.97 2/76 23251 /proc/meminfo: memFree=1489720/2055920 swapFree=4180904/4192956 [pid=23236] ppid=23234 vsize=1713964 CPUtime=42.11 /proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 64351 0 1 0 4179 32 0 0 25 0 13 0 193018667 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23236/statm: 428491 60300 1911 14 0 415238 0 [pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=0.61 /proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 11618 0 0 0 56 5 0 0 16 0 13 0 193018670 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=0.62 /proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 12496 0 0 0 57 5 0 0 17 0 13 0 193018670 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.14 /proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1774 0 0 0 113 1 0 0 16 0 13 0 193018677 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.9 /proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1621 0 0 0 89 1 0 0 16 0 13 0 193018677 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23251] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23251/stat : 23251 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 193022358 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.11 Current children cumulated vsize (Kb) 1713964 [startup+50.0312 s] /proc/loadavg: 0.96 0.98 0.97 2/76 23251 /proc/meminfo: memFree=1471608/2055920 swapFree=4180904/4192956 [pid=23236] ppid=23234 vsize=1713964 CPUtime=52.26 /proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 69567 0 1 0 5192 34 0 0 25 0 13 0 193018667 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071516019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23236/statm: 428491 64837 1911 14 0 415238 0 [pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=0.76 /proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 14503 0 0 0 70 6 0 0 16 0 13 0 193018670 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=0.76 /proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 14821 0 0 0 70 6 0 0 17 0 13 0 193018670 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.14 /proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1774 0 0 0 113 1 0 0 16 0 13 0 193018677 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.91 /proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1622 0 0 0 90 1 0 0 17 0 13 0 193018677 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23251] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23251/stat : 23251 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 193022358 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.26 Current children cumulated vsize (Kb) 1713964 [startup+60.0383 s] /proc/loadavg: 0.97 0.98 0.97 2/76 23252 /proc/meminfo: memFree=1421424/2055920 swapFree=4180904/4192956 [pid=23236] ppid=23234 vsize=1713964 CPUtime=62.6 /proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 84201 0 1 0 6219 41 0 0 25 0 13 0 193018667 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071569807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23236/statm: 428491 77359 1911 14 0 415238 0 [pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=1.06 /proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 22693 0 0 0 96 10 0 0 16 0 13 0 193018670 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=1.06 /proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 21045 0 0 0 97 9 0 0 16 0 13 0 193018670 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.19 /proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1985 0 0 0 118 1 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.93 /proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1623 0 0 0 92 1 0 0 17 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23253] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23253/stat : 23253 (java) S 23234 23236 23190 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 193028341 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.28 Current children cumulated vsize (Kb) 1713964 [startup+1780.31 s] /proc/loadavg: 1.00 1.00 0.99 2/76 23448 /proc/meminfo: memFree=174952/2055920 swapFree=4180904/4192956 [pid=23236] ppid=23234 vsize=1713964 CPUtime=1797.28 /proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 597127 0 1 0 179426 302 0 0 25 0 13 0 193018667 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649273 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23236/statm: 428491 388057 1913 14 0 415238 0 [pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=16.22 /proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 255442 0 0 0 1499 123 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=16.25 /proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 258565 0 0 0 1505 120 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=2.71 /proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 259 0 0 0 257 14 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.19 /proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1985 0 0 0 118 1 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.93 /proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1623 0 0 0 92 1 0 0 17 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23253] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23253/stat : 23253 (java) S 23234 23236 23190 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 193028341 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.28 Current children cumulated vsize (Kb) 1713964 [startup+1781.32 s] /proc/loadavg: 1.00 1.00 0.99 2/76 23448 /proc/meminfo: memFree=174952/2055920 swapFree=4180904/4192956 [pid=23236] ppid=23234 vsize=1713964 CPUtime=1798.29 /proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 597127 0 1 0 179527 302 0 0 25 0 13 0 193018667 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23236/statm: 428491 388057 1913 14 0 415238 0 [pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=16.22 /proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 255442 0 0 0 1499 123 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=16.25 /proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 258565 0 0 0 1505 120 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=2.71 /proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 259 0 0 0 257 14 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.19 /proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1985 0 0 0 118 1 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.93 /proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1623 0 0 0 92 1 0 0 17 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23253] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23253/stat : 23253 (java) S 23234 23236 23190 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 193028341 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.29 Current children cumulated vsize (Kb) 1713964 [startup+1782.33 s] /proc/loadavg: 1.00 1.00 0.99 2/76 23448 /proc/meminfo: memFree=174952/2055920 swapFree=4180904/4192956 [pid=23236] ppid=23234 vsize=1713964 CPUtime=1799.29 /proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 597127 0 1 0 179627 302 0 0 25 0 13 0 193018667 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23236/statm: 428491 388057 1913 14 0 415238 0 [pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=16.22 /proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 255442 0 0 0 1499 123 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=16.25 /proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 258565 0 0 0 1505 120 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=2.71 /proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 259 0 0 0 257 14 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.19 /proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1985 0 0 0 118 1 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.93 /proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1623 0 0 0 92 1 0 0 17 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23253] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23253/stat : 23253 (java) S 23234 23236 23190 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 193028341 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.29 Current children cumulated vsize (Kb) 1713964 [startup+1783.33 s] /proc/loadavg: 1.00 1.00 0.99 2/76 23448 /proc/meminfo: memFree=174952/2055920 swapFree=4180904/4192956 [pid=23236] ppid=23234 vsize=1713964 CPUtime=1800.3 /proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 597127 0 1 0 179728 302 0 0 25 0 13 0 193018667 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23236/statm: 428491 388057 1913 14 0 415238 0 [pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=16.22 /proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 255442 0 0 0 1499 123 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=16.25 /proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 258565 0 0 0 1505 120 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=2.71 /proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 259 0 0 0 257 14 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.19 /proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1985 0 0 0 118 1 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.93 /proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1623 0 0 0 92 1 0 0 17 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23253] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23253/stat : 23253 (java) S 23234 23236 23190 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 193028341 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (Kb) 1713964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.34 s] /proc/loadavg: 1.00 1.00 0.99 2/76 23448 /proc/meminfo: memFree=174952/2055920 swapFree=4180904/4192956 [pid=23236] ppid=23234 vsize=1713964 CPUtime=1800.3 /proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 597127 0 1 0 179728 302 0 0 25 0 13 0 193018667 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/23236/statm: 428491 388057 1913 14 0 415238 0 [pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=16.22 /proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 255442 0 0 0 1499 123 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=16.25 /proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 258565 0 0 0 1505 120 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=2.71 /proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 259 0 0 0 257 14 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.19 /proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1985 0 0 0 118 1 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.93 /proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1623 0 0 0 92 1 0 0 17 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=23236/tid=23253] ppid=23234 vsize=1713964 CPUtime=0 /proc/23236/task/23253/stat : 23253 (java) S 23234 23236 23190 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 193028341 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (Kb) 1713964 Sending SIGTERM to -23236 Sleeping 2 seconds Child status: 143 Real time (s): 1783.7 CPU time (s): 1800.77 CPU user time (s): 1797.49 CPU system time (s): 3.2725 CPU usage (%): 100.957 Max. virtual memory (cumulated for all children) (Kb): 1713964
Begin job on node30 on Fri Jun 2 18:39:10 UTC 2006 FILE ID= 42638-1149273550 PBS_JOBID= 301360 BENCH NAME= ROOT/tmp/node30/42638-1149273550/instance-42638-1149273550.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node30/42638-1149273550/instance-42638-1149273550.opb 988876059 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-42638-1149273550 -o ROOT/results/node30/solver-42638-1149273550 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node30/42638-1149273550/instance-42638-1149273550.opb 988876059 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 7ddc5796bc843f2bf9bc94a0b22fd8e4 RANDOM SEED= 988876059 /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.216 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.216 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: 1723952 kB Buffers: 12868 kB Cached: 249184 kB SwapCached: 3488 kB Active: 43124 kB Inactive: 227412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1723952 kB SwapTotal: 4192956 kB SwapFree: 4180904 kB Dirty: 240 kB Writeback: 0 kB Mapped: 14724 kB Slab: 47504 kB Committed_AS: 236368 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node30 on Fri Jun 2 19:08:54 UTC 2006