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

OK	89

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500153-1307991967/watcher-3500153-1307991967 -o /var/tmp/evaluation-result-3500153-1307991967/solver-3500153-1307991967 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500153-1307991967.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.91 3.95 3.83 3/179 24990
/proc/meminfo: memFree=11286300/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=4288 CPUtime=0 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) R 24988 24990 24381 0 -1 4202496 766 0 0 0 0 0 0 0 25 0 1 0 891612002 4390912 719 33554432000 4194304 5714118 140734371794960 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/24990/statm: 1072 719 162 372 0 631 0

[startup+0.031935 s]
/proc/loadavg: 3.91 3.95 3.83 3/179 24990
/proc/meminfo: memFree=11286300/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=141636 CPUtime=0.03 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 2910 0 0 0 3 0 0 0 25 0 3 0 891612002 145035264 2685 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 35361 2659 177 372 0 34986 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 141636

[startup+0.100913 s]
/proc/loadavg: 3.91 3.95 3.83 3/179 24990
/proc/meminfo: memFree=11286300/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=192340 CPUtime=0.16 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 15771 0 0 0 13 3 0 0 25 0 3 0 891612002 196956160 15150 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 48085 15154 177 372 0 47710 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 192340

[startup+0.300913 s]
/proc/loadavg: 3.91 3.95 3.83 3/179 24990
/proc/meminfo: memFree=11286300/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=265356 CPUtime=0.56 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 33651 0 0 0 49 7 0 0 25 0 3 0 891612002 271724544 32598 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 66339 32598 179 372 0 65964 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 265356

[startup+0.700842 s]
/proc/loadavg: 3.91 3.95 3.83 3/179 24990
/proc/meminfo: memFree=11286300/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=267180 CPUtime=1.37 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 34222 0 0 0 128 9 0 0 25 0 3 0 891612002 273592320 33111 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 66795 33111 179 372 0 66420 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 267180

[startup+1.50066 s]
/proc/loadavg: 3.92 3.95 3.83 5/182 24994
/proc/meminfo: memFree=11152380/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=267180 CPUtime=2.96 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 35296 0 0 0 284 12 0 0 25 0 3 0 891612002 273592320 34185 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 66795 34185 179 372 0 66420 0
[pid=24990/tid=24992] ppid=24988 vsize=267180 CPUtime=1.47 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 3217 0 0 0 142 5 0 0 19 0 3 0 891612004 273592320 34185 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=267180 CPUtime=1.47 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 31158 0 0 0 140 7 0 0 25 0 3 0 891612004 273592320 34185 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 267180

[startup+3.10041 s]
/proc/loadavg: 3.92 3.95 3.83 5/182 24994
/proc/meminfo: memFree=11147048/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=267180 CPUtime=6.17 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 36412 0 0 0 600 17 0 0 25 0 3 0 891612002 273592320 35301 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 66795 35301 179 372 0 66420 0
[pid=24990/tid=24992] ppid=24988 vsize=267180 CPUtime=3.07 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 4113 0 0 0 298 9 0 0 18 0 3 0 891612004 273592320 35301 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=267180 CPUtime=3.07 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 31378 0 0 0 300 7 0 0 25 0 3 0 891612004 273592320 35301 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 267180

[startup+6.30087 s]
/proc/loadavg: 3.93 3.95 3.83 5/182 24994
/proc/meminfo: memFree=11131176/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=267180 CPUtime=12.57 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 38556 0 0 0 1228 29 0 0 25 0 3 0 891612002 273592320 37444 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 66795 37445 179 372 0 66420 0
[pid=24990/tid=24992] ppid=24988 vsize=267180 CPUtime=6.27 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 5458 0 0 0 607 20 0 0 18 0 3 0 891612004 273592320 37445 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=267180 CPUtime=6.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 32178 0 0 0 618 9 0 0 25 0 3 0 891612004 273592320 37447 33554432000 4194304 5714118 140734371794960 18446744073709551615 4322713 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 267180

[startup+12.7007 s]
/proc/loadavg: 3.85 3.94 3.83 5/182 25035
/proc/meminfo: memFree=14966264/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=267180 CPUtime=25.37 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 42633 0 0 0 2486 51 0 0 25 0 3 0 891612002 273592320 41520 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 66795 41520 180 372 0 66420 0
[pid=24990/tid=24992] ppid=24988 vsize=267180 CPUtime=12.67 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 8846 0 0 0 1227 40 0 0 18 0 3 0 891612004 273592320 41520 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=267180 CPUtime=12.67 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 32866 0 0 0 1256 11 0 0 25 0 3 0 891612004 273592320 41520 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319142 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 267180

