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