Trace number 3728809

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.06 900.425

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM32809f4710e615fcaa140bf3e08c6c73
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1.86272
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6000
Total number of constraints220
Number of soft constraints220
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint60
Top cost 11307
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 11306
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
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-3728809-1338673291.wbo.
0.00/0.00	c Instance file HOME/instance-3728809-1338673291.wbo
0.00/0.00	c File size is 108767 bytes.
0.00/0.01	c Highest Coefficient sum: 61
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:      6220                                                |
0.00/0.01	c |  Number Clauses:        120                                                 |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 100                                                 |
0.00/0.01	c |                                                                             |
0.01/0.02	c |  Problem Type:          Optimization                                        |
0.01/0.02	c |  Objective Function:    PB Constraint                                       |
0.01/0.02	c |                                                                             |
0.01/0.02	c ===============================================================================
1800.06/900.41	o 1200
1800.06/900.41	o 1184
1800.06/900.41	o 1176
1800.06/900.41	o 675
1800.06/900.41	o 659
1800.06/900.41	o 587
1800.06/900.41	o 545
1800.06/900.41	o 524
1800.06/900.41	o 483
1800.06/900.41	o 479
1800.06/900.41	o 465
1800.06/900.41	o 414
1800.06/900.41	o 393
1800.06/900.41	o 390
1800.06/900.41	o 379
1800.06/900.41	o 367
1800.06/900.41	o 361
1800.06/900.41	o 359
1800.06/900.41	o 353
1800.06/900.41	o 350
1800.06/900.41	o 344
1800.06/900.41	o 334
1800.06/900.41	o 333
1800.06/900.41	o 332
1800.06/900.41	o 331
1800.06/900.41	o 329
1800.06/900.41	o 317
1800.06/900.41	o 314
1800.06/900.41	o 301
1800.06/900.41	o 293
1800.06/900.41	o 289
1800.06/900.41	o 288
1800.06/900.41	o 284
1800.06/900.41	o 279
1800.06/900.41	o 275
1800.06/900.41	o 272
1800.06/900.41	o 270
1800.06/900.41	o 267
1800.06/900.41	o 263
1800.06/900.41	o 258
1800.06/900.41	o 250
1800.06/900.41	o 242
1800.06/900.41	o 241
1800.06/900.41	o 235
1800.06/900.41	o 234
1800.06/900.41	o 232
1800.06/900.41	o 221
1800.06/900.41	o 220
1800.06/900.41	o 217
1800.06/900.41	o 216
1800.06/900.41	o 213
1800.06/900.41	o 203
1800.06/900.41	o 194
1800.06/900.41	o 187
1800.06/900.41	o 183
1800.06/900.41	o 181
1800.06/900.41	o 179
1800.06/900.41	o 175
1800.06/900.41	o 171
1800.06/900.41	o 170
1800.06/900.41	o 168
1800.06/900.41	o 162
1800.06/900.41	o 160
1800.06/900.41	o 154
1800.06/900.41	o 151
1800.06/900.41	o 150
1800.06/900.41	o 147
1800.06/900.41	o 145
1800.06/900.41	o 134
1800.06/900.41	o 128
1800.06/900.41	o 123
1800.06/900.41	o 122
1800.06/900.41	o 121
1800.06/900.41	o 119
1800.06/900.41	o 115
1800.06/900.41	o 110
1800.06/900.41	o 108
1800.06/900.41	o 105
1800.06/900.41	o 102
1800.06/900.41	o 100
1800.06/900.41	o 90
1800.06/900.41	o 88
1800.06/900.41	o 80
1800.06/900.41	o 78
1800.06/900.41	o 77
1800.06/900.41	o 70
1800.06/900.41	o 68
1800.06/900.41	o 64
1800.06/900.41	o 57
1800.06/900.41	o 56
1800.06/900.41	o 54
1800.06/900.41	o 52
1800.06/900.41	o 45
1800.06/900.41	o 44
1800.06/900.41	o 39
1800.06/900.41	o 31
1800.06/900.41	o 26
1800.06/900.41	o 14
1800.06/900.41	o 13
1800.06/900.41	o 8
1800.06/900.41	o 7
1800.06/900.41	o 6
1800.06/900.41	o 5
1800.06/900.41	o 4
1800.06/900.41	o 3
1800.06/900.41	c ===============================================================================
1800.06/900.41	c Wall Clock Time: 900.41 s
1800.06/900.41	c Best Solution: 3
1800.06/900.41	s SATISFIABLE
1800.06/900.41	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

