Trace number 2670829

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardSAT76 1798.04 1798.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_2.opb
MD5SUMf7e9965e006e5669c3252afd9a68998d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark74
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 67
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products6328
Sum of products size12656

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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670829-1276708213.opb
0.00/0.00	c File size is 484589 bytes.
0.00/0.08	c Highest Coefficient sum: 500
0.00/0.08	c Parsing was ok!!
0.00/0.08	c Total parsing time: 0.08 s
0.00/0.08	c Var: 6828 Constr: 13156 6828/0/6328 Lit: 44796 Watch. Lit: 32640
0.00/0.08	c Obj. Vars: 500 (7.32279 % of total variables)
0.29/0.31	c Pre-processing Time: 0.317 s
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c        0   6828    13156    44796    3    32640   40243      0      0 0.32
0.29/0.31	c Switching off lower bounding mode.
0.29/0.32	o 499
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0   6828    13157    45296    3    32643   40577      1      0 0.33
0.29/0.33	o 498
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c        0   6828    13158    45796    3    32647   41077      2      0 0.34
0.29/0.34	o 497
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        0   6828    13159    46296    3    32652   41743      3      0 0.35
0.29/0.36	o 496
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c        0   6828    13160    46796    3    32658   42577      4      0 0.36
0.29/0.37	o 495
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c        0   6828    13161    47296    3    32665   43577      5      0 0.38
0.29/0.38	o 494
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c        0   6828    13162    47796    3    32673   44577      6      0 0.39
0.39/0.40	o 493
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        1   6828    13164    48790    3    32684   44577      8      2 0.41
0.39/0.41	o 76
1797.92/1798.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.47	c        1   6828    13165    49290    3    33110   44577      9      2 0.42
1797.92/1798.47	c      101   6828    13267    60971    4    33314   49035    111    194 0.52
1797.92/1798.47	c      351   6828    13528    93678    6    33836   53939    372    454 0.77
1797.92/1798.47	c      826   6828    14018   151635   10    34816   59333    862    640 1.29
1797.92/1798.47	c     1639   6828    14860   253461   17    36500   65267   1704    738 2.22
1797.92/1798.47	c     2959   6828    16247   435279   26    39274   71794   3091    768 3.85
1797.92/1798.47	c     5040   6828    18382   666149   36    43544   78974   5226    797 6.32
1797.92/1798.47	c     8264   6828    21753  1091071   50    50286   86872   8597    757 10.90
1797.92/1798.47	c    13200   6828    26919  1740332   64    60618   95560  13763    711 18.54
1797.92/1798.47	c    20707   6828    34778  2749664   79    76336  105117  21622    629 32.89
1797.92/1798.47	c    32068   6828    46475  4082791   87   100574  115629  33319    584 54.87
1797.92/1798.47	c    49213   6828    64773  6978353  107   141492  127192  51617    416 118.29
1797.92/1798.47	c    75033   6828    91904 10667349  116   197434  139912  78748    339 221.34
1797.92/1798.47	c   113865   6828   132702 15705730  118   279030  153904 119546    278 408.48
1797.92/1798.47	c   172217   6828    45654  3658114   80    98060  169295  32498    255 673.61
1797.92/1798.47	c   259849   6828   137180 14366755  104   282090  186225 124024    235 1103.42
1797.92/1798.47	c Resources Exceeded
1797.92/1798.47	v x1 -x2 -x3 -x4 x5 x6 -x7 x8 x9 x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 x56 x57 -x58 -x59 -x60 x61 -x62 -x63 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 x111 x112 -x113 x114 x115 -x116 x117 -x118 x119 -x120 -x121 x122 x123 -x124 x125 x126 x127 -x128 -x129 x130 -x131 x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 -x228 x229 -x230 x231 x232 -x233 -x234 -x235 x236 -x237 -x238 x239 x240 -x241 x242 -x243 -x244 -x245 x246 x247 -x248 -x249 x250 x251 -x252 x253 x254 x255 x256 x257 -x258 x259 x260 x261 x262 x263 x264 -x265 -x266 -x267 -x268 -x269 x270 x271 x272 x273 -x274 x275 x276 -x277 -x278 x279 x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 x530 x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 x604 -x605 -x606 x607 x608 -x609 -x610 -x611 -x612 -x613 x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 x768 -x769 -x770 -x771 x772 -x773 -x774 x775 -x776 -x777 -x778 x779 -x780 x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 x917 -x918 -x919 -x920 -x921 -x922 x923 x924 -x925 -x926 x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 x947 -x948 -x949 x950 -x951 x952 x953 -x954 -x955 x956 x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 x1470 x1471 -x1472 -x1473 x1474 x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 x1841 x1842 x1843 -x1844 -x1845 -x1846 x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 x1910 -x1911 x1912 x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 x2115 -x2116 x2117 -x2118 x2119 -x2120 -x2121 -x2122 x2123 x2124 -x2125 -x2126 -x2127 x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 x2306 x2307 -x2308 x2309 x2310 -x2311 x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 x2587 x2588 -x2589 x2590 -x2591 -x2592 -x2593 x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 x2607 x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 x2642 x2643 x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 x2706 x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 x2725 x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 x2738 x2739 -x2740 -x2741 -x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 x2805 -x2806 -x2807 -x2808 x2809 x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 -x2837 x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 x2854 x2855 x2856 -x2857 -x2858 -x2859 -x2860 x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 x2879 -x2880 x2881 -x2882 x2883 x2884 -x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 x2936 -x2937 x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 x2960 -x2961 x2962 x2963 -x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 x2979 -x2980 -x2981 -x2982 x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 x3023 x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 x3055 -x3056 -x3057 x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 x3104 -x3105 x3106 -x3107 -x3108 x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 x3197 -x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 x3230 x3231 -x3232 -x3233 x3234 x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 x3260 -x3261 x3262 -x3263 -x3264 -x3265 x3266 -x3267 x3268 x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 x3287 -x3288 x3289 -x3290 -x3291 -x3292 -x3293 x3294 -x3295 -x3296 -x3297 -x3298 x3299 x3300 -x3301 -x3302 -x3303 -x3304 -x3305 x3306 -x3307 -x3308 -x3309 -x3310 x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 x3320 -x3321 -x3322 -x3323 -x3324 -x3325 x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 x3370 -x3371 -x3372 -x3373 -x3374 x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 x3426 x3427 x3428 -x3429 -x3430 -x3431 -x3432 x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 x3441 x3442 -x3443 -x3444 x3445 -x3446 -x3447 x3448 -x3449 x3450 x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 -x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 -x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 x3523 -x3524 -x3525 -x3526 x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 -x3538 -x3539 -x3540 -x3541 x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 -x3557 -x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 x3588 x3589 x3590 -x3591 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 x3636 x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 x3693 -x3694 -x3695 -x3696 x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 x3758 x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 x3809 x3810 -x3811 -x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 x3829 -x3830 -x3831 x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859 -x3860 x3861 -x3862 -x3863 x3864 x3865 -x3866 -x3867 x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 x3926 -x3927 -x3928 x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 x3947 -x3948 x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 x4025 -x4026 -x4027 -x4028 -x4029 x4030 x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 -x4105 -x4106 x4107 x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 x4190 -x4191 -x4192 x4193 -x4194 x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 -x4202 x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 x4302 -x4303 x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410 -x4411 x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 x4420 -x4421 -x4422 -x4423 -x4424 x4425 -x4426 x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x4433 -x4434 x4435 -x4436 -x4437 -x4438 x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 x4477 -x4478 -x4479 -x4480 x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 x4510 -x4511 -x4512 -x4513 x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 x4525 x4526 -x4527 -x4528 -x4529 x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 x4549 -x4550 -x4551 -x4552 -x4553 -x4554 x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 x4576 x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 x4587 -x4588 -x4589 x4590 x4591 x4592 -x4593 -x4594 x4595 -x4596 -x4597 -x4598 -x4599 -x4600 x4601 x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 x4656 x4657 -x4658 -x4659 -x4660 -x4661 x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 x4726 -x4727 x4728 x4729 -x4730 -x4731 -x4732 x4733 x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x4741 -x4742 x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 x4751 -x4752 x4753 x4754 x4755 -x4756 -x4757 -x4758 x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 x4769 -x4770 -x4771 x4772 -x4773 -x4774 -x4775 x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 x4784 x4785 -x4786 -x4787 -x4788 x4789 x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 x4859 x4860 -x4861 -x4862 -x4863 -x4864 x4865 x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 x4879 x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 x4910 x4911 -x4912 -x4913 -x4914 x4915 x4916 x4917 -x4918 x4919 -x4920 -x4921 x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 x4932 x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4977 -x4978 -x4979 -x4980 x4981 x4982 x4983 -x4984 x4985 -x4986 -x4987 -x4988 x4989 -x4990 -x4991 -x4992 x4993 -x4994 x4995 x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 x5009 x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 x5021 x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 x5032 x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5041 -x5042 -x5043 -x5044 x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 x5063 x5064 -x5065 -x5066 x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 x5076 x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 x5087 x5088 -x5089 -x5090 -x5091 -x5092 x5093 -x5094 x5095 -x5096 x5097 x5098 -x5099 -x5100 -x5101 x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 x5110 -x5111 -x5112 -x5113 x5114 x5115 -x5116 -x5117 x5118 x5119 -x5120 -x5121 -x5122 x5123 x5124 x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 x5135 -x5136 -x5137 -x5138 -x5139 -x5140 x5141 -x5142 -x5143 -x5144 -x5145 -x5146 x5147 -x5148 -x5149 -x5150 -x5151 x5152 -x5153 x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 x5162 -x5163 -x5164 x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 x5185 x5186 -x5187 -x5188 x5189 -x5190 -x5191 -x5192 -x5193 -x5194 x5195 -x5196 -x5197 x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 x5235 x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 x5270 -x5271 -x5272 -x5273 -x5274 -x5275 x5276 x5277 -x5278 x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 x5295 x5296 -x5297 -x5298 -x5299 -x5300 -x5301 x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 x5350 -x5351 -x5352 -x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 x5365 -x5366 -x5367 x5368 x5369 -x5370 -x5371 x5372 -x5373 x5374 -x5375 -x5376 -x5377 x5378 -x5379 -x5380 -x5381 -x5382 x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 x5424 x5425 -x5426 -x5427 -x5428 x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 x5445 x5446 x5447 x5448 -x5449 -x5450 -x5451 -x5452 x5453 -x5454 -x5455 -x5456 x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 x5583 -x5584 -x5585 -x5586 -x5587 -x5588 x5589 x5590 x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x5600 x5601 -x5602 x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 x5616 -x5617 -x5618 -x5619 -x5620 x5621 -x5622 -x5623 -x5624 x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 x5634 -x5635 x5636 -x5637 x5638 x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 x5649 -x5650 -x5651 -x5652 x5653 -x5654 -x5655 -x5656 -x5657 x5658 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 x5668 -x5669 -x5670 -x5671 x5672 x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 x5718 -x5719 x5720 x5721 -x5722 -x5723 -x5724 x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 x5757 x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 x5776 -x5777 -x5778 x5779 x5780 -x5781 -x5782 -x5783 x5784 -x5785 x5786 x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 x5809 -x5810 x5811 x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 x5838 -x5839 -x5840 -x5841 x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 x5873 -x5874 -x5875 -x5876 -x5877 x5878 x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 x5904 -x5905 -x5906 -x5907 -x5908 -x5909 x5910 x5911 -x5912 -x5913 x5914 -x5915 x5916 -x5917 -x5918 -x5919 -x5920 x5921 -x5922 -x5923 -x5924 -x5925 x5926 -x5927 x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 x5939 -x5940 -x5941 x5942 x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 x5958 x5959 -x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 x5975 x5976 -x5977 -x5978 -x5979 x5980 -x5981 -x5982 x5983 -x5984 -x5985 -x5986 -x5987 x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 x5996 -x5997 x5998 -x5999 -x6000 -x6001 -x6002 x6003 -x6004 -x6005 x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 x6018 -x6019 -x6020 -x6021 -x6022 x6023 -x6024 -x6025 -x6026 -x6027 -x6028 x6029 x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 x6046 x6047 x6048 -x6049 -x6050 -x6051 -x6052 x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 x6060 -x6061 -x6062 -x6063 -x6064 -x6065 x6066 -x6067 -x6068 -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 x6078 x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 x6090 -x6091 -x6092 x6093 x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 x6103 x6104 -x6105 -x6106 -x6107 -x6108 -x6109 x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 x6118 -x6119 -x6120 x6121 -x6122 x6123 -x6124 x6125 -x6126 x6127 x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 x6156 -x6157 -x6158 -x6159 -x6160 x6161 -x6162 x6163 -x6164 x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 x6172 -x6173 x6174 x6175 x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 x6183 -x6184 x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 x6192 -x6193 -x6194 -x6195 x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 x6219 -x6220 x6221 -x6222 -x6223 -x6224 x6225 -x6226 -x6227 -x6228 -x6229 x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 x6247 -x6248 -x6249 x6250 -x6251 -x6252 -x6253 x6254 x6255 -x6256 -x6257 x6258 x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 x6279 -x6280 -x6281 -x6282 -x6283 x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 x6291 -x6292 -x6293 -x6294 x6295 x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 x6303 -x6304 -x6305 -x6306 x6307 -x6308 -x6309 -x6310 -x6311 x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 x6326 x6327 x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 x6358 x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 x6369 x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 x6377 -x6378 -x6379 x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 x6411 -x6412 -x6413 -x6414 -x6415 x6416 x6417 x6418 -x6419 x6420 -x6421 x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 x6429 x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 x6448 -x6449 -x6450 -x6451 x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 x6468 x6469 x6470 x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 x6479 x6480 -x6481 -x6482 -x6483 x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 x6516 -x6517 -x6518 x6519 -x6520 -x6521 x6522 -x6523 -x6524 x6525 -x6526 -x6527 -x6528 x6529 -x6530 x6531 -x6532 x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 -x6567 -x6568 x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 x6633 x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 x6642 -x6643 -x6644 -x6645 x6646 -x6647 -x6648 -x6649 -x6650 -x6651 x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 x6660 -x6661 -x6662 x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 x6684 -x6685 -x6686 -x6687 x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 x6696 -x6697 -x6698 -x6699 -x6700 x6701 -x6702 -x6703 -x6704 x6705 -x6706 -x6707 x6708 x6709 x6710 -x6711 -x6712 -x6713 x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 x6744 x6745 -x6746 -x6747 -x6748 x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 x6765 -x6766 -x6767 x6768 x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 x6780 -x6781 -x6782 -x6783 -x6784 x6785 -x6786 -x6787 -x6788 -x6789 x6790 -x6791 -x6792 -x6793 -x6794 -x6795 x6796 -x6797 -x6798 x6799 -x6800 -x6801 -x6802 -x6803 -x6804 x6805 -x6806 x6807 -x6808 -x6809 -x6810 -x6811 x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 x6823 -x6824 -x6825 -x6826 -x6827 -x6828 
1797.92/1798.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.47	c   23   388585 136161   677297    92014 11548298  78858    216 1798.00
1797.92/1798.47	c Objective: 76
1797.92/1798.47	s SATISFIABLE
1797.92/1798.47	c Total time: 1798 s

