Trace number 4078720

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02SAT 671.634 671.933

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin14.opb
MD5SUM321349c7a7114538010c83c600c72ae9
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark671.634
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables8281
Total number of constraints826
Number of constraints which are clauses364
Number of constraints which are cardinality constraints (but not clauses)462
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint91
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 171
Number of bits of the biggest sum of numbers8
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 2016-06-06T14:39:47+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078720-1465216787.opb"]
0.00/0.01	c use --random-gen="473589127 4100791160 278690848 2177954854 2091140405 4215857604 4181519490 3482529032 3153173978 909143 1288810291 1294487280 1433253421 2126396674 1902512876 1558252255 2944319511 468257552 2056939993 945568615 668749536 2808691978 3292135056 4253588096 2806372645 1240799973 1392755724 3603011534 4017362209 4078289392 547454026 3645610206 1299564219 137075352 64967081 2917213043 1297222931 2151341497 3320588446 1527615699 356831631 1876384861 2052207163 2269282795 2541593900 147041666 2105376726 2712924268 3687925400 1409372148 72027905 226796655 2533313847 333217790 4019602601 3832010557 1910540491 2872507356 3039936106 2410877790 1678966124 3374547649 2982463663 727909463 1267436612 4058871486 2147461879 94514136 518300973 3418445003 2088354842 2356542901 421107434 301835206 1569047267 3129577243 2662331843 110151490 1341136895 1835204555 2756157449 807562334 2879841402 1661398875 2043031256 2603167715 70429359 1823623285 399581539 2609973768 3400240277 1322918273 2247665985 3000283321 1027581825 557076975 3005557278 196403258 4260067947 1904978524 2634761876 3514935830 1432491790 7420790 598504348 1514013947 3117441656 1843261397 3285309837 3977646870 3277976676 1756158187 973396321 2675252024 184828145 2323360562 1443895409 2583067750 858245201 571736111 2660157539 797534294 290118002 622076637 3250801039 3576832179 1992955343 2526898894 1953803596 3466162813 3388431146 83112821 3883612126 27576278 587929982 502777634 2135784102 1727921844 1285941854 1477074129 1403206842 1091922464 524185236 2244466793 2284805743 3292980487 9956633 2245022476 2611153036 366220469 3902662003 606356981 2678737289 1992072146 761063233 1797797061 449821882 1769698482 719496658 3009985053 3125973020 2133911289 1213535215 953860134 671191675 1234397751 3944213883 3379813138 3069659193 2757071753 645724526 1498063023 1125150395 3746164224 732364650 4290931363 1433208109 548639672 682306849 305008253 500976858 4185204554 1024245027 3209188327 658210726 1937043424 2475797802 3466771482 1443858153 1744187557 1221942456 524141172 535553798 1957345539 3705330491 3372984287 3227463576 606931708 3048615647 3992101472 2414474641 1797590868 278745025 2433394540 2422703809 2188186943 1750963611 1240496821 1227210160 4003871281 1598308769 3943379658 1683789345 2600019668 2010105682 3601078040 271826705 785492365 1328060355 952821028 331426712 1570896352 1670476545 1425759764 2798237948 4010423288 4213371586 2009044564 2460615654 4084425492 3025383995 1214413032 4035749081 2183915383 653665099 1505804054 3836660377 2706386643 1215770157 2329705683 870600129 3440373744 986122771 49043157 962329280 2718131788 794958946 2151669659 2442743857 1158394096 834184194 4183287765 239579724 1568300129 3976486713 2585965183 255 362436" option to reproduce the execution
0.08/0.19	c #vars 8281
0.08/0.19	c #constraints 826
0.28/0.34	c Solving starts ...
0.28/0.34	c ============================[ Search Statistics ]============================
0.28/0.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.28/0.34	c       |         |          |          |    Limit     GC | Var      | Constra 
0.28/0.34	c =============================================================================
0.28/0.34	c  0.0s |       0 |        0 |        0 |     3035      0 |        0 |        0
0.48/0.55	c  0.2s |       1 |      210 |      100 |     3035      0 |        0 |        0
0.78/0.81	c  0.5s |       2 |     1529 |      250 |     3339      0 |        0 |        0
1.19/1.23	c  0.9s |       3 |     2694 |      475 |     3673      0 |        0 |        0
1.98/2.04	c  1.7s |       4 |     4545 |      813 |     4041      0 |        0 |        0
3.19/3.28	c  2.9s |       5 |     6820 |     1320 |     4446      0 |        0 |        0
5.19/5.29	c  4.9s |       5 |     8688 |     1920 |     4891      0 |        0 |        0
5.98/6.03	c  5.7s |       6 |     8941 |     2081 |     5381      0 |        0 |        0
8.28/8.31	c  8.0s |       6 |    10797 |     2881 |     5381      0 |        0 |        0
9.49/9.55	c  9.2s |       7 |    11337 |     3223 |     5920      0 |        0 |        0
11.69/11.72	c 11.4s |       7 |    13417 |     3823 |     5920      0 |        0 |        0
14.39/14.42	c 14.1s |       7 |    13991 |     4223 |     5920      0 |        0 |        0
16.50/16.55	c 16.2s |       7 |    14438 |     4523 |     5920      0 |        0 |        0
18.69/18.77	c 18.4s |       7 |    15104 |     4923 |     6513      0 |        0 |        0
18.79/18.82	c 18.5s |       8 |    15123 |     4936 |     6513      0 |        0 |        0
21.19/21.20	c 20.9s |       8 |    17543 |     5636 |     6513      0 |        0 |        0
23.38/23.44	c 23.1s |       8 |    18225 |     6036 |     6513      0 |        0 |        0
25.78/25.85	c 25.5s |       8 |    19100 |     6536 |     6513      0 |        0 |        0
27.88/27.90	c 27.6s |       8 |    20804 |     7236 |     6513      0 |        0 |        0
28.60/28.70	c 28.4s |       9 |    21260 |     7506 |     7165      0 |        0 |        0
31.09/31.13	c 30.8s |       9 |    23958 |     8106 |     7165      1 |        0 |        0
33.89/33.90	c 33.6s |       9 |    24560 |     8506 |     7165      1 |        0 |        0
35.88/35.99	c 35.6s |       9 |    25440 |     9006 |     7165      1 |        0 |        0
38.08/38.15	c 37.8s |       9 |    27579 |     9906 |     7165      1 |        0 |        0
40.28/40.38	c 40.0s |       9 |    28753 |    10506 |     7165      1 |        0 |        0
42.68/42.72	c 42.4s |       9 |    29771 |    11106 |     7165      1 |        0 |        0
44.19/44.24	c 43.9s |      10 |    30159 |    11361 |     7882      1 |        0 |        0
46.38/46.47	c 46.1s |      10 |    33102 |    12161 |     7882      1 |        0 |        0
48.49/48.55	c 48.2s |      10 |    34705 |    12861 |     7882      1 |        0 |        0
50.48/50.58	c 50.2s |      10 |    35659 |    13461 |     7882      1 |        0 |        0
52.68/52.79	c 52.4s |      10 |    36372 |    13961 |     7882      1 |        0 |        0
54.88/54.98	c 54.6s |      10 |    37169 |    14461 |     7882      1 |        0 |        0
57.48/57.59	c 57.2s |      10 |    38160 |    15061 |     7882      1 |        0 |        0
59.68/59.79	c 59.4s |      10 |    38742 |    15461 |     7882      1 |        0 |        0
62.07/62.14	c 61.8s |      10 |    40356 |    16261 |     7882      1 |        0 |        0
64.38/64.46	c 64.1s |      10 |    41101 |    16761 |     7882      1 |        0 |        0
66.09/66.17	c 65.8s |      11 |    41681 |    17144 |     8671      1 |        0 |        0
68.28/68.34	c 68.0s |      11 |    43274 |    17544 |     8671      2 |        0 |        0
70.39/70.45	c 70.1s |      11 |    45039 |    18244 |     8671      2 |        0 |        0
72.48/72.51	c 72.2s |      11 |    45761 |    18644 |     8671      2 |        0 |        0
74.58/74.61	c 74.3s |      11 |    47267 |    19344 |     8671      2 |        0 |        0
76.77/76.81	c 76.5s |      11 |    48239 |    19944 |     8671      2 |        0 |        0
78.88/78.91	c 78.6s |      11 |    48820 |    20344 |     8671      2 |        0 |        0
81.27/81.34	c 81.0s |      11 |    49604 |    20944 |     8671      2 |        0 |        0
83.48/83.54	c 83.2s |      11 |    50377 |    21444 |     8671      2 |        0 |        0
85.57/85.68	c 85.3s |      11 |    50936 |    21844 |     8671      2 |        0 |        0
88.18/88.23	c 87.9s |      11 |    51488 |    22244 |     8671      2 |        0 |        0
90.18/90.28	c 89.9s |      11 |    52104 |    22644 |     8671      2 |        0 |        0
92.67/92.77	c 92.4s |      11 |    52816 |    23144 |     8671      2 |        0 |        0
95.47/95.50	c 95.2s |      11 |    53486 |    23544 |     8671      2 |        0 |        0
97.67/97.78	c 97.4s |      11 |    53854 |    23844 |     8671      2 |        0 |        0
100.47/100.54	c  100s |      11 |    54257 |    24144 |     8671      2 |        0 |        0
102.67/102.77	c  102s |      11 |    54789 |    24444 |     8671      2 |        0 |        0
105.37/105.43	c  105s |      11 |    55368 |    24844 |     8671      2 |        0 |        0
107.78/107.87	c  107s |      11 |    55723 |    25144 |     8671      2 |        0 |        0
109.98/110.07	c  109s |      11 |    56807 |    25744 |     9539      2 |        0 |        0
110.27/110.36	c  110s |      12 |    56917 |    25819 |     9539      2 |        0 |        0
112.37/112.45	c  112s |      12 |    57827 |    26019 |     9539      3 |        0 |        0
114.38/114.49	c  114s |      12 |    59071 |    26719 |     9539      3 |        0 |        0
116.58/116.63	c  116s |      12 |    59934 |    27319 |     9539      3 |        0 |        0
118.67/118.79	c  118s |      12 |    60775 |    27919 |     9539      3 |        0 |        0
120.87/120.94	c  120s |      12 |    62033 |    28619 |     9539      3 |        0 |        0
123.28/123.36	c  123s |      12 |    63023 |    29219 |     9539      3 |        0 |        0
125.56/125.64	c  125s |      12 |    63768 |    29719 |     9539      3 |        0 |        0
127.77/127.89	c  127s |      12 |    64465 |    30219 |     9539      3 |        0 |        0
130.16/130.23	c  129s |      12 |    65439 |    30719 |     9539      3 |        0 |        0
132.36/132.45	c  132s |      12 |    65999 |    31119 |     9539      3 |        0 |        0
134.87/134.98	c  134s |      12 |    66696 |    31519 |     9539      3 |        0 |        0
137.17/137.29	c  136s |      12 |    67387 |    32019 |     9539      3 |        0 |        0
139.47/139.58	c  139s |      12 |    68153 |    32519 |     9539      3 |        0 |        0
141.66/141.71	c  141s |      12 |    68674 |    32919 |     9539      3 |        0 |        0
143.67/143.78	c  143s |      12 |    69066 |    33219 |     9539      3 |        0 |        0
145.67/145.79	c  145s |      12 |    69770 |    33619 |     9539      3 |        0 |        0
147.76/147.82	c  147s |      12 |    70878 |    34219 |     9539      3 |        0 |        0
149.96/150.04	c  149s |      12 |    71592 |    34719 |     9539      3 |        0 |        0
152.76/152.87	c  152s |      12 |    72197 |    35119 |     9539      4 |        0 |        0
155.26/155.37	c  155s |      12 |    72933 |    35619 |     9539      4 |        0 |        0
157.87/157.92	c  157s |      12 |    73500 |    36019 |     9539      4 |        0 |        0
160.26/160.37	c  160s |      12 |    74375 |    36519 |     9539      4 |        0 |        0
162.46/162.53	c  162s |      12 |    74769 |    36819 |     9539      4 |        0 |        0
164.76/164.85	c  164s |      12 |    75852 |    37419 |     9539      4 |        0 |        0
166.86/166.96	c  166s |      12 |    76603 |    37919 |     9539      4 |        0 |        0
169.38/169.48	c  169s |      12 |    77213 |    38319 |     9539      4 |        0 |        0
172.16/172.22	c  171s |      12 |    77831 |    38719 |    10493      4 |        0 |        0
172.96/173.10	c  172s |      13 |    77998 |    38832 |    10493      4 |        0 |        0
175.16/175.29	c  174s |      13 |    79342 |    38932 |    10493      5 |        0 |        0
177.26/177.33	c  176s |      13 |    82820 |    39932 |    10493      5 |        0 |        0
179.46/179.52	c  179s |      13 |    84063 |    40632 |    10493      5 |        0 |        0
181.47/181.60	c  181s |      13 |    85236 |    41232 |    10493      5 |        0 |        0
183.67/183.77	c  183s |      13 |    86650 |    41932 |    10493      5 |        0 |        0
185.76/185.89	c  185s |      13 |    87772 |    42532 |    10493      5 |        0 |        0
188.17/188.28	c  187s |      13 |    89463 |    43232 |    10493      5 |        0 |        0
190.27/190.40	c  190s |      13 |    90329 |    43732 |    10493      5 |        0 |        0
192.75/192.83	c  192s |      13 |    91040 |    44232 |    10493      5 |        0 |        0
195.16/195.20	c  194s |      13 |    91828 |    44732 |    10493      5 |        0 |        0
197.56/197.64	c  197s |      13 |    92426 |    45132 |    10493      5 |        0 |        0
199.66/199.73	c  199s |      13 |    93129 |    45532 |    10493      5 |        0 |        0
201.95/202.09	c  201s |      13 |    93966 |    46032 |    10493      5 |        0 |        0
204.25/204.32	c  203s |      13 |    95103 |    46532 |    10493      5 |        0 |        0
206.45/206.54	c  206s |      13 |    95905 |    47032 |    10493      5 |        0 |        0
208.45/208.54	c  208s |      13 |    96479 |    47432 |    10493      5 |        0 |        0
210.86/210.93	c  210s |      13 |    97299 |    47932 |    10493      5 |        0 |        0
213.25/213.37	c  213s |      13 |    98072 |    48432 |    10493      5 |        0 |        0
215.25/215.38	c  215s |      13 |    98647 |    48832 |    10493      5 |        0 |        0
217.36/217.42	c  217s |      13 |    99255 |    49232 |    10493      5 |        0 |        0
219.65/219.72	c  219s |      13 |    99794 |    49632 |    10493      5 |        0 |        0
221.65/221.77	c  221s |      13 |   100527 |    50032 |    10493      5 |        0 |        0
223.75/223.89	c  223s |      13 |   101113 |    50432 |    10493      5 |        0 |        0
225.95/226.00	c  225s |      13 |   101432 |    50632 |    10493      6 |        0 |        0
228.16/228.29	c  227s |      13 |   102048 |    51032 |    10493      6 |        0 |        0
230.86/230.92	c  230s |      13 |   102577 |    51432 |    10493      6 |        0 |        0
233.16/233.27	c  232s |      13 |   103050 |    51732 |    10493      6 |        0 |        0
235.35/235.44	c  235s |      13 |   103639 |    52132 |    10493      6 |        0 |        0
237.56/237.70	c  237s |      13 |   104229 |    52532 |    10493      6 |        0 |        0
240.15/240.27	c  239s |      13 |   104836 |    52932 |    10493      6 |        0 |        0
242.74/242.85	c  242s |      13 |   105446 |    53332 |    10493      6 |        0 |        0
245.04/245.14	c  244s |      13 |   105865 |    53632 |    10493      6 |        0 |        0
247.74/247.88	c  247s |      13 |   106308 |    53932 |    10493      6 |        0 |        0
250.04/250.19	c  249s |      13 |   106708 |    54232 |    10493      6 |        0 |        0
252.54/252.67	c  252s |      13 |   107145 |    54532 |    10493      6 |        0 |        0
255.34/255.42	c  255s |      13 |   107589 |    54832 |    10493      6 |        0 |        0
257.64/257.76	c  257s |      13 |   108012 |    55132 |    10493      6 |        0 |        0
259.94/260.06	c  259s |      13 |   108461 |    55432 |    10493      6 |        0 |        0
262.24/262.37	c  262s |      13 |   108810 |    55732 |    10493      6 |        0 |        0
264.73/264.86	c  264s |      13 |   109214 |    56032 |    10493      6 |        0 |        0
267.25/267.37	c  267s |      13 |   109853 |    56432 |    10493      6 |        0 |        0
269.74/269.84	c  269s |      13 |   110439 |    56832 |    10493      6 |        0 |        0
271.83/271.99	c  271s |      13 |   110851 |    57132 |    10493      6 |        0 |        0
274.64/274.75	c  274s |      13 |   111608 |    57532 |    10493      6 |        0 |        0
276.74/276.83	c  276s |      13 |   112098 |    57832 |    10493      6 |        0 |        0
279.34/279.47	c  279s |      13 |   112532 |    58132 |    11543      6 |        0 |        0
281.54/281.65	c  281s |      14 |   112832 |    58352 |    11543      6 |        0 |        0
283.63/283.80	c  283s |      14 |   113519 |    58452 |    11543      7 |        0 |        0
285.93/286.04	c  285s |      14 |   115999 |    59452 |    11543      7 |        0 |        0
288.14/288.24	c  287s |      14 |   117763 |    60252 |    11543      7 |        0 |        0
290.22/290.36	c  290s |      14 |   119728 |    61052 |    11543      7 |        0 |        0
292.32/292.42	c  292s |      14 |   121457 |    61752 |    11543      7 |        0 |        0
294.52/294.61	c  294s |      14 |   123239 |    62652 |    11543      7 |        0 |        0
297.03/297.16	c  296s |      14 |   125718 |    63452 |    11543      7 |        0 |        0
299.02/299.16	c  298s |      14 |   126474 |    63952 |    11543      7 |        0 |        0
301.62/301.75	c  301s |      14 |   127248 |    64452 |    11543      7 |        0 |        0
303.71/303.83	c  303s |      14 |   127732 |    64752 |    11543      7 |        0 |        0
306.21/306.30	c  305s |      14 |   128411 |    65152 |    11543      7 |        0 |        0
308.41/308.51	c  308s |      14 |   129807 |    65852 |    11543      7 |        0 |        0
310.71/310.84	c  310s |      14 |   130654 |    66452 |    11543      7 |        0 |        0
313.02/313.10	c  312s |      14 |   131365 |    66952 |    11543      7 |        0 |        0
315.51/315.71	c  315s |      14 |   132271 |    67552 |    11543      7 |        0 |        0
317.92/318.05	c  317s |      14 |   132983 |    68052 |    11543      7 |        0 |        0
319.90/320.06	c  319s |      14 |   133566 |    68452 |    11543      7 |        0 |        0
323.21/323.37	c  323s |      14 |   134404 |    68952 |    11543      8 |        0 |        0
325.30/325.42	c  325s |      14 |   135025 |    69352 |    11543      8 |        0 |        0
327.60/327.72	c  327s |      14 |   135785 |    69852 |    11543      8 |        0 |        0
329.91/330.01	c  329s |      14 |   136464 |    70352 |    11543      8 |        0 |        0
332.00/332.14	c  331s |      14 |   136967 |    70752 |    11543      8 |        0 |        0
334.20/334.39	c  334s |      14 |   137475 |    71152 |    11543      8 |        0 |        0
336.79/336.96	c  336s |      14 |   138038 |    71552 |    11543      8 |        0 |        0
339.09/339.23	c  338s |      14 |   138544 |    71952 |    11543      8 |        0 |        0
341.09/341.25	c  340s |      14 |   138937 |    72252 |    11543      8 |        0 |        0
343.39/343.51	c  343s |      14 |   139438 |    72652 |    11543      8 |        0 |        0
345.69/345.89	c  345s |      14 |   139985 |    73052 |    11543      8 |        0 |        0
347.78/347.93	c  347s |      14 |   140388 |    73352 |    11543      8 |        0 |        0
349.80/349.97	c  349s |      14 |   140765 |    73652 |    11543      8 |        0 |        0
352.19/352.39	c  352s |      14 |   141337 |    74052 |    11543      8 |        0 |        0
354.39/354.53	c  354s |      14 |   141695 |    74352 |    11543      8 |        0 |        0
356.98/357.18	c  356s |      14 |   142201 |    74752 |    11543      8 |        0 |        0
359.39/359.56	c  359s |      14 |   142545 |    75052 |    11543      8 |        0 |        0
361.39/361.57	c  361s |      14 |   142930 |    75352 |    11543      8 |        0 |        0
364.09/364.22	c  363s |      14 |   143454 |    75752 |    11543      8 |        0 |        0
366.08/366.23	c  365s |      14 |   143890 |    76052 |    11543      8 |        0 |        0
368.38/368.60	c  368s |      14 |   144504 |    76452 |    11543      8 |        0 |        0
370.78/370.92	c  370s |      14 |   144991 |    76852 |    11543      8 |        0 |        0
372.98/373.12	c  372s |      14 |   145623 |    77252 |    11543      8 |        0 |        0
375.08/375.28	c  374s |      14 |   146789 |    77852 |    11543      8 |        0 |        0
377.28/377.43	c  377s |      14 |   147565 |    78352 |    11543      8 |        0 |        0
379.38/379.55	c  379s |      14 |   147898 |    78552 |    11543      9 |        0 |        0
381.47/381.64	c  381s |      14 |   148663 |    79052 |    11543      9 |        0 |        0
383.67/383.89	c  383s |      14 |   149384 |    79552 |    11543      9 |        0 |        0
385.98/386.13	c  385s |      14 |   150087 |    80052 |    11543      9 |        0 |        0
388.06/388.26	c  387s |      14 |   150997 |    80552 |    11543      9 |        0 |        0
390.16/390.39	c  390s |      14 |   151550 |    80952 |    11543      9 |        0 |        0
392.67/392.86	c  392s |      14 |   152128 |    81352 |    11543      9 |        0 |        0
394.77/394.96	c  394s |      14 |   152695 |    81752 |    11543      9 |        0 |        0
396.97/397.15	c  396s |      14 |   153199 |    82152 |    11543      9 |        0 |        0
399.46/399.67	c  399s |      14 |   153761 |    82552 |    11543      9 |        0 |        0
402.05/402.24	c  401s |      14 |   154271 |    82952 |    11543      9 |        0 |        0
404.55/404.71	c  404s |      14 |   154790 |    83352 |    11543      9 |        0 |        0
406.76/407.00	c  406s |      14 |   155370 |    83752 |    11543      9 |        0 |        0
408.95/409.14	c  408s |      14 |   156022 |    84152 |    11543      9 |        0 |        0
411.15/411.31	c  410s |      14 |   156430 |    84452 |    11543      9 |        0 |        0
413.35/413.59	c  413s |      14 |   157048 |    84852 |    11543      9 |        0 |        0
415.55/415.76	c  415s |      14 |   158137 |    85352 |    11543      9 |        0 |        0
417.96/418.19	c  417s |      14 |   158880 |    85852 |    11543      9 |        0 |        0
420.06/420.23	c  419s |      14 |   159765 |    86352 |    11543      9 |        0 |        0
422.45/422.69	c  422s |      14 |   160292 |    86752 |    11543      9 |        0 |        0
424.64/424.83	c  424s |      14 |   160950 |    87152 |    12698      9 |        0 |        0
426.54/426.79	c  426s |      15 |   162215 |    87632 |    12698      9 |        0 |        0
429.24/429.43	c  429s |      15 |   163448 |    87732 |    12698     10 |        0 |        0
431.34/431.54	c  431s |      15 |   164541 |    88332 |    12698     10 |        0 |        0
433.54/433.71	c  433s |      15 |   165666 |    88932 |    12698     10 |        0 |        0
435.73/435.91	c  435s |      15 |   166229 |    89332 |    12698     10 |        0 |        0
438.13/438.38	c  438s |      15 |   166784 |    89732 |    12698     10 |        0 |        0
440.33/440.57	c  440s |      15 |   167332 |    90132 |    12698     10 |        0 |        0
442.53/442.78	c  442s |      15 |   167758 |    90432 |    12698     10 |        0 |        0
444.92/445.17	c  444s |      15 |   168158 |    90732 |    12698     10 |        0 |        0
447.53/447.74	c  447s |      15 |   168893 |    91032 |    12698     10 |        0 |        0
449.83/450.09	c  449s |      15 |   170393 |    91732 |    12698     10 |        0 |        0
452.04/452.26	c  451s |      15 |   171656 |    92332 |    12698     10 |        0 |        0
454.02/454.29	c  453s |      15 |   172266 |    92732 |    12698     10 |        0 |        0
456.62/456.88	c  456s |      15 |   172985 |    93232 |    12698     10 |        0 |        0
459.02/459.27	c  458s |      15 |   173527 |    93632 |    12698     10 |        0 |        0
461.22/461.42	c  461s |      15 |   173937 |    93932 |    12698     10 |        0 |        0
463.52/463.80	c  463s |      15 |   174501 |    94332 |    12698     10 |        0 |        0
465.61/465.80	c  465s |      15 |   174859 |    94632 |    12698     10 |        0 |        0
467.92/468.13	c  467s |      15 |   176094 |    95132 |    12698     10 |        0 |        0
469.91/470.14	c  469s |      15 |   177030 |    95632 |    12698     10 |        0 |        0
472.11/472.38	c  472s |      15 |   177632 |    96032 |    12698     10 |        0 |        0
474.81/475.08	c  474s |      15 |   178252 |    96432 |    12698     10 |        0 |        0
476.91/477.19	c  476s |      15 |   178935 |    96832 |    12698     10 |        0 |        0
479.11/479.38	c  479s |      15 |   180210 |    97432 |    12698     10 |        0 |        0
481.31/481.54	c  481s |      15 |   180900 |    97832 |    12698     10 |        0 |        0
483.61/483.81	c  483s |      15 |   181571 |    98232 |    12698     10 |        0 |        0
487.00/487.22	c  486s |      15 |   181974 |    98532 |    12698     11 |        0 |        0
489.01/489.23	c  488s |      15 |   182546 |    98932 |    12698     11 |        0 |        0
491.10/491.35	c  491s |      15 |   183453 |    99432 |    12698     11 |        0 |        0
493.50/493.73	c  493s |      15 |   183990 |    99832 |    12698     11 |        0 |        0
496.01/496.26	c  495s |      15 |   184367 |   100132 |    12698     11 |        0 |        0
498.30/498.58	c  498s |      15 |   184733 |   100432 |    12698     11 |        0 |        0
500.40/500.62	c  500s |      15 |   185390 |   100832 |    12698     11 |        0 |        0
502.70/502.94	c  502s |      15 |   185964 |   101232 |    12698     11 |        0 |        0
504.89/505.18	c  504s |      15 |   186559 |   101632 |    12698     11 |        0 |        0
507.59/507.86	c  507s |      15 |   187172 |   102032 |    12698     11 |        0 |        0
509.68/509.92	c  509s |      15 |   187586 |   102332 |    12698     11 |        0 |        0
512.19/512.41	c  512s |      15 |   187977 |   102632 |    12698     11 |        0 |        0
514.48/514.74	c  514s |      15 |   188628 |   103032 |    12698     11 |        0 |        0
516.68/516.95	c  516s |      15 |   189040 |   103332 |    12698     11 |        0 |        0
519.38/519.64	c  519s |      15 |   189664 |   103732 |    12698     11 |        0 |        0
521.58/521.81	c  521s |      15 |   190477 |   104232 |    12698     11 |        0 |        0
523.78/524.03	c  523s |      15 |   191088 |   104632 |    12698     11 |        0 |        0
526.08/526.36	c  526s |      15 |   192019 |   105132 |    12698     11 |        0 |        0
528.17/528.48	c  528s |      15 |   192425 |   105432 |    12698     11 |        0 |        0
530.47/530.79	c  530s |      15 |   193222 |   105832 |    12698     11 |        0 |        0
533.17/533.40	c  533s |      15 |   194165 |   106332 |    12698     11 |        0 |        0
535.58/535.85	c  535s |      15 |   194681 |   106632 |    12698     11 |        0 |        0
538.07/538.38	c  538s |      15 |   195620 |   107132 |    12698     11 |        0 |        0
540.66/540.96	c  540s |      15 |   196183 |   107532 |    12698     11 |        0 |        0
542.66/542.98	c  542s |      15 |   196638 |   107832 |    12698     11 |        0 |        0
545.37/545.62	c  545s |      15 |   197215 |   108232 |    12698     11 |        0 |        0
548.46/548.73	c  548s |      15 |   197595 |   108432 |    12698     12 |        0 |        0
550.87/551.11	c  550s |      15 |   198247 |   108832 |    12698     12 |        0 |        0
552.96/553.29	c  552s |      15 |   198610 |   109132 |    12698     12 |        0 |        0
555.65/555.93	c  555s |      15 |   199189 |   109532 |    12698     12 |        0 |        0
557.86/558.11	c  557s |      15 |   199605 |   109832 |    12698     12 |        0 |        0
559.95/560.23	c  559s |      15 |   199980 |   110132 |    12698     12 |        0 |        0
562.46/562.74	c  562s |      15 |   200360 |   110432 |    12698     12 |        0 |        0
565.05/565.31	c  564s |      15 |   200762 |   110732 |    12698     12 |        0 |        0
567.25/567.59	c  567s |      15 |   201344 |   111132 |    12698     12 |        0 |        0
569.35/569.66	c  569s |      15 |   201756 |   111432 |    12698     12 |        0 |        0
572.05/572.30	c  571s |      15 |   202130 |   111732 |    12698     12 |        0 |        0
574.25/574.55	c  574s |      15 |   202510 |   112032 |    12698     12 |        0 |        0
576.74/577.07	c  576s |      15 |   202900 |   112332 |    12698     12 |        0 |        0
579.56/579.81	c  579s |      15 |   203257 |   112632 |    12698     12 |        0 |        0
581.54/581.83	c  581s |      15 |   203525 |   112832 |    12698     12 |        0 |        0
583.75/584.05	c  583s |      15 |   203772 |   113032 |    12698     12 |        0 |        0
586.15/586.42	c  586s |      15 |   204154 |   113332 |    12698     12 |        0 |        0
588.35/588.68	c  588s |      15 |   204629 |   113632 |    12698     12 |        0 |        0
590.44/590.76	c  590s |      15 |   205028 |   113932 |    12698     12 |        0 |        0
592.94/593.25	c  592s |      15 |   205433 |   114232 |    12698     12 |        0 |        0
595.43/595.71	c  595s |      15 |   205793 |   114532 |    12698     12 |        0 |        0
597.93/598.20	c  597s |      15 |   206207 |   114832 |    12698     12 |        0 |        0
600.44/600.74	c  600s |      15 |   206619 |   115132 |    12698     12 |        0 |        0
602.93/603.29	c  602s |      15 |   207012 |   115432 |    12698     12 |        0 |        0
605.73/606.00	c  605s |      15 |   207402 |   115732 |    12698     12 |        0 |        0
608.63/608.95	c  608s |      15 |   207784 |   116032 |    12698     12 |        0 |        0
610.83/611.15	c  610s |      15 |   208017 |   116232 |    12698     12 |        0 |        0
613.33/613.66	c  613s |      15 |   208390 |   116532 |    12698     12 |        0 |        0
615.92/616.21	c  615s |      15 |   208997 |   116932 |    12698     12 |        0 |        0
618.03/618.39	c  618s |      15 |   209415 |   117232 |    12698     12 |        0 |        0
620.53/620.82	c  620s |      15 |   209777 |   117532 |    12698     12 |        0 |        0
623.22/623.50	c  623s |      15 |   210164 |   117832 |    12698     12 |        0 |        0
625.22/625.54	c  625s |      15 |   210583 |   118132 |    12698     12 |        0 |        0
627.51/627.80	c  627s |      15 |   210959 |   118432 |    12698     12 |        0 |        0
629.82/630.16	c  629s |      15 |   211384 |   118732 |    12698     12 |        0 |        0
632.51/632.85	c  632s |      15 |   211512 |   118832 |    12698     13 |        0 |        0
634.61/634.94	c  634s |      15 |   211956 |   119132 |    12698     13 |        0 |        0
637.01/637.37	c  637s |      15 |   212355 |   119432 |    12698     13 |        0 |        0
639.31/639.68	c  639s |      15 |   212745 |   119732 |    12698     13 |        0 |        0
641.81/642.10	c  641s |      15 |   213181 |   120032 |    12698     13 |        0 |        0
644.20/644.50	c  644s |      15 |   213538 |   120332 |    12698     13 |        0 |        0
646.40/646.76	c  646s |      15 |   213975 |   120632 |    12698     13 |        0 |        0
648.60/648.95	c  648s |      15 |   214358 |   120932 |    12698     13 |        0 |        0
650.81/651.20	c  650s |      15 |   214732 |   121232 |    12698     13 |        0 |        0
653.11/653.48	c  653s |      15 |   215138 |   121532 |    12698     13 |        0 |        0
655.50/655.82	c  655s |      15 |   215491 |   121832 |    12698     13 |        0 |        0
657.70/658.05	c  657s |      15 |   215861 |   122132 |    12698     13 |        0 |        0
660.29/660.68	c  660s |      15 |   216257 |   122432 |    12698     13 |        0 |        0
663.20/663.58	c  663s |      15 |   216616 |   122732 |    12698     13 |        0 |        0
665.40/665.78	c  665s |      15 |   217000 |   123032 |    12698     13 |        0 |        0
667.99/668.38	c  668s |      15 |   217357 |   123332 |    12698     13 |        0 |        0
670.71/671.03	c  670s |      15 |   217748 |   123632 |    12698     13 |        0 |        0
671.49/671.87	c  671s |      15 |   217873 |   123727 |    12698     13 |        0 |        0
671.49/671.87	c #cpu_time = 669.615s
671.49/671.87	c #wall_clock_time = 671.519s
671.49/671.87	c #decision = 217873
671.49/671.87	c #random_decision = 328
671.49/671.87	c #conflict = 123727
671.49/671.87	c #restart = 15
671.49/671.87	s SATISFIABLE
671.49/671.87	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
671.49/671.87	v x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
671.49/671.87	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
671.49/671.87	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
671.49/671.87	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
671.49/671.87	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
671.49/671.87	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
671.49/671.87	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
671.49/671.87	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
671.49/671.87	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
671.49/671.87	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
671.49/671.87	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
671.49/671.87	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
671.49/671.87	v x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
671.49/671.87	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
671.49/671.87	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
671.49/671.87	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
671.49/671.87	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
671.49/671.87	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
671.49/671.87	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
671.49/671.87	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
671.49/671.87	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
671.49/671.87	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
671.49/671.87	v -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240
671.49/671.87	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
671.49/671.87	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
671.49/671.87	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
671.49/671.87	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
671.49/671.87	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
671.49/671.87	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
671.49/671.87	v -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
671.49/671.87	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
671.49/671.87	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
671.49/671.87	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
671.49/671.87	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
671.49/671.87	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
671.49/671.87	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
671.49/671.87	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
671.49/671.87	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390
671.49/671.87	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
671.49/671.87	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
671.49/671.87	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
671.49/671.87	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
671.49/671.87	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
671.49/671.87	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
671.49/671.87	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
671.49/671.87	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
671.49/671.87	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
671.49/671.87	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
671.49/671.87	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
671.49/671.87	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
671.49/671.87	v -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520
671.49/671.87	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
671.49/671.87	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
671.49/671.87	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
671.49/671.87	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
671.49/671.87	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
671.49/671.87	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
671.49/671.87	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
671.49/671.87	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
671.49/671.87	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
671.49/671.87	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
671.49/671.87	v -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
671.49/671.87	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
671.49/671.87	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
671.49/671.87	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
671.49/671.87	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
671.49/671.87	v -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680
671.49/671.87	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
671.49/671.87	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
671.49/671.87	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
671.49/671.87	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
671.49/671.87	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
671.49/671.87	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
671.49/671.87	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
671.49/671.87	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
671.49/671.87	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
671.49/671.87	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
671.49/671.87	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
671.49/671.87	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
671.49/671.87	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
671.49/671.87	v -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820
671.49/671.87	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
671.49/671.87	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
671.49/671.87	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
671.49/671.87	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
671.49/671.87	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
671.49/671.87	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
671.49/671.87	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
671.49/671.87	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
671.49/671.87	v -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910
671.49/671.87	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
671.49/671.87	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930
671.49/671.87	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
671.49/671.87	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
671.49/671.87	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
671.49/671.87	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
671.49/671.87	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
671.49/671.87	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
671.49/671.87	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
671.49/671.87	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
671.49/671.87	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
671.49/671.87	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
671.49/671.87	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
671.49/671.87	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
671.49/671.87	v -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
671.49/671.87	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
671.49/671.87	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
671.49/671.87	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
671.49/671.87	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100
671.49/671.87	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
671.49/671.87	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
671.49/671.87	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
671.49/671.87	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
671.49/671.87	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
671.49/671.87	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
671.49/671.87	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
671.49/671.87	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
671.49/671.87	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
671.49/671.87	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
671.49/671.87	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
671.49/671.87	v -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
671.49/671.87	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
671.49/671.87	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
671.49/671.87	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
671.49/671.87	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
671.49/671.87	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
671.49/671.87	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
671.49/671.87	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
671.49/671.87	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
671.49/671.87	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
671.49/671.87	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
671.49/671.87	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
671.49/671.87	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
671.49/671.87	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350
671.49/671.87	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
671.49/671.87	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
671.49/671.87	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
671.49/671.87	v -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390
671.49/671.87	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
671.49/671.87	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
671.49/671.87	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
671.49/671.87	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
671.49/671.87	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
671.49/671.87	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
671.49/671.87	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
671.49/671.87	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470
671.49/671.87	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
671.49/671.87	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
671.49/671.87	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
671.49/671.87	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
671.49/671.87	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
671.49/671.87	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
671.49/671.87	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
671.49/671.87	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
671.49/671.87	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
671.49/671.87	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
671.49/671.87	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
671.49/671.87	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
671.49/671.87	v -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
671.49/671.87	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
671.49/671.87	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
671.49/671.87	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
671.49/671.87	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
671.49/671.87	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
671.49/671.87	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
671.49/671.87	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670
671.49/671.87	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
671.49/671.87	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
671.49/671.87	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
671.49/671.87	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
671.49/671.87	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
671.49/671.87	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
671.49/671.87	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
671.49/671.87	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
671.49/671.87	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
671.49/671.87	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
671.49/671.87	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
671.49/671.87	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
671.49/671.87	v -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800
671.49/671.87	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
671.49/671.87	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
671.49/671.87	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
671.49/671.87	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
671.49/671.87	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
671.49/671.87	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
671.49/671.87	v -x1861 -x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870
671.49/671.87	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
671.49/671.87	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
671.49/671.87	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
671.49/671.87	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
671.49/671.87	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
671.49/671.87	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
671.49/671.87	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
671.49/671.87	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
671.49/671.87	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
671.49/671.87	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970
671.49/671.87	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
671.49/671.87	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
671.49/671.87	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
671.49/671.87	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
671.49/671.87	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
671.49/671.87	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
671.49/671.87	v -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040
671.49/671.87	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
671.49/671.87	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
671.49/671.87	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
671.49/671.87	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
671.49/671.87	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
671.49/671.87	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
671.49/671.87	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
671.49/671.87	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
671.49/671.87	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
671.49/671.87	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
671.49/671.87	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
671.49/671.87	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
671.49/671.87	v -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170
671.49/671.87	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
671.49/671.87	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
671.49/671.87	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
671.49/671.87	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
671.49/671.87	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
671.49/671.87	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230
671.49/671.87	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
671.49/671.87	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
671.49/671.87	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
671.49/671.87	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
671.49/671.87	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
671.49/671.87	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
671.49/671.87	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
671.49/671.87	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
671.49/671.87	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
671.49/671.87	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
671.49/671.87	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
671.49/671.87	v x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
671.49/671.87	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
671.49/671.87	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
671.49/671.87	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
671.49/671.87	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390
671.49/671.87	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
671.49/671.87	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
671.49/671.87	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
671.49/671.87	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
671.49/671.87	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
671.49/671.87	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
671.49/671.87	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
671.49/671.87	v x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
671.49/671.87	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
671.49/671.87	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
671.49/671.87	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
671.49/671.87	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
671.49/671.87	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
671.49/671.87	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
671.49/671.87	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
671.49/671.87	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
671.49/671.87	v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
671.49/671.87	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
671.49/671.87	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
671.49/671.87	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
671.49/671.87	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
671.49/671.87	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
671.49/671.87	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
671.49/671.87	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 x2630
671.49/671.87	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
671.49/671.87	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
671.49/671.87	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
671.49/671.87	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
671.49/671.87	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
671.49/671.87	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
671.49/671.87	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
671.49/671.87	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
671.49/671.87	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
671.49/671.87	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730
671.49/671.87	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
671.49/671.87	v -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
671.49/671.87	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
671.49/671.87	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
671.49/671.87	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
671.49/671.87	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
671.49/671.87	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
671.49/671.87	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
671.49/671.87	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
671.49/671.87	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
671.49/671.87	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840
671.49/671.87	v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
671.49/671.87	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
671.49/671.87	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x2870
671.49/671.87	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
671.49/671.87	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
671.49/671.87	v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
671.49/671.87	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
671.49/671.87	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 x2919 -x2920
671.49/671.87	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
671.49/671.87	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
671.49/671.87	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
671.49/671.87	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
671.49/671.87	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970
671.49/671.87	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
671.49/671.87	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
671.49/671.87	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
671.49/671.87	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
671.49/671.87	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
671.49/671.87	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
671.49/671.87	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
671.49/671.87	v -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
671.49/671.87	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
671.49/671.87	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
671.49/671.87	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
671.49/671.87	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
671.49/671.87	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100
671.49/671.87	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
671.49/671.87	v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120
671.49/671.87	v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
671.49/671.87	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
671.49/671.87	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
671.49/671.87	v -x3151 -x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x3160
671.49/671.87	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
671.49/671.87	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
671.49/671.87	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
671.49/671.87	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
671.49/671.87	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
671.49/671.87	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
671.49/671.87	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
671.49/671.87	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
671.49/671.87	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 x3248 -x3249 -x3250
671.49/671.87	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
671.49/671.87	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
671.49/671.87	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
671.49/671.87	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
671.49/671.87	v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
671.49/671.87	v -x3301 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
671.49/671.87	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
671.49/671.87	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
671.49/671.87	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
671.49/671.87	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
671.49/671.87	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
671.49/671.87	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
671.49/671.87	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
671.49/671.87	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
671.49/671.87	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400
671.49/671.87	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 x3410
671.49/671.87	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
671.49/671.87	v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430
671.49/671.87	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440
671.49/671.87	v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
671.49/671.87	v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
671.49/671.87	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
671.49/671.87	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
671.49/671.87	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490
671.49/671.87	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500
671.49/671.87	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510
671.49/671.87	v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
671.49/671.87	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 x3530
671.49/671.87	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
671.49/671.87	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550
671.49/671.87	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
671.49/671.87	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
671.49/671.87	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
671.49/671.87	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
671.49/671.87	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
671.49/671.87	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
671.49/671.87	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620
671.49/671.87	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630
671.49/671.87	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
671.49/671.87	v x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
671.49/671.87	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
671.49/671.87	v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670
671.49/671.87	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
671.49/671.87	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
671.49/671.87	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700
671.49/671.87	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
671.49/671.87	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720
671.49/671.87	v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730
671.49/671.87	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
671.49/671.87	v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
671.49/671.87	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
671.49/671.87	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
671.49/671.87	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780
671.49/671.87	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
671.49/671.87	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 x3799 -x3800
671.49/671.87	v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
671.49/671.87	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
671.49/671.87	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830
671.49/671.87	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
671.49/671.87	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
671.49/671.87	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860
671.49/671.87	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
671.49/671.87	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
671.49/671.87	v -x3881 -x3882 -x3883 -x3884 -x3885 x3886 -x3887 -x3888 -x3889 -x3890
671.49/671.87	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
671.49/671.87	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
671.49/671.87	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
671.49/671.87	v -x3921 x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
671.49/671.87	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
671.49/671.87	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950
671.49/671.87	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960
671.49/671.87	v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970
671.49/671.87	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
671.49/671.87	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990
671.49/671.87	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
671.49/671.87	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010
671.49/671.87	v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
671.49/671.87	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
671.49/671.87	v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040
671.49/671.87	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050
671.49/671.87	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
671.49/671.87	v -x4061 -x4062 -x4063 -x4064 -x4065 x4066 -x4067 -x4068 -x4069 -x4070
671.49/671.87	v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
671.49/671.87	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090
671.49/671.87	v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100
671.49/671.87	v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110
671.49/671.87	v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120
671.49/671.87	v -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130
671.49/671.87	v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140
671.49/671.87	v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
671.49/671.87	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160
671.49/671.87	v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170
671.49/671.87	v -x4171 -x4172 x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180
671.49/671.87	v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
671.49/671.87	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200
671.49/671.87	v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210
671.49/671.87	v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220
671.49/671.87	v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
671.49/671.87	v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240
671.49/671.87	v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250
671.49/671.87	v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260
671.49/671.87	v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270
671.49/671.87	v -x4271 -x4272 -x4273 -x4274 -x4275 x4276 -x4277 -x4278 -x4279 -x4280
671.49/671.87	v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290
671.49/671.87	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300
671.49/671.87	v -x4301 -x4302 x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310
671.49/671.87	v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320
671.49/671.87	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330
671.49/671.87	v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340
671.49/671.87	v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350
671.49/671.87	v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360
671.49/671.87	v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370
671.49/671.87	v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380
671.49/671.87	v -x4381 -x4382 -x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390
671.49/671.87	v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400
671.49/671.87	v -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410
671.49/671.87	v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420
671.49/671.87	v -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430
671.49/671.87	v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440
671.49/671.87	v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450
671.49/671.87	v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460
671.49/671.87	v -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470
671.49/671.87	v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480
671.49/671.87	v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490
671.49/671.87	v -x4491 -x4492 -x4493 x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500
671.49/671.87	v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510
671.49/671.87	v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520
671.49/671.87	v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530
671.49/671.87	v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540
671.49/671.87	v -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550
671.49/671.87	v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560
671.49/671.87	v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 x4568 -x4569 -x4570
671.49/671.87	v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580
671.49/671.87	v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590
671.49/671.87	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600
671.49/671.87	v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610
671.49/671.87	v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620
671.49/671.87	v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630
671.49/671.87	v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640
671.49/671.87	v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650
671.49/671.87	v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660
671.49/671.87	v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670
671.49/671.87	v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680
671.49/671.87	v -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690
671.49/671.87	v -x4691 x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700
671.49/671.87	v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710
671.49/671.87	v -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720
671.49/671.87	v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730
671.49/671.87	v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740
671.49/671.87	v -x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750
671.49/671.87	v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760
671.49/671.87	v -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770
671.49/671.87	v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780
671.49/671.87	v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790
671.49/671.87	v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800
671.49/671.87	v -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810
671.49/671.87	v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820
671.49/671.87	v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830
671.49/671.87	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840
671.49/671.87	v -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850
671.49/671.87	v -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860
671.49/671.87	v x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870
671.49/671.87	v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880
671.49/671.87	v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890
671.49/671.87	v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900
671.49/671.87	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910
671.49/671.87	v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920
671.49/671.87	v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930
671.49/671.87	v -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940
671.49/671.87	v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950
671.49/671.87	v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960
671.49/671.87	v -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970
671.49/671.87	v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980
671.49/671.87	v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990
671.49/671.87	v -x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000
671.49/671.87	v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010
671.49/671.87	v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020
671.49/671.87	v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030
671.49/671.87	v -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040
671.49/671.87	v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050
671.49/671.87	v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060
671.49/671.87	v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070
671.49/671.87	v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080
671.49/671.87	v x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090
671.49/671.87	v -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100
671.49/671.87	v -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110
671.49/671.87	v -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120
671.49/671.87	v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130
671.49/671.87	v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140
671.49/671.87	v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 x5148 -x5149 -x5150
671.49/671.87	v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160
671.49/671.87	v -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170
671.49/671.87	v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180
671.49/671.87	v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190
671.49/671.87	v -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200
671.49/671.87	v -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210
671.49/671.87	v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220
671.49/671.87	v -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230
671.49/671.87	v -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240
671.49/671.87	v -x5241 -x5242 -x5243 -x5244 -x5245 x5246 -x5247 -x5248 -x5249 -x5250
671.49/671.87	v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260
671.49/671.87	v -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270
671.49/671.87	v -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280
671.49/671.87	v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290
671.49/671.87	v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300
671.49/671.87	v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310
671.49/671.87	v -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320
671.49/671.87	v -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330
671.49/671.87	v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340
671.49/671.87	v -x5341 -x5342 x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350
671.49/671.87	v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360
671.49/671.87	v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370
671.49/671.87	v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380
671.49/671.87	v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390
671.49/671.87	v -x5391 x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400
671.49/671.87	v -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410
671.49/671.87	v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420
671.49/671.87	v -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430
671.49/671.87	v -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440
671.49/671.87	v -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450
671.49/671.87	v -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460
671.49/671.87	v -x5461 -x5462 x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470
671.49/671.87	v -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480
671.49/671.87	v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490
671.49/671.87	v -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500
671.49/671.87	v -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510
671.49/671.87	v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520
671.49/671.87	v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530
671.49/671.87	v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540
671.49/671.87	v -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550
671.49/671.87	v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560
671.49/671.87	v -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570
671.49/671.87	v -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580
671.49/671.87	v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 -x5589 -x5590
671.49/671.87	v -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600
671.49/671.87	v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610
671.49/671.87	v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620
671.49/671.87	v -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630
671.49/671.87	v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640
671.49/671.87	v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650
671.49/671.87	v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660
671.49/671.87	v -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670
671.49/671.87	v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680
671.49/671.87	v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690
671.49/671.87	v -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700
671.49/671.87	v -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710
671.49/671.87	v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 x5717 -x5718 -x5719 -x5720
671.49/671.87	v -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730
671.49/671.87	v -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740
671.49/671.87	v -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750
671.49/671.87	v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760
671.49/671.87	v -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770
671.49/671.87	v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780
671.49/671.87	v -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 x5788 -x5789 -x5790
671.49/671.87	v -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800
671.49/671.87	v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810
671.49/671.87	v -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820
671.49/671.87	v -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830
671.49/671.87	v -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840
671.49/671.87	v -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850
671.49/671.87	v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860
671.49/671.87	v -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870
671.49/671.87	v -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880
671.49/671.87	v -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890
671.49/671.87	v -x5891 -x5892 -x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900
671.49/671.87	v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910
671.49/671.87	v -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920
671.49/671.87	v -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930
671.49/671.87	v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940
671.49/671.87	v -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950
671.49/671.87	v -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 x5959 -x5960
671.49/671.87	v -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970
671.49/671.87	v -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980
671.49/671.87	v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990
671.49/671.87	v -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000
671.49/671.87	v -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010
671.49/671.87	v -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020
671.49/671.87	v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030
671.49/671.87	v -x6031 -x6032 -x6033 x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040
671.49/671.87	v -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050
671.49/671.87	v -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060
671.49/671.87	v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070
671.49/671.88	v -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080
671.49/671.88	v -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090
671.49/671.88	v -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100
671.49/671.88	v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110
671.49/671.88	v -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 x6119 -x6120
671.49/671.88	v -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130
671.49/671.88	v -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140
671.49/671.88	v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150
671.49/671.88	v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160
671.49/671.88	v -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170
671.49/671.88	v -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180
671.49/671.88	v -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190
671.49/671.88	v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200
671.49/671.88	v -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210
671.49/671.88	v -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220
671.49/671.88	v -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230
671.49/671.88	v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240
671.49/671.88	v -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250
671.49/671.88	v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260
671.49/671.88	v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270
671.49/671.88	v -x6271 x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280
671.49/671.88	v -x6281 -x6282 -x6283 -x6284 x6285 -x6286 -x6287 -x6288 -x6289 -x6290
671.49/671.88	v -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300
671.49/671.88	v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310
671.49/671.88	v -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320
671.49/671.88	v -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330
671.49/671.88	v -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340
671.49/671.88	v -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350
671.49/671.88	v -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360
671.49/671.88	v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370
671.49/671.88	v -x6371 x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380
671.49/671.88	v -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390
671.49/671.88	v -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400
671.49/671.88	v -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410
671.49/671.88	v -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420
671.49/671.88	v -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430
671.49/671.88	v -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440
671.49/671.88	v -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450
671.49/671.88	v -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460
671.49/671.88	v -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470
671.49/671.88	v -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480
671.49/671.88	v -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490
671.49/671.88	v -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500
671.49/671.88	v -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510
671.49/671.88	v -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520
671.49/671.88	v -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530
671.49/671.88	v -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540
671.49/671.88	v -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 x6547 -x6548 -x6549 -x6550
671.49/671.88	v -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560
671.49/671.88	v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 x6569 -x6570
671.49/671.88	v -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580
671.49/671.88	v -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590
671.49/671.88	v -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600
671.49/671.88	v -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610
671.49/671.88	v -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620
671.49/671.88	v -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630
671.49/671.88	v -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640
671.49/671.88	v -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650
671.49/671.88	v -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660
671.49/671.88	v -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670
671.49/671.88	v -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680
671.49/671.88	v -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690
671.49/671.88	v -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700
671.49/671.88	v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710
671.49/671.88	v -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720
671.49/671.88	v -x6721 -x6722 -x6723 x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730
671.49/671.88	v -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740
671.49/671.88	v -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750
671.49/671.88	v -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760
671.49/671.88	v -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770
671.49/671.88	v -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780
671.49/671.88	v -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790
671.49/671.88	v -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800
671.49/671.88	v -x6801 -x6802 x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810
671.49/671.88	v -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820
671.49/671.88	v -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830
671.49/671.88	v -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840
671.49/671.88	v -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850
671.49/671.88	v -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860
671.49/671.88	v -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870
671.49/671.88	v -x6871 -x6872 -x6873 x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880
671.49/671.88	v -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890
671.49/671.88	v -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900
671.49/671.88	v -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910
671.49/671.88	v -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920
671.49/671.88	v -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930
671.49/671.88	v -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940
671.49/671.88	v -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950
671.49/671.88	v -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 x6958 -x6959 -x6960
671.49/671.88	v -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970
671.49/671.88	v -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980
671.49/671.88	v -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990
671.49/671.88	v -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000
671.49/671.88	v -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010
671.49/671.88	v -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020
671.49/671.88	v -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 x7028 -x7029 -x7030
671.49/671.88	v -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040
671.49/671.88	v -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050
671.49/671.88	v -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060
671.49/671.88	v -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070
671.49/671.88	v -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080
671.49/671.88	v -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090
671.49/671.88	v -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100
671.49/671.88	v -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110
671.49/671.88	v -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120
671.49/671.88	v -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130
671.49/671.88	v -x7131 -x7132 -x7133 -x7134 x7135 -x7136 -x7137 -x7138 -x7139 -x7140
671.49/671.88	v -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150
671.49/671.88	v -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160
671.49/671.88	v -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170
671.49/671.88	v -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180
671.49/671.88	v -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190
671.49/671.88	v -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 x7197 -x7198 -x7199 -x7200
671.49/671.88	v -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210
671.49/671.88	v -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220
671.49/671.88	v -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230
671.49/671.88	v -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240
671.49/671.88	v -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250
671.49/671.88	v -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260
671.49/671.88	v -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270
671.49/671.88	v -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280
671.49/671.88	v -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290
671.49/671.88	v -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300
671.49/671.88	v -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310
671.49/671.88	v -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320
671.49/671.88	v -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330
671.49/671.88	v -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340
671.49/671.88	v -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350
671.49/671.88	v -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360
671.49/671.88	v -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 x7369 -x7370
671.49/671.88	v -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380
671.49/671.88	v -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390
671.49/671.88	v -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400
671.49/671.88	v -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410
671.49/671.88	v -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420
671.49/671.88	v -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 x7428 -x7429 -x7430
671.49/671.88	v -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440
671.49/671.88	v -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450
671.49/671.88	v -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460
671.49/671.88	v -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470
671.49/671.88	v -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480
671.49/671.88	v -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490
671.49/671.88	v -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500
671.49/671.88	v -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510
671.49/671.88	v -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520
671.49/671.88	v -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530
671.49/671.88	v -x7531 x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540
671.49/671.88	v -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550
671.49/671.88	v -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560
671.49/671.88	v -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570
671.49/671.88	v -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580
671.49/671.88	v -x7581 -x7582 -x7583 -x7584 -x7585 x7586 -x7587 -x7588 -x7589 -x7590
671.49/671.88	v -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600
671.49/671.88	v -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610
671.49/671.88	v -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620
671.49/671.88	v -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630
671.49/671.88	v -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640
671.49/671.88	v -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650
671.49/671.88	v -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 x7659 -x7660
671.49/671.88	v -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670
671.49/671.88	v -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680
671.49/671.88	v -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690
671.49/671.88	v -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700
671.49/671.88	v -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710
671.49/671.88	v -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720
671.49/671.88	v -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730
671.49/671.88	v -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740
671.49/671.88	v -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750
671.49/671.88	v -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760
671.49/671.88	v -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770
671.49/671.88	v -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780
671.49/671.88	v -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790
671.49/671.88	v x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800
671.49/671.88	v -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810
671.49/671.88	v -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820
671.49/671.88	v -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830
671.49/671.88	v -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840
671.49/671.88	v -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850
671.49/671.88	v -x7851 -x7852 -x7853 -x7854 -x7855 x7856 -x7857 -x7858 -x7859 -x7860
671.49/671.88	v -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870
671.49/671.88	v -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880
671.49/671.88	v -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890
671.49/671.88	v -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900
671.49/671.88	v -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910
671.49/671.88	v -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920
671.49/671.88	v -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 x7929 -x7930
671.49/671.88	v -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940
671.49/671.88	v -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950
671.49/671.88	v -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960
671.49/671.88	v -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970
671.49/671.88	v -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980
671.49/671.88	v -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990
671.49/671.88	v -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000
671.49/671.88	v -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010
671.49/671.88	v -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020
671.49/671.88	v -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030
671.49/671.88	v -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040
671.49/671.88	v -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050
671.49/671.88	v -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 x8058 -x8059 -x8060
671.49/671.88	v -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070
671.49/671.88	v -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080
671.49/671.88	v -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090
671.49/671.88	v -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100
671.49/671.88	v -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110
671.49/671.88	v -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120
671.49/671.88	v -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130
671.49/671.88	v -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140
671.49/671.88	v -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150
671.49/671.88	v -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160
671.49/671.88	v -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170
671.49/671.88	v -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180
671.49/671.88	v -x8181 x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190
671.49/671.88	v -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200
671.49/671.88	v -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210
671.49/671.88	v -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220
671.49/671.88	v -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230
671.49/671.88	v -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240
671.49/671.88	v -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250
671.49/671.88	v -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260
671.49/671.88	v -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270
671.49/671.88	v -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 x8278 -x8279 -x8280
671.49/671.88	v -x8281
671.49/671.88	c total CPU time = 669.975s
671.49/671.88	c total wall clock time = 671.879s

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078720-1465216787/watcher-4078720-1465216787 -o /tmp/evaluation-result-4078720-1465216787/solver-4078720-1465216787 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078720-1465216787.opb 