[startup+25.5005 s]
/proc/loadavg: 3.87 3.94 3.83 5/182 25075
/proc/meminfo: memFree=14905412/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=267180 CPUtime=50.97 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 47611 0 0 0 5024 73 0 0 25 0 3 0 891612002 273592320 46498 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 66795 46498 180 372 0 66420 0
[pid=24990/tid=24992] ppid=24988 vsize=267180 CPUtime=25.47 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 12177 0 0 0 2487 60 0 0 20 0 3 0 891612004 273592320 46498 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=267180 CPUtime=25.47 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 34513 0 0 0 2534 13 0 0 25 0 3 0 891612004 273592320 46498 33554432000 4194304 5714118 140734371794960 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 267180

[startup+51.1009 s]
/proc/loadavg: 3.92 3.94 3.83 5/182 25076
/proc/meminfo: memFree=14793120/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=333040 CPUtime=102.17 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 58576 0 0 0 10090 127 0 0 25 0 3 0 891612002 341032960 57463 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 83260 57463 180 372 0 82885 0
[pid=24990/tid=24992] ppid=24988 vsize=333040 CPUtime=51.07 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 19210 0 0 0 5003 104 0 0 25 0 3 0 891612004 341032960 57463 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=333040 CPUtime=51.07 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 38445 0 0 0 5085 22 0 0 25 0 3 0 891612004 341032960 57463 33554432000 4194304 5714118 140734371794960 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 333040

[startup+102.307 s]
/proc/loadavg: 3.96 3.95 3.84 5/182 25077
/proc/meminfo: memFree=14635896/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=464660 CPUtime=204.58 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 88185 0 0 0 20218 240 0 0 25 0 3 0 891612002 475811840 87072 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 116165 87072 180 372 0 115790 0
[pid=24990/tid=24992] ppid=24988 vsize=464660 CPUtime=102.27 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 34588 0 0 0 10040 187 0 0 25 0 3 0 891612004 475811840 87072 33554432000 4194304 5714118 140734371794960 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=464660 CPUtime=102.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 52676 0 0 0 10175 52 0 0 19 0 3 0 891612004 475811840 87072 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 464660

[startup+162.3 s]
/proc/loadavg: 3.98 3.95 3.84 5/182 25079
/proc/meminfo: memFree=14457052/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=533312 CPUtime=324.56 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 116815 0 0 0 32094 362 0 0 25 0 3 0 891612002 546111488 115702 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 133328 115702 180 372 0 132953 0
[pid=24990/tid=24992] ppid=24988 vsize=533312 CPUtime=162.27 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 39059 0 0 0 16002 225 0 0 25 0 3 0 891612004 546111488 115702 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=533312 CPUtime=162.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 76835 0 0 0 16090 137 0 0 25 0 3 0 891612004 546111488 115702 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 533312

[startup+222.301 s]
/proc/loadavg: 3.99 3.96 3.85 5/182 25080
/proc/meminfo: memFree=14272408/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=667908 CPUtime=444.57 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 146772 0 0 0 43972 485 0 0 25 0 3 0 891612002 683937792 145659 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 166977 145659 180 372 0 166602 0
[pid=24990/tid=24992] ppid=24988 vsize=667908 CPUtime=222.26 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 43170 0 0 0 21961 265 0 0 25 0 3 0 891612004 683937792 145659 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=667908 CPUtime=222.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 102681 0 0 0 22008 219 0 0 25 0 3 0 891612004 683937792 145659 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (KiB) 667908

