Trace number 3728623

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 NameAnswerCPU timeWall clock time
pwbo 2.02MSAT (TO) 1800.44 900.392

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
MD5SUM7e0724db75f314e84b0472c27c0a5114
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1.24681
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3900
Total number of constraints125
Number of soft constraints39
Number of constraints which are clauses65
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint65
Top cost 2003
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2002
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 66
Number of bits of the biggest sum of numbers7
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.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3728623-1338671779.wbo.
0.00/0.00	c Instance file HOME/instance-3728623-1338671779.wbo
0.00/0.00	c File size is 69374 bytes.
0.00/0.00	c Highest Coefficient sum: 66
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      3939                                                |
0.00/0.01	c |  Number Clauses:        65                                                  |
0.00/0.01	c |  Number Cardinality:    45                                                  |
0.00/0.01	c |  Number PB Constraints: 15                                                  |
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.01	c |                                                                             |
0.00/0.01	c ===============================================================================
1800.03/900.31	o 159
1800.03/900.31	o 64
1800.03/900.31	o 28
1800.03/900.31	o 10
1800.03/900.31	o 8
1800.03/900.31	o 4
1800.03/900.31	c ===============================================================================
1800.03/900.31	c Wall Clock Time: 900.31 s
1800.03/900.31	c Best Solution: 4
1800.03/900.31	s SATISFIABLE
1800.03/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 -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

Verifier Data 

OK	4

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-3728623-1338671779/watcher-3728623-1338671779 -o /tmp/evaluation-result-3728623-1338671779/solver-3728623-1338671779 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728623-1338671779.wbo 

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.68 3.90 3.65 3/173 6369
/proc/meminfo: memFree=28925052/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=5468 CPUtime=0 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) R 6367 6369 5745 0 -1 4202496 681 0 0 0 0 0 0 0 20 0 1 0 333302722 5599232 633 33554432000 4194304 5964478 140736977415344 140734323673672 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 1367 634 169 433 0 914 0

[startup+0.0374579 s]
/proc/loadavg: 3.68 3.90 3.65 3/173 6369
/proc/meminfo: memFree=28925052/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=165468 CPUtime=0.04 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 2499 0 0 0 4 0 0 0 20 0 3 0 333302722 169439232 2434 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 41367 2438 204 433 0 40931 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 165468

[startup+0.100181 s]
/proc/loadavg: 3.68 3.90 3.65 3/173 6369
/proc/meminfo: memFree=28925052/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=182100 CPUtime=0.17 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 9406 0 0 0 15 2 0 0 20 0 3 0 333302722 186470400 9280 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 45525 9281 205 433 0 45089 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 182100

[startup+0.30016 s]
/proc/loadavg: 3.68 3.90 3.65 3/173 6369
/proc/meminfo: memFree=28925052/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=182792 CPUtime=0.58 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 10265 0 0 0 55 3 0 0 20 0 3 0 333302722 187179008 10139 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 45698 10139 206 433 0 45262 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 182792

[startup+0.700157 s]
/proc/loadavg: 3.68 3.90 3.65 3/173 6369
/proc/meminfo: memFree=28925052/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=182792 CPUtime=1.37 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 11616 0 0 0 134 3 0 0 20 0 3 0 333302722 187179008 11490 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 45698 11490 206 433 0 45262 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 182792

[startup+1.50025 s]
/proc/loadavg: 3.68 3.90 3.65 5/183 6383
/proc/meminfo: memFree=28852888/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=182792 CPUtime=2.98 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 14246 0 0 0 293 5 0 0 20 0 3 0 333302722 187179008 14120 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 45698 14120 206 433 0 45262 0
[pid=6369/tid=6375] ppid=6367 vsize=182792 CPUtime=1.47 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 3152 0 0 0 145 2 0 0 20 0 3 0 333302723 187179008 14120 33554432000 4194304 5964478 140736977415344 140303793326120 4381974 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=182792 CPUtime=1.47 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 9802 0 0 0 144 3 0 0 20 0 3 0 333302723 187179008 14120 33554432000 4194304 5964478 140736977415344 140303782836536 4400432 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 182792

[startup+3.10027 s]
/proc/loadavg: 3.68 3.90 3.65 5/183 6383
/proc/meminfo: memFree=28824608/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=182936 CPUtime=6.17 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 19169 0 0 0 610 7 0 0 20 0 3 0 333302722 187326464 19043 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 45734 19043 206 433 0 45298 0
[pid=6369/tid=6375] ppid=6367 vsize=182936 CPUtime=3.07 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 5646 0 0 0 304 3 0 0 20 0 3 0 333302723 187326464 19043 33554432000 4194304 5964478 140736977415344 140303793326072 4382031 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=182936 CPUtime=3.07 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 12231 0 0 0 303 4 0 0 20 0 3 0 333302723 187326464 19043 33554432000 4194304 5964478 140736977415344 140303782836536 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 182936

