Trace number 3750606

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
npSolver 1.0 (fixed)OPT21 276.729 276.78

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM82a3d84200b069df277c7f14e0e883d0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark266.663
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved NO
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
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 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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

Verifier Data 

OK	21

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-3750606-1339128543/watcher-3750606-1339128543 -o /tmp/evaluation-result-3750606-1339128543/solver-3750606-1339128543 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750606-1339128543.opb 290393161 HOME HOME 

running on 4 cores: 1,3,5,7

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: 2.08 2.06 2.01 2/179 13003
/proc/meminfo: memFree=27683124/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0

[startup+0.0972501 s]
/proc/loadavg: 2.08 2.06 2.01 2/179 13003
/proc/meminfo: memFree=27683124/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100263 s]
/proc/loadavg: 2.08 2.06 2.01 2/179 13003
/proc/meminfo: memFree=27683124/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300301 s]
/proc/loadavg: 2.08 2.06 2.01 2/179 13003
/proc/meminfo: memFree=27683124/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700265 s]
/proc/loadavg: 2.08 2.06 2.01 2/179 13003
/proc/meminfo: memFree=27683124/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 13017
/proc/meminfo: memFree=27663420/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=0.63 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 4803 11000 0 0 11 5 42 5 20 0 1 0 378982799 12034048 2515 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2515 175 442 0 2492 0
[pid=13016] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13016/stat : 13016 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378982864 9367552 267 33554432000 4194304 5064252 140734220360032 140734220358944 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13016/statm: 2287 267 226 213 0 72 0
[pid=13017] ppid=13016 vsize=10200 CPUtime=0.84 cores=1,3,5,7
/proc/13017/stat : 13017 (glucose) R 13016 13003 7856 0 -1 4202496 2341 0 0 0 84 0 0 0 20 0 1 0 378982864 10444800 2199 33554432000 4194304 5208918 140736786191680 140736786189704 4212680 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2550 2199 105 248 0 2299 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 40248