pid=25927
running on 8 cores: 4-7,12-15

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: 1.92 2.50 2.42 4/257 25934
/proc/meminfo: memFree=32086032/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1116604 CPUtime=0 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 4234 0 0 0 0 0 0 0 20 0 4 0 103520747 1143402496 4084 33554432000 4194304 16246674 140733518641760 140733518641184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 279663 4093 441 2943 0 276557 0
[pid=25934/tid=25935] ppid=25927 vsize=1137084 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1164374016 4163 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1141180 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1168568320 4179 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1145276 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103520747 1172762624 4196 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.100134 s]
/proc/loadavg: 1.92 2.50 2.42 4/257 25934
/proc/meminfo: memFree=32086032/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1221188 CPUtime=0.08 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 28780 0 0 0 5 3 0 0 20 0 4 0 103520747 1250496512 28568 33554432000 4194304 16246674 140733518641760 140733518641072 4221105 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 305297 28573 801 2943 0 302191 0
[pid=25934/tid=25935] ppid=25927 vsize=1221188 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1250496512 28575 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1221188 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1250496512 28578 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1221188 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1250496512 28580 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200504 s]
/proc/loadavg: 1.92 2.50 2.42 4/257 25934
/proc/meminfo: memFree=32086032/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1313348 CPUtime=0.19 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 51372 0 0 0 13 6 0 0 20 0 4 0 103520747 1344868352 51671 33554432000 4194304 16246674 140733518641760 140733518640424 6757479 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 328337 51671 831 2943 0 325231 0
[pid=25934/tid=25935] ppid=25927 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1344868352 51671 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1344868352 51671 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1344868352 51671 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300447 s]
/proc/loadavg: 1.92 2.50 2.42 4/257 25934
/proc/meminfo: memFree=32086032/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1313348 CPUtime=0.28 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 56523 0 0 0 22 6 0 0 20 0 4 0 103520747 1344868352 56823 33554432000 4194304 16246674 140733518641760 140733518640424 12369833 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 328337 56836 834 2943 0 325231 0
[pid=25934/tid=25935] ppid=25927 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1344868352 56842 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1344868352 56853 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1344868352 56860 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.70039 s]
/proc/loadavg: 1.92 2.50 2.42 4/257 25934
/proc/meminfo: memFree=32086032/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1317444 CPUtime=0.68 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 114596 0 0 0 55 13 0 0 20 0 4 0 103520747 1349062656 114895 33554432000 4194304 16246674 140733518641760 140733518641072 5545840 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 329361 114895 879 2943 0 326255 0
[pid=25934/tid=25935] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114895 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114895 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114895 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1317444

