Trace number 3723054

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB12: minisatp 1.0-2-g022594cOPT46877 832.464 832.672

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__128.opb
MD5SUMc60a8914afda75f67db3a97e49d1591e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark46877
Best CPU time to get the best result obtained on this benchmark2.73358
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5138
Total number of constraints60
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)42
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint128
Maximum length of a constraint1025
Number of terms in the objective function 5120
Biggest coefficient in the objective function 94409
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 223303936
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 94409
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 223303936
Number of bits of the biggest sum of numbers28
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.00/0.01	c Converting 80 PB-constraints to clauses...
0.00/0.01	c   -- Unit propagations: (none)
0.00/0.01	c   -- Detecting intervals from adjacent constraints: ####################
0.00/0.01	c   -- Clauses(.)/Splits(s): (none)
0.00/0.01	c ---[  78]---> BDD-cost:  509
0.00/0.01	c ---[  76]---> BDD-cost:  765
0.00/0.01	c ---[  74]---> BDD-cost: 3069
0.00/0.01	c ---[  72]---> BDD-cost: 3069
0.00/0.02	c ---[  70]---> BDD-cost: 2304
0.00/0.02	c ---[  68]---> BDD-cost: 1917
0.00/0.02	c ---[  66]---> BDD-cost: 1149
0.00/0.02	c ---[  64]---> BDD-cost: 3069
0.00/0.03	c ---[  62]---> BDD-cost:  765
0.00/0.03	c ---[  60]---> BDD-cost: 1917
0.00/0.03	c ---[  58]---> BDD-cost: 1533
0.00/0.03	c ---[  56]---> BDD-cost: 1533
0.00/0.03	c ---[  54]---> BDD-cost:  765
0.00/0.03	c ---[  52]---> BDD-cost:  765
0.00/0.03	c ---[  50]---> BDD-cost: 1533
0.00/0.03	c ---[  48]---> BDD-cost:  765
0.00/0.03	c ---[  46]---> BDD-cost:  765
0.00/0.03	c ---[  44]---> BDD-cost: 1533
0.00/0.04	c ---[  42]---> BDD-cost:  765
0.00/0.04	c ---[  40]---> BDD-cost: 1149
0.00/0.04	c ---[  39]---> BDD-cost:  126
0.00/0.04	c ---[  38]---> BDD-cost:  126
0.00/0.04	c ---[  37]---> BDD-cost:  126
0.00/0.04	c ---[  36]---> BDD-cost:  253
0.00/0.04	c ---[  35]---> BDD-cost:  126
0.00/0.04	c ---[  34]---> BDD-cost:  253
0.00/0.04	c ---[  33]---> BDD-cost:  126
0.00/0.04	c ---[  32]---> BDD-cost:  253
0.00/0.04	c ---[  31]---> BDD-cost:  126
0.00/0.04	c ---[  30]---> BDD-cost:  253
0.00/0.04	c ---[  29]---> BDD-cost:  126
0.00/0.04	c ---[  28]---> BDD-cost:  253
0.00/0.04	c ---[  27]---> BDD-cost:  126
0.00/0.04	c ---[  26]---> BDD-cost:  253
0.00/0.04	c ---[  25]---> BDD-cost:  126
0.00/0.04	c ---[  24]---> BDD-cost:  253
0.00/0.04	c ---[  23]---> BDD-cost:  126
0.00/0.04	c ---[  22]---> BDD-cost:  253
0.00/0.04	c ---[  21]---> BDD-cost:  126
0.00/0.04	c ---[  20]---> BDD-cost:  253
0.00/0.04	c ---[  19]---> BDD-cost:  127
0.00/0.04	c ---[  18]---> BDD-cost:  253
0.00/0.04	c ---[  17]---> BDD-cost:  126
0.00/0.04	c ---[  16]---> BDD-cost:  253
0.00/0.04	c ---[  15]---> BDD-cost:  126
0.00/0.04	c ---[  14]---> BDD-cost:  253
0.00/0.04	c ---[  13]---> BDD-cost:  126
0.00/0.04	c ---[  12]---> BDD-cost:  253
0.00/0.04	c ---[  11]---> BDD-cost:  126
0.00/0.04	c ---[  10]---> BDD-cost:  253
0.00/0.04	c ---[   9]---> BDD-cost:  127
0.00/0.04	c ---[   8]---> BDD-cost:  253
0.00/0.04	c ---[   7]---> BDD-cost:  126
0.00/0.04	c ---[   6]---> BDD-cost:  253
0.00/0.04	c ---[   5]---> BDD-cost:  126
0.00/0.04	c ---[   4]---> BDD-cost:  253
0.00/0.04	c ---[   3]---> BDD-cost:  253
0.00/0.04	c ---[   2]---> BDD-cost:  253
0.00/0.04	c ---[   1]---> BDD-cost:  253
0.00/0.04	c ---[   0]---> BDD-cost:  253
0.00/0.07	c ==================================[MINISAT+]==================================
0.00/0.07	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.07	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.07	c ==============================================================================
0.00/0.07	c |         0 |   99224   272182 |   33074       0        0    -nan |  0.000 % |
0.00/0.08	c |       150 |   99224   272182 |   36381     150     6811    45.4 |  0.141 % |
0.00/0.09	c |       300 |   99224   272182 |   40019     300     7741    25.8 |  0.141 % |
0.00/0.10	c |       553 |   99224   272182 |   44021     553     9842    17.8 |  0.141 % |
0.00/0.11	c |       892 |   99221   272173 |   48423     839    11728    14.0 |  0.144 % |
0.00/0.15	c |      1398 |   99221   272173 |   53266    1345    17745    13.2 |  0.144 % |
0.00/0.19	c |      2158 |   99221   272173 |   58592    2105    32266    15.3 |  0.144 % |
0.00/0.27	c |      3297 |   99221   272173 |   64451    3244    53184    16.4 |  0.144 % |
0.00/0.29	c ==============================================================================
0.00/0.29	c Found solution: 528963
0.00/0.29	c ---[   0]---> Adder-cost: 62238   maxlim: 222774973   bits: 28/28
40.98/41.09	c ==================================[MINISAT+]==================================
40.98/41.09	c | Conflicts | Original         | Learnt                           | Progress |
40.98/41.09	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
40.98/41.09	c ==============================================================================
40.98/41.09	c |      3328 |  534746  1827732 |  178248    3275    54969    16.8 |  0.144 % |
41.08/41.10	c |      3429 |  534746  1827732 |  196072    3376    55481    16.4 |  0.074 % |
41.18/41.21	c |      3691 |  534746  1827732 |  215680    3638    70856    19.5 |  0.074 % |
41.28/41.32	c |      3928 |  534746  1827732 |  237248    3875    88865    22.9 |  0.074 % |
41.38/41.46	c |      4267 |  534743  1827723 |  260972    4181   107294    25.7 |  0.075 % |
41.48/41.58	c |      4773 |  534733  1827695 |  287070    4681   109971    23.5 |  0.078 % |
41.79/41.87	c |      5579 |  534733  1827695 |  315777    5487   161074    29.4 |  0.078 % |
41.98/42.04	c |      6765 |  534724  1827664 |  347354    6667   193031    29.0 |  0.079 % |
42.18/42.26	c |      8473 |  534703  1827589 |  382090    8371   211914    25.3 |  0.080 % |
42.89/42.90	c |     11039 |  534684  1827520 |  420299   10882   284186    26.1 |  0.082 % |
43.58/43.66	c |     14890 |  534669  1827467 |  462329   14726   458720    31.2 |  0.083 % |
44.58/44.65	c ==============================================================================
44.58/44.65	c Found solution: 414991
44.58/44.65	c ---[   0]---> Adder-cost: 0   maxlim: 222888945   bits: 28/28
84.08/84.12	c ==================================[MINISAT+]==================================
84.08/84.12	c | Conflicts | Original         | Learnt                           | Progress |
84.08/84.12	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
84.08/84.12	c ==============================================================================
84.08/84.12	c |     20584 |  534688  1827673 |  178229   20420   696877    34.1 |  0.083 % |
84.08/84.17	c |     20728 |  534688  1827673 |  196051   20564   699583    34.0 |  0.092 % |
84.18/84.24	c |     20879 |  534688  1827673 |  215657   20715   701529    33.9 |  0.092 % |
84.28/84.31	c |     21105 |  534688  1827673 |  237222   20941   707790    33.8 |  0.092 % |
84.28/84.35	c |     21442 |  534688  1827673 |  260945   21278   713887    33.6 |  0.092 % |
84.38/84.47	c |     21953 |  534688  1827673 |  287039   21789   725573    33.3 |  0.092 % |
84.58/84.62	c |     22714 |  534688  1827673 |  315743   22550   751376    33.3 |  0.092 % |
84.78/84.86	c |     23859 |  534688  1827673 |  347317   23695   776040    32.8 |  0.092 % |
85.18/85.22	c |     25567 |  534688  1827673 |  382049   25403   802454    31.6 |  0.092 % |
86.08/86.16	c |     28130 |  534679  1827642 |  420254   27964  1046633    37.4 |  0.093 % |
87.08/87.14	c |     31974 |  534655  1827558 |  462280   31803  1178529    37.1 |  0.095 % |
88.58/88.63	c |     37740 |  534580  1827293 |  508508   37553  1518038    40.4 |  0.099 % |
91.18/91.23	c |     46431 |  534436  1826785 |  559358   46067  1824774    39.6 |  0.109 % |
99.17/99.26	c |     59405 |  534223  1826038 |  615294   58980  3624149    61.4 |  0.125 % |
105.46/105.56	c |     78866 |  533878  1824825 |  676824   78344  4363747    55.7 |  0.157 % |
105.96/106.07	c ==============================================================================
105.96/106.07	c Found solution: 321169
105.96/106.07	c ---[   0]---> Adder-cost: 0   maxlim: 222982767   bits: 28/28
145.45/145.53	c ==================================[MINISAT+]==================================
145.45/145.53	c | Conflicts | Original         | Learnt                           | Progress |
145.45/145.53	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
145.45/145.53	c ==============================================================================
145.45/145.53	c |     81356 |  533885  1824940 |  177961   80831  4432831    54.8 |  0.157 % |
145.45/145.58	c |     81458 |  533885  1824940 |  195757   80933  4436305    54.8 |  0.165 % |
145.55/145.67	c |     81610 |  533885  1824940 |  215332   81085  4455986    55.0 |  0.165 % |
145.65/145.79	c |     81835 |  533885  1824940 |  236866   81310  4466792    54.9 |  0.165 % |
145.85/145.99	c |     82172 |  533885  1824940 |  260552   81647  4481041    54.9 |  0.165 % |
146.05/146.13	c |     82678 |  533885  1824940 |  286607   82153  4486792    54.6 |  0.165 % |
146.15/146.30	c |     83437 |  533885  1824940 |  315268   82912  4547338    54.8 |  0.165 % |
147.15/147.29	c |     84576 |  533492  1823539 |  346795   83998  4601867    54.8 |  0.231 % |
148.25/148.38	c |     86287 |  533186  1822226 |  381475   85660  4641532    54.2 |  0.274 % |
148.85/148.96	c |     88852 |  533165  1822151 |  419622   88220  4726882    53.6 |  0.275 % |
149.85/149.96	c |     92700 |  533150  1822098 |  461585   92065  4918085    53.4 |  0.276 % |
153.04/153.10	c |     98466 |  533054  1821758 |  507743   97805  5464199    55.9 |  0.282 % |
156.54/156.64	c |    107115 |  532842  1821002 |  558517  106404  5819612    54.7 |  0.295 % |
156.64/156.78	c ==============================================================================
156.64/156.78	c Found solution: 220302
156.64/156.78	c ---[   0]---> Adder-cost: 0   maxlim: 223083634   bits: 28/28
196.33/196.42	c ==================================[MINISAT+]==================================
196.33/196.42	c | Conflicts | Original         | Learnt                           | Progress |
196.33/196.42	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
196.33/196.42	c ==============================================================================
196.33/196.42	c |    107425 |  532869  1821178 |  177623  106714  5827337    54.6 |  0.295 % |
196.33/196.46	c |    107528 |  532869  1821178 |  195385  106817  5832786    54.6 |  0.306 % |
196.43/196.54	c |    107683 |  532869  1821178 |  214923  106972  5839530    54.6 |  0.306 % |
196.53/196.61	c |    107908 |  532869  1821178 |  236416  107197  5846367    54.5 |  0.306 % |
205.73/205.86	c |    108274 |  532869  1821178 |  260057  107563  5859919    54.5 |  0.306 % |
205.83/205.95	c |    108784 |  532869  1821178 |  286063  108073  5886740    54.5 |  0.306 % |
206.03/206.14	c |    109543 |  532869  1821178 |  314669  108832  5911441    54.3 |  0.306 % |
206.23/206.38	c |    110682 |  532869  1821178 |  346136  109971  5936401    54.0 |  0.306 % |
207.03/207.14	c |    112391 |  532869  1821178 |  380750  111680  6028569    54.0 |  0.306 % |
208.03/208.14	c |    114954 |  532821  1821010 |  418825  114226  6107304    53.5 |  0.310 % |
209.53/209.67	c |    118798 |  532752  1820771 |  460708  118054  6354535    53.8 |  0.317 % |
211.83/211.99	c |    124564 |  532674  1820493 |  506779  123808  6656291    53.8 |  0.321 % |
216.83/216.90	c |    133214 |  532035  1818220 |  557457  132126  7038168    53.3 |  0.406 % |
226.93/227.06	c |    146188 |  531488  1816303 |  613202  144961  7768100    53.6 |  0.463 % |
237.02/237.18	c |    165651 |  530861  1814094 |  674523  164285  8851532    53.9 |  0.521 % |
253.93/254.08	c |    194843 |  529839  1810476 |  741975  193264 10384218    53.7 |  0.622 % |
289.52/289.66	c |    238632 |  527030  1800659 |  816172  236226 12972565    54.9 |  1.020 % |
362.11/362.23	c |    304318 |  525929  1796830 |  897790  301547 18868618    62.6 |  1.173 % |
516.24/516.42	c |    402844 |  524940  1793403 |  987569  399756 31463735    78.7 |  1.301 % |
523.22/523.44	c ==============================================================================
523.22/523.44	c Found solution: 96359
523.22/523.44	c ---[   0]---> Adder-cost: 0   maxlim: 223207577   bits: 28/28
562.62/562.89	c ==================================[MINISAT+]==================================
562.62/562.89	c | Conflicts | Original         | Learnt                           | Progress |
562.62/562.89	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
562.62/562.89	c ==============================================================================
562.62/562.89	c |    410038 |  521851  1782221 |  173950  383502 28638699    74.7 |  1.301 % |
563.12/563.35	c |    410138 |  521851  1782221 |  191345   48257  2519376    52.2 |  1.802 % |
563.22/563.44	c |    410288 |  521836  1782168 |  210479   48405  2521396    52.1 |  1.803 % |
563.32/563.56	c |    410513 |  521836  1782168 |  231527   48630  2531889    52.1 |  1.803 % |
563.52/563.77	c |    410855 |  521836  1782168 |  254680   48972  2538406    51.8 |  1.803 % |
564.03/564.27	c |    411363 |  521814  1782092 |  280148   49477  2561866    51.8 |  1.806 % |
565.02/565.22	c |    412124 |  521781  1781979 |  308163   50183  2638385    52.6 |  1.811 % |
565.82/566.07	c |    413263 |  521685  1781645 |  338979   51164  2737478    53.5 |  1.826 % |
567.12/567.32	c |    414976 |  521443  1780801 |  372877   52695  2848524    54.1 |  1.863 % |
569.22/569.45	c |    417539 |  521365  1780527 |  410165   55244  3012118    54.5 |  1.876 % |
572.93/573.14	c |    421383 |  521096  1779606 |  451181   58870  3216830    54.6 |  1.921 % |
578.52/578.71	c |    427149 |  520937  1779061 |  496299   64612  3721758    57.6 |  1.946 % |
588.62/588.87	c |    435798 |  520787  1778539 |  545929   73247  4485034    61.2 |  1.964 % |
607.82/608.07	c |    448773 |  520355  1777019 |  600522   86130  6509018    75.6 |  2.031 % |
613.42/613.68	c ==============================================================================
613.42/613.68	c Found solution: 78430
613.42/613.68	c ---[   0]---> Adder-cost: 34136   maxlim: 176747554   bits: 28/28
645.60/645.84	c ==================================[MINISAT+]==================================
645.60/645.84	c | Conflicts | Original         | Learnt                           | Progress |
645.60/645.84	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
645.60/645.84	c ==============================================================================
645.60/645.84	c |    452563 |  706612  2447024 |  235537   84842  6564704    77.4 |  2.031 % |
645.80/646.05	c |    452665 |  706612  2447024 |  259090   84944  6577637    77.4 |  7.180 % |
646.00/646.20	c |    452815 |  706612  2447024 |  284999   85094  6582225    77.4 |  7.180 % |
646.20/646.40	c |    453044 |  706612  2447024 |  313499   85323  6588954    77.2 |  7.180 % |
646.40/646.62	c |    453384 |  706612  2447024 |  344849   85663  6617304    77.2 |  7.180 % |
647.80/648.02	c |    453891 |  706432  2446388 |  379334   86148  6761324    78.5 |  7.190 % |
649.00/649.28	c |    454651 |  706423  2446357 |  417268   86905  6817590    78.4 |  7.191 % |
651.60/651.80	c |    455790 |  706383  2446223 |  458994   88037  6908452    78.5 |  7.195 % |
654.60/654.82	c |    457498 |  706342  2446080 |  504894   89744  7072661    78.8 |  7.197 % |
658.00/658.24	c |    460060 |  706297  2445929 |  555383   92299  7515015    81.4 |  7.201 % |
668.51/668.79	c |    463904 |  706144  2445394 |  610922   96120  8185046    85.2 |  7.213 % |
682.81/683.07	c |    469672 |  705904  2444554 |  672014  101792  9265623    91.0 |  7.234 % |
701.30/701.54	c |    478321 |  688175  2382940 |  739216  101193  9428632    93.2 |  9.118 % |
753.59/753.87	c |    491296 |  686991  2378790 |  813137  113822 12334424   108.4 |  9.240 % |
797.29/797.59	c |    510761 |  685930  2375017 |  894451  133090 17189842   129.2 |  9.337 % |
829.38/829.63	c ==============================================================================
829.38/829.63	c Found solution: 46877
829.38/829.63	c ---[   0]---> BDD-cost:65700
829.78/830.04	c ==================================[MINISAT+]==================================
829.78/830.04	c | Conflicts | Original         | Learnt                           | Progress |
829.78/830.04	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
829.78/830.04	c ==============================================================================
829.78/830.04	c |    527192 |  497691  1622351 |  165897   78822  9216304   116.9 |  9.337 % |
829.98/830.26	c |    527294 |  497691  1622351 |  182486   78924  9274201   117.5 | 34.448 % |
830.19/830.46	c |    527445 |  497676  1622300 |  200735   79072  9298881   117.6 | 34.449 % |
830.58/830.85	c |    527671 |  497643  1622183 |  220808   79295  9308627   117.4 | 34.454 % |
830.88/831.15	c |    528009 |  457721  1486434 |  242889   45581  2479160    54.4 | 37.944 % |
831.29/831.56	c |    528517 |  457707  1486382 |  267178   46088  2496544    54.2 | 37.946 % |
831.78/832.01	c |    529277 |  457707  1486382 |  293896   46848  2577199    55.0 | 37.946 % |
832.39/832.64	c ==============================================================================
832.39/832.64	c Optimal solution: 46877
832.39/832.64	s OPTIMUM FOUND
832.39/832.64	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
832.39/832.64	c _______________________________________________________________________________
832.39/832.64	c 
832.39/832.64	c restarts              : 102
832.39/832.64	c conflicts             : 530269         (637 /sec)
832.39/832.64	c decisions             : 3086150        (3709 /sec)
832.39/832.64	c propagations          : 0              (0 /sec)
832.39/832.64	c inspects              : 0              (0 /sec)
832.39/832.64	c CPU time              : 832.11 s
832.39/832.64	c _______________________________________________________________________________

