Trace number 3704462

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 2.0SAT (TO)-20 1800.08 900.325

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_2.opb
MD5SUM219f407da86957d900e068170e9af8b6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-33
Best CPU time to get the best result obtained on this benchmark1796.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704462-1338095183.opb.
0.00/0.00	c Instance file HOME/instance-3704462-1338095183.opb
0.00/0.00	c File size is 531925 bytes.
0.00/0.05	c Cost Offset: -200
0.00/0.05	c Highest Coefficient sum: 400
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Parsing time:          0.06         s                                      |
0.00/0.05	c |  Number Variables:      6620                                                |
0.00/0.05	c |  Number Clauses:        6420                                                |
0.00/0.05	c |  Number Cardinality:    402                                                 |
0.00/0.05	c |  Number PB Constraints: 6220                                                |
0.00/0.05	c |                                                                             |
0.00/0.06	c |  Problem Type:          Optimization                                        |
0.00/0.06	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.06	c |                                                                             |
0.00/0.06	c ===============================================================================
1800.08/900.31	o -1
1800.08/900.31	o -18
1800.08/900.31	o -19
1800.08/900.31	o -20
1800.08/900.31	c ===============================================================================
1800.08/900.31	c Wall Clock Time: 900.31 s
1800.08/900.31	c Best Solution: -20
1800.08/900.31	s SATISFIABLE
1800.08/900.31	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 -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 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -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

Verifier Data 

OK	-20

Watcher Data 

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 /tmp/evaluation-result-3704462-1338095183/watcher-3704462-1338095183 -o /tmp/evaluation-result-3704462-1338095183/solver-3704462-1338095183 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704462-1338095183.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.84 3.97 3.94 4/180 12224
/proc/meminfo: memFree=27134752/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=6264 CPUtime=0 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) R 12222 12224 10899 0 -1 4202496 764 0 0 0 0 0 0 0 20 0 1 0 275643734 6414336 717 33554432000 4194304 5965102 140736061354352 140734144033640 5180360 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 1603 725 167 433 0 1037 0

[startup+0.105789 s]
/proc/loadavg: 3.84 3.97 3.94 4/180 12224
/proc/meminfo: memFree=27134752/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=171408 CPUtime=0.13 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 5872 0 0 0 13 0 0 0 20 0 3 0 275643734 175521792 5406 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 42852 5406 205 433 0 42416 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 171408

[startup+0.200211 s]
/proc/loadavg: 3.84 3.97 3.94 4/180 12224
/proc/meminfo: memFree=27134752/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=171408 CPUtime=0.32 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 6419 0 0 0 32 0 0 0 20 0 3 0 275643734 175521792 5953 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 42852 5953 207 433 0 42416 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 171408

[startup+0.300208 s]
/proc/loadavg: 3.84 3.97 3.94 4/180 12224
/proc/meminfo: memFree=27134752/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=171408 CPUtime=0.52 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 6422 0 0 0 52 0 0 0 20 0 3 0 275643734 175521792 5956 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 42852 5956 207 433 0 42416 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 171408

[startup+0.700158 s]
/proc/loadavg: 3.84 3.97 3.94 4/180 12224
/proc/meminfo: memFree=27134752/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=171408 CPUtime=1.33 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 6656 0 0 0 132 1 0 0 20 0 3 0 275643734 175521792 6190 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 42852 6190 207 433 0 42416 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 171408

[startup+1.50027 s]
/proc/loadavg: 3.84 3.97 3.94 5/183 12227
/proc/meminfo: memFree=27107968/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=171408 CPUtime=2.92 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 7645 0 0 0 291 1 0 0 20 0 3 0 275643734 175521792 7179 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 42852 7179 207 433 0 42416 0
[pid=12224/tid=12226] ppid=12222 vsize=171408 CPUtime=1.42 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 3602 0 0 0 142 0 0 0 20 0 3 0 275643739 175521792 7179 33554432000 4194304 5965102 140736061354352 139830901335576 4222352 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=171408 CPUtime=1.42 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 1097 0 0 0 142 0 0 0 20 0 3 0 275643739 175521792 7179 33554432000 4194304 5965102 140736061354352 139830890846520 4404711 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 171408

[startup+3.10029 s]
/proc/loadavg: 3.84 3.97 3.94 5/183 12227
/proc/meminfo: memFree=27099784/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=171408 CPUtime=6.13 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 9104 0 0 0 611 2 0 0 20 0 3 0 275643734 175521792 8638 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 42852 8638 207 433 0 42416 0
[pid=12224/tid=12226] ppid=12222 vsize=171408 CPUtime=3.02 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 4473 0 0 0 302 0 0 0 20 0 3 0 275643739 175521792 8638 33554432000 4194304 5965102 140736061354352 139830901336424 4390210 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=171408 CPUtime=3.02 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 1685 0 0 0 302 0 0 0 20 0 3 0 275643739 175521792 8638 33554432000 4194304 5965102 140736061354352 139830890846568 4404732 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 171408

