Trace number 3712725

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.01MSAT (TO) 1800.03 900.327

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.01 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3712725-1338198784.wbo.
0.00/0.00	c Instance file HOME/instance-3712725-1338198784.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.00/0.02	c |  Problem Type:          Optimization                                        |
0.00/0.02	c |  Objective Function:    PB Constraint                                       |
0.00/0.02	c |                                                                             |
0.00/0.02	c ===============================================================================
1800.03/900.31	o 1200
1800.03/900.31	o 1184
1800.03/900.31	o 1176
1800.03/900.31	o 675
1800.03/900.31	o 659
1800.03/900.31	o 587
1800.03/900.31	o 545
1800.03/900.31	o 524
1800.03/900.31	o 483
1800.03/900.31	o 479
1800.03/900.31	o 465
1800.03/900.31	o 414
1800.03/900.31	o 393
1800.03/900.31	o 390
1800.03/900.31	o 379
1800.03/900.31	o 367
1800.03/900.31	o 361
1800.03/900.31	o 359
1800.03/900.31	o 353
1800.03/900.31	o 350
1800.03/900.31	o 344
1800.03/900.31	o 334
1800.03/900.31	o 333
1800.03/900.31	o 332
1800.03/900.31	o 331
1800.03/900.31	o 329
1800.03/900.31	o 317
1800.03/900.31	o 314
1800.03/900.31	o 301
1800.03/900.31	o 293
1800.03/900.31	o 289
1800.03/900.31	o 288
1800.03/900.31	o 284
1800.03/900.31	o 279
1800.03/900.31	o 275
1800.03/900.31	o 272
1800.03/900.31	o 270
1800.03/900.31	o 267
1800.03/900.31	o 263
1800.03/900.31	o 258
1800.03/900.31	o 250
1800.03/900.31	o 242
1800.03/900.31	o 241
1800.03/900.31	o 235
1800.03/900.31	o 234
1800.03/900.31	o 232
1800.03/900.31	o 221
1800.03/900.31	o 220
1800.03/900.31	o 217
1800.03/900.31	o 216
1800.03/900.31	o 213
1800.03/900.31	o 203
1800.03/900.31	o 194
1800.03/900.31	o 187
1800.03/900.31	o 183
1800.03/900.31	o 181
1800.03/900.31	o 179
1800.03/900.31	o 175
1800.03/900.31	o 171
1800.03/900.31	o 170
1800.03/900.31	o 168
1800.03/900.31	o 162
1800.03/900.31	o 160
1800.03/900.31	o 154
1800.03/900.31	o 151
1800.03/900.31	o 150
1800.03/900.31	o 147
1800.03/900.31	o 145
1800.03/900.31	o 134
1800.03/900.31	o 128
1800.03/900.31	o 123
1800.03/900.31	o 122
1800.03/900.31	o 121
1800.03/900.31	o 119
1800.03/900.31	o 115
1800.03/900.31	o 110
1800.03/900.31	o 108
1800.03/900.31	o 105
1800.03/900.31	o 102
1800.03/900.31	o 100
1800.03/900.31	o 90
1800.03/900.31	o 88
1800.03/900.31	o 80
1800.03/900.31	o 78
1800.03/900.31	o 77
1800.03/900.31	o 70
1800.03/900.31	o 68
1800.03/900.31	o 64
1800.03/900.31	o 57
1800.03/900.31	o 56
1800.03/900.31	o 54
1800.03/900.31	o 52
1800.03/900.31	o 45
1800.03/900.31	o 44
1800.03/900.31	o 39
1800.03/900.31	o 31
1800.03/900.31	o 26
1800.03/900.31	o 14
1800.03/900.31	o 13
1800.03/900.31	o 8
1800.03/900.31	o 7
1800.03/900.31	o 6
1800.03/900.31	o 5
1800.03/900.31	o 4
1800.03/900.31	o 3
1800.03/900.31	c ===============================================================================
1800.03/900.31	c Wall Clock Time: 900.31 s
1800.03/900.31	c Best Solution: 3
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 -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-3712725-1338198784/watcher-3712725-1338198784 -o /tmp/evaluation-result-3712725-1338198784/solver-3712725-1338198784 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712725-1338198784.wbo 

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

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