[startup+1.50038 s]
/proc/loadavg: 1.92 2.50 2.42 4/265 25942
/proc/meminfo: memFree=30642484/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1317444 CPUtime=1.48 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 114596 0 0 0 135 13 0 0 20 0 4 0 103520747 1349062656 114895 33554432000 4194304 16246674 140733518641760 140733518640936 12477798 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 329361 114895 879 2943 0 326255 0
[pid=25934/tid=25935] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114895 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114895 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114895 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1317444

[startup+3.1004 s]
/proc/loadavg: 1.92 2.50 2.42 4/265 25942
/proc/meminfo: memFree=30555536/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1317444 CPUtime=3.09 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 114596 0 0 0 295 14 0 0 20 0 4 0 103520747 1349062656 114895 33554432000 4194304 16246674 140733518641760 140733518640936 12461024 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 329361 114895 879 2943 0 326255 0
[pid=25934/tid=25935] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114895 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114895 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114895 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1317444

[startup+6.30035 s]
/proc/loadavg: 2.09 2.52 2.43 4/265 25942
/proc/meminfo: memFree=30553656/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1317444 CPUtime=6.28 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 114597 0 0 0 614 14 0 0 20 0 4 0 103520747 1349062656 114896 33554432000 4194304 16246674 140733518641760 140733518623680 5667556 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 329361 114896 879 2943 0 326255 0
[pid=25934/tid=25935] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114896 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114896 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114896 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1317444

