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