Verifier Data 

OK	3

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-3728809-1338673291/watcher-3728809-1338673291 -o /tmp/evaluation-result-3728809-1338673291/solver-3728809-1338673291 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728809-1338673291.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: 4.00 4.00 3.91 4/178 32328
/proc/meminfo: memFree=25593428/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=6088 CPUtime=0 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) R 32326 32328 31325 0 -1 4202496 760 0 0 0 0 0 0 0 20 0 1 0 333453976 6234112 712 33554432000 4194304 5964478 140733612559616 140737484565928 4395406 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 1522 712 164 433 0 1059 0

[startup+0.0188769 s]
/proc/loadavg: 4.00 4.00 3.91 4/178 32328
/proc/meminfo: memFree=25593428/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=166076 CPUtime=0.01 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 2311 0 0 0 1 0 0 0 20 0 3 0 333453976 170061824 2234 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 41519 2234 178 433 0 41083 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 166076

[startup+0.100173 s]
/proc/loadavg: 4.00 4.00 3.91 4/178 32328
/proc/meminfo: memFree=25593428/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=166076 CPUtime=0.17 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 3145 0 0 0 17 0 0 0 20 0 3 0 333453976 170061824 2962 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 41519 2962 198 433 0 41083 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 166076

[startup+0.300116 s]
/proc/loadavg: 4.00 4.00 3.91 4/178 32328
/proc/meminfo: memFree=25593428/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=166076 CPUtime=0.56 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 3815 0 0 0 56 0 0 0 20 0 3 0 333453976 170061824 3632 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 41519 3632 198 433 0 41083 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 166076

[startup+0.700124 s]
/proc/loadavg: 4.00 4.00 3.91 4/178 32328
/proc/meminfo: memFree=25593428/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=166076 CPUtime=1.37 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 5239 0 0 0 135 2 0 0 20 0 3 0 333453976 170061824 5056 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 41519 5056 198 433 0 41083 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 166076

