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