[startup+0 s]
/proc/loadavg: 3.89 3.98 3.90 4/178 15618
/proc/meminfo: memFree=30963336/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=5512 CPUtime=0 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) R 15616 15618 14514 0 -1 4202496 657 0 0 0 0 0 0 0 20 0 1 0 286003870 5644288 610 33554432000 4194304 5964478 140736812875440 140737371075176 4395390 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 1378 611 164 433 0 915 0

[startup+0.0718601 s]
/proc/loadavg: 3.89 3.98 3.90 4/178 15618
/proc/meminfo: memFree=30963336/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=166076 CPUtime=0.11 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 3050 0 0 0 11 0 0 0 20 0 3 0 286003870 170061824 2870 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 41519 2870 198 433 0 41083 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 166076

[startup+0.100187 s]
/proc/loadavg: 3.89 3.98 3.90 4/178 15618
/proc/meminfo: memFree=30963336/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=166076 CPUtime=0.17 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 3143 0 0 0 17 0 0 0 20 0 3 0 286003870 170061824 2963 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 41519 2963 198 433 0 41083 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 166076

[startup+0.300119 s]
/proc/loadavg: 3.89 3.98 3.90 4/178 15618
/proc/meminfo: memFree=30963336/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=166076 CPUtime=0.57 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 3821 0 0 0 56 1 0 0 20 0 3 0 286003870 170061824 3641 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 41519 3641 198 433 0 41083 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 166076

[startup+0.700133 s]
/proc/loadavg: 3.89 3.98 3.90 4/178 15618
/proc/meminfo: memFree=30963336/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=166076 CPUtime=1.36 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 5262 0 0 0 135 1 0 0 20 0 3 0 286003870 170061824 5082 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 41519 5082 198 433 0 41083 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 166076

[startup+1.50026 s]
/proc/loadavg: 3.89 3.98 3.90 5/181 15621
/proc/meminfo: memFree=30939596/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=166076 CPUtime=2.96 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 8172 0 0 0 293 3 0 0 20 0 3 0 286003870 170061824 7992 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 41519 7992 198 433 0 41083 0
[pid=15618/tid=15620] ppid=15616 vsize=166076 CPUtime=1.46 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 3581 0 0 0 144 2 0 0 20 0 3 0 286003872 170061824 7992 33554432000 4194304 5964478 140736812875440 139983026505720 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=166076 CPUtime=1.47 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 2990 0 0 0 145 2 0 0 20 0 3 0 286003872 170061824 7992 33554432000 4194304 5964478 140736812875440 139983016016232 4391712 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 166076

[startup+3.10023 s]
/proc/loadavg: 3.89 3.98 3.90 5/181 15621
/proc/meminfo: memFree=30923600/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=166076 CPUtime=6.16 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 11880 0 0 0 611 5 0 0 20 0 3 0 286003870 170061824 11700 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 41519 11700 198 433 0 41083 0
[pid=15618/tid=15620] ppid=15616 vsize=166076 CPUtime=3.06 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 6011 0 0 0 303 3 0 0 20 0 3 0 286003872 170061824 11700 33554432000 4194304 5964478 140736812875440 139983026505720 4222384 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=166076 CPUtime=3.06 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 4268 0 0 0 304 2 0 0 20 0 3 0 286003872 170061824 11700 33554432000 4194304 5964478 140736812875440 139983016016184 4381585 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 166076

[startup+6.30024 s]
/proc/loadavg: 3.90 3.98 3.90 5/181 15621
/proc/meminfo: memFree=30900168/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=166076 CPUtime=12.56 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 16445 0 0 0 1249 7 0 0 20 0 3 0 286003870 170061824 16265 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 41519 16265 198 433 0 41083 0
[pid=15618/tid=15620] ppid=15616 vsize=166076 CPUtime=6.26 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 7053 0 0 0 622 4 0 0 20 0 3 0 286003872 170061824 16265 33554432000 4194304 5964478 140736812875440 139983026505720 4400419 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=166076 CPUtime=6.25 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 7791 0 0 0 622 3 0 0 20 0 3 0 286003872 170061824 16265 33554432000 4194304 5964478 140736812875440 139983016016184 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 166076