[startup+1.50026 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32331
/proc/meminfo: memFree=25569364/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=166076 CPUtime=2.96 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 8077 0 0 0 290 6 0 0 20 0 3 0 333453976 170061824 7894 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 41519 7894 198 433 0 41083 0
[pid=32328/tid=32330] ppid=32326 vsize=166076 CPUtime=1.46 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 3505 0 0 0 145 1 0 0 20 0 3 0 333453978 170061824 7894 33554432000 4194304 5964478 140733612559616 140260105689080 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=166076 CPUtime=1.46 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 2971 0 0 0 141 5 0 0 20 0 3 0 333453978 170061824 7894 33554432000 4194304 5964478 140733612559616 140260095199544 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 166076

[startup+3.10026 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32331
/proc/meminfo: memFree=25552980/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=166076 CPUtime=6.17 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 11882 0 0 0 605 12 0 0 20 0 3 0 333453976 170061824 11699 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 41519 11699 198 433 0 41083 0
[pid=32328/tid=32330] ppid=32326 vsize=166076 CPUtime=3.06 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 6010 0 0 0 303 3 0 0 20 0 3 0 333453978 170061824 11699 33554432000 4194304 5964478 140733612559616 140260105689128 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=166076 CPUtime=3.06 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 4271 0 0 0 297 9 0 0 20 0 3 0 333453978 170061824 11699 33554432000 4194304 5964478 140733612559616 140260095199544 4221120 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) 166076

[startup+6.30025 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32372
/proc/meminfo: memFree=27314280/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=166076 CPUtime=12.56 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 16447 0 0 0 1239 17 0 0 20 0 3 0 333453976 170061824 16264 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 41519 16264 198 433 0 41083 0
[pid=32328/tid=32330] ppid=32326 vsize=166076 CPUtime=6.25 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 7052 0 0 0 622 3 0 0 20 0 3 0 333453978 170061824 16264 33554432000 4194304 5964478 140733612559616 140260105689080 4382029 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=166076 CPUtime=6.25 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 7794 0 0 0 611 14 0 0 20 0 3 0 333453978 170061824 16264 33554432000 4194304 5964478 140733612559616 140260095199544 4400115 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) 166076

[startup+12.7003 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32372
/proc/meminfo: memFree=27277832/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=166076 CPUtime=25.36 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 21676 0 0 0 2511 25 0 0 20 0 3 0 333453976 170061824 21493 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 41519 21493 198 433 0 41083 0
[pid=32328/tid=32330] ppid=32326 vsize=166076 CPUtime=12.63 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 10015 0 0 0 1256 7 0 0 20 0 3 0 333453978 170061824 21493 33554432000 4194304 5964478 140733612559616 140260105689080 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=166076 CPUtime=12.64 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 10060 0 0 0 1247 17 0 0 20 0 3 0 333453978 170061824 21493 33554432000 4194304 5964478 140733612559616 140260095199544 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 166076

[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32372
/proc/meminfo: memFree=27193884/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=297796 CPUtime=50.92 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 36504 0 0 0 5034 58 0 0 20 0 3 0 333453976 304943104 36357 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 74449 36357 198 433 0 74013 0
[pid=32328/tid=32330] ppid=32326 vsize=297796 CPUtime=25.38 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 17482 0 0 0 2512 26 0 0 20 0 3 0 333453978 304943104 36357 33554432000 4194304 5964478 140733612559616 140260105689080 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=297796 CPUtime=25.39 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 17421 0 0 0 2508 31 0 0 20 0 3 0 333453978 304943104 36357 33554432000 4194304 5964478 140733612559616 140260095199592 4382019 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 297796

[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32372
/proc/meminfo: memFree=27074564/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=298116 CPUtime=102.09 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 61550 0 0 0 10139 70 0 0 20 0 3 0 333453976 305270784 61394 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 74529 61394 198 433 0 74093 0
[pid=32328/tid=32330] ppid=32326 vsize=298116 CPUtime=50.89 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 28687 0 0 0 5058 31 0 0 20 0 3 0 333453978 305270784 61394 33554432000 4194304 5964478 140733612559616 140260105689080 4382023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=298116 CPUtime=50.93 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 31262 0 0 0 5055 38 0 0 20 0 3 0 333453978 305270784 61394 33554432000 4194304 5964478 140733612559616 140260095199544 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 298116

[startup+102.306 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32372
/proc/meminfo: memFree=26938904/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=495480 CPUtime=204.44 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 91355 0 0 0 20358 86 0 0 20 0 3 0 333453976 507371520 91173 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 123870 91173 198 433 0 123434 0
[pid=32328/tid=32330] ppid=32326 vsize=495480 CPUtime=101.96 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 38881 0 0 0 10161 35 0 0 20 0 3 0 333453978 507371520 91173 33554432000 4194304 5964478 140733612559616 140260105689080 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=495480 CPUtime=101.97 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 50873 0 0 0 10145 52 0 0 20 0 3 0 333453978 507371520 91173 33554432000 4194304 5964478 140733612559616 140260095199304 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.44
Current children cumulated vsize (KiB) 495480

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32372
/proc/meminfo: memFree=26844508/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=495628 CPUtime=324.41 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 108389 0 0 0 32336 105 0 0 20 0 3 0 333453976 507523072 108795 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 123907 108795 198 433 0 123471 0
[pid=32328/tid=32330] ppid=32326 vsize=495628 CPUtime=161.8 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 47052 0 0 0 16129 51 0 0 20 0 3 0 333453978 507523072 108795 33554432000 4194304 5964478 140733612559616 140260105689080 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=495628 CPUtime=161.81 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 59736 0 0 0 16124 57 0 0 20 0 3 0 333453978 507523072 108795 33554432000 4194304 5964478 140733612559616 140260095199304 4381983 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.41
Current children cumulated vsize (KiB) 495628

[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 32373
/proc/meminfo: memFree=26776820/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=561576 CPUtime=444.38 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 121739 0 0 0 44316 122 0 0 20 0 3 0 333453976 575053824 122469 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 140394 122469 198 433 0 139958 0
[pid=32328/tid=32330] ppid=32326 vsize=561576 CPUtime=221.65 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 60281 0 0 0 22096 69 0 0 20 0 3 0 333453978 575053824 122469 33554432000 4194304 5964478 140733612559616 140260105689080 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=561576 CPUtime=221.64 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 59857 0 0 0 22106 58 0 0 20 0 3 0 333453978 575053824 122469 33554432000 4194304 5964478 140733612559616 140260095199304 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.38
Current children cumulated vsize (KiB) 561576

[startup+282.3 s]
/proc/loadavg: 4.04 4.01 3.92 5/181 32373
/proc/meminfo: memFree=26665744/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=692648 CPUtime=564.32 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 146706 0 0 0 56287 145 0 0 20 0 3 0 333453976 709271552 147811 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 173162 147811 198 433 0 172726 0
[pid=32328/tid=32330] ppid=32326 vsize=692648 CPUtime=281.47 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 66387 0 0 0 28074 73 0 0 20 0 3 0 333453978 709271552 147811 33554432000 4194304 5964478 140733612559616 140260105689080 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=692648 CPUtime=281.47 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 78718 0 0 0 28067 80 0 0 20 0 3 0 333453978 709271552 147811 33554432000 4194304 5964478 140733612559616 140260095199544 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.32
Current children cumulated vsize (KiB) 692648

[startup+342.3 s]
/proc/loadavg: 4.01 4.01 3.92 5/181 32373
/proc/meminfo: memFree=26551320/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=823856 CPUtime=684.26 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 173051 0 0 0 68254 172 0 0 20 0 3 0 333453976 843628544 174168 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 205964 174168 198 433 0 205528 0
[pid=32328/tid=32330] ppid=32326 vsize=823856 CPUtime=341.29 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 85857 0 0 0 34037 92 0 0 20 0 3 0 333453978 843628544 174168 33554432000 4194304 5964478 140733612559616 140260105689080 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=823856 CPUtime=341.3 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 85593 0 0 0 34041 89 0 0 20 0 3 0 333453978 843628544 174168 33554432000 4194304 5964478 140733612559616 140260095199544 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.26
Current children cumulated vsize (KiB) 823856

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 32373
/proc/meminfo: memFree=26387544/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=955744 CPUtime=804.17 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 211480 0 0 0 80205 212 0 0 20 0 3 0 333453976 978681856 212616 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 238936 212616 198 433 0 238500 0
[pid=32328/tid=32330] ppid=32326 vsize=955744 CPUtime=401.1 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 120830 0 0 0 39979 131 0 0 20 0 3 0 333453978 978681856 212616 33554432000 4194304 5964478 140733612559616 140260105689080 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=955744 CPUtime=401.11 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 89049 0 0 0 40019 92 0 0 20 0 3 0 333453978 978681856 212616 33554432000 4194304 5964478 140733612559616 140260095199304 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.17
Current children cumulated vsize (KiB) 955744

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 32373
/proc/meminfo: memFree=26234048/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=1087500 CPUtime=924.13 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 244763 0 0 0 92162 251 0 0 20 0 3 0 333453976 1113600000 245921 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 271875 245921 198 433 0 271439 0
[pid=32328/tid=32330] ppid=32326 vsize=1087500 CPUtime=460.93 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 138571 0 0 0 45938 155 0 0 20 0 3 0 333453978 1113600000 245921 33554432000 4194304 5964478 140733612559616 140260105689080 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=1087500 CPUtime=460.96 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 104591 0 0 0 45988 108 0 0 20 0 3 0 333453978 1113600000 245921 33554432000 4194304 5964478 140733612559616 140260095199544 4400435 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.13
Current children cumulated vsize (KiB) 1087500

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 32377
/proc/meminfo: memFree=26209240/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=1087636 CPUtime=1044.11 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 248125 0 0 0 104153 258 0 0 20 0 3 0 333453976 1113739264 249283 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 271909 249283 198 433 0 271473 0
[pid=32328/tid=32330] ppid=32326 vsize=1087636 CPUtime=520.78 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 141880 0 0 0 51915 163 0 0 20 0 3 0 333453978 1113739264 249283 33554432000 4194304 5964478 140733612559616 140260105688888 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=1087636 CPUtime=520.8 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 104644 0 0 0 51971 109 0 0 20 0 3 0 333453978 1113739264 249283 33554432000 4194304 5964478 140733612559616 140260095199304 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.11
Current children cumulated vsize (KiB) 1087636

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 32377
/proc/meminfo: memFree=26184456/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=1088840 CPUtime=1164.09 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 248388 0 0 0 116151 258 0 0 20 0 3 0 333453976 1114972160 249546 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 272210 249546 198 433 0 271774 0
[pid=32328/tid=32330] ppid=32326 vsize=1088840 CPUtime=580.62 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 141881 0 0 0 57898 164 0 0 20 0 3 0 333453978 1114972160 249546 33554432000 4194304 5964478 140733612559616 140260105688888 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=1088840 CPUtime=580.65 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 104906 0 0 0 57955 110 0 0 20 0 3 0 333453978 1114972160 249546 33554432000 4194304 5964478 140733612559616 140260095199304 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.09
Current children cumulated vsize (KiB) 1088840

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 32377
/proc/meminfo: memFree=26138816/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=1089448 CPUtime=1284.08 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 248519 0 0 0 128150 258 0 0 20 0 3 0 333453976 1115594752 249677 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 272362 249677 198 433 0 271926 0
[pid=32328/tid=32330] ppid=32326 vsize=1089448 CPUtime=640.47 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 141881 0 0 0 63882 165 0 0 20 0 3 0 333453978 1115594752 249677 33554432000 4194304 5964478 140733612559616 140260105688888 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=1089448 CPUtime=640.5 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 105037 0 0 0 63939 111 0 0 20 0 3 0 333453978 1115594752 249677 33554432000 4194304 5964478 140733612559616 140260095199304 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.08
Current children cumulated vsize (KiB) 1089448

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 32388
/proc/meminfo: memFree=26117908/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=1089448 CPUtime=1404.02 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 248577 0 0 0 140144 258 0 0 20 0 3 0 333453976 1115594752 249867 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 272362 249867 198 433 0 271926 0
[pid=32328/tid=32330] ppid=32326 vsize=1089448 CPUtime=700.29 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 141900 0 0 0 69863 166 0 0 20 0 3 0 333453978 1115594752 249867 33554432000 4194304 5964478 140733612559616 140260105688888 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=1089448 CPUtime=700.33 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 105076 0 0 0 69921 112 0 0 20 0 3 0 333453978 1115594752 249867 33554432000 4194304 5964478 140733612559616 140260095199304 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.02
Current children cumulated vsize (KiB) 1089448

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 32388
/proc/meminfo: memFree=26098424/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=1089448 CPUtime=1523.98 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 248633 0 0 0 152140 258 0 0 20 0 3 0 333453976 1115594752 249797 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 272362 249797 198 433 0 271926 0
[pid=32328/tid=32330] ppid=32326 vsize=1089448 CPUtime=760.12 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 141940 0 0 0 75845 167 0 0 20 0 3 0 333453978 1115594752 249797 33554432000 4194304 5964478 140733612559616 140260105688888 4400812 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=1089448 CPUtime=760.19 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 105092 0 0 0 75906 113 0 0 20 0 3 0 333453978 1115594752 249797 33554432000 4194304 5964478 140733612559616 140260095199576 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.98
Current children cumulated vsize (KiB) 1089448

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 32389
/proc/meminfo: memFree=26051208/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=1155632 CPUtime=1643.92 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 257931 0 0 0 164122 270 0 0 20 0 3 0 333453976 1183367168 259108 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 288908 259108 198 433 0 288472 0
[pid=32328/tid=32330] ppid=32326 vsize=1155632 CPUtime=819.94 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 151211 0 0 0 81815 179 0 0 20 0 3 0 333453978 1183367168 259108 33554432000 4194304 5964478 140733612559616 140260105689080 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=1155632 CPUtime=820 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 105119 0 0 0 81886 114 0 0 20 0 3 0 333453978 1183367168 259108 33554432000 4194304 5964478 140733612559616 140260095199576 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.92
Current children cumulated vsize (KiB) 1155632

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 32389
/proc/meminfo: memFree=26033072/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=1155632 CPUtime=1763.87 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 257965 0 0 0 176117 270 0 0 20 0 3 0 333453976 1183367168 259162 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 288908 259162 198 433 0 288472 0
[pid=32328/tid=32330] ppid=32326 vsize=1155632 CPUtime=879.76 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 151244 0 0 0 87796 180 0 0 20 0 3 0 333453978 1183367168 259162 33554432000 4194304 5964478 140733612559616 140260105689080 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=1155632 CPUtime=879.85 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 105120 0 0 0 87870 115 0 0 20 0 3 0 333453978 1183367168 259162 33554432000 4194304 5964478 140733612559616 140260095199576 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.87
Current children cumulated vsize (KiB) 1155632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 32389
/proc/meminfo: memFree=26016052/32873844 swapFree=6608/6608
[pid=32328] ppid=32326 vsize=1155632 CPUtime=1800.06 cores=0,2,4,6
/proc/32328/stat : 32328 (pwbo2.02) S 32326 32328 31325 0 -1 4202496 257977 0 0 0 179736 270 0 0 20 0 3 0 333453976 1183367168 259163 33554432000 4194304 5964478 140733612559616 140733612559136 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32328/statm: 288908 259163 198 433 0 288472 0
[pid=32328/tid=32330] ppid=32326 vsize=1155632 CPUtime=897.81 cores=0,2,4,6
/proc/32328/task/32330/stat : 32330 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 151256 0 0 0 89601 180 0 0 20 0 3 0 333453978 1183367168 259163 33554432000 4194304 5964478 140733612559616 140260105689080 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=32328/tid=32331] ppid=32326 vsize=1155632 CPUtime=897.91 cores=0,2,4,6
/proc/32328/task/32331/stat : 32331 (pwbo2.02) R 32326 32328 31325 0 -1 4202560 105120 0 0 0 89676 115 0 0 20 0 3 0 333453978 1183367168 259163 33554432000 4194304 5964478 140733612559616 140260095199576 4381996 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1155632

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32328 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=800452
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=984546
# CPU time returned by wait4() is 1795.79
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.425
CPU time (s): 1800.06
CPU user time (s): 1797.36
CPU system time (s): 2.7
CPU usage (%): 199.912
Max. virtual memory (cumulated for all children) (KiB): 1155632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.8
system time used= 2.98455
maximum resident set size= 1036656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257978
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= 1203
involuntary context switches= 1876

runsolver used 1.85172 second user time and 4.76527 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-02 23:41:31
IDJOB=3728809
IDBENCH=79153
IDSOLVER=2316
FILE ID=node140/3728809-1338673291
RUNJOBID= node140-1338669605-31877
PBS_JOBID= 14636482
Free space on /tmp= 70620 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= pwbo2.02 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728809-1338673291/watcher-3728809-1338673291 -o /tmp/evaluation-result-3728809-1338673291/solver-3728809-1338673291 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728809-1338673291.wbo

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

MD5SUM BENCH= 32809f4710e615fcaa140bf3e08c6c73
RANDOM SEED=2058852304

node140.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.094
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.18
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.094
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.094
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.094
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		: 2667.094
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.92
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.094
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.88
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.094
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.90
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.094
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:        25594072 kB
Buffers:          396728 kB
Cached:          4172344 kB
SwapCached:         1664 kB
Active:          3043144 kB
Inactive:        3346420 kB
Active(anon):    1812684 kB
Inactive(anon):     9416 kB
Active(file):    1230460 kB
Inactive(file):  3337004 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105156 kB
Dirty:              5420 kB
Writeback:            12 kB
AnonPages:       1825048 kB
Mapped:            10956 kB
Shmem:                 8 kB
Slab:             747684 kB
SReclaimable:     189776 kB
SUnreclaim:       557908 kB
KernelStack:        1464 kB
PageTables:         7788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     177000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    647168 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= 70616 MiB
End job on node140 at 2012-06-02 23:56:34