[startup+6.3003 s]
/proc/loadavg: 3.70 3.91 3.66 5/183 6383
/proc/meminfo: memFree=28771420/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=183152 CPUtime=12.56 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 25489 0 0 0 1246 10 0 0 20 0 3 0 333302722 187547648 25363 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 45788 25363 206 433 0 45352 0
[pid=6369/tid=6375] ppid=6367 vsize=183152 CPUtime=6.27 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 7734 0 0 0 622 5 0 0 20 0 3 0 333302723 187547648 25363 33554432000 4194304 5964478 140736977415344 140303793326072 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=183152 CPUtime=6.27 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 16463 0 0 0 621 6 0 0 20 0 3 0 333302723 187547648 25363 33554432000 4194304 5964478 140736977415344 140303782836536 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 183152

[startup+12.7003 s]
/proc/loadavg: 3.73 3.91 3.66 5/183 6383
/proc/meminfo: memFree=28699820/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=248868 CPUtime=25.37 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 35584 0 0 0 2522 15 0 0 20 0 3 0 333302722 254840832 35458 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 62217 35459 206 433 0 61781 0
[pid=6369/tid=6375] ppid=6367 vsize=248868 CPUtime=12.67 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 10704 0 0 0 1261 6 0 0 20 0 3 0 333302723 254840832 35459 33554432000 4194304 5964478 140736977415344 140303793326072 4381585 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=248868 CPUtime=12.67 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 23589 0 0 0 1258 9 0 0 20 0 3 0 333302723 254840832 35459 33554432000 4194304 5964478 140736977415344 140303782836536 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 248868

[startup+25.5004 s]
/proc/loadavg: 3.79 3.91 3.66 5/183 6383
/proc/meminfo: memFree=28571844/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=314804 CPUtime=50.95 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 54753 0 0 0 5072 23 0 0 20 0 3 0 333302722 322359296 54759 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 78701 54759 206 433 0 78265 0
[pid=6369/tid=6375] ppid=6367 vsize=314804 CPUtime=25.46 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 16944 0 0 0 2537 9 0 0 20 0 3 0 333302723 322359296 54759 33554432000 4194304 5964478 140736977415344 140303793325880 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=314804 CPUtime=25.46 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 36517 0 0 0 2531 15 0 0 20 0 3 0 333302723 322359296 54759 33554432000 4194304 5964478 140736977415344 140303782836536 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 314804

[startup+51.1004 s]
/proc/loadavg: 3.86 3.92 3.67 5/183 6383
/proc/meminfo: memFree=28311520/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=446504 CPUtime=102.12 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 88520 0 0 0 10173 39 0 0 20 0 3 0 333302722 457220096 88519 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 111626 88520 206 433 0 111190 0
[pid=6369/tid=6375] ppid=6367 vsize=446504 CPUtime=51.06 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 29082 0 0 0 5091 15 0 0 20 0 3 0 333302723 457220096 88520 33554432000 4194304 5964478 140736977415344 140303793326072 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=446504 CPUtime=51.04 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 58147 0 0 0 5079 25 0 0 20 0 3 0 333302723 457220096 88520 33554432000 4194304 5964478 140736977415344 140303782836536 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 446504

[startup+102.3 s]
/proc/loadavg: 3.94 3.93 3.68 5/183 6383
/proc/meminfo: memFree=27845820/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=709704 CPUtime=204.46 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 144158 0 0 0 20375 71 0 0 20 0 3 0 333302722 726736896 144175 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 177426 144175 206 433 0 176990 0
[pid=6369/tid=6375] ppid=6367 vsize=709704 CPUtime=102.24 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 49596 0 0 0 10199 25 0 0 20 0 3 0 333302723 726736896 144175 33554432000 4194304 5964478 140736977415344 140303793326072 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=709704 CPUtime=102.23 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 93270 0 0 0 10173 50 0 0 20 0 3 0 333302723 726736896 144175 33554432000 4194304 5964478 140736977415344 140303782836584 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.46
Current children cumulated vsize (KiB) 709704

