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