[startup+12.7002 s]
/proc/loadavg: 3.90 3.98 3.90 5/181 15621
/proc/meminfo: memFree=30877912/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=166076 CPUtime=25.36 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 22726 0 0 0 2526 10 0 0 20 0 3 0 286003870 170061824 22546 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 41519 22546 198 433 0 41083 0
[pid=15618/tid=15620] ppid=15616 vsize=166076 CPUtime=12.63 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 10848 0 0 0 1259 4 0 0 20 0 3 0 286003872 170061824 22546 33554432000 4194304 5964478 140736812875440 139983026505720 4400087 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=166076 CPUtime=12.64 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 10277 0 0 0 1260 4 0 0 20 0 3 0 286003872 170061824 22546 33554432000 4194304 5964478 140736812875440 139983016016184 4222384 0 0 4096 16387 0 0 0 -1 3 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: 3.92 3.98 3.91 5/181 15621
/proc/meminfo: memFree=30815636/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=297796 CPUtime=50.95 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 37258 0 0 0 5081 14 0 0 20 0 3 0 286003870 304943104 37078 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 74449 37078 198 433 0 74013 0
[pid=15618/tid=15620] ppid=15616 vsize=297796 CPUtime=25.4 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 18051 0 0 0 2534 6 0 0 20 0 3 0 286003872 304943104 37078 33554432000 4194304 5964478 140736812875440 139983026505768 5244295 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=297796 CPUtime=25.4 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 17606 0 0 0 2533 7 0 0 20 0 3 0 286003872 304943104 37078 33554432000 4194304 5964478 140736812875440 139983016016184 4389144 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 297796

[startup+51.1002 s]
/proc/loadavg: 3.95 3.98 3.91 5/181 15621
/proc/meminfo: memFree=30686132/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=298116 CPUtime=102.14 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 61524 0 0 0 10188 26 0 0 20 0 3 0 286003870 305270784 61344 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 74529 61344 198 433 0 74093 0
[pid=15618/tid=15620] ppid=15616 vsize=298116 CPUtime=50.93 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 28657 0 0 0 5081 12 0 0 20 0 3 0 286003872 305270784 61344 33554432000 4194304 5964478 140736812875440 139983026505720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=298116 CPUtime=50.94 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 31266 0 0 0 5081 13 0 0 20 0 3 0 286003872 305270784 61344 33554432000 4194304 5964478 140736812875440 139983016016184 4389131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 298116

[startup+102.307 s]
/proc/loadavg: 3.98 3.98 3.91 5/181 15621
/proc/meminfo: memFree=30442024/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=495480 CPUtime=204.54 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 91299 0 0 0 20415 39 0 0 20 0 3 0 286003870 507371520 91119 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 123870 91119 198 433 0 123434 0
[pid=15618/tid=15620] ppid=15616 vsize=495480 CPUtime=102 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 38849 0 0 0 10183 17 0 0 20 0 3 0 286003872 507371520 91119 33554432000 4194304 5964478 140736812875440 139983026505720 4389144 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=495480 CPUtime=102.01 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 50849 0 0 0 10178 23 0 0 20 0 3 0 286003872 507371520 91119 33554432000 4194304 5964478 140736812875440 139983016015944 4381944 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 495480

