Trace number 4111865

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
minisatp 2012-10-02 git-d91742bSAT 1703.34 1703.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K92.opb
MD5SUM21cc97db69195cd3dcf69a6d797764c1
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1703.34
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6256
Total number of constraints6442
Number of constraints which are clauses6350
Number of constraints which are cardinality constraints (but not clauses)92
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint92
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 93
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.09/0.18	c Converting 6440 PB-constraints to clauses...
0.09/0.18	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.09/0.18	c   -- Detecting intervals from adjacent constraints: ##########################################################################################
0.09/0.18	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.09/0.19	c ---[ 180]---> BDD-cost:  133
0.09/0.19	c ---[ 178]---> BDD-cost:  133
0.09/0.19	c ---[ 176]---> BDD-cost:  133
0.09/0.19	c ---[ 174]---> BDD-cost:  133
0.09/0.19	c ---[ 172]---> BDD-cost:  133
0.09/0.19	c ---[ 170]---> BDD-cost:  133
0.09/0.19	c ---[ 168]---> BDD-cost:  133
0.09/0.20	c ---[ 166]---> BDD-cost:  133
0.18/0.20	c ---[ 164]---> BDD-cost:  133
0.18/0.20	c ---[ 162]---> BDD-cost:  133
0.18/0.20	c ---[ 160]---> BDD-cost:  133
0.18/0.20	c ---[ 158]---> BDD-cost:  133
0.18/0.20	c ---[ 156]---> BDD-cost:  133
0.18/0.20	c ---[ 154]---> BDD-cost:  133
0.18/0.20	c ---[ 152]---> BDD-cost:  133
0.18/0.21	c ---[ 150]---> BDD-cost:  133
0.18/0.21	c ---[ 148]---> BDD-cost:  133
0.18/0.21	c ---[ 146]---> BDD-cost:  133
0.18/0.21	c ---[ 144]---> BDD-cost:  133
0.18/0.21	c ---[ 142]---> BDD-cost:  133
0.18/0.21	c ---[ 140]---> BDD-cost:  133
0.18/0.21	c ---[ 138]---> BDD-cost:  133
0.18/0.21	c ---[ 136]---> BDD-cost:  133
0.18/0.21	c ---[ 134]---> BDD-cost:  133
0.18/0.22	c ---[ 132]---> BDD-cost:  133
0.18/0.22	c ---[ 130]---> BDD-cost:  133
0.18/0.22	c ---[ 128]---> BDD-cost:  133
0.18/0.22	c ---[ 126]---> BDD-cost:  133
0.18/0.22	c ---[ 124]---> BDD-cost:  133
0.18/0.22	c ---[ 122]---> BDD-cost:  133
0.18/0.22	c ---[ 120]---> BDD-cost:  133
0.18/0.22	c ---[ 118]---> BDD-cost:  133
0.18/0.23	c ---[ 116]---> BDD-cost:  133
0.18/0.23	c ---[ 114]---> BDD-cost:  133
0.18/0.23	c ---[ 112]---> BDD-cost:  133
0.18/0.23	c ---[ 110]---> BDD-cost:  133
0.18/0.23	c ---[ 108]---> BDD-cost:  133
0.18/0.23	c ---[ 106]---> BDD-cost:  133
0.18/0.23	c ---[ 104]---> BDD-cost:  133
0.18/0.23	c ---[ 102]---> BDD-cost:  133
0.18/0.24	c ---[ 100]---> BDD-cost:  133
0.18/0.24	c ---[  98]---> BDD-cost:  133
0.18/0.24	c ---[  96]---> BDD-cost:  133
0.18/0.24	c ---[  94]---> BDD-cost:  133
0.18/0.24	c ---[  92]---> BDD-cost:  133
0.18/0.24	c ---[  90]---> BDD-cost:  133
0.18/0.24	c ---[  88]---> BDD-cost:  133
0.18/0.24	c ---[  86]---> BDD-cost:  133
0.18/0.25	c ---[  84]---> BDD-cost:  133
0.18/0.25	c ---[  82]---> BDD-cost:  133
0.18/0.25	c ---[  80]---> BDD-cost:  133
0.18/0.25	c ---[  78]---> BDD-cost:  133
0.18/0.25	c ---[  76]---> BDD-cost:  133
0.18/0.25	c ---[  74]---> BDD-cost:  133
0.18/0.25	c ---[  72]---> BDD-cost:  133
0.18/0.25	c ---[  70]---> BDD-cost:  133
0.18/0.26	c ---[  68]---> BDD-cost:  133
0.18/0.26	c ---[  66]---> BDD-cost:  133
0.18/0.26	c ---[  64]---> BDD-cost:  133
0.18/0.26	c ---[  62]---> BDD-cost:  133
0.18/0.26	c ---[  60]---> BDD-cost:  133
0.18/0.26	c ---[  58]---> BDD-cost:  133
0.18/0.26	c ---[  56]---> BDD-cost:  133
0.18/0.26	c ---[  54]---> BDD-cost:  133
0.18/0.27	c ---[  52]---> BDD-cost:  133
0.18/0.27	c ---[  50]---> BDD-cost:  133
0.18/0.27	c ---[  48]---> BDD-cost:  133
0.18/0.27	c ---[  46]---> BDD-cost:  133
0.18/0.27	c ---[  44]---> BDD-cost:  133
0.18/0.27	c ---[  42]---> BDD-cost:  133
0.18/0.27	c ---[  40]---> BDD-cost:  133
0.18/0.27	c ---[  38]---> BDD-cost:  133
0.18/0.27	c ---[  36]---> BDD-cost:  133
0.18/0.28	c ---[  34]---> BDD-cost:  133
0.18/0.28	c ---[  32]---> BDD-cost:  133
0.18/0.28	c ---[  30]---> BDD-cost:  133
0.18/0.28	c ---[  28]---> BDD-cost:  133
0.18/0.28	c ---[  26]---> BDD-cost:  133
0.18/0.28	c ---[  24]---> BDD-cost:  133
0.18/0.28	c ---[  22]---> BDD-cost:  133
0.18/0.28	c ---[  20]---> BDD-cost:  133
0.18/0.29	c ---[  18]---> BDD-cost:  133
0.18/0.29	c ---[  16]---> BDD-cost:  133
0.18/0.29	c ---[  14]---> BDD-cost:  129
0.18/0.29	c ---[  12]---> BDD-cost:  115
0.18/0.29	c ---[  10]---> BDD-cost:   93
0.18/0.29	c ---[   8]---> BDD-cost:   65
0.18/0.29	c ---[   6]---> BDD-cost:   47
0.18/0.29	c ---[   4]---> BDD-cost:   25
0.18/0.29	c ---[   2]---> BDD-cost:    5
1703.32/1703.60	|  Eliminated clauses:           0.02 Mb                                      |
1703.32/1703.60	============================[ Search Statistics ]==============================
1703.32/1703.60	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1703.32/1703.60	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1703.32/1703.60	===============================================================================
1703.32/1703.60	|       100 |   16778    33893    98769 |    12427       99    179 |  2.549 % |
1703.32/1703.60	|       250 |   16778    33893    98769 |    13670      249    114 |  2.549 % |
1703.32/1703.60	|       475 |   16778    33893    98769 |    15037      474    127 |  2.549 % |
1703.32/1703.60	|       812 |   16778    33893    98769 |    16540      811    143 |  2.549 % |
1703.32/1703.60	|      1318 |   16778    33893    98769 |    18195     1317    135 |  2.549 % |
1703.32/1703.60	|      2077 |   16778    33893    98769 |    20014     2076    141 |  2.549 % |
1703.32/1703.60	|      3216 |   16737    33893    98769 |    22015     3212    137 |  2.779 % |
1703.32/1703.60	|      4924 |   16736    33893    98769 |    24217     4917    144 |  2.785 % |
1703.32/1703.60	|      7486 |   16734    33893    98769 |    26639     7475    154 |  2.796 % |
1703.32/1703.60	|     11330 |   16732    33893    98769 |    29303    11315    171 |  2.807 % |
1703.32/1703.60	|     17096 |   16731    33893    98769 |    32233    17079    183 |  2.813 % |
1703.32/1703.60	|     25745 |   16730    33893    98769 |    35456    25724    192 |  2.819 % |
1703.32/1703.60	|     38719 |   16730    33893    98769 |    39002    17727    147 |  2.819 % |
1703.32/1703.60	|     58180 |   16728    33893    98769 |    42902    37183    189 |  2.830 % |
1703.32/1703.60	|     87372 |   16723    33893    98769 |    47193    42369    207 |  2.858 % |
1703.32/1703.60	|    131161 |   16720    33893    98769 |    51912    29064    161 |  2.875 % |
1703.32/1703.60	|    196845 |   16717    33893    98769 |    57103    36267    187 |  2.892 % |
1703.32/1703.60	|    295371 |   16717    33893    98769 |    62814    33287    154 |  2.892 % |
1703.32/1703.60	|    443160 |   16710    33893    98769 |    69095    32328    174 |  2.931 % |
1703.32/1703.60	|    664843 |   16703    33893    98769 |    76005    48096    182 |  2.971 % |
1703.32/1703.60	|    997368 |   16703    33893    98769 |    83605    67869    271 |  2.971 % |
1703.32/1703.60	|   1496156 |   16700    33893    98769 |    91966    81823    202 |  2.988 % |
1703.32/1703.60	|   2244338 |   16699    33893    98769 |   101162    56264    222 |  2.993 % |
1703.32/1703.60	|   3366612 |   16699    33893    98769 |   111278    82987    179 |  2.993 % |
1703.32/1703.60	===============================================================================
1703.32/1703.60	c SATISFIABLE: No goal function specified.
1703.32/1703.60	s SATISFIABLE
1703.32/1703.60	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
1703.32/1703.60	c _______________________________________________________________________________
1703.32/1703.60	c 
1703.32/1703.60	restarts              : 8190
1703.32/1703.60	conflicts             : 4876072        (2866 /sec)
1703.32/1703.60	decisions             : 29515149       (0.00 % random) (17349 /sec)
1703.32/1703.60	propagations          : 4399798210     (2586167 /sec)
1703.32/1703.60	conflict literals     : 1479105106     (19.16 % deleted)
1703.32/1703.60	Memory used           : 350.45 MB
1703.32/1703.60	CPU time              : 1701.28 s
1703.32/1703.60	c _______________________________________________________________________________

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4111865-1466601888/watcher-4111865-1466601888 -o /tmp/evaluation-result-4111865-1466601888/solver-4111865-1466601888 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466586650-31754 --watchdog 1960 minisatp HOME/instance-4111865-1466601888.opb 