[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.86 5/182 25082
/proc/meminfo: memFree=14183844/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=736080 CPUtime=564.56 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 166155 0 0 0 55872 584 0 0 25 0 3 0 891612002 753745920 164727 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 184020 164727 180 372 0 183645 0
[pid=24990/tid=24992] ppid=24988 vsize=736080 CPUtime=282.26 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 45292 0 0 0 27921 305 0 0 25 0 3 0 891612004 753745920 164727 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=736080 CPUtime=282.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 119942 0 0 0 27948 279 0 0 25 0 3 0 891612004 753745920 164727 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.56
Current children cumulated vsize (KiB) 736080

[startup+342.3 s]
/proc/loadavg: 4.04 3.99 3.87 5/182 25083
/proc/meminfo: memFree=14054496/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=801616 CPUtime=684.56 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 187666 0 0 0 67759 697 0 0 25 0 3 0 891612002 820854784 186238 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 200404 186238 180 372 0 200029 0
[pid=24990/tid=24992] ppid=24988 vsize=801616 CPUtime=342.27 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 45308 0 0 0 33886 341 0 0 25 0 3 0 891612004 820854784 186238 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=801616 CPUtime=342.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 141437 0 0 0 33871 356 0 0 25 0 3 0 891612004 820854784 186238 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319916 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.56
Current children cumulated vsize (KiB) 801616

[startup+402.301 s]
/proc/loadavg: 4.01 3.99 3.87 5/182 25085
/proc/meminfo: memFree=13936308/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=867152 CPUtime=804.57 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 209364 0 0 0 79645 812 0 0 25 0 3 0 891612002 887963648 207936 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 216788 207936 180 372 0 216413 0
[pid=24990/tid=24992] ppid=24988 vsize=867152 CPUtime=402.27 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 45418 0 0 0 39848 379 0 0 25 0 3 0 891612004 887963648 207936 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=867152 CPUtime=402.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 163025 0 0 0 39795 432 0 0 25 0 3 0 891612004 887963648 207936 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.57
Current children cumulated vsize (KiB) 867152

[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.88 5/182 25087
/proc/meminfo: memFree=13799644/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=998900 CPUtime=924.57 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 232221 0 0 0 91536 921 0 0 25 0 3 0 891612002 1022873600 230001 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 249725 230001 180 372 0 249350 0
[pid=24990/tid=24992] ppid=24988 vsize=998900 CPUtime=462.27 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 48307 0 0 0 45804 423 0 0 25 0 3 0 891612004 1022873600 230001 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319226 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=998900 CPUtime=462.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 182993 0 0 0 45729 498 0 0 25 0 3 0 891612004 1022873600 230001 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (KiB) 998900

[startup+522.301 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 25088
/proc/meminfo: memFree=13712336/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=1065100 CPUtime=1044.57 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 248476 0 0 0 103455 1002 0 0 25 0 3 0 891612002 1090662400 246256 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 266275 246256 180 372 0 265900 0
[pid=24990/tid=24992] ppid=24988 vsize=1065100 CPUtime=522.27 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 48307 0 0 0 51777 450 0 0 25 0 3 0 891612004 1090662400 246256 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=1065100 CPUtime=522.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 199248 0 0 0 51675 552 0 0 25 0 3 0 891612004 1090662400 246256 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.57
Current children cumulated vsize (KiB) 1065100

[startup+582.301 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 25090
/proc/meminfo: memFree=13603936/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=1131116 CPUtime=1164.58 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 267578 0 0 0 115364 1094 0 0 25 0 3 0 891612002 1158262784 265358 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 282779 265358 180 372 0 282404 0
[pid=24990/tid=24992] ppid=24988 vsize=1131116 CPUtime=582.27 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 48307 0 0 0 57752 475 0 0 25 0 3 0 891612004 1158262784 265358 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=1131116 CPUtime=582.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 218350 0 0 0 57609 618 0 0 25 0 3 0 891612004 1158262784 265358 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.58
Current children cumulated vsize (KiB) 1131116

[startup+642.3 s]
/proc/loadavg: 3.92 3.96 3.89 5/182 25131
/proc/meminfo: memFree=13736744/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=1196652 CPUtime=1284.59 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 284732 0 0 0 127288 1171 0 0 25 0 3 0 891612002 1225371648 282512 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 299163 282512 180 372 0 298788 0
[pid=24990/tid=24992] ppid=24988 vsize=1196652 CPUtime=642.28 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 48307 0 0 0 63733 495 0 0 25 0 3 0 891612004 1225371648 282512 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=1196652 CPUtime=642.28 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 235504 0 0 0 63552 676 0 0 25 0 3 0 891612004 1225371648 282512 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.59
Current children cumulated vsize (KiB) 1196652

[startup+702.301 s]
/proc/loadavg: 3.97 3.96 3.89 5/182 25133
/proc/meminfo: memFree=13476724/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=1327964 CPUtime=1404.58 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 313152 0 0 0 139175 1283 0 0 25 0 3 0 891612002 1359835136 310932 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 331991 310932 180 372 0 331616 0
[pid=24990/tid=24992] ppid=24988 vsize=1327964 CPUtime=702.27 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 48312 0 0 0 69708 519 0 0 25 0 3 0 891612004 1359835136 310932 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=1327964 CPUtime=702.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 263919 0 0 0 69464 763 0 0 25 0 3 0 891612004 1359835136 310932 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.58
Current children cumulated vsize (KiB) 1327964

[startup+762.306 s]
/proc/loadavg: 3.99 3.97 3.90 5/182 25135
/proc/meminfo: memFree=13229556/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=1526396 CPUtime=1524.59 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 363144 0 0 0 151010 1449 0 0 25 0 3 0 891612002 1563029504 360924 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 381599 360925 180 372 0 381224 0
[pid=24990/tid=24992] ppid=24988 vsize=1526396 CPUtime=762.28 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 53708 0 0 0 75668 560 0 0 20 0 3 0 891612004 1563029504 360925 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=1526396 CPUtime=762.28 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 308516 0 0 0 75340 888 0 0 25 0 3 0 891612004 1563029504 360925 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.59
Current children cumulated vsize (KiB) 1526396

[startup+822.3 s]
/proc/loadavg: 3.99 3.97 3.90 5/182 25136
/proc/meminfo: memFree=13006576/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=1723004 CPUtime=1644.56 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 406700 0 0 0 162865 1591 0 0 25 0 3 0 891612002 1764356096 404439 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 430751 404439 180 372 0 430376 0
[pid=24990/tid=24992] ppid=24988 vsize=1723004 CPUtime=822.27 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 67751 0 0 0 81607 620 0 0 25 0 3 0 891612004 1764356096 404439 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=1723004 CPUtime=822.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 338028 0 0 0 81256 971 0 0 25 0 3 0 891612004 1764356096 404439 33554432000 4194304 5714118 140734371794960 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.56
Current children cumulated vsize (KiB) 1723004

[startup+882.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 25138
/proc/meminfo: memFree=12872264/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=1854076 CPUtime=1764.56 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 429554 0 0 0 174791 1665 0 0 25 0 3 0 891612002 1898573824 427293 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 463519 427293 180 372 0 463144 0
[pid=24990/tid=24992] ppid=24988 vsize=1854076 CPUtime=882.27 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 67751 0 0 0 87585 642 0 0 25 0 3 0 891612004 1898573824 427293 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=1854076 CPUtime=882.27 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 360882 0 0 0 87204 1023 0 0 25 0 3 0 891612004 1898573824 427293 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.56
Current children cumulated vsize (KiB) 1854076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.101 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 25138
/proc/meminfo: memFree=12841628/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=1854076 CPUtime=1800.17 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 436987 0 0 0 178323 1694 0 0 25 0 3 0 891612002 1898573824 434726 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 463519 434726 180 372 0 463144 0
[pid=24990/tid=24992] ppid=24988 vsize=1854076 CPUtime=900.07 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 69090 0 0 0 89350 657 0 0 25 0 3 0 891612004 1898573824 434726 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=1854076 CPUtime=900.07 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 366976 0 0 0 88970 1037 0 0 25 0 3 0 891612004 1898573824 434726 33554432000 4194304 5714118 140734371794960 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 1854076

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+900.101 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 25138
/proc/meminfo: memFree=12841628/32951124 swapFree=67057920/67111528
[pid=24990] ppid=24988 vsize=1854076 CPUtime=1800.17 cores=0,2,4,6
/proc/24990/stat : 24990 (pwbo1.1) S 24988 24990 24381 0 -1 4202496 436987 0 0 0 178323 1694 0 0 25 0 3 0 891612002 1898573824 434726 33554432000 4194304 5714118 140734371794960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24990/statm: 463519 434726 180 372 0 463144 0
[pid=24990/tid=24992] ppid=24988 vsize=1854076 CPUtime=900.07 cores=0,2,4,6
/proc/24990/task/24992/stat : 24992 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 69090 0 0 0 89350 657 0 0 25 0 3 0 891612004 1898573824 434726 33554432000 4194304 5714118 140734371794960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24990/tid=24993] ppid=24988 vsize=1854076 CPUtime=900.07 cores=0,2,4,6
/proc/24990/task/24993/stat : 24993 (pwbo1.1) R 24988 24990 24381 0 -1 4202560 366976 0 0 0 88970 1037 0 0 25 0 3 0 891612004 1898573824 434726 33554432000 4194304 5714118 140734371794960 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 1854076

Child status: 0
Real time (s): 900.182
CPU time (s): 1800.26
CPU user time (s): 1783.24
CPU system time (s): 17.0184
CPU usage (%): 199.989
Max. virtual memory (cumulated for all children) (KiB): 1854076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.24
system time used= 17.0184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 436994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 748
involuntary context switches= 1998

runsolver used 1.45678 second user time and 2.86856 second system time

The end

Begin job on node140 at 2011-06-13 21:06:07
IDJOB=3500153
IDBENCH=2044
IDSOLVER=1954
FILE ID=node140/3500153-1307991967
RUNJOBID= node140-1307989254-24671
PBS_JOBID= 13559728
Free space on /var/tmp= 2892 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500153-1307991967/watcher-3500153-1307991967 -o /var/tmp/evaluation-result-3500153-1307991967/solver-3500153-1307991967 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500153-1307991967.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f
RANDOM SEED=231238836

node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11286728 kB
Buffers:        114740 kB
Cached:       17064256 kB
SwapCached:       6704 kB
Active:        5600448 kB
Inactive:     15429844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11286728 kB
SwapTotal:    67111528 kB
SwapFree:     67057920 kB
Dirty:            4648 kB
Writeback:           0 kB
AnonPages:     3849708 kB
Mapped:          14004 kB
Slab:           562412 kB
PageTables:      12456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  4049112 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2904 MiB
End job on node140 at 2011-06-13 21:21:09