[startup+6.30029 s]
/proc/loadavg: 3.85 3.97 3.94 5/183 12227
/proc/meminfo: memFree=27080316/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=171408 CPUtime=12.52 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 12454 0 0 0 1249 3 0 0 20 0 3 0 275643734 175521792 11988 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 42852 11988 207 433 0 42416 0
[pid=12224/tid=12226] ppid=12222 vsize=171408 CPUtime=6.21 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 6544 0 0 0 620 1 0 0 20 0 3 0 275643739 175521792 11988 33554432000 4194304 5965102 140736061354352 139830901335576 4390187 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=171408 CPUtime=6.21 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 2964 0 0 0 620 1 0 0 20 0 3 0 275643739 175521792 11988 33554432000 4194304 5965102 140736061354352 139830890846520 4404757 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 171408

[startup+12.7003 s]
/proc/loadavg: 3.86 3.97 3.94 5/183 12227
/proc/meminfo: memFree=27046488/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=171408 CPUtime=25.32 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 18303 0 0 0 2525 7 0 0 20 0 3 0 275643734 175521792 17837 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 42852 17837 207 433 0 42416 0
[pid=12224/tid=12226] ppid=12222 vsize=171408 CPUtime=12.59 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 9808 0 0 0 1256 3 0 0 20 0 3 0 275643739 175521792 17837 33554432000 4194304 5965102 140736061354352 139830901335864 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=171408 CPUtime=12.59 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 5549 0 0 0 1256 3 0 0 20 0 3 0 275643739 175521792 17837 33554432000 4194304 5965102 140736061354352 139830890846520 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 171408

[startup+25.5066 s]
/proc/loadavg: 3.89 3.97 3.94 5/183 12227
/proc/meminfo: memFree=26988944/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=237592 CPUtime=50.93 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 28105 0 0 0 5082 11 0 0 20 0 3 0 275643734 243294208 27639 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 59398 27639 207 433 0 58962 0
[pid=12224/tid=12226] ppid=12222 vsize=237592 CPUtime=25.37 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 17823 0 0 0 2531 6 0 0 20 0 3 0 275643739 243294208 27639 33554432000 4194304 5965102 140736061354352 139830901335864 4401827 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=237592 CPUtime=25.36 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 7336 0 0 0 2533 3 0 0 20 0 3 0 275643739 243294208 27639 33554432000 4194304 5965102 140736061354352 139830890846520 5131557 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 237592