[startup+162.3 s]
/proc/loadavg: 3.98 3.94 3.70 5/183 6383
/proc/meminfo: memFree=27573172/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=842484 CPUtime=324.37 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 196658 0 0 0 32333 104 0 0 20 0 3 0 333302722 862703616 196790 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 210621 196790 206 433 0 210185 0
[pid=6369/tid=6375] ppid=6367 vsize=842484 CPUtime=162.21 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 63411 0 0 0 16187 34 0 0 20 0 3 0 333302723 862703616 196790 33554432000 4194304 5964478 140736977415344 140303793326072 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=842484 CPUtime=162.19 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 131955 0 0 0 16143 76 0 0 20 0 3 0 333302723 862703616 196790 33554432000 4194304 5964478 140736977415344 140303782836584 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.37
Current children cumulated vsize (KiB) 842484

[startup+222.307 s]
/proc/loadavg: 3.99 3.95 3.72 5/184 6387
/proc/meminfo: memFree=27412560/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1039380 CPUtime=444.34 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 233704 0 0 0 44303 131 0 0 20 0 3 0 333302722 1064325120 235029 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 259845 235029 206 433 0 259409 0
[pid=6369/tid=6375] ppid=6367 vsize=1039380 CPUtime=222.21 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 67728 0 0 0 22185 36 0 0 20 0 3 0 333302723 1064325120 235029 33554432000 4194304 5964478 140736977415344 140303793326072 4381960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1039380 CPUtime=222.19 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 164684 0 0 0 22116 103 0 0 20 0 3 0 333302723 1064325120 235029 33554432000 4194304 5964478 140736977415344 140303782836536 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.34
Current children cumulated vsize (KiB) 1039380

[startup+282.3 s]
/proc/loadavg: 4.03 3.97 3.74 5/184 6387
/proc/meminfo: memFree=27120096/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1171456 CPUtime=564.31 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 275273 0 0 0 56267 164 0 0 20 0 3 0 333302722 1199570944 276598 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 292864 276598 206 433 0 292428 0
[pid=6369/tid=6375] ppid=6367 vsize=1171456 CPUtime=282.2 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 80183 0 0 0 28176 44 0 0 20 0 3 0 333302723 1199570944 276598 33554432000 4194304 5964478 140736977415344 140303793326072 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1171456 CPUtime=282.18 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 193798 0 0 0 28089 129 0 0 20 0 3 0 333302723 1199570944 276598 33554432000 4194304 5964478 140736977415344 140303782836536 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.31
Current children cumulated vsize (KiB) 1171456

[startup+342.3 s]
/proc/loadavg: 4.01 3.97 3.75 5/183 6387
/proc/meminfo: memFree=26941200/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1370672 CPUtime=684.29 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 318911 0 0 0 68239 190 0 0 20 0 3 0 333302722 1403568128 320236 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 342668 320236 206 433 0 342232 0
[pid=6369/tid=6375] ppid=6367 vsize=1370672 CPUtime=342.21 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 97071 0 0 0 34167 54 0 0 20 0 3 0 333302723 1403568128 320236 33554432000 4194304 5964478 140736977415344 140303793326072 4400432 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1370672 CPUtime=342.18 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 220548 0 0 0 34071 147 0 0 20 0 3 0 333302723 1403568128 320236 33554432000 4194304 5964478 140736977415344 140303782836536 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.29
Current children cumulated vsize (KiB) 1370672

[startup+402.3 s]
/proc/loadavg: 4.04 3.99 3.77 5/183 6387
/proc/meminfo: memFree=26751880/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1502964 CPUtime=804.27 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 344618 0 0 0 80217 210 0 0 20 0 3 0 333302722 1539035136 345943 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 375741 345943 206 433 0 375305 0
[pid=6369/tid=6375] ppid=6367 vsize=1502964 CPUtime=402.21 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 103087 0 0 0 40162 59 0 0 20 0 3 0 333302723 1539035136 345943 33554432000 4194304 5964478 140736977415344 140303793326072 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1502964 CPUtime=402.18 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 240239 0 0 0 40053 165 0 0 20 0 3 0 333302723 1539035136 345943 33554432000 4194304 5964478 140736977415344 140303782836536 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.27
Current children cumulated vsize (KiB) 1502964