pid=1493
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.27 2.21 2.18 3/174 1496
/proc/meminfo: memFree=29554488/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=6192 CPUtime=0 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 260 0 0 0 0 0 0 0 20 0 1 0 62235770 6340608 136 33554432000 4194304 5646918 140735160783648 140735532028280 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 1548 136 94 355 0 1189 0

[startup+0.100163 s]
/proc/loadavg: 2.27 2.21 2.18 3/174 1496
/proc/meminfo: memFree=29554488/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=12204 CPUtime=0.09 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 1725 0 0 0 9 0 0 0 20 0 1 0 62235770 12496896 1601 33554432000 4194304 5646918 140735160783648 140735532028280 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 3051 1602 94 355 0 2692 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12204

[startup+0.200325 s]
/proc/loadavg: 2.27 2.21 2.18 3/174 1496
/proc/meminfo: memFree=29554488/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=16412 CPUtime=0.18 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 2830 0 0 0 18 0 0 0 20 0 1 0 62235770 16805888 2653 33554432000 4194304 5646918 140735160783648 140735532028280 4953168 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 4103 2653 117 355 0 3744 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 16412

[startup+0.300308 s]
/proc/loadavg: 2.27 2.21 2.18 3/174 1496
/proc/meminfo: memFree=29554488/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=17788 CPUtime=0.28 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 3165 0 0 0 28 0 0 0 20 0 1 0 62235770 18214912 2984 33554432000 4194304 5646918 140735160783648 140735532028280 4419702 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 4447 2985 120 355 0 4088 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17788