[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.94 5/183 12227
/proc/meminfo: memFree=26973396/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=237580 CPUtime=102.11 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 30934 0 0 0 10199 12 0 0 20 0 3 0 275643734 243281920 30107 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 59395 30107 207 433 0 58959 0
[pid=12224/tid=12226] ppid=12222 vsize=237580 CPUtime=50.9 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 19908 0 0 0 5083 7 0 0 20 0 3 0 275643739 243281920 30107 33554432000 4194304 5965102 140736061354352 139830901337016 4393958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=237580 CPUtime=50.89 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 8080 0 0 0 5085 4 0 0 20 0 3 0 275643739 243281920 30107 33554432000 4194304 5965102 140736061354352 139830890846520 4222304 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 237580

[startup+102.3 s]
/proc/loadavg: 3.97 3.97 3.94 5/183 12227
/proc/meminfo: memFree=26887448/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=305116 CPUtime=204.48 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 52616 0 0 0 20410 38 0 0 20 0 3 0 275643734 312438784 51789 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 76279 51789 207 433 0 75843 0
[pid=12224/tid=12226] ppid=12222 vsize=305116 CPUtime=101.96 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 34624 0 0 0 10174 22 0 0 20 0 3 0 275643739 312438784 51789 33554432000 4194304 5965102 140736061354352 139830901335864 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=305116 CPUtime=101.96 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 15046 0 0 0 10179 17 0 0 20 0 3 0 275643739 312438784 51789 33554432000 4194304 5965102 140736061354352 139830890846520 4390202 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.48
Current children cumulated vsize (KiB) 305116

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/183 12227
/proc/meminfo: memFree=26797328/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=371424 CPUtime=324.46 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 74378 0 0 0 32369 77 0 0 20 0 3 0 275643734 380338176 73386 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 92856 73386 207 433 0 92420 0
[pid=12224/tid=12226] ppid=12222 vsize=371424 CPUtime=161.81 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 43178 0 0 0 16150 31 0 0 20 0 3 0 275643739 380338176 73386 33554432000 4194304 5965102 140736061354352 139830901337016 4222330 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=371424 CPUtime=161.81 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 28254 0 0 0 16132 49 0 0 20 0 3 0 275643739 380338176 73386 33554432000 4194304 5965102 140736061354352 139830890846520 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 371424

[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/184 12231
/proc/meminfo: memFree=26731040/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=437896 CPUtime=444.46 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 81258 0 0 0 44351 95 0 0 20 0 3 0 275643734 448405504 80266 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 109474 80266 207 433 0 109038 0
[pid=12224/tid=12226] ppid=12222 vsize=437896 CPUtime=221.66 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 43205 0 0 0 22134 32 0 0 20 0 3 0 275643739 448405504 80266 33554432000 4194304 5965102 140736061354352 139830901337016 4222330 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=437896 CPUtime=221.66 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 35107 0 0 0 22099 67 0 0 20 0 3 0 275643739 448405504 80266 33554432000 4194304 5965102 140736061354352 139830890846520 4394008 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 437896

[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/183 12231
/proc/meminfo: memFree=26673964/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=439220 CPUtime=564.43 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 85522 0 0 0 56335 108 0 0 20 0 3 0 275643734 449761280 84530 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 109805 84530 207 433 0 109369 0
[pid=12224/tid=12226] ppid=12222 vsize=439220 CPUtime=281.5 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 43244 0 0 0 28117 33 0 0 20 0 3 0 275643739 449761280 84530 33554432000 4194304 5965102 140736061354352 139830901337016 4401129 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=439220 CPUtime=281.5 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 39332 0 0 0 28069 81 0 0 20 0 3 0 275643739 449761280 84530 33554432000 4194304 5965102 140736061354352 139830890846280 4222320 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 439220

[startup+342.307 s]
/proc/loadavg: 4.03 3.99 3.95 5/183 12231
/proc/meminfo: memFree=26665816/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=440244 CPUtime=684.42 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 87513 0 0 0 68330 112 0 0 20 0 3 0 275643734 450809856 86521 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 110061 86521 207 433 0 109625 0

################
# More data... #
################

[pid=12224/tid=12227] ppid=12222 vsize=440244 CPUtime=341.35 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 41259 0 0 0 34048 87 0 0 20 0 3 0 275643739 450809856 86521 33554432000 4194304 5965102 140736061354352 139830890846280 4410290 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (KiB) 440244

[startup+402.3 s]
/proc/loadavg: 4.01 3.99 3.95 5/183 12231
/proc/meminfo: memFree=26664452/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=441184 CPUtime=804.39 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 87741 0 0 0 80326 113 0 0 20 0 3 0 275643734 451772416 86749 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 110296 86749 207 433 0 109860 0
[pid=12224/tid=12226] ppid=12222 vsize=441184 CPUtime=401.2 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 43352 0 0 0 40085 35 0 0 20 0 3 0 275643739 451772416 86749 33554432000 4194304 5965102 140736061354352 139830901337016 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=441184 CPUtime=401.19 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 41443 0 0 0 40031 88 0 0 20 0 3 0 275643739 451772416 86749 33554432000 4194304 5965102 140736061354352 139830890846280 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.39
Current children cumulated vsize (KiB) 441184

[startup+462.3 s]
/proc/loadavg: 3.93 3.96 3.94 5/183 12284
/proc/meminfo: memFree=27514340/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=443272 CPUtime=924.34 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 96681 0 0 0 92314 120 0 0 20 0 3 0 275643734 453910528 96102 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 110818 96102 207 433 0 110382 0
[pid=12224/tid=12226] ppid=12222 vsize=443272 CPUtime=461.04 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 45722 0 0 0 46066 38 0 0 20 0 3 0 275643739 453910528 96102 33554432000 4194304 5965102 140736061354352 139830901335864 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=443272 CPUtime=461.01 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 48013 0 0 0 46007 94 0 0 20 0 3 0 275643739 453910528 96102 33554432000 4194304 5965102 140736061354352 139830890846520 4404413 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.34
Current children cumulated vsize (KiB) 443272

[startup+522.3 s]
/proc/loadavg: 3.97 3.96 3.94 5/183 12285
/proc/meminfo: memFree=27450260/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=444808 CPUtime=1044.29 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 98040 0 0 0 104307 122 0 0 20 0 3 0 275643734 455483392 97447 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 111202 97447 207 433 0 110766 0
[pid=12224/tid=12226] ppid=12222 vsize=444808 CPUtime=520.87 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 46717 0 0 0 52048 39 0 0 20 0 3 0 275643739 455483392 97448 33554432000 4194304 5965102 140736061354352 139830901336056 4401578 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=444808 CPUtime=520.84 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 48378 0 0 0 51989 95 0 0 20 0 3 0 275643739 455483392 97448 33554432000 4194304 5965102 140736061354352 139830890846280 4404759 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.29
Current children cumulated vsize (KiB) 444808

[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.94 5/183 12285
/proc/meminfo: memFree=27361380/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=510912 CPUtime=1164.24 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 108698 0 0 0 116280 144 0 0 20 0 3 0 275643734 523173888 108227 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 127728 108227 207 433 0 127292 0
[pid=12224/tid=12226] ppid=12222 vsize=510912 CPUtime=580.69 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 57255 0 0 0 58007 62 0 0 20 0 3 0 275643739 523173888 108227 33554432000 4194304 5965102 140736061354352 139830901335864 4401137 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=510912 CPUtime=580.68 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 48497 0 0 0 57972 96 0 0 20 0 3 0 275643739 523173888 108227 33554432000 4194304 5965102 140736061354352 139830890846280 4393903 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.24
Current children cumulated vsize (KiB) 510912

[startup+642.3 s]
/proc/loadavg: 4.04 3.99 3.94 5/183 12285
/proc/meminfo: memFree=27294076/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=577004 CPUtime=1284.18 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 114019 0 0 0 128262 156 0 0 20 0 3 0 275643734 590852096 113515 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 144251 113515 207 433 0 143815 0
[pid=12224/tid=12226] ppid=12222 vsize=577004 CPUtime=640.51 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 58879 0 0 0 63986 65 0 0 20 0 3 0 275643739 590852096 113515 33554432000 4194304 5965102 140736061354352 139830901336104 4400863 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=577004 CPUtime=640.51 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 52194 0 0 0 63943 108 0 0 20 0 3 0 275643739 590852096 113515 33554432000 4194304 5965102 140736061354352 139830890846280 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.18
Current children cumulated vsize (KiB) 577004

[startup+702.3 s]
/proc/loadavg: 4.01 3.99 3.94 5/183 12285
/proc/meminfo: memFree=27283648/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=578032 CPUtime=1404.16 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 114910 0 0 0 140259 157 0 0 20 0 3 0 275643734 591904768 114905 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 144508 114905 207 433 0 144072 0
[pid=12224/tid=12226] ppid=12222 vsize=578032 CPUtime=700.36 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 59545 0 0 0 69969 67 0 0 20 0 3 0 275643739 591904768 114905 33554432000 4194304 5965102 140736061354352 139830901336104 4404416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=578032 CPUtime=700.35 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 52419 0 0 0 69926 109 0 0 20 0 3 0 275643739 591904768 114905 33554432000 4194304 5965102 140736061354352 139830890846280 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.16
Current children cumulated vsize (KiB) 578032

[startup+762.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/183 12285
/proc/meminfo: memFree=27145792/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=710240 CPUtime=1524.14 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 145503 0 0 0 152181 233 0 0 20 0 3 0 275643734 727285760 145497 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 177560 145497 207 433 0 177124 0
[pid=12224/tid=12226] ppid=12222 vsize=710240 CPUtime=760.2 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 66450 0 0 0 75943 77 0 0 20 0 3 0 275643739 727285760 145497 33554432000 4194304 5965102 140736061354352 139830901335576 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=710240 CPUtime=760.2 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 76107 0 0 0 75844 176 0 0 20 0 3 0 275643739 727285760 145497 33554432000 4194304 5965102 140736061354352 139830890846520 4380336 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.14
Current children cumulated vsize (KiB) 710240

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/184 12289
/proc/meminfo: memFree=27105960/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=710908 CPUtime=1644.12 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 149557 0 0 0 164170 242 0 0 20 0 3 0 275643734 727969792 149551 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 177727 149551 207 433 0 177291 0
[pid=12224/tid=12226] ppid=12222 vsize=710908 CPUtime=820.05 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 70363 0 0 0 81918 87 0 0 20 0 3 0 275643739 727969792 149551 33554432000 4194304 5965102 140736061354352 139830901335864 4400972 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=710908 CPUtime=820.04 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 76248 0 0 0 81827 177 0 0 20 0 3 0 275643739 727969792 149551 33554432000 4194304 5965102 140736061354352 139830890846280 4222324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.12
Current children cumulated vsize (KiB) 710908

[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/183 12289
/proc/meminfo: memFree=27074080/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=713076 CPUtime=1764.1 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 150412 0 0 0 176168 242 0 0 20 0 3 0 275643734 730189824 150668 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 178269 150668 207 433 0 177833 0
[pid=12224/tid=12226] ppid=12222 vsize=713076 CPUtime=879.9 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 70735 0 0 0 87901 89 0 0 20 0 3 0 275643739 730189824 150668 33554432000 4194304 5965102 140736061354352 139830901335928 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=713076 CPUtime=879.88 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 76731 0 0 0 87810 178 0 0 20 0 3 0 275643739 730189824 150668 33554432000 4194304 5965102 140736061354352 139830890846280 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.1
Current children cumulated vsize (KiB) 713076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/183 12289
/proc/meminfo: memFree=27050736/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=713076 CPUtime=1800.08 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 152524 0 0 0 179762 246 0 0 20 0 3 0 275643734 730189824 152868 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 178269 152868 207 433 0 177833 0
[pid=12224/tid=12226] ppid=12222 vsize=713076 CPUtime=897.84 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 72846 0 0 0 89692 92 0 0 20 0 3 0 275643739 730189824 152868 33554432000 4194304 5965102 140736061354352 139830901336056 4404708 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=713076 CPUtime=897.83 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 76732 0 0 0 89604 179 0 0 20 0 3 0 275643739 730189824 152868 33554432000 4194304 5965102 140736061354352 139830890846280 4222304 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 713076

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

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

[startup+900.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/183 12289
/proc/meminfo: memFree=27050736/32873844 swapFree=7124/7124
[pid=12224] ppid=12222 vsize=713076 CPUtime=1800.08 cores=0,2,4,6
/proc/12224/stat : 12224 (pwbo2.0) S 12222 12224 10899 0 -1 4202496 152524 0 0 0 179762 246 0 0 20 0 3 0 275643734 730189824 152868 33554432000 4194304 5965102 140736061354352 140736061353872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12224/statm: 178269 152868 207 433 0 177833 0
[pid=12224/tid=12226] ppid=12222 vsize=713076 CPUtime=897.84 cores=0,2,4,6
/proc/12224/task/12226/stat : 12226 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 72846 0 0 0 89692 92 0 0 20 0 3 0 275643739 730189824 152868 33554432000 4194304 5965102 140736061354352 139830901336056 4404708 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12224/tid=12227] ppid=12222 vsize=713076 CPUtime=897.83 cores=0,2,4,6
/proc/12224/task/12227/stat : 12227 (pwbo2.0) R 12222 12224 10899 0 -1 4202560 76732 0 0 0 89604 179 0 0 20 0 3 0 275643739 730189824 152868 33554432000 4194304 5965102 140736061354352 139830890846280 4222304 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 713076

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12224 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=37416
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=746582
# CPU time returned by wait4() is 1795.78
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.325
CPU time (s): 1800.08
CPU user time (s): 1797.62
CPU system time (s): 2.46
CPU usage (%): 199.937
Max. virtual memory (cumulated for all children) (KiB): 713076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.04
system time used= 2.74658
maximum resident set size= 611488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152528
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= 677
involuntary context switches= 2050

runsolver used 1.91071 second user time and 4.86526 second system time

The end

Launcher Data 

Begin job on node134 at 2012-05-27 07:06:23
IDJOB=3704462
IDBENCH=48238
IDSOLVER=2281
FILE ID=node134/3704462-1338095183
RUNJOBID= node134-1338088337-10915
PBS_JOBID= 14624458
Free space on /tmp= 71044 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_2.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704462-1338095183/watcher-3704462-1338095183 -o /tmp/evaluation-result-3704462-1338095183/solver-3704462-1338095183 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704462-1338095183.opb

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

MD5SUM BENCH= 219f407da86957d900e068170e9af8b6
RANDOM SEED=1286585476

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27136148 kB
Buffers:          365072 kB
Cached:          3640460 kB
SwapCached:            0 kB
Active:          2328252 kB
Inactive:        2563348 kB
Active(anon):     881732 kB
Inactive(anon):     5996 kB
Active(file):    1446520 kB
Inactive(file):  2557352 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5464 kB
Writeback:             0 kB
AnonPages:        892260 kB
Mapped:            15220 kB
Shmem:               212 kB
Slab:             704676 kB
SReclaimable:     146928 kB
SUnreclaim:       557748 kB
KernelStack:        1488 kB
PageTables:         5748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     172356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    380928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3704462-1338095183.opb

Free space on /tmp at the end= 71040 MiB
End job on node134 at 2012-05-27 07:21:26