[startup+12.7004 s]
/proc/loadavg: 2.08 2.52 2.43 4/265 25942
/proc/meminfo: memFree=30555420/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1317444 CPUtime=12.69 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 114597 0 0 0 1253 16 0 0 20 0 4 0 103520747 1349062656 114896 33554432000 4194304 16246674 140733518641760 140733518640936 5546219 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 329361 114896 879 2943 0 326255 0
[pid=25934/tid=25935] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114896 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114896 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114896 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1317444

[startup+25.5005 s]
/proc/loadavg: 2.14 2.51 2.42 4/266 25945
/proc/meminfo: memFree=30555640/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1317444 CPUtime=25.48 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 114599 0 0 0 2529 19 0 0 20 0 4 0 103520747 1349062656 114898 33554432000 4194304 16246674 140733518641760 140733518623680 13950218 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 329361 114898 881 2943 0 326255 0
[pid=25934/tid=25935] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114898 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114898 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114898 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.15 2.48 2.42 4/266 25945
/proc/meminfo: memFree=30556492/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1317444 CPUtime=51.08 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 114604 0 0 0 5084 24 0 0 20 0 4 0 103520747 1349062656 114903 33554432000 4194304 16246674 140733518641760 140733518640936 13963936 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 329361 114903 886 2943 0 326255 0
[pid=25934/tid=25935] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114903 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114903 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 114903 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.3 s]
/proc/loadavg: 2.15 2.43 2.40 4/265 25946
/proc/meminfo: memFree=30474824/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1317444 CPUtime=102.28 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 114605 0 0 0 10193 35 0 0 20 0 4 0 103520747 1349062656 134907 33554432000 4194304 16246674 140733518641760 140733518623680 5822604 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 329361 134907 886 2943 0 326255 0
[pid=25934/tid=25935] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 134907 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 134907 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1317444 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1349062656 134907 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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