[startup+0.700262 s]
/proc/loadavg: 2.27 2.21 2.18 3/174 1496
/proc/meminfo: memFree=29554488/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=19388 CPUtime=0.68 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 3750 0 0 0 68 0 0 0 20 0 1 0 62235770 19853312 4049 33554432000 4194304 5646918 140735160783648 140735532028280 4398067 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 4847 4049 144 355 0 4488 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 19388

[startup+1.50026 s]
/proc/loadavg: 2.27 2.21 2.18 3/175 1497
/proc/meminfo: memFree=29537288/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=22108 CPUtime=1.49 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 4264 0 0 0 148 1 0 0 20 0 1 0 62235770 22638592 5073 33554432000 4194304 5646918 140735160783648 140735160781800 4404133 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 5527 5073 144 355 0 5168 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22108

[startup+3.10034 s]
/proc/loadavg: 2.25 2.20 2.18 3/175 1497
/proc/meminfo: memFree=29529844/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=33708 CPUtime=3.09 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 5304 0 0 0 308 1 0 0 20 0 1 0 62235770 34516992 7126 33554432000 4194304 5646918 140735160783648 140735160782344 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 8427 7126 144 355 0 8068 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33708

[startup+6.30032 s]
/proc/loadavg: 2.25 2.20 2.18 3/175 1497
/proc/meminfo: memFree=29515064/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=46124 CPUtime=6.28 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 6041 0 0 0 627 1 0 0 20 0 1 0 62235770 47230976 10416 33554432000 4194304 5646918 140735160783648 140735160781784 4403173 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 11531 10416 144 355 0 11172 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 46124