[startup+3.10035 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 13017
/proc/meminfo: memFree=27661624/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=0.63 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 4803 11000 0 0 11 5 42 5 20 0 1 0 378982799 12034048 2515 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2515 175 442 0 2492 0
[pid=13016] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13016/stat : 13016 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378982864 9367552 267 33554432000 4194304 5064252 140734220360032 140734220358944 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13016/statm: 2287 267 226 213 0 72 0
[pid=13017] ppid=13016 vsize=17648 CPUtime=2.44 cores=1,3,5,7
/proc/13017/stat : 13017 (glucose) R 13016 13003 7856 0 -1 4202496 3969 0 0 0 244 0 0 0 20 0 1 0 378982864 18071552 3606 33554432000 4194304 5208918 140736786191680 140736786189624 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 4412 3606 105 248 0 4161 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 47696

[startup+6.30035 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 13017
/proc/meminfo: memFree=27652816/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=0.63 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 4803 11000 0 0 11 5 42 5 20 0 1 0 378982799 12034048 2515 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2515 175 442 0 2492 0
[pid=13016] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13016/stat : 13016 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378982864 9367552 267 33554432000 4194304 5064252 140734220360032 140734220358944 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13016/statm: 2287 267 226 213 0 72 0
[pid=13017] ppid=13016 vsize=17648 CPUtime=5.63 cores=1,3,5,7
/proc/13017/stat : 13017 (glucose) R 13016 13003 7856 0 -1 4202496 4741 0 0 0 563 0 0 0 20 0 1 0 378982864 18071552 3587 33554432000 4194304 5208918 140736786191680 140736786189656 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 4412 3587 105 248 0 4161 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 47696

[startup+12.7004 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 13024
/proc/meminfo: memFree=27652584/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=7.24 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 5155 20365 0 0 12 5 700 7 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13023] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13023/stat : 13023 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378983525 9367552 267 33554432000 4194304 5064252 140734644347920 140734644346832 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13023/statm: 2287 267 226 213 0 72 0
[pid=13024] ppid=13023 vsize=21384 CPUtime=5.42 cores=1,3,5,7
/proc/13024/stat : 13024 (glucose) R 13023 13003 7856 0 -1 4202496 5289 0 0 0 541 1 0 0 20 0 1 0 378983525 21897216 4857 33554432000 4194304 5208918 140733970986064 140733970982440 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13024/statm: 5346 4857 105 248 0 5095 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 51432

[startup+25.5005 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 13024
/proc/meminfo: memFree=27636512/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=7.24 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 5155 20365 0 0 12 5 700 7 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13023] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13023/stat : 13023 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378983525 9367552 267 33554432000 4194304 5064252 140734644347920 140734644346832 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13023/statm: 2287 267 226 213 0 72 0
[pid=13024] ppid=13023 vsize=37644 CPUtime=18.22 cores=1,3,5,7
/proc/13024/stat : 13024 (glucose) R 13023 13003 7856 0 -1 4202496 7756 0 0 0 1820 2 0 0 20 0 1 0 378983525 38547456 8922 33554432000 4194304 5208918 140733970986064 140733970982440 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13024/statm: 9411 8922 105 248 0 9160 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 67692

[startup+51.1005 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 13024
/proc/meminfo: memFree=27629440/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=7.24 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 5155 20365 0 0 12 5 700 7 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13023] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13023/stat : 13023 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378983525 9367552 267 33554432000 4194304 5064252 140734644347920 140734644346832 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13023/statm: 2287 267 226 213 0 72 0
[pid=13024] ppid=13023 vsize=44824 CPUtime=43.81 cores=1,3,5,7
/proc/13024/stat : 13024 (glucose) R 13023 13003 7856 0 -1 4202496 8564 0 0 0 4379 2 0 0 20 0 1 0 378983525 45899776 10727 33554432000 4194304 5208918 140733970986064 140733970982440 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13024/statm: 11206 10727 105 248 0 10955 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 74872

[startup+102.307 s]
/proc/loadavg: 2.01 2.04 2.00 3/184 13027
/proc/meminfo: memFree=27626452/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=7.24 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 5155 20365 0 0 12 5 700 7 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13023] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13023/stat : 13023 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 378983525 9367552 267 33554432000 4194304 5064252 140734644347920 140734644346832 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13023/statm: 2287 267 226 213 0 72 0
[pid=13024] ppid=13023 vsize=45920 CPUtime=95.01 cores=1,3,5,7
/proc/13024/stat : 13024 (glucose) R 13023 13003 7856 0 -1 4202496 11280 0 0 0 9497 4 0 0 20 0 1 0 378983525 47022080 11001 33554432000 4194304 5208918 140733970986064 140733970984152 4229039 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13024/statm: 11480 11001 105 248 0 11229 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 75968

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 13027
/proc/meminfo: memFree=27606480/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=7.24 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 5155 20365 0 0 12 5 700 7 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13023] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/13023/statm: 2287 267 226 213 0 72 0
[pid=13024] ppid=13023 vsize=88308 CPUtime=155 cores=1,3,5,7
/proc/13024/stat : 13024 (glucose) R 13023 13003 7856 0 -1 4202496 12235 0 0 0 15495 5 0 0 20 0 1 0 378983525 90427392 16027 33554432000 4194304 5208918 140733970986064 140733970982440 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13024/statm: 22077 16027 105 248 0 21826 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 118356

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13034
/proc/meminfo: memFree=27653924/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=217.85 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 5506 36212 0 0 13 5 21753 14 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13033] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13033/stat : 13033 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379004590 9367552 266 33554432000 4194304 5064252 140734577180128 140734577179040 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13033/statm: 2287 266 226 213 0 72 0
[pid=13034] ppid=13033 vsize=19620 CPUtime=4.38 cores=1,3,5,7
/proc/13034/stat : 13034 (glucose) R 13033 13003 7856 0 -1 4202496 5102 0 0 0 437 1 0 0 20 0 1 0 379004590 20090880 4313 33554432000 4194304 5208918 140737442749488 140737442747576 4228930 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13034/statm: 4905 4313 105 248 0 4654 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49668

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

[startup+230.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13034
/proc/meminfo: memFree=27644976/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=217.85 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 5506 36212 0 0 13 5 21753 14 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13033] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13033/stat : 13033 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 379004590 9367552 266 33554432000 4194304 5064252 140734577180128 140734577179040 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13033/statm: 2287 266 226 213 0 72 0
[pid=13034] ppid=13033 vsize=31112 CPUtime=12.38 cores=1,3,5,7
/proc/13034/stat : 13034 (glucose) R 13033 13003 7856 0 -1 4202496 6311 0 0 0 1237 1 0 0 20 0 1 0 379004590 31858688 6519 33554432000 4194304 5208918 140737442749488 140737442745800 4212212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13034/statm: 7778 6519 105 248 0 7527 0
Current children cumulated CPU time (s) 230.23
Current children cumulated vsize (KiB) 61160