Verifier Data 

OK	76

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670829-1276708213/watcher-2670829-1276708213 -o /tmp/evaluation-result-2670829-1276708213/solver-2670829-1276708213 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670829-1276708213.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10799
/proc/meminfo: memFree=1702536/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=11416 CPUtime=0
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 46425018 11689984 289 1992294400 134512640 137138936 4288001584 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 2854 290 175 642 0 2091 0

[startup+0.104428 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10799
/proc/meminfo: memFree=1702536/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=14004 CPUtime=0.09
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 1248 0 0 0 9 0 0 0 20 0 1 0 46425018 14340096 1047 1992294400 134512640 137138936 4288001584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 3501 1047 184 642 0 2857 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14004

[startup+0.201438 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10799
/proc/meminfo: memFree=1702536/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=14004 CPUtime=0.19
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 1248 0 0 0 19 0 0 0 20 0 1 0 46425018 14340096 1047 1992294400 134512640 137138936 4288001584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 3501 1047 184 642 0 2857 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14004

[startup+0.301449 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10799
/proc/meminfo: memFree=1702536/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=14184 CPUtime=0.29
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 1453 0 0 0 28 1 0 0 20 0 1 0 46425018 14524416 1110 1992294400 134512640 137138936 4288001584 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 3516 1080 185 642 0 2872 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14184

[startup+0.701494 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10799
/proc/meminfo: memFree=1702536/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=14736 CPUtime=0.69
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 1767 0 0 0 67 2 0 0 20 0 1 0 46425018 15089664 1250 1992294400 134512640 137138936 4288001584 18446744073709551615 134551280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 3684 1250 192 642 0 3040 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14736

[startup+1.50158 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10800
/proc/meminfo: memFree=1697816/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=15972 CPUtime=1.5
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 2083 0 0 0 147 3 0 0 23 0 1 0 46425018 16355328 1566 1992294400 134512640 137138936 4288001584 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 3993 1566 192 642 0 3349 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15972

[startup+3.10176 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10800
/proc/meminfo: memFree=1696080/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=18424 CPUtime=3.09
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 2696 0 0 0 306 3 0 0 25 0 1 0 46425018 18866176 2179 1992294400 134512640 137138936 4288001584 18446744073709551615 134606700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 4606 2179 192 642 0 3962 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18424

[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10800
/proc/meminfo: memFree=1691376/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=22784 CPUtime=6.29
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 3768 0 0 0 625 4 0 0 25 0 1 0 46425018 23330816 3251 1992294400 134512640 137138936 4288001584 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 5696 3251 192 642 0 5052 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22784

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10800
/proc/meminfo: memFree=1682944/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=30908 CPUtime=12.69
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 5807 0 0 0 1262 7 0 0 25 0 1 0 46425018 31649792 5290 1992294400 134512640 137138936 4288001584 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 7727 5290 192 642 0 7083 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30908

[startup+25.5012 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 10800
/proc/meminfo: memFree=1668436/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=44816 CPUtime=25.48
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 9277 0 0 0 2536 12 0 0 25 0 1 0 46425018 45891584 8760 1992294400 134512640 137138936 4288001584 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 11204 8760 192 642 0 10560 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44816

[startup+51.1011 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 10800
/proc/meminfo: memFree=1646364/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=67048 CPUtime=51.08
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 14846 0 0 0 5087 21 0 0 25 0 1 0 46425018 68657152 14329 1992294400 134512640 137138936 4288001584 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 16762 14329 192 642 0 16118 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67048

[startup+102.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 10802
/proc/meminfo: memFree=1612016/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=100776 CPUtime=102.27
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 23274 0 0 0 10192 35 0 0 25 0 1 0 46425018 103194624 22757 1992294400 134512640 137138936 4288001584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 25194 22757 192 642 0 24550 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 100776

[startup+162.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 10804
/proc/meminfo: memFree=1579156/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=133784 CPUtime=162.25
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 31537 0 0 0 16177 48 0 0 25 0 1 0 46425018 136994816 31020 1992294400 134512640 137138936 4288001584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 33446 31020 192 642 0 32802 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 133784

[startup+222.309 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 10809
/proc/meminfo: memFree=1552868/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=159140 CPUtime=222.24
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 37865 0 0 0 22163 61 0 0 25 0 1 0 46425018 162959360 37348 1992294400 134512640 137138936 4288001584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 39785 37348 192 642 0 39141 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 159140

[startup+282.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 10809
/proc/meminfo: memFree=1526456/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=186000 CPUtime=282.22
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 44579 0 0 0 28148 74 0 0 25 0 1 0 46425018 190464000 44062 1992294400 134512640 137138936 4288001584 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 46500 44062 192 642 0 45856 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 186000

[startup+342.301 s]
/proc/loadavg: 1.06 1.05 1.00 2/107 10811
/proc/meminfo: memFree=1504260/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=207856 CPUtime=342.21
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 50041 0 0 0 34135 86 0 0 25 0 1 0 46425018 212844544 49524 1992294400 134512640 137138936 4288001584 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 51964 49524 192 642 0 51320 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 207856

[startup+402.301 s]
/proc/loadavg: 1.06 1.05 1.00 2/107 10813
/proc/meminfo: memFree=1486032/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=226220 CPUtime=402.19
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 54642 0 0 0 40126 93 0 0 25 0 1 0 46425018 231649280 54125 1992294400 134512640 137138936 4288001584 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 56555 54125 192 642 0 55911 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 226220

[startup+462.301 s]
/proc/loadavg: 1.06 1.05 1.00 2/107 10815
/proc/meminfo: memFree=1463712/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=248496 CPUtime=462.16
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 60205 0 0 0 46111 105 0 0 25 0 1 0 46425018 254459904 59688 1992294400 134512640 137138936 4288001584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 62124 59688 192 642 0 61480 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 248496

[startup+522.301 s]
/proc/loadavg: 1.13 1.07 1.01 2/107 10817
/proc/meminfo: memFree=1443376/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=269000 CPUtime=522.15
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 65339 0 0 0 52099 116 0 0 25 0 1 0 46425018 275456000 64822 1992294400 134512640 137138936 4288001584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 67250 64822 192 642 0 66606 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 269000

[startup+582.301 s]
/proc/loadavg: 1.12 1.07 1.00 2/107 10817
/proc/meminfo: memFree=1424776/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=287424 CPUtime=582.14
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 69940 0 0 0 58089 125 0 0 25 0 1 0 46425018 294322176 69423 1992294400 134512640 137138936 4288001584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 71856 69423 192 642 0 71212 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 287424

[startup+642.302 s]
/proc/loadavg: 1.11 1.07 1.00 2/107 10819
/proc/meminfo: memFree=1418080/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=293448 CPUtime=642.12
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 71604 0 0 0 64080 132 0 0 25 0 1 0 46425018 300490752 70930 1992294400 134512640 137138936 4288001584 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 73362 70930 192 642 0 72718 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 293448

[startup+702.301 s]

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

/proc/meminfo: memFree=1417832/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=293448 CPUtime=1121.99
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 71604 0 0 0 112014 185 0 0 25 0 1 0 46425018 300490752 70930 1992294400 134512640 137138936 4288001584 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 73362 70930 192 642 0 72718 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 293448

[startup+1182.3 s]
/proc/loadavg: 1.09 1.10 1.02 2/107 10833
/proc/meminfo: memFree=1417832/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=293448 CPUtime=1181.98
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 71604 0 0 0 118006 192 0 0 25 0 1 0 46425018 300490752 70930 1992294400 134512640 137138936 4288001584 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 73362 70930 192 642 0 72718 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 293448

[startup+1242.3 s]
/proc/loadavg: 1.03 1.08 1.01 2/107 10835
/proc/meminfo: memFree=1417708/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=293448 CPUtime=1241.96
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 71604 0 0 0 123999 197 0 0 25 0 1 0 46425018 300490752 70930 1992294400 134512640 137138936 4288001584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 73362 70930 192 642 0 72718 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 293448

[startup+1302.3 s]
/proc/loadavg: 1.01 1.06 1.00 2/107 10837
/proc/meminfo: memFree=1416840/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=295388 CPUtime=1301.95
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 72077 0 0 0 129989 206 0 0 25 0 1 0 46425018 302477312 71403 1992294400 134512640 137138936 4288001584 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 73847 71403 192 642 0 73203 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 295388

[startup+1362.3 s]
/proc/loadavg: 1.00 1.05 1.00 2/107 10839
/proc/meminfo: memFree=1394148/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=317756 CPUtime=1361.93
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 77678 0 0 0 135977 216 0 0 25 0 1 0 46425018 325382144 77004 1992294400 134512640 137138936 4288001584 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 79439 77004 192 642 0 78795 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 317756

[startup+1422.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 10841
/proc/meminfo: memFree=1381376/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1421.92
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 141971 221 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 329736

[startup+1482.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 10841
/proc/meminfo: memFree=1381376/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1481.9
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 147967 223 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 134542439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 329736

[startup+1542.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10843
/proc/meminfo: memFree=1381376/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1541.89
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 153956 233 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 329736

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10845
/proc/meminfo: memFree=1381376/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1601.87
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 159947 240 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 329736

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10847
/proc/meminfo: memFree=1381376/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1661.85
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 165940 245 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 329736

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10849
/proc/meminfo: memFree=1381376/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1721.84
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 171934 250 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 329736

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10849
/proc/meminfo: memFree=1381128/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1781.82
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 177926 256 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 329736

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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10851
/proc/meminfo: memFree=1381128/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1791.53
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 178896 257 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 329736

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10851
/proc/meminfo: memFree=1381128/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1794.72
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 179215 257 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 329736

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10851
/proc/meminfo: memFree=1381128/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1796.32
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 179375 257 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1796.32
Current children cumulated vsize (KiB) 329736

[startup+1797.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10851
/proc/meminfo: memFree=1381128/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1797.12
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 179455 257 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 134551813 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 329736

[startup+1798 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10851
/proc/meminfo: memFree=1381128/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1797.52
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 179495 257 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 329736

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10851
/proc/meminfo: memFree=1381128/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=329736 CPUtime=1797.92
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202496 80865 0 0 0 179535 257 0 0 25 0 1 0 46425018 337649664 80003 1992294400 134512640 137138936 4288001584 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10799/statm: 82434 80003 192 642 0 81790 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 329736

[startup+1798.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10851
/proc/meminfo: memFree=1606560/2059040 swapFree=4140468/4192956
[pid=10799] ppid=10797 vsize=0 CPUtime=1798.03
/proc/10799/stat : 10799 (bsolo_pb10) R 10797 10799 10161 0 -1 4202500 80866 0 0 0 179542 261 0 0 25 0 1 0 46425018 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/10799/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.51
CPU time (s): 1798.04
CPU user time (s): 1795.42
CPU system time (s): 2.6126
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 330488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.43
system time used= 2.6126
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80866
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= 1
involuntary context switches= 2102

runsolver used 2.76858 second user time and 8.69068 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-16 19:10:13
IDJOB=2670829
IDBENCH=48131
IDSOLVER=1162
FILE ID=node005/2670829-1276708213
PBS_JOBID= 11174128
Free space on /tmp= 62564 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670829-1276708213/watcher-2670829-1276708213 -o /tmp/evaluation-result-2670829-1276708213/solver-2670829-1276708213 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670829-1276708213.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= f7e9965e006e5669c3252afd9a68998d
RANDOM SEED=1926318752

node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.246
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.246
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1703932 kB
Buffers:        113892 kB
Cached:         144500 kB
SwapCached:       6352 kB
Active:          97728 kB
Inactive:       174444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1703932 kB
SwapTotal:     4192956 kB
SwapFree:      4140468 kB
Dirty:            3976 kB
Writeback:           0 kB
AnonPages:       11640 kB
Mapped:          13156 kB
Slab:            61140 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181696 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670829-1276708213.opb

Free space on /tmp at the end= 62560 MiB
End job on node005 at 2010-06-16 19:40:12