/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 205737 0 0 0 52100 108 0 0 20 0 4 0 103520747 1362694144 273739 33554432000 4194304 16246674 140733518641760 140733518623680 5546243 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 332689 273739 886 2943 0 329583 0
[pid=25934/tid=25935] ppid=25927 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1362694144 273739 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1362694144 273739 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1362694144 273739 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 1330756

[startup+582.3 s]
/proc/loadavg: 2.11 2.18 2.27 3/265 26005
/proc/meminfo: memFree=29909232/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1330756 CPUtime=582.04 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 205960 0 0 0 58086 118 0 0 20 0 4 0 103520747 1362694144 273918 33554432000 4194304 16246674 140733518641760 140733518623680 5545796 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 332689 273918 886 2943 0 329583 0
[pid=25934/tid=25935] ppid=25927 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1362694144 273918 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1362694144 273918 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1330756 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1362694144 273918 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 1330756

[startup+642.3 s]
/proc/loadavg: 2.27 2.21 2.27 3/266 26009
/proc/meminfo: memFree=29838728/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1400388 CPUtime=642.01 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 223350 0 0 0 64069 132 0 0 20 0 4 0 103520747 1433997312 291269 33554432000 4194304 16246674 140733518641760 140733518640936 5523325 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 350097 291269 886 2943 0 346991 0
[pid=25934/tid=25935] ppid=25927 vsize=1400388 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1433997312 291269 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1400388 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1433997312 291269 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1400388 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1433997312 291269 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 1400388

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