[startup+255.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13049
/proc/meminfo: memFree=27646680/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=242.14 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 6476 56982 0 0 19 6 24168 21 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13047] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13047/stat : 13047 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379007020 9367552 267 33554432000 4194304 5064252 140735272911552 140735272910464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13047/statm: 2287 267 226 213 0 72 0
[pid=13048] ppid=13047 vsize=26028 CPUtime=13.67 cores=1,3,5,7
/proc/13048/stat : 13048 (glucose) R 13047 13003 7856 0 -1 4202496 7216 0 0 0 1365 2 0 0 20 0 1 0 379007021 26652672 6030 33554432000 4194304 5208918 140735267710448 140735267708440 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13048/statm: 6507 6030 105 248 0 6256 0
Current children cumulated CPU time (s) 255.81
Current children cumulated vsize (KiB) 56076

[startup+268.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13049
/proc/meminfo: memFree=27635108/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=242.14 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 6476 56982 0 0 19 6 24168 21 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13047] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13047/stat : 13047 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379007020 9367552 267 33554432000 4194304 5064252 140735272911552 140735272910464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13047/statm: 2287 267 226 213 0 72 0
[pid=13048] ppid=13047 vsize=37592 CPUtime=26.47 cores=1,3,5,7
/proc/13048/stat : 13048 (glucose) R 13047 13003 7856 0 -1 4202496 8075 0 0 0 2644 3 0 0 20 0 1 0 379007021 38494208 8919 33554432000 4194304 5208918 140735267710448 140735267706824 4205203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13048/statm: 9398 8919 105 248 0 9147 0
Current children cumulated CPU time (s) 268.61
Current children cumulated vsize (KiB) 67640

[startup+271.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13049
/proc/meminfo: memFree=27627972/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=242.14 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 6476 56982 0 0 19 6 24168 21 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13047] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13047/stat : 13047 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379007020 9367552 267 33554432000 4194304 5064252 140735272911552 140735272910464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13047/statm: 2287 267 226 213 0 72 0
[pid=13048] ppid=13047 vsize=44776 CPUtime=29.67 cores=1,3,5,7
/proc/13048/stat : 13048 (glucose) R 13047 13003 7856 0 -1 4202496 8319 0 0 0 2964 3 0 0 20 0 1 0 379007021 45850624 10687 33554432000 4194304 5208918 140735267710448 140735267708312 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13048/statm: 11194 10687 105 248 0 10943 0
Current children cumulated CPU time (s) 271.81
Current children cumulated vsize (KiB) 74824

[startup+275.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13049
/proc/meminfo: memFree=27627848/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=242.14 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 6476 56982 0 0 19 6 24168 21 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13047] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13047/stat : 13047 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379007020 9367552 267 33554432000 4194304 5064252 140735272911552 140735272910464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13047/statm: 2287 267 226 213 0 72 0
[pid=13048] ppid=13047 vsize=44776 CPUtime=32.87 cores=1,3,5,7
/proc/13048/stat : 13048 (glucose) R 13047 13003 7856 0 -1 4202496 8346 0 0 0 3284 3 0 0 20 0 1 0 379007021 45850624 10714 33554432000 4194304 5208918 140735267710448 140735267708312 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13048/statm: 11194 10714 105 248 0 10943 0
Current children cumulated CPU time (s) 275.01
Current children cumulated vsize (KiB) 74824

[startup+275.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13049
/proc/meminfo: memFree=27627848/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=242.14 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 6476 56982 0 0 19 6 24168 21 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13047] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13047/stat : 13047 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379007020 9367552 267 33554432000 4194304 5064252 140735272911552 140735272910464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13047/statm: 2287 267 226 213 0 72 0
[pid=13048] ppid=13047 vsize=44776 CPUtime=33.67 cores=1,3,5,7
/proc/13048/stat : 13048 (glucose) R 13047 13003 7856 0 -1 4202496 8346 0 0 0 3364 3 0 0 20 0 1 0 379007021 45850624 10714 33554432000 4194304 5208918 140735267710448 140735267706824 4228992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13048/statm: 11194 10714 105 248 0 10943 0
Current children cumulated CPU time (s) 275.81
Current children cumulated vsize (KiB) 74824