Verifier Data 

OK	46877

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723054-1338575427/watcher-3723054-1338575427 -o /tmp/evaluation-result-3723054-1338575427/solver-3723054-1338575427 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723054-1338575427.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 13169
/proc/meminfo: memFree=29200480/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0

[startup+0.0973059 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 13169
/proc/meminfo: memFree=29200480/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100362 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 13169
/proc/meminfo: memFree=29200480/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300321 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 13169
/proc/meminfo: memFree=29200480/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700333 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 13169
/proc/meminfo: memFree=29200480/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 13174
/proc/meminfo: memFree=29083920/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=89708 CPUtime=1.49 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 24950 0 0 0 145 4 0 0 20 0 1 0 323671158 91860992 21859 33554432000 4194304 5276501 140737373473168 140737372739448 4378892 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 22427 21859 119 265 0 22159 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98856

[startup+3.10037 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 13174
/proc/meminfo: memFree=29112104/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=89708 CPUtime=3.09 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 24950 0 0 0 305 4 0 0 20 0 1 0 323671158 91860992 21859 33554432000 4194304 5276501 140737373473168 140737373472360 4378937 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 22427 21859 119 265 0 22159 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98856

[startup+6.30032 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 13174
/proc/meminfo: memFree=29111608/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=89708 CPUtime=6.29 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 24950 0 0 0 625 4 0 0 20 0 1 0 323671158 91860992 21859 33554432000 4194304 5276501 140737373473168 140737373472360 4378937 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 22427 21859 119 265 0 22159 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 98856

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 13174
/proc/meminfo: memFree=29111260/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=89708 CPUtime=12.68 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 24950 0 0 0 1264 4 0 0 20 0 1 0 323671158 91860992 21859 33554432000 4194304 5276501 140737373473168 140737373472360 4378937 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 22427 21859 119 265 0 22159 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 98856

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 13174
/proc/meminfo: memFree=29111508/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=89708 CPUtime=25.48 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 24950 0 0 0 2544 4 0 0 20 0 1 0 323671158 91860992 21859 33554432000 4194304 5276501 140737373473168 140737373472360 4378937 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 22427 21859 119 265 0 22159 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98856

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 13174
/proc/meminfo: memFree=28940884/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=268696 CPUtime=51.08 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 39816 0 0 0 5097 11 0 0 20 0 1 0 323671158 275144704 64489 33554432000 4194304 5276501 140737373473168 140737373472136 4378937 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 67174 64489 150 265 0 66906 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 277844

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 13174
/proc/meminfo: memFree=28936800/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=272212 CPUtime=102.27 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 40665 0 0 0 10216 11 0 0 20 0 1 0 323671158 278745088 65322 33554432000 4194304 5276501 140737373473168 140737373470760 4399741 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 68053 65322 151 265 0 67785 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 281360

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 13174
/proc/meminfo: memFree=28906984/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=299592 CPUtime=162.24 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 56787 0 0 0 16208 16 0 0 20 0 1 0 323671158 306782208 72216 33554432000 4194304 5276501 140737373473168 140737373472136 4378937 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 74898 72216 152 265 0 74630 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 308740

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 13174
/proc/meminfo: memFree=28905844/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=299592 CPUtime=222.23 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 56791 0 0 0 22207 16 0 0 20 0 1 0 323671158 306782208 72218 33554432000 4194304 5276501 140737373473168 140737373471416 4630936 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 74898 72218 154 265 0 74630 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 308740

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 13174
/proc/meminfo: memFree=28885288/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=319244 CPUtime=282.22 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 61539 0 0 0 28203 19 0 0 20 0 1 0 323671158 326905856 77241 33554432000 4194304 5276501 140737373473168 140737373470760 4395432 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 79811 77241 154 265 0 79543 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 328392

[startup+342.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/177 13175
/proc/meminfo: memFree=28859372/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=344320 CPUtime=342.21 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 67891 0 0 0 34199 22 0 0 20 0 1 0 323671158 352583680 83593 33554432000 4194304 5276501 140737373473168 140737373470760 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 86080 83593 154 265 0 85812 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 353468

[startup+402.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/177 13175
/proc/meminfo: memFree=28839588/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+462.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/177 13175
/proc/meminfo: memFree=28817516/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=385944 CPUtime=462.19 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 77710 0 0 0 46193 26 0 0 20 0 1 0 323671158 395206656 93917 33554432000 4194304 5276501 140737373473168 140737373471352 4394742 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 96486 93917 154 265 0 96218 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 395092

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/177 13175
/proc/meminfo: memFree=28790332/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=412300 CPUtime=522.12 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 84284 0 0 0 52184 28 0 0 20 0 1 0 323671158 422195200 100645 33554432000 4194304 5276501 140737373473168 140737373471160 4394737 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 103075 100645 154 265 0 102807 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 421448

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/178 13178
/proc/meminfo: memFree=28770224/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=429336 CPUtime=582.12 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 92660 0 0 0 58181 31 0 0 20 0 1 0 323671158 439640064 104932 33554432000 4194304 5276501 140737373473168 140737373471416 4399850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 107334 104932 154 265 0 107066 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 438484

[startup+642.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 13179
/proc/meminfo: memFree=28745264/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=454956 CPUtime=642.11 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 93412 0 0 0 64180 31 0 0 20 0 1 0 323671158 465874944 111305 33554432000 4194304 5276501 140737373473168 140737372883592 4378937 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 113739 111305 154 265 0 113471 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 464104

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13179
/proc/meminfo: memFree=28740860/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=459204 CPUtime=702.1 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 94013 0 0 0 70179 31 0 0 20 0 1 0 323671158 470224896 112417 33554432000 4194304 5276501 140737373473168 140737373471416 4395122 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 114801 112417 155 265 0 114533 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 468352

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13179
/proc/meminfo: memFree=28739308/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=459204 CPUtime=762.09 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 94013 0 0 0 76178 31 0 0 20 0 1 0 323671158 470224896 112417 33554432000 4194304 5276501 140737373473168 140737373471416 4394737 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 114801 112417 155 265 0 114533 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 468352

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13179
/proc/meminfo: memFree=28739308/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=459204 CPUtime=822.08 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 94013 0 0 0 82177 31 0 0 20 0 1 0 323671158 470224896 112417 33554432000 4194304 5276501 140737373473168 140737373471416 4399995 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 114801 112417 155 265 0 114533 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 468352

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

[startup+825.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13179
/proc/meminfo: memFree=28739308/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=459204 CPUtime=825.28 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 94013 0 0 0 82497 31 0 0 20 0 1 0 323671158 470224896 112417 33554432000 4194304 5276501 140737373473168 140737373471416 4394817 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 114801 112417 155 265 0 114533 0
Current children cumulated CPU time (s) 825.28
Current children cumulated vsize (KiB) 468352

[startup+828.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13179
/proc/meminfo: memFree=28739308/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=459204 CPUtime=828.48 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 94013 0 0 0 82817 31 0 0 20 0 1 0 323671158 470224896 112417 33554432000 4194304 5276501 140737373473168 140737373471416 4395513 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 114801 112417 155 265 0 114533 0
Current children cumulated CPU time (s) 828.48
Current children cumulated vsize (KiB) 468352

[startup+830.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13179
/proc/meminfo: memFree=28739308/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=463100 CPUtime=830.08 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 94689 0 0 0 82976 32 0 0 20 0 1 0 323671158 474214400 113604 33554432000 4194304 5276501 140737373473168 140737373471416 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 115775 113604 156 265 0 115507 0
Current children cumulated CPU time (s) 830.08
Current children cumulated vsize (KiB) 472248

[startup+831.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13179
/proc/meminfo: memFree=28734656/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=463100 CPUtime=831.68 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 94689 0 0 0 83136 32 0 0 20 0 1 0 323671158 474214400 113604 33554432000 4194304 5276501 140737373473168 140737373471416 4394747 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 115775 113604 156 265 0 115507 0
Current children cumulated CPU time (s) 831.68
Current children cumulated vsize (KiB) 472248

[startup+832.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13179
/proc/meminfo: memFree=28734656/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=463100 CPUtime=832.08 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 94689 0 0 0 83176 32 0 0 20 0 1 0 323671158 474214400 113604 33554432000 4194304 5276501 140737373473168 140737373471416 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 115775 113604 156 265 0 115507 0
Current children cumulated CPU time (s) 832.08
Current children cumulated vsize (KiB) 472248

[startup+832.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13179
/proc/meminfo: memFree=28734656/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=463100 CPUtime=832.28 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 94689 0 0 0 83196 32 0 0 20 0 1 0 323671158 474214400 113604 33554432000 4194304 5276501 140737373473168 140737373471416 4399741 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 115775 113604 156 265 0 115507 0
Current children cumulated CPU time (s) 832.28
Current children cumulated vsize (KiB) 472248

[startup+832.6 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 13179
/proc/meminfo: memFree=28734656/32873844 swapFree=6088/6088
[pid=13169] ppid=13167 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13169/stat : 13169 (minisat+_script) S 13167 13169 10645 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323671158 9367552 276 33554432000 4194304 5064252 140734508936560 140734508935472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13169/statm: 2287 276 236 213 0 72 0
[pid=13173] ppid=13169 vsize=463100 CPUtime=832.39 cores=0,2,4,6
/proc/13173/stat : 13173 (minisat+_64-bit) R 13169 13169 10645 0 -1 4202496 94689 0 0 0 83207 32 0 0 20 0 1 0 323671158 474214400 113604 33554432000 4194304 5276501 140737373473168 140737373471416 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 115775 113604 156 265 0 115507 0
Current children cumulated CPU time (s) 832.39
Current children cumulated vsize (KiB) 472248

Child status: 0
Real time (s): 832.672
CPU time (s): 832.464
CPU user time (s): 832.135
CPU system time (s): 0.329949
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 528556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 832.134
system time used= 0.329949
maximum resident set size= 509656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95639
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= 92
involuntary context switches= 856

runsolver used 3.14452 second user time and 7.98279 second system time

The end

Launcher Data 

Begin job on node110 at 2012-06-01 20:30:27
IDJOB=3723054
IDBENCH=71887
IDSOLVER=2307
FILE ID=node110/3723054-1338575427
RUNJOBID= node110-1338570018-12705
PBS_JOBID= 14635874
Free space on /tmp= 71132 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__128.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723054-1338575427/watcher-3723054-1338575427 -o /tmp/evaluation-result-3723054-1338575427/solver-3723054-1338575427 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723054-1338575427.opb

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

MD5SUM BENCH= c60a8914afda75f67db3a97e49d1591e
RANDOM SEED=1442010942

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29200860 kB
Buffers:          376220 kB
Cached:          2319852 kB
SwapCached:          604 kB
Active:          1337400 kB
Inactive:        1494396 kB
Active(anon):     125476 kB
Inactive(anon):    12328 kB
Active(file):    1211924 kB
Inactive(file):  1482068 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67107364 kB
Dirty:              2380 kB
Writeback:             0 kB
AnonPages:        100300 kB
Mapped:            12252 kB
Shmem:                40 kB
Slab:             703512 kB
SReclaimable:     145948 kB
SUnreclaim:       557564 kB
KernelStack:        1480 kB
PageTables:         4680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     240064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71128 MiB
End job on node110 at 2012-06-01 20:44:20