[startup+652.8 s]
/proc/loadavg: 2.23 2.20 2.27 3/266 26009
/proc/meminfo: memFree=29745468/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1493572 CPUtime=652.5 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 246544 0 0 0 65111 139 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 140733518623680 5672188 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 373393 314455 886 2943 0 370287 0
[pid=25934/tid=25935] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 652.5
Current children cumulated vsize (KiB) 1493572

[startup+665.611 s]
/proc/loadavg: 2.25 2.21 2.27 3/266 26010
/proc/meminfo: memFree=29744804/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1493572 CPUtime=665.31 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 246552 0 0 0 66389 142 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 140733518623680 5822252 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 373393 314455 886 2943 0 370287 0
[pid=25934/tid=25935] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 665.31
Current children cumulated vsize (KiB) 1493572

[startup+668.8 s]
/proc/loadavg: 2.25 2.21 2.27 3/266 26010
/proc/meminfo: memFree=29745176/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1493572 CPUtime=668.5 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 246552 0 0 0 66708 142 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 140733518640936 5546098 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 373393 314455 886 2943 0 370287 0
[pid=25934/tid=25935] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 668.5
Current children cumulated vsize (KiB) 1493572

[startup+670.4 s]
/proc/loadavg: 2.23 2.20 2.27 3/266 26010
/proc/meminfo: memFree=29745176/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1493572 CPUtime=670.1 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 246552 0 0 0 66867 143 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 140733518623680 13963936 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 373393 314455 886 2943 0 370287 0
[pid=25934/tid=25935] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 670.1
Current children cumulated vsize (KiB) 1493572