[startup+462.3 s]
/proc/loadavg: 4.01 3.99 3.78 5/183 6387
/proc/meminfo: memFree=26656864/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1569116 CPUtime=924.25 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 361314 0 0 0 92204 221 0 0 20 0 3 0 333302722 1606774784 362008 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 392279 362008 206 433 0 391843 0
[pid=6369/tid=6375] ppid=6367 vsize=1569116 CPUtime=462.21 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 103104 0 0 0 46161 60 0 0 20 0 3 0 333302723 1606774784 362008 33554432000 4194304 5964478 140736977415344 140303793326104 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1569116 CPUtime=462.18 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 256918 0 0 0 46042 176 0 0 20 0 3 0 333302723 1606774784 362008 33554432000 4194304 5964478 140736977415344 140303782836536 4400018 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.25
Current children cumulated vsize (KiB) 1569116

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.79 5/183 6388
/proc/meminfo: memFree=26511440/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1634652 CPUtime=1044.23 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 373958 0 0 0 104194 229 0 0 20 0 3 0 333302722 1673883648 374652 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 408663 374652 206 433 0 408227 0
[pid=6369/tid=6375] ppid=6367 vsize=1634652 CPUtime=522.21 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 115730 0 0 0 52153 68 0 0 20 0 3 0 333302723 1673883648 374652 33554432000 4194304 5964478 140736977415344 140303793326072 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1634652 CPUtime=522.18 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 256936 0 0 0 52041 177 0 0 20 0 3 0 333302723 1673883648 374652 33554432000 4194304 5964478 140736977415344 140303782836536 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.23
Current children cumulated vsize (KiB) 1634652

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.80 5/183 6388
/proc/meminfo: memFree=26302252/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1701268 CPUtime=1164.21 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 390883 0 0 0 116181 240 0 0 20 0 3 0 333302722 1742098432 391864 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 425317 391864 206 433 0 424881 0
[pid=6369/tid=6375] ppid=6367 vsize=1701268 CPUtime=582.22 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 132638 0 0 0 58142 80 0 0 20 0 3 0 333302723 1742098432 391864 33554432000 4194304 5964478 140736977415344 140303793326072 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1701268 CPUtime=582.17 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 256953 0 0 0 58039 178 0 0 20 0 3 0 333302723 1742098432 391864 33554432000 4194304 5964478 140736977415344 140303782836536 4400109 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.21
Current children cumulated vsize (KiB) 1701268

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.81 5/183 6388
/proc/meminfo: memFree=26169360/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1701416 CPUtime=1284.18 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 390970 0 0 0 128178 240 0 0 20 0 3 0 333302722 1742249984 391966 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 425354 391966 206 433 0 424918 0
[pid=6369/tid=6375] ppid=6367 vsize=1701416 CPUtime=642.21 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 132657 0 0 0 64140 81 0 0 20 0 3 0 333302723 1742249984 391966 33554432000 4194304 5964478 140736977415344 140303793326072 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1701416 CPUtime=642.17 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 257021 0 0 0 64038 179 0 0 20 0 3 0 333302723 1742249984 391966 33554432000 4194304 5964478 140736977415344 140303782836296 4399920 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) 1701416