[startup+162.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 15621
/proc/meminfo: memFree=30269196/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=495628 CPUtime=324.5 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 108333 0 0 0 32404 46 0 0 20 0 3 0 286003870 507523072 107735 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 123907 107735 198 433 0 123471 0
[pid=15618/tid=15620] ppid=15616 vsize=495628 CPUtime=161.84 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 47020 0 0 0 16163 21 0 0 20 0 3 0 286003872 507523072 107735 33554432000 4194304 5964478 140736812875440 139983026505720 4400503 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=495628 CPUtime=161.85 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 59712 0 0 0 16156 29 0 0 20 0 3 0 286003872 507523072 107735 33554432000 4194304 5964478 140736812875440 139983016015944 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 495628

[startup+222.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 15622
/proc/meminfo: memFree=30215472/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=561576 CPUtime=444.49 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 121674 0 0 0 44396 53 0 0 20 0 3 0 286003870 575053824 121076 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 140394 121076 198 433 0 139958 0
[pid=15618/tid=15620] ppid=15616 vsize=561576 CPUtime=221.69 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 60249 0 0 0 22141 28 0 0 20 0 3 0 286003872 575053824 121076 33554432000 4194304 5964478 140736812875440 139983026505720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=561576 CPUtime=221.7 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 59824 0 0 0 22140 30 0 0 20 0 3 0 286003872 575053824 121076 33554432000 4194304 5964478 140736812875440 139983016015944 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 561576

[startup+282.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 15622
/proc/meminfo: memFree=30049960/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=692648 CPUtime=564.46 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 146135 0 0 0 56381 65 0 0 20 0 3 0 286003870 709271552 145537 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 173162 145537 198 433 0 172726 0
[pid=15618/tid=15620] ppid=15616 vsize=692648 CPUtime=281.53 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 66329 0 0 0 28120 33 0 0 20 0 3 0 286003872 709271552 145537 33554432000 4194304 5964478 140736812875440 139983026505720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=692648 CPUtime=281.55 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 78205 0 0 0 28115 40 0 0 20 0 3 0 286003872 709271552 145537 33554432000 4194304 5964478 140736812875440 139983016016184 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.46
Current children cumulated vsize (KiB) 692648

[startup+342.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 15622
/proc/meminfo: memFree=29898300/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=823856 CPUtime=684.45 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 170788 0 0 0 68366 79 0 0 20 0 3 0 286003870 843628544 170190 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 205964 170190 198 433 0 205528 0

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

[pid=15618/tid=15621] ppid=15616 vsize=823856 CPUtime=341.39 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 85828 0 0 0 34093 46 0 0 20 0 3 0 286003872 843628544 170190 33554432000 4194304 5964478 140736812875440 139983016016184 4400724 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.45
Current children cumulated vsize (KiB) 823856

[startup+402.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 15622
/proc/meminfo: memFree=29740424/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=955744 CPUtime=804.4 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 209936 0 0 0 80340 100 0 0 20 0 3 0 286003870 978681856 209672 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 238936 209672 198 433 0 238500 0
[pid=15618/tid=15620] ppid=15616 vsize=955744 CPUtime=401.2 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 119079 0 0 0 40057 63 0 0 20 0 3 0 286003872 978681856 209672 33554432000 4194304 5964478 140736812875440 139983026505720 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=955744 CPUtime=401.24 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 89256 0 0 0 40076 48 0 0 20 0 3 0 286003872 978681856 209672 33554432000 4194304 5964478 140736812875440 139983016015944 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.4
Current children cumulated vsize (KiB) 955744

[startup+462.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/182 15625
/proc/meminfo: memFree=29601096/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=1087500 CPUtime=924.36 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 244327 0 0 0 92314 122 0 0 20 0 3 0 286003870 1113600000 244083 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 271875 244083 198 433 0 271439 0
[pid=15618/tid=15620] ppid=15616 vsize=1087500 CPUtime=461.04 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 137912 0 0 0 46029 75 0 0 20 0 3 0 286003872 1113600000 244083 33554432000 4194304 5964478 140736812875440 139983026505528 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=1087500 CPUtime=461.07 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 104814 0 0 0 46048 59 0 0 20 0 3 0 286003872 1113600000 244083 33554432000 4194304 5964478 140736812875440 139983016016184 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.36
Current children cumulated vsize (KiB) 1087500

[startup+522.3 s]
/proc/loadavg: 4.04 4.00 3.91 5/182 15649
/proc/meminfo: memFree=29585672/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=1087636 CPUtime=1044.31 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 248299 0 0 0 104305 126 0 0 20 0 3 0 286003870 1113739264 248073 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 271909 248073 198 433 0 271473 0
[pid=15618/tid=15620] ppid=15616 vsize=1087636 CPUtime=520.88 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 141817 0 0 0 52008 80 0 0 20 0 3 0 286003872 1113739264 248073 33554432000 4194304 5964478 140736812875440 139983026505528 4390936 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=1087636 CPUtime=520.89 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 104881 0 0 0 52030 59 0 0 20 0 3 0 286003872 1113739264 248073 33554432000 4194304 5964478 140736812875440 139983016015944 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.31
Current children cumulated vsize (KiB) 1087636

[startup+582.3 s]
/proc/loadavg: 4.06 4.01 3.92 5/181 15649
/proc/meminfo: memFree=29584176/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=1088840 CPUtime=1164.26 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 248609 0 0 0 116300 126 0 0 20 0 3 0 286003870 1114972160 248448 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 272210 248448 198 433 0 271774 0
[pid=15618/tid=15620] ppid=15616 vsize=1088840 CPUtime=580.7 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 141850 0 0 0 57989 81 0 0 20 0 3 0 286003872 1114972160 248448 33554432000 4194304 5964478 140736812875440 139983026505528 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=1088840 CPUtime=580.74 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105158 0 0 0 58013 61 0 0 20 0 3 0 286003872 1114972160 248448 33554432000 4194304 5964478 140736812875440 139983016015944 4400503 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 1088840

[startup+642.3 s]
/proc/loadavg: 4.02 4.00 3.92 5/181 15649
/proc/meminfo: memFree=29583212/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=1089448 CPUtime=1284.23 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 248782 0 0 0 128297 126 0 0 20 0 3 0 286003870 1115594752 248615 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 272362 248615 198 433 0 271926 0
[pid=15618/tid=15620] ppid=15616 vsize=1089448 CPUtime=640.54 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 141863 0 0 0 63972 82 0 0 20 0 3 0 286003872 1115594752 248615 33554432000 4194304 5964478 140736812875440 139983026505528 4400040 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=1089448 CPUtime=640.57 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105318 0 0 0 63995 62 0 0 20 0 3 0 286003872 1115594752 248615 33554432000 4194304 5964478 140736812875440 139983016015944 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.23
Current children cumulated vsize (KiB) 1089448

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 15690
/proc/meminfo: memFree=30261712/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=1089448 CPUtime=1404.16 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 248840 0 0 0 140290 126 0 0 20 0 3 0 286003870 1115594752 248713 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 272362 248713 198 433 0 271926 0
[pid=15618/tid=15620] ppid=15616 vsize=1089448 CPUtime=700.35 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 141910 0 0 0 69952 83 0 0 20 0 3 0 286003872 1115594752 248713 33554432000 4194304 5964478 140736812875440 139983026505528 4400075 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=1089448 CPUtime=700.41 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105329 0 0 0 69978 63 0 0 20 0 3 0 286003872 1115594752 248713 33554432000 4194304 5964478 140736812875440 139983016015944 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.16
Current children cumulated vsize (KiB) 1089448

[startup+762.307 s]
/proc/loadavg: 4.04 4.01 3.93 5/181 15690
/proc/meminfo: memFree=30184364/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=1089448 CPUtime=1524.13 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 248914 0 0 0 152286 127 0 0 20 0 3 0 286003870 1115594752 248652 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 272362 248652 198 433 0 271926 0
[pid=15618/tid=15620] ppid=15616 vsize=1089448 CPUtime=760.2 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 141914 0 0 0 75936 84 0 0 20 0 3 0 286003872 1115594752 248652 33554432000 4194304 5964478 140736812875440 139983026505528 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=1089448 CPUtime=760.23 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105399 0 0 0 75959 64 0 0 20 0 3 0 286003872 1115594752 248652 33554432000 4194304 5964478 140736812875440 139983016016216 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.13
Current children cumulated vsize (KiB) 1089448

[startup+822.3 s]
/proc/loadavg: 4.08 4.02 3.93 5/181 15691
/proc/meminfo: memFree=30136776/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=1155632 CPUtime=1644.06 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 258224 0 0 0 164271 135 0 0 20 0 3 0 286003870 1183367168 257953 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 288908 257953 198 433 0 288472 0
[pid=15618/tid=15620] ppid=15616 vsize=1155632 CPUtime=820.03 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 151176 0 0 0 81910 93 0 0 20 0 3 0 286003872 1183367168 257953 33554432000 4194304 5964478 140736812875440 139983026505720 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=1155632 CPUtime=820.04 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105447 0 0 0 81939 65 0 0 20 0 3 0 286003872 1183367168 257953 33554432000 4194304 5964478 140736812875440 139983016016216 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.06
Current children cumulated vsize (KiB) 1155632

[startup+882.3 s]
/proc/loadavg: 4.03 4.02 3.93 5/181 15691
/proc/meminfo: memFree=30017160/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=1155632 CPUtime=1764.02 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 258263 0 0 0 176267 135 0 0 20 0 3 0 286003870 1183367168 258978 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 288908 258978 198 433 0 288472 0
[pid=15618/tid=15620] ppid=15616 vsize=1155632 CPUtime=879.86 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 151209 0 0 0 87892 94 0 0 20 0 3 0 286003872 1183367168 258978 33554432000 4194304 5964478 140736812875440 139983026505720 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=1155632 CPUtime=879.88 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105453 0 0 0 87922 66 0 0 20 0 3 0 286003872 1183367168 258978 33554432000 4194304 5964478 140736812875440 139983016016216 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.02
Current children cumulated vsize (KiB) 1155632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/181 15691
/proc/meminfo: memFree=30003132/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=1155632 CPUtime=1800.03 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 258263 0 0 0 179868 135 0 0 20 0 3 0 286003870 1183367168 259187 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 288908 259187 198 433 0 288472 0
[pid=15618/tid=15620] ppid=15616 vsize=1155632 CPUtime=897.82 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 151209 0 0 0 89688 94 0 0 20 0 3 0 286003872 1183367168 259187 33554432000 4194304 5964478 140736812875440 139983026505720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=1155632 CPUtime=897.84 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105453 0 0 0 89718 66 0 0 20 0 3 0 286003872 1183367168 259187 33554432000 4194304 5964478 140736812875440 139983016016216 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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

[startup+900.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/181 15691
/proc/meminfo: memFree=30003132/32873648 swapFree=7116/7116
[pid=15618] ppid=15616 vsize=1155632 CPUtime=1800.03 cores=1,3,5,7
/proc/15618/stat : 15618 (pwbo2.01) S 15616 15618 14514 0 -1 4202496 258263 0 0 0 179868 135 0 0 20 0 3 0 286003870 1183367168 259187 33554432000 4194304 5964478 140736812875440 140736812874960 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15618/statm: 288908 259187 198 433 0 288472 0
[pid=15618/tid=15620] ppid=15616 vsize=1155632 CPUtime=897.82 cores=1,3,5,7
/proc/15618/task/15620/stat : 15620 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 151209 0 0 0 89688 94 0 0 20 0 3 0 286003872 1183367168 259187 33554432000 4194304 5964478 140736812875440 139983026505720 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=15618/tid=15621] ppid=15616 vsize=1155632 CPUtime=897.84 cores=1,3,5,7
/proc/15618/task/15621/stat : 15621 (pwbo2.01) R 15616 15618 14514 0 -1 4202560 105453 0 0 0 89718 66 0 0 20 0 3 0 286003872 1183367168 259187 33554432000 4194304 5964478 140736812875440 139983016016216 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1155632

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15618 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=81258
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=634751
# CPU time returned by wait4() is 1795.72
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.327
CPU time (s): 1800.03
CPU user time (s): 1798.68
CPU system time (s): 1.35
CPU usage (%): 199.931
Max. virtual memory (cumulated for all children) (KiB): 1155632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.08
system time used= 1.63475
maximum resident set size= 1036752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258264
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= 901
involuntary context switches= 1951

runsolver used 1.90171 second user time and 5.11522 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-28 11:53:04
IDJOB=3712725
IDBENCH=79153
IDSOLVER=2292
FILE ID=node123/3712725-1338198784
RUNJOBID= node123-1338195143-14531
PBS_JOBID= 14624606
Free space on /tmp= 71676 MiB

SOLVER NAME= pwbo 2.01
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.01 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712725-1338198784/watcher-3712725-1338198784 -o /tmp/evaluation-result-3712725-1338198784/solver-3712725-1338198784 -C 1800 -W 1900 -M 15500  pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712725-1338198784.wbo

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

MD5SUM BENCH= 32809f4710e615fcaa140bf3e08c6c73
RANDOM SEED=1992694524

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
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:       32873648 kB
MemFree:        30963468 kB
Buffers:          308560 kB
Cached:           276612 kB
SwapCached:          956 kB
Active:           772384 kB
Inactive:         301820 kB
Active(anon):     482252 kB
Inactive(anon):     8336 kB
Active(file):     290132 kB
Inactive(file):   293484 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67102956 kB
Dirty:              5456 kB
Writeback:             0 kB
AnonPages:        494448 kB
Mapped:            11056 kB
Shmem:                 0 kB
Slab:             699000 kB
SReclaimable:     143292 kB
SUnreclaim:       555708 kB
KernelStack:        1464 kB
PageTables:         5040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     164032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node123 at 2012-05-28 12:08:06