[startup+671.2 s]
/proc/loadavg: 2.23 2.20 2.27 3/266 26010
/proc/meminfo: memFree=29745176/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1493572 CPUtime=670.9 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 246552 0 0 0 66947 143 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 140733518623680 13950202 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 373393 314455 886 2943 0 370287 0
[pid=25934/tid=25935] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 670.9
Current children cumulated vsize (KiB) 1493572

[startup+671.6 s]
/proc/loadavg: 2.23 2.20 2.27 3/266 26010
/proc/meminfo: memFree=29745176/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1493572 CPUtime=671.29 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 246552 0 0 0 66986 143 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 140733518623680 13927401 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 373393 314455 886 2943 0 370287 0
[pid=25934/tid=25935] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 671.29
Current children cumulated vsize (KiB) 1493572

[startup+671.8 s]
/proc/loadavg: 2.23 2.20 2.27 3/266 26010
/proc/meminfo: memFree=29745176/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1493572 CPUtime=671.49 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 246552 0 0 0 67006 143 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 140733518623680 5546160 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 373393 314455 886 2943 0 370287 0
[pid=25934/tid=25935] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713307454704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713296964848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314455 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 671.49
Current children cumulated vsize (KiB) 1493572

[startup+671.9 s]
/proc/loadavg: 2.23 2.20 2.27 3/266 26010
/proc/meminfo: memFree=29745176/32872528 swapFree=9196/9196
[pid=25934] ppid=25927 vsize=1493572 CPUtime=671.59 cores=4-7,12-15
/proc/25934/stat : 25934 (toysat) R 25927 25934 25889 0 -1 4202496 246556 0 0 0 67016 143 0 0 20 0 4 0 103520747 1529417728 314459 33554432000 4194304 16246674 140733518641760 140733518623680 13881069 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/25934/statm: 373393 314459 890 2943 0 370287 0
[pid=25934/tid=25935] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25935/stat : 25935 (toysat) S 25927 25934 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314459 33554432000 4194304 16246674 140733518641760 139713307454480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=25934/tid=25936] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25936/stat : 25936 (toysat) S 25927 25934 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314459 33554432000 4194304 16246674 140733518641760 139713296964624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=25934/tid=25937] ppid=25927 vsize=1493572 CPUtime=0 cores=4-7,12-15
/proc/25934/task/25937/stat : 25937 (toysat) S 25927 25934 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103520747 1529417728 314459 33554432000 4194304 16246674 140733518641760 139713286491312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 671.59
Current children cumulated vsize (KiB) 1493572