[startup+12.7003 s]
/proc/loadavg: 2.21 2.20 2.18 3/175 1497
/proc/meminfo: memFree=29510308/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=48044 CPUtime=12.68 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 7962 0 0 0 1266 2 0 0 20 0 1 0 62235770 49197056 11629 33554432000 4194304 5646918 140735160783648 140735160781784 4403178 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 12011 11629 146 355 0 11652 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48044

[startup+25.5004 s]
/proc/loadavg: 2.18 2.19 2.18 4/175 1497
/proc/meminfo: memFree=29455716/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=116584 CPUtime=25.48 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 9510 0 0 0 2543 5 0 0 20 0 1 0 62235770 119382016 24292 33554432000 4194304 5646918 140735160783648 140735160782360 4402829 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 29146 24292 146 355 0 28787 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 116584

[startup+51.1004 s]
/proc/loadavg: 2.24 2.20 2.18 3/175 1497
/proc/meminfo: memFree=29437908/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=116692 CPUtime=51.07 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 10276 0 0 0 5100 7 0 0 20 0 1 0 62235770 119492608 28545 33554432000 4194304 5646918 140735160783648 140735160782344 4416598 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 29173 28545 146 355 0 28814 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 116692

[startup+102.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/175 1498
/proc/meminfo: memFree=29482364/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=67372 CPUtime=102.28 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 13470 0 0 0 10214 14 0 0 20 0 1 0 62235770 68988928 16447 33554432000 4194304 5646918 140735160783648 140735160782360 4403147 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 16843 16447 146 355 0 16484 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 67372

[startup+162.3 s]
/proc/loadavg: 2.23 2.21 2.18 4/175 1499
/proc/meminfo: memFree=29442852/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=116692 CPUtime=162.27 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 17617 0 0 0 16204 23 0 0 20 0 1 0 62235770 119492608 26873 33554432000 4194304 5646918 140735160783648 140735160781944 4399784 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 29173 26873 146 355 0 28814 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 116692

[startup+222.307 s]
/proc/loadavg: 2.29 2.22 2.19 3/175 1501
/proc/meminfo: memFree=29431672/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=116692 CPUtime=222.26 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 20803 0 0 0 22195 31 0 0 20 0 1 0 62235770 119492608 27905 33554432000 4194304 5646918 140735160783648 140735160781944 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 29173 27905 146 355 0 28814 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 116692

[startup+282.3 s]
/proc/loadavg: 2.31 2.24 2.19 3/175 1502
/proc/meminfo: memFree=29387820/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=197600 CPUtime=282.25 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 25365 0 0 0 28186 39 0 0 20 0 1 0 62235770 202342400 38001 33554432000 4194304 5646918 140735160783648 140735160782344 4403136 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 49400 38001 146 355 0 49041 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 197600

[startup+342.3 s]
/proc/loadavg: 2.30 2.25 2.19 4/176 1572
/proc/meminfo: memFree=30151040/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=67532 CPUtime=342.23 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 29436 0 0 0 34176 47 0 0 20 0 1 0 62235770 69152768 16557 33554432000 4194304 5646918 140735160783648 140735160782344 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 16883 16557 146 355 0 16524 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 67532

[startup+402.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/175 1573
/proc/meminfo: memFree=30085712/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=178060 CPUtime=402.22 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 33858 0 0 0 40167 55 0 0 20 0 1 0 62235770 182333440 40264 33554432000 4194304 5646918 140735160783648 140735160782344 4403138 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 44515 40264 146 355 0 44156 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 178060

[startup+462.3 s]
/proc/loadavg: 2.19 2.22 2.18 4/175 1574
/proc/meminfo: memFree=30143616/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=97920 CPUtime=462.21 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 37902 0 0 0 46158 63 0 0 20 0 1 0 62235770 100270080 24151 33554432000 4194304 5646918 140735160783648 140735160782360 4399906 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 24480 24151 146 355 0 24121 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 97920

[startup+522.3 s]
/proc/loadavg: 2.16 2.21 2.18 4/174 1575
/proc/meminfo: memFree=30190636/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=97920 CPUtime=522.2 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 41942 0 0 0 52150 70 0 0 20 0 1 0 62235770 100270080 24151 33554432000 4194304 5646918 140735160783648 140735160782360 4403178 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 24480 24151 146 355 0 24121 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 97920

[startup+582.3 s]
/proc/loadavg: 2.27 2.23 2.19 4/175 1577
/proc/meminfo: memFree=30104072/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=147240 CPUtime=582.19 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 44632 0 0 0 58144 75 0 0 20 0 1 0 62235770 150773760 36206 33554432000 4194304 5646918 140735160783648 140735160781944 4416598 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 36810 36206 146 355 0 36451 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 147240


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

/proc/loadavg: 2.25 2.21 2.18 3/175 1590
/proc/meminfo: memFree=30026996/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=178060 CPUtime=1122.11 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 79111 0 0 0 112073 138 0 0 20 0 1 0 62235770 182333440 40793 33554432000 4194304 5646918 140735160783648 140735160782344 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 44515 40793 146 355 0 44156 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 178060

[startup+1182.3 s]
/proc/loadavg: 2.15 2.19 2.18 4/175 1592
/proc/meminfo: memFree=30027680/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=228148 CPUtime=1182.1 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 83192 0 0 0 118065 145 0 0 20 0 1 0 62235770 233623552 49805 33554432000 4194304 5646918 140735160783648 140735160782344 4402832 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 57037 49805 146 355 0 56678 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 228148

[startup+1242.3 s]
/proc/loadavg: 2.20 2.20 2.18 4/175 1593
/proc/meminfo: memFree=30074780/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=147240 CPUtime=1242.09 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 86636 0 0 0 124056 153 0 0 20 0 1 0 62235770 150773760 35613 33554432000 4194304 5646918 140735160783648 140735160781944 4402788 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 36810 35613 146 355 0 36451 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 147240

[startup+1302.3 s]
/proc/loadavg: 2.29 2.22 2.19 3/175 1594
/proc/meminfo: memFree=30042996/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=178060 CPUtime=1302.08 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 90477 0 0 0 130049 159 0 0 20 0 1 0 62235770 182333440 42337 33554432000 4194304 5646918 140735160783648 140735160782344 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 44515 42337 146 355 0 44156 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 178060

[startup+1362.3 s]
/proc/loadavg: 2.41 2.27 2.20 3/175 1595
/proc/meminfo: memFree=30066020/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=228148 CPUtime=1362.07 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 94535 0 0 0 136042 165 0 0 20 0 1 0 62235770 233623552 47758 33554432000 4194304 5646918 140735160783648 140735160782344 4403450 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 57037 47758 146 355 0 56678 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 228148

[startup+1422.3 s]
/proc/loadavg: 2.36 2.27 2.20 4/175 1596
/proc/meminfo: memFree=30026632/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=147240 CPUtime=1422.07 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 97993 0 0 0 142035 172 0 0 20 0 1 0 62235770 150773760 36126 33554432000 4194304 5646918 140735160783648 140735160781944 4403147 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 36810 36126 146 355 0 36451 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 147240

[startup+1482.3 s]
/proc/loadavg: 2.35 2.29 2.21 3/175 1599
/proc/meminfo: memFree=30080016/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=178060 CPUtime=1482.05 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 101856 0 0 0 148026 179 0 0 20 0 1 0 62235770 182333440 43912 33554432000 4194304 5646918 140735160783648 140735160782344 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 44515 43912 146 355 0 44156 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 178060

[startup+1542.31 s]
/proc/loadavg: 2.16 2.24 2.20 3/176 1603
/proc/meminfo: memFree=30060152/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=147240 CPUtime=1542.05 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 106066 0 0 0 154019 186 0 0 20 0 1 0 62235770 150773760 32542 33554432000 4194304 5646918 140735160783648 140735160781944 4403184 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 36810 32542 146 355 0 36451 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 147240

[startup+1602.3 s]
/proc/loadavg: 2.27 2.26 2.20 4/175 1604
/proc/meminfo: memFree=30065776/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=147240 CPUtime=1602.03 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 109316 0 0 0 160010 193 0 0 20 0 1 0 62235770 150773760 34078 33554432000 4194304 5646918 140735160783648 140735160781944 4403368 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 36810 34078 146 355 0 36451 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 147240

[startup+1662.3 s]
/proc/loadavg: 2.26 2.26 2.20 3/175 1605
/proc/meminfo: memFree=30009736/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=147240 CPUtime=1662.03 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 112814 0 0 0 166002 201 0 0 20 0 1 0 62235770 150773760 36364 33554432000 4194304 5646918 140735160783648 140735160781944 4416598 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 36810 36365 146 355 0 36451 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 147240

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1496 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1664 s]
/proc/loadavg: 2.26 2.26 2.20 3/175 1605
/proc/meminfo: memFree=30001236/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=178060 CPUtime=1663.73 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 113159 0 0 0 166172 201 0 0 20 0 1 0 62235770 182333440 38241 33554432000 4194304 5646918 140735160783648 140735160782344 4397480 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 44515 38241 146 355 0 44156 0
Current children cumulated CPU time (s) 1663.73
Current children cumulated vsize (KiB) 178060

[startup+1689.6 s]
/proc/loadavg: 2.17 2.24 2.20 3/175 1606
/proc/meminfo: memFree=29953456/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=228148 CPUtime=1689.33 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 114006 0 0 0 168730 203 0 0 20 0 1 0 62235770 233623552 55950 33554432000 4194304 5646918 140735160783648 140735160782344 4397480 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 57037 55950 146 355 0 56678 0
Current children cumulated CPU time (s) 1689.33
Current children cumulated vsize (KiB) 228148

[startup+1696 s]
/proc/loadavg: 2.24 2.25 2.20 4/175 1606
/proc/meminfo: memFree=29978296/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=97920 CPUtime=1695.73 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 114534 0 0 0 169369 204 0 0 20 0 1 0 62235770 100270080 24175 33554432000 4194304 5646918 140735160783648 140735160782360 4399325 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 24480 24175 146 355 0 24121 0
Current children cumulated CPU time (s) 1695.73
Current children cumulated vsize (KiB) 97920

[startup+1699.2 s]
/proc/loadavg: 2.22 2.25 2.20 3/175 1606
/proc/meminfo: memFree=30076332/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=147240 CPUtime=1698.92 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 114733 0 0 0 169688 204 0 0 20 0 1 0 62235770 150773760 34594 33554432000 4194304 5646918 140735160783648 140735160781944 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 36810 34594 146 355 0 36451 0
Current children cumulated CPU time (s) 1698.92
Current children cumulated vsize (KiB) 147240

[startup+1700.8 s]
/proc/loadavg: 2.22 2.25 2.20 3/175 1606
/proc/meminfo: memFree=30055236/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=178060 CPUtime=1700.52 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 115320 0 0 0 169847 205 0 0 20 0 1 0 62235770 182333440 37221 33554432000 4194304 5646918 140735160783648 140735160781944 4402815 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 44515 37221 146 355 0 44156 0
Current children cumulated CPU time (s) 1700.52
Current children cumulated vsize (KiB) 178060

[startup+1702.4 s]
/proc/loadavg: 2.22 2.25 2.20 3/175 1606
/proc/meminfo: memFree=30047168/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=178060 CPUtime=1702.12 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 115324 0 0 0 170007 205 0 0 20 0 1 0 62235770 182333440 39269 33554432000 4194304 5646918 140735160783648 140735160782344 4403472 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 44515 39269 146 355 0 44156 0
Current children cumulated CPU time (s) 1702.12
Current children cumulated vsize (KiB) 178060

[startup+1703.2 s]
/proc/loadavg: 2.20 2.25 2.20 3/175 1606
/proc/meminfo: memFree=30038976/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=178060 CPUtime=1702.92 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 115326 0 0 0 170087 205 0 0 20 0 1 0 62235770 182333440 40293 33554432000 4194304 5646918 140735160783648 140735160782344 4402661 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 44515 40293 146 355 0 44156 0
Current children cumulated CPU time (s) 1702.92
Current children cumulated vsize (KiB) 178060

[startup+1703.6 s]
/proc/loadavg: 2.20 2.25 2.20 3/175 1606
/proc/meminfo: memFree=30038976/32872528 swapFree=1316768/1463936
[pid=1496] ppid=1493 vsize=178060 CPUtime=1703.32 cores=1,3,5,7
/proc/1496/stat : 1496 (minisatp) R 1493 1496 31737 0 -1 4202496 115327 0 0 0 170127 205 0 0 20 0 1 0 62235770 182333440 40805 33554432000 4194304 5646918 140735160783648 140735160782344 4397622 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/1496/statm: 44515 40805 146 355 0 44156 0
Current children cumulated CPU time (s) 1703.32
Current children cumulated vsize (KiB) 178060

Child status: 0
Real time (s): 1703.61
CPU time (s): 1703.34
CPU user time (s): 1701.28
CPU system time (s): 2.06169
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 358856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1701.28
system time used= 2.06169
maximum resident set size= 326464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115337
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= 11
involuntary context switches= 1755

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.27035 second user time and 7.28289 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-22 15:24:48
IDJOB=4111865
IDBENCH=90121
IDSOLVER=2555
FILE ID=node121/4111865-1466601888
RUNJOBID= node121-1466586650-31754
PBS_JOBID= 19953372
Free space on /tmp= 71712 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111865-1466601888/watcher-4111865-1466601888 -o /tmp/evaluation-result-4111865-1466601888/solver-4111865-1466601888 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466586650-31754 --watchdog 1960  minisatp HOME/instance-4111865-1466601888.opb

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

MD5SUM BENCH= 21cc97db69195cd3dcf69a6d797764c1
RANDOM SEED=1559768498

node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29554528 kB
Buffers:          115912 kB
Cached:           200836 kB
SwapCached:         2044 kB
Active:           876560 kB
Inactive:         238988 kB
Active(anon):     799708 kB
Inactive(anon):     1456 kB
Active(file):      76852 kB
Inactive(file):   237532 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67099880 kB
Dirty:              4296 kB
Writeback:             0 kB
AnonPages:       2302832 kB
Mapped:             8804 kB
Shmem:                 0 kB
Slab:             604380 kB
SReclaimable:      48716 kB
SUnreclaim:       555664 kB
KernelStack:        1456 kB
PageTables:         8400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2396040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    657408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4111865-1466601888.opb

Free space on /tmp at the end= 71712 MiB
End job on node121 at 2016-06-22 15:53:12