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