Child status: 0
Real time (s): 671.933
CPU time (s): 671.634
CPU user time (s): 670.183
CPU system time (s): 1.45078
CPU usage (%): 99.9554
Max. virtual memory (cumulated for all children) (KiB): 1493572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 670.183
system time used= 1.45078
maximum resident set size= 1257840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246558
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= 292
involuntary context switches= 696

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.92925 second user time and 5.65414 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 14:39:47
IDJOB=4078720
IDBENCH=1156
IDSOLVER=2542
FILE ID=node132/4078720-1465216787
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71744 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078720-1465216787/watcher-4078720-1465216787 -o /tmp/evaluation-result-4078720-1465216787/solver-4078720-1465216787 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078720-1465216787.opb

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

MD5SUM BENCH= 321349c7a7114538010c83c600c72ae9
RANDOM SEED=2107216605

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        32088360 kB
Buffers:            1096 kB
Cached:            61964 kB
SwapCached:         2584 kB
Active:            54740 kB
Inactive:           9888 kB
Active(anon):       2720 kB
Inactive(anon):     2388 kB
Active(file):      52020 kB
Inactive(file):     7500 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67093476 kB
Dirty:             33488 kB
Writeback:             0 kB
AnonPages:         10876 kB
Mapped:             5500 kB
Shmem:                 0 kB
Slab:             571856 kB
SReclaimable:      11700 kB
SUnreclaim:       560156 kB
KernelStack:        2080 kB
PageTables:         3444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     106448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node132 at 2016-06-06 14:50:59