Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 3449843 | 1800.52 | 1786.56 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x12.opb |
MD5SUM | 9d08937c2a2ec73e4fca19adadace920 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3449843 |
Best CPU time to get the best result obtained on this benchmark | 1800.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3208192 |
Optimality of the best value was proved | NO |
Number of variables | 3720 |
Total number of constraints | 142 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 142 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 3720 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 679702048135 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 679702048135 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.23 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.23 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.23 c no version file found!!! 0.23 c sun.arch.data.model 32 0.23 c java.version 1.5.0_06 0.23 c os.name Linux 0.23 c os.version 2.6.9-22.EL.rootsmp 0.23 c os.arch i386 0.23 c Free memory 1548419056 0.23 c Max memory 1551040512 0.23 c Total memory 1551040512 0.23 c Number of processors 2 0.30 c Cutting planes based inference 0.30 c --- Begin Solver configuration --- 0.30 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.30 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.30 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.30 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.30 c VSIDS like heuristics from MiniSAT using a heap 0.30 c No reason simplification 0.30 c --- End Solver configuration --- 0.30 c solving ROOT/tmp/node74/43123-1149303537/instance-43123-1149303537.opb 0.30 c reading problem ... 0.93 c ... done. Time 0.63 ms. 0.93 c #vars 3720 0.93 c #constraints 164 1.96 c SATISFIABLE 1.96 c OPTIMIZING... 1.96 c Got one! Ellapsed CPU time (in seconds):1.666 1.99 o 3590144 3.11 c Got one! Ellapsed CPU time (in seconds):2.814 3.13 o 3580928 8.62 c Got one! Ellapsed CPU time (in seconds):8.319 8.63 o 3462144 9.84 c Got one! Ellapsed CPU time (in seconds):9.54 9.85 o 3449843 1786.40 c starts : 12 1786.40 c conflicts : 3878 1786.40 c decisions : 15995 1786.40 c propagations : 161508 1786.40 c inspects : 2668526 1786.40 c learnt literals : 0 1786.40 c learnt binary clauses : 0 1786.40 c learnt ternary clauses : 0 1786.40 c learnt clauses : 3877 1786.40 c root simplifications : 0 1786.40 c removed literals (reason simplification) : 0 1786.40 c reason swapping (by a shorter reason) : 0 1786.40 c Calls to reduceDB : 0 1786.40 c speed (decisions/second) : 9.003557516943237 1786.40 c non guided choices 0 1786.40 s SATISFIABLE 1786.45 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 1786.45 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 1786.45 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 1786.45 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 1786.45 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1786.45 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1786.45 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1786.45 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1786.45 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1786.45 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1786.45 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1786.45 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1786.45 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1786.45 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 x313 -x314 1786.45 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1786.45 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1786.45 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1786.45 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 1786.45 v x400 x401 -x402 x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1786.45 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1786.45 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1786.45 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1786.45 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1786.45 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1786.45 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1786.45 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1786.45 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1786.45 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1786.45 v -x610 x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1786.45 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1786.45 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1786.45 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1786.45 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1786.45 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1786.45 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1786.45 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1786.45 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1786.45 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1786.45 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1786.45 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1786.45 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1786.45 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1786.45 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1786.45 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1786.45 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1786.45 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1786.45 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1786.45 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1786.45 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1786.45 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1786.45 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1786.45 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 1786.45 v -x1092 x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1786.45 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 1786.45 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1786.45 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1786.45 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 1786.45 v x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1786.45 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1786.45 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1786.45 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1786.45 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1786.45 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 1786.45 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1786.45 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1786.45 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1786.45 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1786.45 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1786.45 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 1786.45 v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1786.45 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1786.45 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 1786.45 v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 x1453 -x1454 -x1455 1786.45 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 1786.45 v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 1786.45 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1786.45 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1786.45 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1786.45 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 1786.45 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 1786.45 v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 1786.45 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1786.45 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1786.45 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1786.45 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 x1652 x1653 x1654 x1655 x1656 x1657 x1658 x1659 x1660 x1661 1786.45 v x1662 x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 1786.45 v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 1786.45 v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 1786.45 v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1786.45 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 1786.45 v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 1786.45 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 1786.45 v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 1786.45 v -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 1786.45 v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1786.45 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1786.45 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 1786.45 v -x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 1786.45 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1786.45 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1786.45 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 1786.45 v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 1786.45 v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 1786.45 v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 1786.45 v -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 1786.45 v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 1786.45 v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1786.45 v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 1786.45 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1786.45 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 1786.45 v -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 1786.45 v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 1786.45 v -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 1786.45 v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 1786.45 v -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 1786.45 v -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 1786.45 v -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 1786.45 v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 1786.45 v -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 1786.45 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 1786.45 v -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 1786.45 v -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 1786.45 v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 1786.45 v -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 1786.45 v -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 1786.45 v -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 1786.45 v -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 1786.45 v -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 1786.45 v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 1786.45 v x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 1786.45 v -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 x2442 -x2443 -x2444 -x2445 -x2446 1786.45 v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 x2463 x2464 1786.45 v x2465 x2466 x2467 x2468 x2469 x2470 x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 1786.45 v -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 1786.45 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 1786.45 v -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 1786.45 v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 1786.45 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 1786.45 v -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 1786.45 v -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 1786.45 v -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 1786.45 v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1786.45 v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 1786.45 v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 1786.45 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 1786.45 v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 1786.45 v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 1786.45 v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 1786.45 v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1786.45 v -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 1786.45 v -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 1786.45 v -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 1786.45 v -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 1786.45 v -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 1786.45 v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 1786.45 v -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 1786.45 v -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 1786.45 v -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 1786.45 v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 1786.45 v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 1786.45 v -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 1786.45 v -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 1786.45 v -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1786.45 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 1786.45 v x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 1786.45 v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 1786.45 v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 1786.45 v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1786.45 v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 1786.45 v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 1786.45 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 1786.45 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 1786.45 v -x3148 -x3149 -x3150 x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 x3161 -x3162 -x3163 -x3164 -x3165 1786.45 v -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 1786.45 v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 1786.45 v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 1786.45 v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 1786.45 v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1786.45 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 1786.45 v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 1786.45 v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 1786.45 v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 1786.45 v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 x3332 x3333 x3334 x3335 x3336 1786.45 v x3337 x3338 x3339 x3340 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1786.45 v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 1786.45 v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 1786.45 v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 1786.45 v -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 1786.45 v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 1786.45 v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 1786.45 v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 1786.45 v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 1786.45 v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 1786.45 v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 1786.45 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 1786.45 v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 1786.45 v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 1786.45 v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 1786.45 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 1786.45 v -x3610 x3611 -x3612 -x3613 x3614 -x3615 -x3616 x3617 -x3618 -x3619 -x3620 x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 1786.45 v -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x3637 x3638 x3639 x3640 -x3641 -x3642 x3643 -x3644 -x3645 1786.45 v -x3646 -x3647 -x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 1786.45 v -x3664 -x3665 -x3666 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 1786.45 v x3681 x3682 x3683 -x3684 -x3685 -x3686 -x3687 x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 1786.45 v -x3699 x3700 x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 x3711 x3712 -x3713 -x3714 -x3715 -x3716 1786.45 v -x3717 -x3718 -x3719 -x3720 1786.46 c objective function=3449843 1786.46 c Total wall clock time (ms): 1786.163
OK 3449843
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/node74/watcher-43123-1149303537 -o ROOT/results/node74/solver-43123-1149303537 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node74/43123-1149303537/instance-43123-1149303537.opb 383684584 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.91 3/64 5959 /proc/meminfo: memFree=1419416/2055920 swapFree=4182292/4192956 [pid=5959] ppid=5957 vsize=1496 CPUtime=0 /proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 61 0 0 0 0 0 0 0 19 0 1 0 196018029 1531904 44 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 7358191 0 0 4096 0 0 0 0 17 1 0 0 /proc/5959/statm: 375 52 41 14 0 8 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.91 2/76 5975 /proc/meminfo: memFree=1237392/2055920 swapFree=4182292/4192956 [pid=5959] ppid=5957 vsize=1712364 CPUtime=11.37 /proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 51941 0 1 0 1114 23 0 0 25 0 13 0 196018029 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071578297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5959/statm: 428091 47299 1909 14 0 414838 0 [pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=0.23 /proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 5895 0 0 0 21 2 0 0 15 0 13 0 196018033 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=0.23 /proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 5879 0 0 0 21 2 0 0 16 0 13 0 196018033 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 196018035 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1 /proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2414 0 0 0 99 1 0 0 16 0 13 0 196018039 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.76 /proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 869 0 0 0 76 0 0 0 16 0 13 0 196018039 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196019017 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.37 Current children cumulated vsize (Kb) 1712364 [startup+20.0094 s] /proc/loadavg: 0.94 0.97 0.91 2/76 5975 /proc/meminfo: memFree=1240976/2055920 swapFree=4182292/4192956 [pid=5959] ppid=5957 vsize=1712364 CPUtime=21.5 /proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 53367 0 1 0 2125 25 0 0 25 0 13 0 196018029 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566691 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5959/statm: 428091 46347 1909 14 0 414838 0 [pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=0.26 /proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 6533 0 0 0 24 2 0 0 16 0 13 0 196018033 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=0.27 /proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 6641 0 0 0 24 3 0 0 16 0 13 0 196018033 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 196018035 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.1 /proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2418 0 0 0 109 1 0 0 17 0 13 0 196018039 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.78 /proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 869 0 0 0 78 0 0 0 17 0 13 0 196018039 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196019017 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.5 Current children cumulated vsize (Kb) 1712364 [startup+30.0163 s] /proc/loadavg: 0.95 0.97 0.91 2/76 5975 /proc/meminfo: memFree=1252816/2055920 swapFree=4182292/4192956 [pid=5959] ppid=5957 vsize=1712364 CPUtime=31.53 /proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 54026 0 1 0 3127 26 0 0 18 0 13 0 196018029 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071586026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5959/statm: 428091 43414 1909 14 0 414838 0 [pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=0.29 /proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 6793 0 0 0 26 3 0 0 15 0 13 0 196018033 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=0.29 /proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 7024 0 0 0 26 3 0 0 16 0 13 0 196018033 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 32 0 0 0 0 0 0 0 15 0 13 0 196018035 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.1 /proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2418 0 0 0 109 1 0 0 17 0 13 0 196018039 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.78 /proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 869 0 0 0 78 0 0 0 17 0 13 0 196018039 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196019017 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.53 Current children cumulated vsize (Kb) 1712364 [startup+40.0233 s] /proc/loadavg: 0.95 0.97 0.91 2/76 5975 /proc/meminfo: memFree=1260176/2055920 swapFree=4182292/4192956 [pid=5959] ppid=5957 vsize=1712364 CPUtime=41.53 /proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 54274 0 1 0 4127 26 0 0 18 0 13 0 196018029 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071436458 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5959/statm: 428091 41545 1909 14 0 414838 0 [pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=0.31 /proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 6924 0 0 0 28 3 0 0 16 0 13 0 196018033 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=0.3 /proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 7115 0 0 0 27 3 0 0 16 0 13 0 196018033 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.01 /proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 32 0 0 0 1 0 0 0 15 0 13 0 196018035 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.1 /proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2418 0 0 0 109 1 0 0 17 0 13 0 196018039 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.78 /proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 869 0 0 0 78 0 0 0 17 0 13 0 196018039 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.53 Current children cumulated vsize (Kb) 1712364 [startup+50.0302 s] /proc/loadavg: 0.96 0.97 0.91 2/76 5975 /proc/meminfo: memFree=1261840/2055920 swapFree=4182292/4192956 [pid=5959] ppid=5957 vsize=1712364 CPUtime=51.54 /proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 54455 0 1 0 5127 27 0 0 21 0 13 0 196018029 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071436537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5959/statm: 428091 41197 1909 14 0 414838 0 [pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=0.32 /proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 6968 0 0 0 29 3 0 0 16 0 13 0 196018033 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=0.31 /proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 7225 0 0 0 28 3 0 0 15 0 13 0 196018033 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.01 /proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 32 0 0 0 1 0 0 0 15 0 13 0 196018035 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.1 /proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2418 0 0 0 109 1 0 0 17 0 13 0 196018039 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.78 /proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 869 0 0 0 78 0 0 0 17 0 13 0 196018039 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.54 Current children cumulated vsize (Kb) 1712364 [startup+60.0372 s] /proc/loadavg: 0.97 0.97 0.91 2/76 5975 /proc/meminfo: memFree=1262672/2055920 swapFree=4182292/4192956 [pid=5959] ppid=5957 vsize=1712364 CPUtime=61.56 /proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 54688 0 1 0 6129 27 0 0 17 0 13 0 196018029 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071586907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5959/statm: 428091 40933 1909 14 0 414838 0 [pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=0.34 /proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 7066 0 0 0 31 3 0 0 15 0 13 0 196018033 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=0.33 /proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 7330 0 0 0 30 3 0 0 16 0 13 0 196018033 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.01 /proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 32 0 0 0 1 0 0 0 15 0 13 0 196018035 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.17 /proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2424 0 0 0 116 1 0 0 17 0 13 0 196018039 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.8 /proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 870 0 0 0 80 0 0 0 16 0 13 0 196018039 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (Kb) 1712364 [startup+1783.37 s] /proc/loadavg: 1.07 1.02 0.94 2/76 6170 /proc/meminfo: memFree=974096/2055920 swapFree=4182292/4192956 [pid=5959] ppid=5957 vsize=1712364 CPUtime=1797.23 /proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 205709 0 1 0 179534 189 0 0 18 0 13 0 196018029 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071555808 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5959/statm: 428091 112797 1912 14 0 414838 0 [pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=13.97 /proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 43101 0 0 0 1359 38 0 0 16 0 13 0 196018033 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=14.07 /proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 43154 0 0 0 1365 42 0 0 16 0 13 0 196018033 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.98 /proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 209 0 0 0 56 42 0 0 16 0 13 0 196018035 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.17 /proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2424 0 0 0 116 1 0 0 17 0 13 0 196018039 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.8 /proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 870 0 0 0 80 0 0 0 16 0 13 0 196018039 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.23 Current children cumulated vsize (Kb) 1712364 [startup+1784.38 s] /proc/loadavg: 1.07 1.02 0.94 2/76 6170 /proc/meminfo: memFree=973712/2055920 swapFree=4182292/4192956 [pid=5959] ppid=5957 vsize=1712364 CPUtime=1798.25 /proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 205815 0 1 0 179636 189 0 0 25 0 13 0 196018029 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071578303 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5959/statm: 428091 112899 1912 14 0 414838 0 [pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=13.98 /proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 43165 0 0 0 1360 38 0 0 15 0 13 0 196018033 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=14.08 /proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 43195 0 0 0 1366 42 0 0 16 0 13 0 196018033 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.98 /proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 209 0 0 0 56 42 0 0 16 0 13 0 196018035 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.17 /proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2424 0 0 0 116 1 0 0 17 0 13 0 196018039 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.8 /proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 870 0 0 0 80 0 0 0 16 0 13 0 196018039 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.25 Current children cumulated vsize (Kb) 1712364 [startup+1785.38 s] /proc/loadavg: 1.07 1.02 0.94 2/76 6170 /proc/meminfo: memFree=973008/2055920 swapFree=4182292/4192956 [pid=5959] ppid=5957 vsize=1712364 CPUtime=1799.26 /proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 205993 0 1 0 179737 189 0 0 25 0 13 0 196018029 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566800 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5959/statm: 428091 113072 1912 14 0 414838 0 [pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=13.99 /proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 43254 0 0 0 1361 38 0 0 15 0 13 0 196018033 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=14.1 /proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 43283 0 0 0 1368 42 0 0 16 0 13 0 196018033 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.98 /proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 209 0 0 0 56 42 0 0 16 0 13 0 196018035 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.17 /proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2424 0 0 0 116 1 0 0 17 0 13 0 196018039 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.8 /proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 870 0 0 0 80 0 0 0 16 0 13 0 196018039 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.26 Current children cumulated vsize (Kb) 1712364 [startup+1786.39 s] /proc/loadavg: 1.07 1.02 0.94 2/76 6170 /proc/meminfo: memFree=972112/2055920 swapFree=4182292/4192956 [pid=5959] ppid=5957 vsize=1712364 CPUtime=1800.29 /proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 206228 0 1 0 179840 189 0 0 24 0 13 0 196018029 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071435882 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5959/statm: 428091 113292 1912 14 0 414838 0 [pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=14.01 /proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 43396 0 0 0 1363 38 0 0 16 0 13 0 196018033 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=14.12 /proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 43374 0 0 0 1370 42 0 0 16 0 13 0 196018033 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.98 /proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 209 0 0 0 56 42 0 0 16 0 13 0 196018035 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.17 /proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2424 0 0 0 116 1 0 0 17 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.8 /proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 870 0 0 0 80 0 0 0 16 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (Kb) 1712364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.4 s] /proc/loadavg: 1.07 1.02 0.94 2/76 6170 /proc/meminfo: memFree=972112/2055920 swapFree=4182292/4192956 [pid=5959] ppid=5957 vsize=1712364 CPUtime=1800.29 /proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 206228 0 1 0 179840 189 0 0 24 0 13 0 196018029 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5959/statm: 428091 113292 1912 14 0 414838 0 [pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=14.01 /proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 43396 0 0 0 1363 38 0 0 16 0 13 0 196018033 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=14.12 /proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 43374 0 0 0 1370 42 0 0 16 0 13 0 196018033 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.98 /proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 209 0 0 0 56 42 0 0 16 0 13 0 196018035 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.17 /proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2424 0 0 0 116 1 0 0 17 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.8 /proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 870 0 0 0 80 0 0 0 16 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0 /proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (Kb) 1712364 Sending SIGTERM to -5959 Sleeping 2 seconds Child status: 143 Real time (s): 1786.56 CPU time (s): 1800.52 CPU user time (s): 1798.56 CPU system time (s): 1.9607 CPU usage (%): 100.782 Max. virtual memory (cumulated for all children) (Kb): 1712364
Begin job on node74 on Sat Jun 3 02:58:57 UTC 2006 FILE ID= 43123-1149303537 PBS_JOBID= 307485 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node74/43123-1149303537/instance-43123-1149303537.opb 383684584 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-43123-1149303537 -o ROOT/results/node74/solver-43123-1149303537 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node74/43123-1149303537/instance-43123-1149303537.opb 383684584 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 9d08937c2a2ec73e4fca19adadace920 RANDOM SEED= 383684584 /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.274 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.274 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: 1419624 kB Buffers: 39512 kB Cached: 518332 kB SwapCached: 2476 kB Active: 33168 kB Inactive: 533488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1419624 kB SwapTotal: 4192956 kB SwapFree: 4182292 kB Dirty: 168 kB Writeback: 0 kB Mapped: 15808 kB Slab: 55656 kB Committed_AS: 266004 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node74 on Sat Jun 3 03:28:44 UTC 2006