[startup+276.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13049
/proc/meminfo: memFree=27627848/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=242.14 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 6476 56982 0 0 19 6 24168 21 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13047] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13047/stat : 13047 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379007020 9367552 267 33554432000 4194304 5064252 140735272911552 140735272910464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13047/statm: 2287 267 226 213 0 72 0
[pid=13048] ppid=13047 vsize=44776 CPUtime=34.07 cores=1,3,5,7
/proc/13048/stat : 13048 (glucose) R 13047 13003 7856 0 -1 4202496 8346 0 0 0 3404 3 0 0 20 0 1 0 379007021 45850624 10714 33554432000 4194304 5208918 140735267710448 140735267706824 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13048/statm: 11194 10714 105 248 0 10943 0
Current children cumulated CPU time (s) 276.21
Current children cumulated vsize (KiB) 74824

[startup+276.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13049
/proc/meminfo: memFree=27627848/32873844 swapFree=7384/7384
[pid=13003] ppid=13001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13003/stat : 13003 (npSolver-pbo.sh) S 13001 13003 7856 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378982799 9367552 275 33554432000 4194304 5064252 140733846567376 140733846566288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13003/statm: 2287 275 233 213 0 72 0
[pid=13004] ppid=13003 vsize=11752 CPUtime=242.14 cores=1,3,5,7
/proc/13004/stat : 13004 (npSolver-pbo) S 13003 13003 7856 0 -1 4202496 6476 56982 0 0 19 6 24168 21 20 0 1 0 378982799 12034048 2516 33554432000 4194304 6004724 140736653396048 140736653388400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13004/statm: 2938 2516 176 442 0 2492 0
[pid=13047] ppid=13004 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13047/stat : 13047 (satsolver.sh) S 13004 13003 7856 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379007020 9367552 267 33554432000 4194304 5064252 140735272911552 140735272910464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13047/statm: 2287 267 226 213 0 72 0
[pid=13048] ppid=13047 vsize=0 CPUtime=34.47 cores=1,3,5,7
/proc/13048/stat : 13048 (glucose) R 13047 13003 7856 0 -1 4202500 8355 0 0 0 3444 3 0 0 20 0 1 0 379007021 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13048/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 276.61
Current children cumulated vsize (KiB) 30048

Child status: 0
Real time (s): 276.78
CPU time (s): 276.729
CPU user time (s): 276.387
CPU system time (s): 0.341948
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 118356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 276.387
system time used= 0.341948
maximum resident set size= 68208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77983
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 248
involuntary context switches= 362

runsolver used 0.601908 second user time and 1.90671 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-08 06:09:03
IDJOB=3750606
IDBENCH=25012
IDSOLVER=2334
FILE ID=node106/3750606-1339128543
RUNJOBID= node106-1339112327-9432
PBS_JOBID= 14643747
Free space on /tmp= 70944 MiB

SOLVER NAME= npSolver 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= DIR/npSolver-pbo.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3750606-1339128543/watcher-3750606-1339128543 -o /tmp/evaluation-result-3750606-1339128543/solver-3750606-1339128543 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo.sh HOME/instance-3750606-1339128543.opb 290393161 HOME HOME

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

MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0
RANDOM SEED=290393161

node106.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.065
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.13
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.065
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	: 5331.91
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.065
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	: 5331.91
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.065
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	: 5331.92
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.065
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	: 5331.91
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.065
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	: 5331.91
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.065
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	: 5331.91
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.065
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27683504 kB
Buffers:          424080 kB
Cached:          3243188 kB
SwapCached:         2340 kB
Active:          2145512 kB
Inactive:        2134160 kB
Active(anon):     609512 kB
Inactive(anon):     5500 kB
Active(file):    1536000 kB
Inactive(file):  2128660 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67100732 kB
Dirty:              8576 kB
Writeback:             0 kB
AnonPages:        621064 kB
Mapped:            10036 kB
Shmem:                 0 kB
Slab:             765772 kB
SReclaimable:     207732 kB
SUnreclaim:       558040 kB
KernelStack:        1520 kB
PageTables:         5216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     797508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70936 MiB
End job on node106 at 2012-06-08 06:13:40