[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.82 5/183 6388
/proc/meminfo: memFree=26094368/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1701416 CPUtime=1404.15 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 391006 0 0 0 140175 240 0 0 20 0 3 0 333302722 1742249984 392060 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 425354 392060 206 433 0 424918 0
[pid=6369/tid=6375] ppid=6367 vsize=1701416 CPUtime=702.21 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 132664 0 0 0 70139 82 0 0 20 0 3 0 333302723 1742249984 392060 33554432000 4194304 5964478 140736977415344 140303793326072 4382197 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1701416 CPUtime=702.16 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 257050 0 0 0 70036 180 0 0 20 0 3 0 333302723 1742249984 392060 33554432000 4194304 5964478 140736977415344 140303782836296 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.15
Current children cumulated vsize (KiB) 1701416

[startup+762.3 s]
/proc/loadavg: 4.00 3.99 3.83 5/183 6388
/proc/meminfo: memFree=26093220/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1701952 CPUtime=1524.13 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 391180 0 0 0 152172 241 0 0 20 0 3 0 333302722 1742798848 392304 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 425488 392304 206 433 0 425052 0
[pid=6369/tid=6375] ppid=6367 vsize=1701952 CPUtime=762.2 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 132687 0 0 0 76137 83 0 0 20 0 3 0 333302723 1742798848 392304 33554432000 4194304 5964478 140736977415344 140303793326072 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1701952 CPUtime=762.15 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 257201 0 0 0 76034 181 0 0 20 0 3 0 333302723 1742798848 392304 33554432000 4194304 5964478 140736977415344 140303782836296 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.13
Current children cumulated vsize (KiB) 1701952

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.83 5/183 6389
/proc/meminfo: memFree=26092072/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1701952 CPUtime=1644.08 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 391245 0 0 0 164167 241 0 0 20 0 3 0 333302722 1742798848 392548 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 425488 392548 206 433 0 425052 0
[pid=6369/tid=6375] ppid=6367 vsize=1701952 CPUtime=822.2 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 132687 0 0 0 82136 84 0 0 20 0 3 0 333302723 1742798848 392548 33554432000 4194304 5964478 140736977415344 140303793326072 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1701952 CPUtime=822.13 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 257266 0 0 0 82031 182 0 0 20 0 3 0 333302723 1742798848 392548 33554432000 4194304 5964478 140736977415344 140303782836296 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.08
Current children cumulated vsize (KiB) 1701952

[startup+882.307 s]
/proc/loadavg: 4.04 4.00 3.84 5/183 6392
/proc/meminfo: memFree=26007152/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1769024 CPUtime=1764.05 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 412308 0 0 0 176144 261 0 0 20 0 3 0 333302722 1811480576 413741 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 442256 413741 206 433 0 441820 0
[pid=6369/tid=6375] ppid=6367 vsize=1769024 CPUtime=882.21 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 153653 0 0 0 88116 105 0 0 20 0 3 0 333302723 1811480576 413741 33554432000 4194304 5964478 140736977415344 140303793326072 4379311 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1769024 CPUtime=882.12 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 257363 0 0 0 88029 183 0 0 20 0 3 0 333302723 1811480576 413741 33554432000 4194304 5964478 140736977415344 140303782836344 4400432 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.05
Current children cumulated vsize (KiB) 1769024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.03 4.00 3.85 5/183 6392
/proc/meminfo: memFree=25996836/32873844 swapFree=7380/7380
[pid=6369] ppid=6367 vsize=1769024 CPUtime=1800.03 cores=0,2,4,6
/proc/6369/stat : 6369 (pwbo2.02) S 6367 6369 5745 0 -1 4202496 414898 0 0 0 179738 265 0 0 20 0 3 0 333302722 1811480576 416334 33554432000 4194304 5964478 140736977415344 140736977414864 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6369/statm: 442256 416334 206 433 0 441820 0
[pid=6369/tid=6375] ppid=6367 vsize=1769024 CPUtime=900.21 cores=0,2,4,6
/proc/6369/task/6375/stat : 6375 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 153654 0 0 0 89916 105 0 0 20 0 3 0 333302723 1811480576 416334 33554432000 4194304 5964478 140736977415344 140303793326072 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=6369/tid=6376] ppid=6367 vsize=1769024 CPUtime=900.11 cores=0,2,4,6
/proc/6369/task/6376/stat : 6376 (pwbo2.02) R 6367 6369 5745 0 -1 4202560 259952 0 0 0 89823 188 0 0 20 0 3 0 333302723 1811480576 416334 33554432000 4194304 5964478 140736977415344 140303782836536 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1769024

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

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

Child status: 0
Real time (s): 900.392
CPU time (s): 1800.44
CPU user time (s): 1797.41
CPU system time (s): 3.03054
CPU usage (%): 199.961
Max. virtual memory (cumulated for all children) (KiB): 1769024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.41
system time used= 3.03054
maximum resident set size= 1665352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 414902
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= 1365
involuntary context switches= 2020

runsolver used 1.92271 second user time and 5.04423 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-02 23:16:19
IDJOB=3728623
IDBENCH=78729
IDSOLVER=2316
FILE ID=node133/3728623-1338671779
RUNJOBID= node133-1338669974-6147
PBS_JOBID= 14636490
Free space on /tmp= 70484 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
COMMAND LINE= pwbo2.02 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728623-1338671779/watcher-3728623-1338671779 -o /tmp/evaluation-result-3728623-1338671779/solver-3728623-1338671779 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728623-1338671779.wbo

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

MD5SUM BENCH= 7e0724db75f314e84b0472c27c0a5114
RANDOM SEED=986607303

node133.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		: 2666.540
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	: 5333.08
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		: 2666.540
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.92
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		: 2666.540
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.92
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		: 2666.540
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.91
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		: 2666.540
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		: 2666.540
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.90
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		: 2666.540
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		: 2666.540
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:        28929508 kB
Buffers:          366040 kB
Cached:          2695384 kB
SwapCached:          676 kB
Active:          1334340 kB
Inactive:        1738176 kB
Active(anon):       2660 kB
Inactive(anon):    10240 kB
Active(file):    1331680 kB
Inactive(file):  1727936 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:              6652 kB
Writeback:             0 kB
AnonPages:         16656 kB
Mapped:             9708 kB
Shmem:                 0 kB
Slab:             732628 kB
SReclaimable:     174572 kB
SUnreclaim:       558056 kB
KernelStack:        1464 kB
PageTables:         4388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70472 MiB
End job on node133 at 2012-06-02 23:31:22