Trace number 4078601

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-02? (TO) 1800.07 1800.61

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
MD5SUM55203b98fb707e386dea9ef4475d45f9
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.016997
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2100
Total number of constraints130
Number of constraints which are clauses70
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T15:45:10+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-4078601-1465220710.opb"]
0.00/0.01	c use --random-gen="4095595795 364491803 3042934678 2972121184 84940857 3699762308 3306205954 3142008789 3618970176 2366867789 87734024 1147293462 1575355682 3635636118 898331622 847054933 306368528 474012313 790396743 1912006046 2863464110 1850184379 1857368586 1753133047 1437421120 1749811468 1981805641 4122154428 848747381 2696955922 915005273 267467500 927631013 3600127103 2535111004 2044952611 249517360 889764176 2178291649 3480752752 153780225 3925648988 4251309594 1931090729 691073807 2055838498 1281733150 2677911804 1428543216 1557170194 1332795859 1598816815 1280709532 4093802048 1966261139 223271834 3980540808 2771833812 2588565272 3646352300 623283901 1236986547 3560813827 3041244947 1027663512 3791071659 2594049601 3566212004 3124953039 338945269 1359388819 962139070 212556075 225498694 2475509012 749410022 961032958 2294992165 2720477111 371973023 2024841256 2212521961 2406653807 1662099906 741150566 3143334598 2704666610 4205234976 3659416988 695072389 3824877351 1794454296 1352859148 3529665736 3673184876 3893994055 3917230889 14905620 4087231382 1309797114 2764969996 1474931985 2808486184 434254937 357505165 2053080610 1904129202 3437348063 3483953040 1762669040 3813610617 530609686 4116534394 363186681 2550697958 673540629 1559145730 694228341 1283708101 739657752 167836485 218335100 545588228 561882950 1722748202 209410962 3530421558 1018039045 2325818823 4221027395 539342397 3853592987 708429447 700511240 3822524308 1595580242 3458636786 2239097511 1350101687 2675570419 247878614 3384428358 3521357968 1784822150 1983659918 1313151480 767766009 1915206468 2562696627 3836363624 2810035553 1650845807 3756327254 665608604 3154345656 76228494 1751518380 1321019072 3641924457 1973892321 3510439182 3952569274 2541673780 3825302693 239419414 3044705466 879150545 3004634345 1335210414 1823178153 1143392691 3478872029 2659495388 4154447898 2428318669 2910200925 2770572866 2435765472 2160296277 1354170208 4191095561 2537458602 404200670 4136704756 2402517194 2675995987 4216615003 2812751169 3476854713 1976403330 3411004593 3850113453 304413423 1248861385 776544202 3809638058 4213344013 147414532 1665684451 389109038 3654045973 1117493162 146349446 3274843441 2641320048 4077189465 3094233802 2564174748 944703685 1943061450 3825934362 1069385481 3796231674 734758714 3544170086 3672315877 3234337509 249805691 90307629 3367302505 3874547629 2184931070 3958738014 4076209818 3239100066 1874741185 62742265 759139552 654877227 3312950431 406502812 4173003231 3881270553 3672505934 1816572696 3074112545 2373853866 2940747289 772078343 3760994156 1484723610 616736800 2340895019 4119862219 3226101510 4233231506 36299621 2415343174 1579012637 2058147716 2452172931 82615802 878572770 1035237315 35471794 3152568855 255 362436" option to reproduce the execution
0.00/0.02	c #vars 2100
0.00/0.02	c #constraints 130
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      743      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      141 |      100 |      743      0 |        0 |        0
0.09/0.13	c  0.1s |       2 |      768 |      250 |      818      0 |        0 |        0
0.19/0.24	c  0.2s |       3 |     1507 |      475 |      900      0 |        0 |        0
0.39/0.44	c  0.4s |       4 |     2403 |      813 |      991      0 |        0 |        0
0.69/0.77	c  0.7s |       5 |     3446 |     1320 |     1091      0 |        0 |        0
1.09/1.15	c  1.1s |       6 |     4949 |     2081 |     1322      1 |        0 |        0
1.49/1.60	c  1.6s |       7 |     6743 |     3223 |     1455      2 |        0 |        0
2.59/2.63	c  2.6s |       8 |     9155 |     4936 |     1601      4 |        0 |        0
4.09/4.15	c  4.1s |       9 |    12928 |     7506 |     1762      6 |        0 |        0
6.09/6.16	c  6.1s |       9 |    17081 |    10306 |     1762      8 |        0 |        0
6.89/6.96	c  6.9s |      10 |    18344 |    11361 |     1939      8 |        0 |        0
8.99/9.01	c  9.0s |      10 |    22160 |    13761 |     1939     10 |        0 |        0
10.99/11.01	c 11.0s |      10 |    24544 |    15861 |     1939     11 |        0 |        0
12.29/12.34	c 12.3s |      11 |    26004 |    17144 |     2133     12 |        0 |        0
14.39/14.42	c 14.4s |      11 |    30648 |    20344 |     2133     14 |        0 |        0
16.38/16.49	c 16.5s |      11 |    33356 |    22744 |     2133     16 |        0 |        0
18.48/18.57	c 18.5s |      11 |    36039 |    25144 |     2133     17 |        0 |        0
19.08/19.12	c 19.1s |      12 |    36816 |    25819 |     2347     18 |        0 |        0
21.09/21.17	c 21.1s |      12 |    40936 |    29019 |     2347     20 |        0 |        0
23.08/23.18	c 23.1s |      12 |    43981 |    31719 |     2347     21 |        0 |        0
25.18/25.21	c 25.2s |      12 |    46754 |    34219 |     2347     23 |        0 |        0
27.18/27.25	c 27.2s |      12 |    49484 |    36719 |     2347     24 |        0 |        0
29.09/29.14	c 29.1s |      13 |    51788 |    38832 |     2582     25 |        0 |        0
31.19/31.21	c 31.2s |      13 |    55948 |    41732 |     2582     27 |        0 |        0
33.20/33.24	c 33.2s |      13 |    58512 |    44032 |     2582     28 |        0 |        0
35.19/35.30	c 35.3s |      13 |    60916 |    46232 |     2582     30 |        0 |        0
37.29/37.37	c 37.3s |      13 |    63312 |    48432 |     2582     31 |        0 |        0
39.29/39.38	c 39.3s |      13 |    65609 |    50532 |     2582     32 |        0 |        0
41.29/41.39	c 41.4s |      13 |    67892 |    52632 |     2582     33 |        0 |        0
43.39/43.41	c 43.4s |      13 |    70115 |    54632 |     2582     34 |        0 |        0
45.49/45.50	c 45.5s |      13 |    72745 |    57032 |     2582     36 |        0 |        0
46.89/46.94	c 46.9s |      14 |    74229 |    58352 |     2841     36 |        0 |        0
48.88/48.98	c 48.9s |      14 |    78566 |    61252 |     2841     38 |        0 |        0
50.98/51.00	c 51.0s |      14 |    81033 |    63452 |     2841     39 |        0 |        0
52.99/53.02	c 53.0s |      14 |    83358 |    65552 |     2841     40 |        0 |        0
54.98/55.03	c 55.0s |      14 |    85700 |    67652 |     2841     41 |        0 |        0
56.98/57.08	c 57.1s |      14 |    88326 |    69952 |     2841     42 |        0 |        0
59.08/59.17	c 59.1s |      14 |    90582 |    71952 |     2841     43 |        0 |        0
61.08/61.19	c 61.2s |      14 |    92574 |    73752 |     2841     44 |        0 |        0
63.18/63.28	c 63.3s |      14 |    94570 |    75552 |     2841     45 |        0 |        0
65.18/65.29	c 65.3s |      14 |    96546 |    77352 |     2841     46 |        0 |        0
67.29/67.38	c 67.3s |      14 |    98517 |    79152 |     2841     47 |        0 |        0
69.39/69.44	c 69.4s |      14 |   100645 |    81052 |     2841     48 |        0 |        0
71.48/71.52	c 71.5s |      14 |   103146 |    83252 |     2841     49 |        0 |        0
73.48/73.56	c 73.5s |      14 |   105056 |    84952 |     2841     50 |        0 |        0
75.58/75.61	c 75.6s |      14 |   106942 |    86652 |     2841     51 |        0 |        0
76.68/76.73	c 76.7s |      15 |   108055 |    87632 |     3126     51 |        0 |        0
78.68/78.79	c 78.8s |      15 |   112561 |    90532 |     3126     53 |        0 |        0
80.78/80.84	c 80.8s |      15 |   115394 |    93032 |     3126     54 |        0 |        0
82.78/82.85	c 82.8s |      15 |   118165 |    95532 |     3126     55 |        0 |        0
84.78/84.85	c 84.8s |      15 |   120717 |    97832 |     3126     56 |        0 |        0
86.88/86.92	c 86.9s |      15 |   123539 |   100332 |     3126     57 |        0 |        0
88.88/88.94	c 88.9s |      15 |   126144 |   102632 |     3126     58 |        0 |        0
90.98/91.00	c 91.0s |      15 |   128513 |   104732 |     3126     59 |        0 |        0
93.07/93.10	c 93.1s |      15 |   130725 |   106732 |     3126     60 |        0 |        0
95.07/95.17	c 95.1s |      15 |   133087 |   108832 |     3126     61 |        0 |        0
97.07/97.19	c 97.2s |      15 |   135243 |   110732 |     3126     62 |        0 |        0
99.18/99.25	c 99.2s |      15 |   137393 |   112632 |     3126     63 |        0 |        0
101.17/101.30	c  101s |      15 |   139527 |   114532 |     3126     64 |        0 |        0
103.27/103.34	c  103s |      15 |   141314 |   116132 |     3126     64 |        0 |        0
105.37/105.45	c  105s |      15 |   143276 |   117932 |     3126     65 |        0 |        0
107.37/107.48	c  107s |      15 |   145181 |   119632 |     3126     66 |        0 |        0
109.47/109.56	c  109s |      15 |   146991 |   121332 |     3126     67 |        0 |        0
111.57/111.63	c  111s |      15 |   148911 |   123032 |     3126     68 |        0 |        0
113.57/113.67	c  113s |      15 |   151183 |   125032 |     3126     68 |        0 |        0
115.58/115.69	c  115s |      15 |   153191 |   126832 |     3126     69 |        0 |        0
117.67/117.73	c  117s |      15 |   155092 |   128532 |     3126     70 |        0 |        0
119.67/119.74	c  119s |      15 |   156847 |   130132 |     3126     71 |        0 |        0
120.97/121.07	c  121s |      16 |   158414 |   131552 |     3439     71 |        0 |        0
123.17/123.20	c  123s |      16 |   162468 |   134052 |     3439     73 |        0 |        0
125.27/125.30	c  125s |      16 |   164466 |   135852 |     3439     73 |        0 |        0
127.27/127.31	c  127s |      16 |   166253 |   137452 |     3439     74 |        0 |        0
129.37/129.40	c  129s |      16 |   168011 |   139052 |     3439     75 |        0 |        0
131.37/131.48	c  131s |      16 |   169762 |   140652 |     3439     75 |        0 |        0
133.47/133.51	c  133s |      16 |   171941 |   142552 |     3439     76 |        0 |        0
135.47/135.53	c  135s |      16 |   173922 |   144352 |     3439     77 |        0 |        0
137.47/137.54	c  137s |      16 |   175795 |   146052 |     3439     78 |        0 |        0
139.46/139.57	c  139s |      16 |   177498 |   147652 |     3439     79 |        0 |        0
141.46/141.58	c  141s |      16 |   179375 |   149352 |     3439     79 |        0 |        0
143.56/143.67	c  143s |      16 |   181390 |   151152 |     3439     80 |        0 |        0
145.66/145.70	c  145s |      16 |   183091 |   152652 |     3439     81 |        0 |        0
147.76/147.80	c  147s |      16 |   184724 |   154152 |     3439     81 |        0 |        0
149.86/149.94	c  149s |      16 |   186228 |   155552 |     3439     82 |        0 |        0
151.97/152.08	c  152s |      16 |   187606 |   156852 |     3439     83 |        0 |        0
154.07/154.13	c  154s |      16 |   189257 |   158352 |     3439     83 |        0 |        0
156.16/156.24	c  156s |      16 |   190543 |   159552 |     3439     84 |        0 |        0
158.26/158.38	c  158s |      16 |   192338 |   161152 |     3439     84 |        0 |        0
160.46/160.53	c  160s |      16 |   193965 |   162652 |     3439     85 |        0 |        0
162.56/162.62	c  162s |      16 |   195383 |   163952 |     3439     86 |        0 |        0
164.57/164.64	c  164s |      16 |   197076 |   165452 |     3439     86 |        0 |        0
166.67/166.77	c  166s |      16 |   198732 |   166952 |     3439     87 |        0 |        0
168.77/168.85	c  168s |      16 |   200038 |   168152 |     3439     88 |        0 |        0
170.87/170.91	c  170s |      16 |   202045 |   169952 |     3439     88 |        0 |        0
172.97/173.03	c  172s |      16 |   203687 |   171452 |     3439     89 |        0 |        0
174.97/175.08	c  175s |      16 |   204951 |   172652 |     3439     90 |        0 |        0
177.07/177.18	c  177s |      16 |   206793 |   174352 |     3439     90 |        0 |        0
179.17/179.22	c  179s |      16 |   208417 |   175852 |     3439     91 |        0 |        0
181.17/181.23	c  181s |      16 |   209790 |   177152 |     3439     92 |        0 |        0
183.17/183.29	c  183s |      16 |   211776 |   178952 |     3439     92 |        0 |        0
185.37/185.40	c  185s |      16 |   213503 |   180552 |     3439     93 |        0 |        0
187.47/187.57	c  187s |      16 |   215002 |   181952 |     3439     94 |        0 |        0
189.56/189.65	c  189s |      16 |   216507 |   183352 |     3439     94 |        0 |        0
191.66/191.71	c  191s |      16 |   218393 |   185052 |     3439     95 |        0 |        0
193.67/193.72	c  193s |      16 |   220015 |   186552 |     3439     96 |        0 |        0
195.66/195.78	c  195s |      16 |   221507 |   187952 |     3439     96 |        0 |        0
197.76/197.84	c  197s |      16 |   223175 |   189452 |     3439     97 |        0 |        0
199.76/199.89	c  199s |      16 |   224804 |   190952 |     3439     98 |        0 |        0
201.86/201.91	c  201s |      16 |   226303 |   192352 |     3439     98 |        0 |        0
203.86/203.97	c  203s |      16 |   227722 |   193652 |     3439     99 |        0 |        0
205.96/206.07	c  206s |      16 |   229509 |   195252 |     3439     99 |        0 |        0
208.07/208.12	c  208s |      16 |   231135 |   196752 |     3783    100 |        0 |        0
209.07/209.12	c  209s |      17 |   231854 |   197432 |     3783    100 |        0 |        0
211.16/211.25	c  211s |      17 |   236473 |   200332 |     3783    102 |        0 |        0
213.16/213.26	c  213s |      17 |   238844 |   202432 |     3783    102 |        0 |        0
215.26/215.35	c  215s |      17 |   241056 |   204332 |     3783    103 |        0 |        0
217.36/217.43	c  217s |      17 |   243300 |   206332 |     3783    104 |        0 |        0
219.46/219.50	c  219s |      17 |   245390 |   208232 |     3783    105 |        0 |        0
221.46/221.53	c  221s |      17 |   247530 |   210132 |     3783    105 |        0 |        0
223.47/223.58	c  223s |      17 |   249511 |   211932 |     3783    106 |        0 |        0
225.56/225.61	c  225s |      17 |   252047 |   214232 |     3783    107 |        0 |        0
227.56/227.65	c  227s |      17 |   253974 |   216032 |     3783    108 |        0 |        0
229.56/229.67	c  229s |      17 |   255828 |   217732 |     3783    108 |        0 |        0
231.56/231.68	c  231s |      17 |   257925 |   219632 |     3783    109 |        0 |        0
233.66/233.77	c  233s |      17 |   259930 |   221432 |     3783    110 |        0 |        0
235.86/235.92	c  235s |      17 |   261827 |   223132 |     3783    111 |        0 |        0
237.85/237.93	c  237s |      17 |   263692 |   224832 |     3783    111 |        0 |        0
239.96/240.04	c  240s |      17 |   265406 |   226432 |     3783    112 |        0 |        0
242.16/242.21	c  242s |      17 |   267258 |   228132 |     3783    113 |        0 |        0
244.15/244.22	c  244s |      17 |   269017 |   229732 |     3783    113 |        0 |        0
246.25/246.30	c  246s |      17 |   270904 |   231432 |     3783    114 |        0 |        0
248.25/248.38	c  248s |      17 |   272442 |   232832 |     3783    114 |        0 |        0
250.35/250.45	c  250s |      17 |   274383 |   234532 |     3783    115 |        0 |        0
252.45/252.53	c  252s |      17 |   276563 |   236432 |     3783    116 |        0 |        0
254.65/254.71	c  254s |      17 |   278526 |   238232 |     3783    117 |        0 |        0
256.75/256.81	c  256s |      17 |   280380 |   239932 |     3783    117 |        0 |        0
258.75/258.82	c  258s |      17 |   282138 |   241432 |     3783    118 |        0 |        0
260.76/260.87	c  260s |      17 |   284265 |   243332 |     3783    119 |        0 |        0
262.85/262.91	c  262s |      17 |   286610 |   245432 |     3783    119 |        0 |        0
264.85/264.96	c  264s |      17 |   288498 |   247132 |     3783    120 |        0 |        0
266.95/267.02	c  266s |      17 |   290401 |   248832 |     3783    121 |        0 |        0
269.05/269.15	c  269s |      17 |   292397 |   250632 |     3783    121 |        0 |        0
271.15/271.25	c  271s |      17 |   294730 |   252632 |     3783    122 |        0 |        0
273.15/273.29	c  273s |      17 |   296946 |   254632 |     3783    123 |        0 |        0
275.25/275.31	c  275s |      17 |   298789 |   256332 |     3783    124 |        0 |        0
277.35/277.42	c  277s |      17 |   300825 |   258132 |     3783    125 |        0 |        0
279.45/279.55	c  279s |      17 |   302904 |   260032 |     3783    125 |        0 |        0
281.55/281.64	c  281s |      17 |   304920 |   261832 |     3783    126 |        0 |        0
283.64/283.70	c  283s |      17 |   306754 |   263532 |     3783    127 |        0 |        0
285.74/285.81	c  285s |      17 |   308476 |   265132 |     3783    127 |        0 |        0
287.74/287.87	c  287s |      17 |   310359 |   266832 |     3783    128 |        0 |        0
289.84/289.99	c  289s |      17 |   312124 |   268432 |     3783    129 |        0 |        0
291.94/292.01	c  291s |      17 |   313872 |   270032 |     3783    129 |        0 |        0
294.04/294.10	c  294s |      17 |   315506 |   271532 |     3783    130 |        0 |        0
296.14/296.23	c  296s |      17 |   316915 |   272832 |     3783    130 |        0 |        0
298.15/298.24	c  298s |      17 |   318336 |   274132 |     3783    131 |        0 |        0
300.14/300.29	c  300s |      17 |   320280 |   275832 |     3783    132 |        0 |        0
302.14/302.29	c  302s |      17 |   321907 |   277332 |     3783    132 |        0 |        0
304.24/304.39	c  304s |      17 |   323772 |   279032 |     3783    133 |        0 |        0
306.44/306.53	c  306s |      17 |   325367 |   280532 |     3783    134 |        0 |        0
308.54/308.65	c  308s |      17 |   327198 |   282232 |     3783    134 |        0 |        0
310.54/310.68	c  310s |      17 |   328937 |   283832 |     3783    135 |        0 |        0
312.74/312.81	c  312s |      17 |   330955 |   285632 |     3783    136 |        0 |        0
314.84/314.97	c  314s |      17 |   332699 |   287232 |     3783    136 |        0 |        0
316.84/316.99	c  316s |      17 |   334468 |   288832 |     3783    137 |        0 |        0
318.94/319.04	c  319s |      17 |   336353 |   290532 |     3783    138 |        0 |        0
320.94/321.05	c  321s |      17 |   338132 |   292132 |     3783    138 |        0 |        0
323.04/323.12	c  323s |      17 |   340017 |   293832 |     3783    139 |        0 |        0
325.04/325.18	c  325s |      17 |   341634 |   295332 |     4162    139 |        0 |        0
326.24/326.37	c  326s |      18 |   342655 |   296252 |     4162    140 |        0 |        0
328.34/328.45	c  328s |      18 |   346877 |   298652 |     4162    140 |        0 |        0
330.34/330.49	c  330s |      18 |   348842 |   300352 |     4162    141 |        0 |        0
332.44/332.59	c  332s |      18 |   350551 |   301852 |     4162    141 |        0 |        0
334.55/334.65	c  334s |      18 |   352291 |   303352 |     4162    142 |        0 |        0
336.65/336.75	c  336s |      18 |   354033 |   304852 |     4162    142 |        0 |        0
338.64/338.76	c  338s |      18 |   355465 |   306052 |     4162    143 |        0 |        0
340.64/340.78	c  340s |      18 |   357045 |   307452 |     4162    143 |        0 |        0
342.74/342.85	c  342s |      18 |   358272 |   308552 |     4162    144 |        0 |        0
344.83/344.96	c  344s |      18 |   359987 |   310052 |     4162    144 |        0 |        0
346.93/347.04	c  347s |      18 |   361358 |   311252 |     4162    145 |        0 |        0
349.04/349.13	c  349s |      18 |   363057 |   312752 |     4162    145 |        0 |        0
351.24/351.31	c  351s |      18 |   364384 |   313952 |     4162    146 |        0 |        0
353.24/353.37	c  353s |      18 |   366147 |   315452 |     4162    146 |        0 |        0
355.23/355.38	c  355s |      18 |   367717 |   316852 |     4162    146 |        0 |        0
357.33/357.44	c  357s |      18 |   369193 |   318152 |     4162    147 |        0 |        0
359.34/359.46	c  359s |      18 |   370683 |   319452 |     4162    147 |        0 |        0
361.44/361.51	c  361s |      18 |   372213 |   320752 |     4162    148 |        0 |        0
363.54/363.63	c  363s |      18 |   373851 |   322152 |     4162    148 |        0 |        0
365.53/365.67	c  365s |      18 |   375383 |   323452 |     4162    149 |        0 |        0
367.73/367.85	c  367s |      18 |   377019 |   324952 |     4162    149 |        0 |        0
369.93/370.08	c  370s |      18 |   378390 |   326152 |     4162    150 |        0 |        0
372.03/372.16	c  372s |      18 |   379868 |   327452 |     4162    150 |        0 |        0
374.14/374.21	c  374s |      18 |   381349 |   328752 |     4162    150 |        0 |        0
376.13/376.25	c  376s |      18 |   382975 |   330152 |     4162    151 |        0 |        0
378.23/378.33	c  378s |      18 |   384759 |   331752 |     4162    151 |        0 |        0
380.23/380.37	c  380s |      18 |   386192 |   333052 |     4162    152 |        0 |        0
382.33/382.41	c  382s |      18 |   388001 |   334652 |     4162    152 |        0 |        0
384.33/384.47	c  384s |      18 |   389546 |   336052 |     4162    153 |        0 |        0
386.43/386.53	c  386s |      18 |   390977 |   337352 |     4162    153 |        0 |        0
388.53/388.63	c  388s |      18 |   392794 |   338952 |     4162    154 |        0 |        0
390.64/390.71	c  390s |      18 |   394441 |   340452 |     4162    154 |        0 |        0
392.63/392.72	c  392s |      18 |   396260 |   341952 |     4162    155 |        0 |        0
394.63/394.73	c  394s |      18 |   397989 |   343452 |     4162    155 |        0 |        0
396.63/396.75	c  396s |      18 |   399690 |   344952 |     4162    156 |        0 |        0
398.63/398.77	c  398s |      18 |   401166 |   346252 |     4162    156 |        0 |        0
400.73/400.84	c  400s |      18 |   402770 |   347652 |     4162    157 |        0 |        0
402.83/402.92	c  402s |      18 |   404235 |   348952 |     4162    157 |        0 |        0
404.94/405.04	c  405s |      18 |   405697 |   350252 |     4162    158 |        0 |        0
407.04/407.14	c  407s |      18 |   407235 |   351652 |     4162    158 |        0 |        0
409.03/409.16	c  409s |      18 |   408595 |   352852 |     4162    159 |        0 |        0
411.13/411.26	c  411s |      18 |   411050 |   354952 |     4162    159 |        0 |        0
413.23/413.30	c  413s |      18 |   413092 |   356752 |     4162    160 |        0 |        0
415.23/415.39	c  415s |      18 |   414831 |   358352 |     4162    160 |        0 |        0
417.33/417.40	c  417s |      18 |   416613 |   359852 |     4162    161 |        0 |        0
419.33/419.48	c  419s |      18 |   418438 |   361452 |     4162    161 |        0 |        0
421.43/421.52	c  421s |      18 |   419985 |   362852 |     4162    162 |        0 |        0
423.42/423.58	c  423s |      18 |   421549 |   364252 |     4162    162 |        0 |        0
425.52/425.62	c  425s |      18 |   423344 |   365752 |     4162    163 |        0 |        0
427.52/427.62	c  427s |      18 |   425209 |   367352 |     4162    163 |        0 |        0
429.62/429.71	c  429s |      18 |   426700 |   368652 |     4162    164 |        0 |        0
431.62/431.71	c  431s |      18 |   428054 |   369852 |     4162    164 |        0 |        0
433.63/433.76	c  433s |      18 |   429498 |   371152 |     4162    165 |        0 |        0
435.83/435.91	c  435s |      18 |   431072 |   372552 |     4162    165 |        0 |        0
437.93/438.07	c  438s |      18 |   432313 |   373652 |     4162    166 |        0 |        0
439.92/440.08	c  440s |      18 |   433486 |   374752 |     4162    166 |        0 |        0
442.02/442.18	c  442s |      18 |   435259 |   376352 |     4162    166 |        0 |        0
444.12/444.29	c  444s |      18 |   436932 |   377852 |     4162    167 |        0 |        0
446.22/446.30	c  446s |      18 |   438560 |   379252 |     4162    167 |        0 |        0
448.32/448.41	c  448s |      18 |   440585 |   380952 |     4162    168 |        0 |        0
450.32/450.47	c  450s |      18 |   442167 |   382352 |     4162    168 |        0 |        0
452.42/452.54	c  452s |      18 |   443537 |   383552 |     4162    169 |        0 |        0
454.52/454.61	c  454s |      18 |   445133 |   384952 |     4162    169 |        0 |        0
456.52/456.64	c  456s |      18 |   446748 |   386352 |     4162    170 |        0 |        0
458.62/458.75	c  458s |      18 |   448450 |   387852 |     4162    170 |        0 |        0
460.62/460.78	c  460s |      18 |   449818 |   389052 |     4162    171 |        0 |        0
462.72/462.82	c  462s |      18 |   451264 |   390352 |     4162    171 |        0 |        0
464.82/464.91	c  464s |      18 |   452608 |   391552 |     4162    172 |        0 |        0
466.82/466.97	c  466s |      18 |   453807 |   392652 |     4162    172 |        0 |        0
468.82/468.98	c  468s |      18 |   454979 |   393652 |     4162    172 |        0 |        0
470.93/471.06	c  471s |      18 |   456456 |   394952 |     4162    173 |        0 |        0
472.92/473.07	c  473s |      18 |   458286 |   396552 |     4162    173 |        0 |        0
475.02/475.17	c  475s |      18 |   459884 |   397952 |     4162    174 |        0 |        0
477.02/477.17	c  477s |      18 |   461292 |   399252 |     4162    174 |        0 |        0
479.22/479.31	c  479s |      18 |   462729 |   400552 |     4162    175 |        0 |        0
481.32/481.41	c  481s |      18 |   464456 |   402152 |     4162    175 |        0 |        0
483.32/483.47	c  483s |      18 |   466152 |   403652 |     4162    176 |        0 |        0
485.32/485.48	c  485s |      18 |   468409 |   405552 |     4162    176 |        0 |        0
487.42/487.51	c  487s |      18 |   470200 |   407052 |     4162    177 |        0 |        0
489.42/489.54	c  489s |      18 |   472080 |   408652 |     4162    177 |        0 |        0
491.51/491.61	c  491s |      18 |   473827 |   410152 |     4162    178 |        0 |        0
493.51/493.62	c  493s |      18 |   475442 |   411552 |     4162    178 |        0 |        0
495.61/495.70	c  495s |      18 |   477088 |   412952 |     4162    179 |        0 |        0
497.71/497.80	c  497s |      18 |   478756 |   414352 |     4162    179 |        0 |        0
499.71/499.84	c  499s |      18 |   480528 |   415852 |     4162    180 |        0 |        0
501.72/501.89	c  501s |      18 |   482321 |   417352 |     4162    180 |        0 |        0
503.82/503.92	c  503s |      18 |   483962 |   418752 |     4162    181 |        0 |        0
505.82/505.97	c  505s |      18 |   485389 |   420052 |     4162    181 |        0 |        0
507.82/507.99	c  507s |      18 |   486871 |   421252 |     4162    181 |        0 |        0
509.92/510.07	c  510s |      18 |   488624 |   422552 |     4162    182 |        0 |        0
512.02/512.17	c  512s |      18 |   490059 |   423852 |     4162    182 |        0 |        0
514.12/514.20	c  514s |      18 |   491294 |   424952 |     4162    183 |        0 |        0
516.12/516.29	c  516s |      18 |   492732 |   426252 |     4162    183 |        0 |        0
518.22/518.39	c  518s |      18 |   493815 |   427252 |     4162    184 |        0 |        0
520.42/520.53	c  520s |      18 |   495112 |   428452 |     4162    184 |        0 |        0
522.52/522.62	c  522s |      18 |   496421 |   429552 |     4162    184 |        0 |        0
524.61/524.74	c  524s |      18 |   497485 |   430452 |     4162    185 |        0 |        0
526.71/526.82	c  526s |      18 |   498657 |   431552 |     4162    185 |        0 |        0
528.91/529.08	c  529s |      18 |   500550 |   433152 |     4162    186 |        0 |        0
531.01/531.17	c  531s |      18 |   502270 |   434652 |     4162    186 |        0 |        0
533.11/533.26	c  533s |      18 |   503879 |   436052 |     4162    186 |        0 |        0
535.21/535.31	c  535s |      18 |   505448 |   437452 |     4162    187 |        0 |        0
537.31/537.40	c  537s |      18 |   506887 |   438752 |     4162    187 |        0 |        0
539.31/539.48	c  539s |      18 |   508504 |   440152 |     4162    188 |        0 |        0
541.41/541.57	c  541s |      18 |   509951 |   441452 |     4579    188 |        0 |        0
543.41/543.58	c  543s |      18 |   511217 |   442552 |     4579    189 |        0 |        0
545.41/545.59	c  545s |      18 |   512705 |   443852 |     4579    189 |        0 |        0
546.60/546.79	c  546s |      19 |   513395 |   444482 |     4579    189 |        0 |        0
548.70/548.85	c  548s |      19 |   516879 |   446582 |     4579    190 |        0 |        0
550.80/550.98	c  550s |      19 |   518565 |   448082 |     4579    191 |        0 |        0
552.90/553.01	c  552s |      19 |   519876 |   449282 |     4579    191 |        0 |        0
555.00/555.14	c  555s |      19 |   521655 |   450582 |     4579    192 |        0 |        0
557.10/557.20	c  557s |      19 |   523190 |   451882 |     4579    192 |        0 |        0
559.30/559.45	c  559s |      19 |   524526 |   452982 |     4579    193 |        0 |        0
561.40/561.55	c  561s |      19 |   526089 |   454382 |     4579    193 |        0 |        0
563.60/563.70	c  563s |      19 |   527770 |   455782 |     4579    194 |        0 |        0
565.60/565.72	c  565s |      19 |   529493 |   457282 |     4579    194 |        0 |        0
567.61/567.75	c  567s |      19 |   530957 |   458582 |     4579    195 |        0 |        0
569.70/569.81	c  569s |      19 |   532536 |   459982 |     4579    195 |        0 |        0
571.80/571.95	c  571s |      19 |   534093 |   461382 |     4579    196 |        0 |        0
573.80/573.97	c  573s |      19 |   535517 |   462682 |     4579    196 |        0 |        0
576.00/576.12	c  576s |      19 |   537111 |   464082 |     4579    197 |        0 |        0
578.00/578.20	c  578s |      19 |   538767 |   465582 |     4579    197 |        0 |        0
580.20/580.33	c  580s |      19 |   540185 |   466882 |     4579    198 |        0 |        0
582.20/582.38	c  582s |      19 |   542136 |   468482 |     4579    198 |        0 |        0
584.30/584.41	c  584s |      19 |   543863 |   469982 |     4579    199 |        0 |        0
586.30/586.47	c  586s |      19 |   545528 |   471482 |     4579    199 |        0 |        0
588.30/588.47	c  588s |      19 |   546956 |   472782 |     4579    200 |        0 |        0
590.40/590.58	c  590s |      19 |   548466 |   474182 |     4579    200 |        0 |        0
592.50/592.66	c  592s |      19 |   549805 |   475382 |     4579    201 |        0 |        0
594.60/594.74	c  594s |      19 |   551354 |   476782 |     4579    201 |        0 |        0
596.70/596.87	c  596s |      19 |   552517 |   477882 |     4579    202 |        0 |        0
598.70/598.88	c  598s |      19 |   553934 |   479182 |     4579    202 |        0 |        0
600.79/600.99	c  600s |      19 |   555232 |   480382 |     4579    202 |        0 |        0
602.90/603.07	c  603s |      19 |   556565 |   481582 |     4579    203 |        0 |        0
604.89/605.09	c  605s |      19 |   558111 |   482982 |     4579    203 |        0 |        0
606.99/607.12	c  607s |      19 |   559381 |   484182 |     4579    204 |        0 |        0
608.99/609.16	c  609s |      19 |   560760 |   485482 |     4579    204 |        0 |        0
611.09/611.26	c  611s |      19 |   561933 |   486582 |     4579    205 |        0 |        0
613.19/613.35	c  613s |      19 |   563322 |   487882 |     4579    205 |        0 |        0
615.29/615.41	c  615s |      19 |   564624 |   489082 |     4579    206 |        0 |        0
617.29/617.46	c  617s |      19 |   566072 |   490382 |     4579    206 |        0 |        0
619.49/619.63	c  619s |      19 |   567369 |   491582 |     4579    206 |        0 |        0
621.50/621.68	c  621s |      19 |   568655 |   492782 |     4579    207 |        0 |        0
623.59/623.73	c  623s |      19 |   570067 |   494082 |     4579    207 |        0 |        0
625.59/625.76	c  625s |      19 |   571373 |   495282 |     4579    208 |        0 |        0
627.79/627.90	c  627s |      19 |   572765 |   496582 |     4579    208 |        0 |        0
629.89/630.05	c  630s |      19 |   574043 |   497782 |     4579    209 |        0 |        0
631.89/632.07	c  632s |      19 |   575104 |   498782 |     4579    209 |        0 |        0
633.99/634.19	c  634s |      19 |   576188 |   499782 |     4579    209 |        0 |        0
636.19/636.34	c  636s |      19 |   577602 |   501082 |     4579    210 |        0 |        0
638.29/638.47	c  638s |      19 |   579165 |   502482 |     4579    210 |        0 |        0
640.29/640.48	c  640s |      19 |   580573 |   503782 |     4579    211 |        0 |        0
642.29/642.48	c  642s |      19 |   582004 |   505082 |     4579    211 |        0 |        0
644.39/644.55	c  644s |      19 |   583407 |   506382 |     4579    212 |        0 |        0
646.59/646.70	c  646s |      19 |   584726 |   507582 |     4579    212 |        0 |        0
648.59/648.75	c  648s |      19 |   585912 |   508682 |     4579    213 |        0 |        0
650.69/650.89	c  650s |      19 |   587309 |   509982 |     4579    213 |        0 |        0
652.89/653.08	c  653s |      19 |   588604 |   511182 |     4579    214 |        0 |        0
654.99/655.18	c  655s |      19 |   589909 |   512382 |     4579    214 |        0 |        0
657.09/657.27	c  657s |      19 |   591079 |   513482 |     4579    214 |        0 |        0
659.28/659.42	c  659s |      19 |   592283 |   514582 |     4579    215 |        0 |        0
661.38/661.50	c  661s |      19 |   593468 |   515682 |     4579    215 |        0 |        0
663.48/663.65	c  663s |      19 |   594538 |   516682 |     4579    216 |        0 |        0
665.59/665.78	c  665s |      19 |   595782 |   517782 |     4579    216 |        0 |        0
667.69/667.89	c  667s |      19 |   597276 |   519182 |     4579    216 |        0 |        0
669.78/669.99	c  669s |      19 |   598594 |   520382 |     4579    217 |        0 |        0
671.88/672.04	c  672s |      19 |   600046 |   521682 |     4579    217 |        0 |        0
673.88/674.09	c  674s |      19 |   601271 |   522782 |     4579    218 |        0 |        0
675.98/676.12	c  676s |      19 |   602341 |   523782 |     4579    218 |        0 |        0
677.98/678.13	c  678s |      19 |   603533 |   524882 |     4579    218 |        0 |        0
679.98/680.18	c  680s |      19 |   604616 |   525882 |     4579    219 |        0 |        0
681.99/682.19	c  682s |      19 |   605808 |   526982 |     4579    219 |        0 |        0
684.08/684.28	c  684s |      19 |   606910 |   527982 |     4579    220 |        0 |        0
686.08/686.28	c  686s |      19 |   607980 |   528982 |     4579    220 |        0 |        0
688.28/688.44	c  688s |      19 |   609156 |   530082 |     4579    220 |        0 |        0
690.38/690.58	c  690s |      19 |   610351 |   531182 |     4579    221 |        0 |        0
692.48/692.61	c  692s |      19 |   611419 |   532182 |     4579    221 |        0 |        0
694.58/694.73	c  694s |      19 |   612500 |   533182 |     4579    221 |        0 |        0
696.58/696.73	c  696s |      19 |   613575 |   534182 |     4579    222 |        0 |        0
698.69/698.87	c  698s |      19 |   614622 |   535182 |     4579    222 |        0 |        0
700.79/700.99	c  700s |      19 |   615694 |   536182 |     4579    223 |        0 |        0
702.89/703.05	c  703s |      19 |   617046 |   537382 |     4579    223 |        0 |        0
704.99/705.10	c  705s |      19 |   618363 |   538582 |     4579    223 |        0 |        0
707.09/707.26	c  707s |      19 |   619669 |   539782 |     4579    224 |        0 |        0
709.29/709.40	c  709s |      19 |   621015 |   540982 |     4579    224 |        0 |        0
711.28/711.42	c  711s |      19 |   622114 |   541982 |     4579    225 |        0 |        0
713.38/713.53	c  713s |      19 |   623468 |   543182 |     4579    225 |        0 |        0
715.38/715.57	c  715s |      19 |   624677 |   544282 |     4579    225 |        0 |        0
717.48/717.68	c  717s |      19 |   625975 |   545482 |     4579    226 |        0 |        0
719.68/719.86	c  719s |      19 |   627306 |   546682 |     4579    226 |        0 |        0
721.78/721.95	c  721s |      19 |   628631 |   547882 |     4579    227 |        0 |        0
723.98/724.10	c  724s |      19 |   629913 |   549082 |     4579    227 |        0 |        0
726.09/726.24	c  726s |      19 |   631229 |   550282 |     4579    228 |        0 |        0
728.19/728.39	c  728s |      19 |   632662 |   551582 |     4579    228 |        0 |        0
730.39/730.58	c  730s |      19 |   633851 |   552682 |     4579    229 |        0 |        0
732.38/732.59	c  732s |      19 |   635129 |   553882 |     4579    229 |        0 |        0
734.57/734.75	c  734s |      19 |   636581 |   555182 |     4579    229 |        0 |        0
736.67/736.85	c  736s |      19 |   637781 |   556282 |     4579    230 |        0 |        0
738.67/738.85	c  738s |      19 |   639133 |   557482 |     4579    230 |        0 |        0
740.87/741.02	c  740s |      19 |   640429 |   558682 |     4579    231 |        0 |        0
742.87/743.04	c  743s |      19 |   641742 |   559882 |     4579    231 |        0 |        0
744.97/745.16	c  745s |      19 |   642932 |   560982 |     4579    232 |        0 |        0
747.07/747.24	c  747s |      19 |   644242 |   562182 |     4579    232 |        0 |        0
749.17/749.39	c  749s |      19 |   645561 |   563382 |     4579    232 |        0 |        0
751.27/751.44	c  751s |      19 |   646731 |   564482 |     4579    233 |        0 |        0
753.37/753.58	c  753s |      19 |   648038 |   565682 |     4579    233 |        0 |        0
755.46/755.65	c  755s |      19 |   649126 |   566682 |     4579    234 |        0 |        0
757.56/757.72	c  757s |      19 |   650355 |   567782 |     4579    234 |        0 |        0
759.66/759.84	c  759s |      19 |   651548 |   568882 |     4579    234 |        0 |        0
761.76/761.93	c  761s |      19 |   652593 |   569782 |     4579    235 |        0 |        0
763.76/763.97	c  763s |      19 |   654242 |   571282 |     4579    235 |        0 |        0
765.95/766.11	c  766s |      19 |   655798 |   572682 |     4579    236 |        0 |        0
767.95/768.14	c  768s |      19 |   657215 |   573982 |     4579    236 |        0 |        0
769.96/770.18	c  770s |      19 |   658499 |   575182 |     4579    237 |        0 |        0
772.05/772.24	c  772s |      19 |   659814 |   576382 |     4579    237 |        0 |        0
774.05/774.28	c  774s |      19 |   661022 |   577482 |     4579    237 |        0 |        0
776.25/776.43	c  776s |      19 |   662365 |   578682 |     4579    238 |        0 |        0
778.35/778.51	c  778s |      19 |   663678 |   579882 |     4579    238 |        0 |        0
780.45/780.62	c  780s |      19 |   664863 |   580982 |     4579    239 |        0 |        0
782.55/782.70	c  782s |      19 |   666168 |   582182 |     4579    239 |        0 |        0
784.54/784.79	c  784s |      19 |   667417 |   583282 |     4579    240 |        0 |        0
786.74/786.93	c  786s |      19 |   668719 |   584482 |     4579    240 |        0 |        0
788.84/789.02	c  788s |      19 |   669942 |   585582 |     4579    240 |        0 |        0
790.85/791.03	c  791s |      19 |   671161 |   586682 |     4579    241 |        0 |        0
792.94/793.17	c  793s |      19 |   672494 |   587882 |     4579    241 |        0 |        0
795.04/795.29	c  795s |      19 |   673699 |   588982 |     4579    242 |        0 |        0
797.24/797.47	c  797s |      19 |   675013 |   590182 |     4579    242 |        0 |        0
799.34/799.59	c  799s |      19 |   676347 |   591382 |     4579    242 |        0 |        0
801.44/801.62	c  801s |      19 |   677429 |   592382 |     4579    243 |        0 |        0
803.43/803.65	c  803s |      19 |   678686 |   593482 |     4579    243 |        0 |        0
805.53/805.76	c  805s |      19 |   679889 |   594582 |     4579    244 |        0 |        0
807.73/807.92	c  807s |      19 |   681085 |   595682 |     4579    244 |        0 |        0
809.83/810.10	c  810s |      19 |   682406 |   596882 |     4579    244 |        0 |        0
812.03/812.27	c  812s |      19 |   683583 |   597982 |     4579    245 |        0 |        0
814.03/814.29	c  814s |      19 |   684808 |   599082 |     4579    245 |        0 |        0
816.23/816.44	c  816s |      19 |   686033 |   600182 |     4579    246 |        0 |        0
818.22/818.49	c  818s |      19 |   687101 |   601182 |     4579    246 |        0 |        0
820.32/820.54	c  820s |      19 |   688406 |   602282 |     4579    246 |        0 |        0
822.42/822.66	c  822s |      19 |   690030 |   603682 |     4579    247 |        0 |        0
824.52/824.80	c  824s |      19 |   691356 |   604882 |     4579    247 |        0 |        0
826.62/826.82	c  826s |      19 |   692574 |   605982 |     4579    248 |        0 |        0
828.62/828.85	c  828s |      19 |   693909 |   607182 |     4579    248 |        0 |        0
830.72/830.91	c  830s |      19 |   695132 |   608282 |     4579    249 |        0 |        0
832.92/833.10	c  833s |      19 |   696536 |   609582 |     4579    249 |        0 |        0
835.02/835.24	c  835s |      19 |   697759 |   610682 |     4579    249 |        0 |        0
837.02/837.27	c  837s |      19 |   699361 |   612082 |     4579    250 |        0 |        0
839.22/839.43	c  839s |      19 |   700758 |   613382 |     4579    250 |        0 |        0
841.22/841.50	c  841s |      19 |   702122 |   614582 |     4579    251 |        0 |        0
843.31/843.56	c  843s |      19 |   703379 |   615682 |     4579    251 |        0 |        0
845.41/845.61	c  845s |      19 |   704597 |   616782 |     4579    252 |        0 |        0
847.41/847.67	c  847s |      19 |   705958 |   617982 |     4579    252 |        0 |        0
849.51/849.75	c  849s |      19 |   707222 |   619082 |     4579    252 |        0 |        0
851.51/851.78	c  851s |      19 |   708345 |   620082 |     4579    253 |        0 |        0
853.52/853.79	c  853s |      19 |   709963 |   621482 |     4579    253 |        0 |        0
855.71/855.93	c  855s |      19 |   711270 |   622682 |     4579    254 |        0 |        0
857.81/858.01	c  857s |      19 |   712776 |   624082 |     4579    254 |        0 |        0
859.91/860.15	c  860s |      19 |   714174 |   625382 |     4579    255 |        0 |        0
862.11/862.32	c  862s |      19 |   715494 |   626582 |     4579    255 |        0 |        0
864.20/864.46	c  864s |      19 |   716483 |   627482 |     4579    256 |        0 |        0
866.40/866.61	c  866s |      19 |   717657 |   628582 |     4579    256 |        0 |        0
868.40/868.64	c  868s |      19 |   719605 |   630282 |     4579    257 |        0 |        0
870.50/870.75	c  870s |      19 |   721515 |   631982 |     4579    257 |        0 |        0
872.60/872.84	c  872s |      19 |   723152 |   633482 |     4579    258 |        0 |        0
874.70/874.91	c  874s |      19 |   724768 |   634982 |     4579    258 |        0 |        0
876.80/877.02	c  876s |      19 |   726299 |   636382 |     4579    259 |        0 |        0
878.90/879.18	c  879s |      19 |   727913 |   637882 |     4579    259 |        0 |        0
881.00/881.24	c  881s |      19 |   729433 |   639282 |     4579    260 |        0 |        0
882.99/883.25	c  883s |      19 |   730731 |   640482 |     4579    260 |        0 |        0
885.19/885.42	c  885s |      19 |   732178 |   641782 |     4579    261 |        0 |        0
887.19/887.43	c  887s |      19 |   733775 |   643182 |     4579    261 |        0 |        0
889.29/889.58	c  889s |      19 |   735334 |   644582 |     4579    262 |        0 |        0
891.49/891.74	c  891s |      19 |   737002 |   646082 |     4579    262 |        0 |        0
893.59/893.83	c  893s |      19 |   738567 |   647482 |     4579    263 |        0 |        0
895.68/895.93	c  895s |      19 |   740096 |   648882 |     4579    263 |        0 |        0
897.68/897.97	c  897s |      19 |   741507 |   650182 |     4579    264 |        0 |        0
899.88/900.14	c  900s |      19 |   743025 |   651582 |     4579    264 |        0 |        0
901.99/902.25	c  902s |      19 |   744444 |   652882 |     4579    265 |        0 |        0
904.09/904.32	c  904s |      19 |   745846 |   654182 |     4579    265 |        0 |        0
906.08/906.36	c  906s |      19 |   747053 |   655282 |     4579    266 |        0 |        0
908.18/908.42	c  908s |      19 |   749147 |   657082 |     4579    266 |        0 |        0
910.28/910.53	c  910s |      19 |   750895 |   658582 |     4579    267 |        0 |        0
912.38/912.69	c  912s |      19 |   752585 |   659982 |     4579    267 |        0 |        0
914.47/914.74	c  914s |      19 |   754329 |   661382 |     4579    268 |        0 |        0
916.47/916.78	c  916s |      19 |   755982 |   662782 |     5037    268 |        0 |        0
918.57/918.86	c  918s |      19 |   757377 |   663982 |     5037    269 |        0 |        0
920.58/920.90	c  920s |      19 |   758991 |   665382 |     5037    269 |        0 |        0
922.67/922.99	c  922s |      19 |   760428 |   666582 |     5037    269 |        0 |        0
923.27/923.59	c  923s |      20 |   760727 |   666827 |     5037    270 |        0 |        0
925.37/925.61	c  925s |      20 |   763716 |   668827 |     5037    270 |        0 |        0
927.37/927.65	c  927s |      20 |   766044 |   670927 |     5037    271 |        0 |        0
929.47/929.71	c  929s |      20 |   768299 |   672927 |     5037    272 |        0 |        0
931.47/931.77	c  931s |      20 |   771291 |   675127 |     5037    272 |        0 |        0
933.57/933.86	c  933s |      20 |   772967 |   676627 |     5037    273 |        0 |        0
935.66/935.91	c  935s |      20 |   774349 |   677927 |     5037    273 |        0 |        0
937.86/938.11	c  938s |      20 |   776059 |   679427 |     5037    274 |        0 |        0
939.86/940.19	c  940s |      20 |   777282 |   680527 |     5037    274 |        0 |        0
941.96/942.20	c  942s |      20 |   778276 |   681427 |     5037    274 |        0 |        0
944.06/944.34	c  944s |      20 |   779770 |   682727 |     5037    275 |        0 |        0
946.06/946.35	c  946s |      20 |   781211 |   684027 |     5037    275 |        0 |        0
948.26/948.50	c  948s |      20 |   782654 |   685327 |     5037    276 |        0 |        0
950.37/950.67	c  950s |      20 |   784147 |   686627 |     5037    276 |        0 |        0
952.36/952.69	c  952s |      20 |   785367 |   687727 |     5037    276 |        0 |        0
954.45/954.78	c  954s |      20 |   786691 |   688927 |     5037    277 |        0 |        0
956.65/956.90	c  956s |      20 |   787999 |   690127 |     5037    277 |        0 |        0
958.65/958.93	c  958s |      20 |   789061 |   691127 |     5037    278 |        0 |        0
960.75/961.04	c  961s |      20 |   790411 |   692327 |     5037    278 |        0 |        0
962.85/963.12	c  963s |      20 |   791707 |   693527 |     5037    278 |        0 |        0
964.85/965.14	c  965s |      20 |   792920 |   694627 |     5037    279 |        0 |        0
966.95/967.25	c  967s |      20 |   794128 |   695727 |     5037    279 |        0 |        0
969.15/969.45	c  969s |      20 |   795671 |   697127 |     5037    280 |        0 |        0
971.25/971.51	c  971s |      20 |   797245 |   698527 |     5037    280 |        0 |        0
973.25/973.55	c  973s |      20 |   798456 |   699627 |     5037    280 |        0 |        0
975.44/975.71	c  975s |      20 |   799780 |   700827 |     5037    281 |        0 |        0
977.54/977.84	c  977s |      20 |   801107 |   702027 |     5037    281 |        0 |        0
979.64/979.98	c  979s |      20 |   802408 |   703227 |     5037    281 |        0 |        0
981.74/982.02	c  981s |      20 |   803905 |   704527 |     5037    282 |        0 |        0
983.84/984.12	c  984s |      20 |   805195 |   705727 |     5037    282 |        0 |        0
985.94/986.22	c  986s |      20 |   806401 |   706827 |     5037    283 |        0 |        0
987.94/988.28	c  988s |      20 |   808032 |   708327 |     5037    283 |        0 |        0
990.04/990.38	c  990s |      20 |   809489 |   709627 |     5037    284 |        0 |        0
992.14/992.47	c  992s |      20 |   810930 |   710927 |     5037    284 |        0 |        0
994.33/994.66	c  994s |      20 |   812136 |   712027 |     5037    284 |        0 |        0
996.43/996.70	c  996s |      20 |   813451 |   713227 |     5037    285 |        0 |        0
998.53/998.87	c  998s |      20 |   814899 |   714527 |     5037    285 |        0 |        0
1000.63/1000.91	c 1000s |      20 |   816119 |   715627 |     5037    286 |        0 |        0
1002.63/1002.94	c 1002s |      20 |   817559 |   716927 |     5037    286 |        0 |        0
1004.72/1005.03	c 1005s |      20 |   818892 |   718127 |     5037    286 |        0 |        0
1006.82/1007.17	c 1007s |      20 |   820222 |   719327 |     5037    287 |        0 |        0
1008.92/1009.25	c 1009s |      20 |   821439 |   720427 |     5037    287 |        0 |        0
1011.02/1011.33	c 1011s |      20 |   822881 |   721727 |     5037    287 |        0 |        0
1013.03/1013.38	c 1013s |      20 |   824167 |   722927 |     5037    288 |        0 |        0
1015.12/1015.42	c 1015s |      20 |   825353 |   724027 |     5037    288 |        0 |        0
1017.11/1017.48	c 1017s |      20 |   826618 |   725127 |     5037    289 |        0 |        0
1019.21/1019.57	c 1019s |      20 |   828078 |   726427 |     5037    289 |        0 |        0
1021.31/1021.61	c 1021s |      20 |   829404 |   727627 |     5037    289 |        0 |        0
1023.41/1023.75	c 1023s |      20 |   830589 |   728727 |     5037    290 |        0 |        0
1025.51/1025.89	c 1025s |      20 |   831950 |   729927 |     5037    290 |        0 |        0
1027.71/1028.05	c 1028s |      20 |   833158 |   731027 |     5037    291 |        0 |        0
1029.71/1030.06	c 1030s |      20 |   834531 |   732227 |     5037    291 |        0 |        0
1031.91/1032.24	c 1032s |      20 |   835751 |   733327 |     5037    291 |        0 |        0
1034.10/1034.47	c 1034s |      20 |   836651 |   734127 |     5037    292 |        0 |        0
1036.11/1036.48	c 1036s |      20 |   838150 |   735427 |     5037    292 |        0 |        0
1038.21/1038.56	c 1038s |      20 |   839494 |   736627 |     5037    292 |        0 |        0
1040.41/1040.75	c 1040s |      20 |   840702 |   737727 |     5037    293 |        0 |        0
1042.40/1042.78	c 1042s |      20 |   841914 |   738827 |     5037    293 |        0 |        0
1044.49/1044.87	c 1044s |      20 |   843043 |   739827 |     5037    293 |        0 |        0
1046.69/1047.00	c 1046s |      20 |   844149 |   740827 |     5037    294 |        0 |        0
1048.79/1049.17	c 1049s |      20 |   845489 |   742027 |     5037    294 |        0 |        0
1050.89/1051.21	c 1051s |      20 |   846541 |   743027 |     5037    294 |        0 |        0
1052.99/1053.36	c 1053s |      20 |   847771 |   744127 |     5037    295 |        0 |        0
1055.09/1055.42	c 1055s |      20 |   848858 |   745127 |     5037    295 |        0 |        0
1057.09/1057.42	c 1057s |      20 |   849747 |   745927 |     5037    295 |        0 |        0
1059.09/1059.43	c 1059s |      20 |   850747 |   746827 |     5037    296 |        0 |        0
1061.29/1061.65	c 1061s |      20 |   851958 |   747927 |     5037    296 |        0 |        0
1063.49/1063.83	c 1063s |      20 |   852937 |   748827 |     5037    296 |        0 |        0
1065.69/1066.04	c 1066s |      20 |   853792 |   749627 |     5037    297 |        0 |        0
1067.68/1068.05	c 1068s |      20 |   854923 |   750627 |     5037    297 |        0 |        0
1069.78/1070.16	c 1070s |      20 |   856030 |   751627 |     5037    297 |        0 |        0
1071.88/1072.29	c 1072s |      20 |   857020 |   752527 |     5037    298 |        0 |        0
1074.08/1074.44	c 1074s |      20 |   858077 |   753527 |     5037    298 |        0 |        0
1076.08/1076.45	c 1076s |      20 |   859175 |   754527 |     5037    298 |        0 |        0
1078.18/1078.56	c 1078s |      20 |   860134 |   755427 |     5037    298 |        0 |        0
1080.28/1080.66	c 1080s |      20 |   861253 |   756427 |     5037    299 |        0 |        0
1082.28/1082.68	c 1082s |      20 |   862250 |   757327 |     5037    299 |        0 |        0
1084.38/1084.79	c 1084s |      20 |   863226 |   758227 |     5037    299 |        0 |        0
1086.47/1086.84	c 1086s |      20 |   864102 |   759027 |     5037    300 |        0 |        0
1088.47/1088.88	c 1088s |      20 |   865210 |   760027 |     5037    300 |        0 |        0
1090.67/1091.03	c 1091s |      20 |   866597 |   761227 |     5037    300 |        0 |        0
1092.77/1093.16	c 1093s |      20 |   867977 |   762427 |     5037    301 |        0 |        0
1094.96/1095.35	c 1095s |      20 |   869225 |   763527 |     5037    301 |        0 |        0
1097.16/1097.53	c 1097s |      20 |   870359 |   764527 |     5037    301 |        0 |        0
1099.16/1099.57	c 1099s |      20 |   871350 |   765427 |     5037    302 |        0 |        0
1101.36/1101.72	c 1101s |      20 |   872447 |   766427 |     5037    302 |        0 |        0
1103.36/1103.72	c 1103s |      20 |   873456 |   767327 |     5037    302 |        0 |        0
1105.37/1105.74	c 1105s |      20 |   874431 |   768227 |     5037    303 |        0 |        0
1107.46/1107.83	c 1107s |      20 |   875461 |   769127 |     5037    303 |        0 |        0
1109.56/1109.94	c 1109s |      20 |   876599 |   770127 |     5037    303 |        0 |        0
1111.66/1112.04	c 1112s |      20 |   877588 |   771027 |     5037    304 |        0 |        0
1113.66/1114.08	c 1114s |      20 |   878690 |   772027 |     5037    304 |        0 |        0
1115.65/1116.09	c 1116s |      20 |   879579 |   772827 |     5037    304 |        0 |        0
1117.75/1118.11	c 1118s |      20 |   880457 |   773627 |     5037    304 |        0 |        0
1119.75/1120.13	c 1120s |      20 |   881241 |   774327 |     5037    305 |        0 |        0
1121.95/1122.38	c 1122s |      20 |   882120 |   775127 |     5037    305 |        0 |        0
1124.15/1124.53	c 1124s |      20 |   882887 |   775827 |     5037    305 |        0 |        0
1126.16/1126.57	c 1126s |      20 |   883778 |   776627 |     5037    305 |        0 |        0
1128.15/1128.57	c 1128s |      20 |   885019 |   777727 |     5037    306 |        0 |        0
1130.35/1130.74	c 1130s |      20 |   886216 |   778827 |     5037    306 |        0 |        0
1132.35/1132.74	c 1132s |      20 |   887206 |   779727 |     5037    306 |        0 |        0
1134.35/1134.78	c 1134s |      20 |   888065 |   780527 |     5037    307 |        0 |        0
1136.55/1136.94	c 1136s |      20 |   889054 |   781427 |     5037    307 |        0 |        0
1138.65/1139.01	c 1138s |      20 |   889926 |   782227 |     5037    307 |        0 |        0
1140.65/1141.08	c 1141s |      20 |   891112 |   783227 |     5037    308 |        0 |        0
1142.85/1143.23	c 1143s |      20 |   892489 |   784427 |     5037    308 |        0 |        0
1144.85/1145.26	c 1145s |      20 |   893722 |   785527 |     5037    308 |        0 |        0
1146.94/1147.31	c 1147s |      20 |   894708 |   786427 |     5037    309 |        0 |        0
1149.04/1149.45	c 1149s |      20 |   895900 |   787527 |     5037    309 |        0 |        0
1151.14/1151.57	c 1151s |      20 |   896993 |   788527 |     5037    309 |        0 |        0
1153.24/1153.65	c 1153s |      20 |   897983 |   789427 |     5037    310 |        0 |        0
1155.34/1155.78	c 1155s |      20 |   899186 |   790527 |     5037    310 |        0 |        0
1157.44/1157.80	c 1157s |      20 |   900275 |   791527 |     5037    310 |        0 |        0
1159.73/1160.11	c 1160s |      20 |   901314 |   792427 |     5037    311 |        0 |        0
1161.83/1162.25	c 1162s |      20 |   902655 |   793627 |     5037    311 |        0 |        0
1164.03/1164.46	c 1164s |      20 |   903851 |   794727 |     5037    311 |        0 |        0
1166.33/1166.72	c 1166s |      20 |   904836 |   795627 |     5037    312 |        0 |        0
1168.33/1168.74	c 1168s |      20 |   905920 |   796627 |     5037    312 |        0 |        0
1170.43/1170.89	c 1170s |      20 |   906891 |   797527 |     5037    312 |        0 |        0
1172.63/1173.03	c 1173s |      20 |   908143 |   798627 |     5037    313 |        0 |        0
1174.63/1175.09	c 1175s |      20 |   909427 |   799827 |     5037    313 |        0 |        0
1176.73/1177.11	c 1177s |      20 |   910520 |   800827 |     5037    313 |        0 |        0
1178.72/1179.12	c 1179s |      20 |   911516 |   801727 |     5037    314 |        0 |        0
1180.72/1181.17	c 1181s |      20 |   912706 |   802827 |     5037    314 |        0 |        0
1182.82/1183.29	c 1183s |      20 |   913781 |   803827 |     5037    314 |        0 |        0
1185.11/1185.55	c 1185s |      20 |   914746 |   804727 |     5037    315 |        0 |        0
1187.21/1187.62	c 1187s |      20 |   915812 |   805727 |     5037    315 |        0 |        0
1189.21/1189.69	c 1189s |      20 |   916753 |   806627 |     5037    315 |        0 |        0
1191.41/1191.82	c 1191s |      20 |   917725 |   807527 |     5037    315 |        0 |        0
1193.61/1194.00	c 1193s |      20 |   918802 |   808527 |     5037    316 |        0 |        0
1195.61/1196.09	c 1196s |      20 |   919802 |   809427 |     5037    316 |        0 |        0
1197.80/1198.22	c 1198s |      20 |   920900 |   810427 |     5037    316 |        0 |        0
1200.10/1200.50	c 1200s |      20 |   921901 |   811327 |     5037    317 |        0 |        0
1202.20/1202.61	c 1202s |      20 |   923079 |   812427 |     5037    317 |        0 |        0
1204.21/1204.62	c 1204s |      20 |   924092 |   813327 |     5037    317 |        0 |        0
1206.20/1206.69	c 1206s |      20 |   925073 |   814227 |     5037    318 |        0 |        0
1208.30/1208.75	c 1208s |      20 |   926183 |   815227 |     5037    318 |        0 |        0
1210.50/1210.93	c 1210s |      20 |   927141 |   816127 |     5037    318 |        0 |        0
1212.50/1212.99	c 1212s |      20 |   927996 |   816927 |     5037    318 |        0 |        0
1214.59/1215.09	c 1215s |      20 |   928885 |   817727 |     5037    319 |        0 |        0
1216.79/1217.22	c 1217s |      20 |   929968 |   818727 |     5037    319 |        0 |        0
1218.89/1219.30	c 1219s |      20 |   931423 |   820027 |     5037    319 |        0 |        0
1220.99/1221.41	c 1221s |      20 |   932530 |   821027 |     5037    320 |        0 |        0
1223.00/1223.44	c 1223s |      20 |   933639 |   822027 |     5037    320 |        0 |        0
1225.20/1225.62	c 1225s |      20 |   934648 |   822927 |     5037    320 |        0 |        0
1227.19/1227.63	c 1227s |      20 |   935652 |   823827 |     5037    321 |        0 |        0
1229.29/1229.73	c 1229s |      20 |   936761 |   824827 |     5037    321 |        0 |        0
1231.39/1231.83	c 1231s |      20 |   937752 |   825727 |     5037    321 |        0 |        0
1233.50/1233.91	c 1233s |      20 |   938584 |   826527 |     5037    322 |        0 |        0
1235.59/1236.06	c 1236s |      20 |   939559 |   827427 |     5037    322 |        0 |        0
1237.79/1238.23	c 1238s |      20 |   941027 |   828627 |     5037    322 |        0 |        0
1239.79/1240.26	c 1240s |      20 |   942028 |   829527 |     5037    323 |        0 |        0
1241.99/1242.41	c 1242s |      20 |   943382 |   830727 |     5037    323 |        0 |        0
1244.09/1244.57	c 1244s |      20 |   944710 |   831927 |     5037    323 |        0 |        0
1246.18/1246.65	c 1246s |      20 |   945851 |   832927 |     5037    324 |        0 |        0
1248.38/1248.84	c 1248s |      20 |   947279 |   834227 |     5037    324 |        0 |        0
1250.49/1250.92	c 1250s |      20 |   948360 |   835227 |     5037    324 |        0 |        0
1252.59/1253.05	c 1253s |      20 |   949420 |   836227 |     5037    325 |        0 |        0
1254.68/1255.11	c 1255s |      20 |   950651 |   837327 |     5037    325 |        0 |        0
1256.78/1257.23	c 1257s |      20 |   951856 |   838427 |     5037    325 |        0 |        0
1258.88/1259.34	c 1259s |      20 |   953066 |   839527 |     5037    326 |        0 |        0
1261.08/1261.50	c 1261s |      20 |   954241 |   840627 |     5037    326 |        0 |        0
1263.28/1263.78	c 1263s |      20 |   955350 |   841627 |     5037    327 |        0 |        0
1265.47/1265.94	c 1265s |      20 |   956557 |   842727 |     5037    327 |        0 |        0
1267.67/1268.13	c 1268s |      20 |   957681 |   843727 |     5037    327 |        0 |        0
1269.67/1270.15	c 1270s |      20 |   958657 |   844627 |     5037    327 |        0 |        0
1271.67/1272.18	c 1272s |      20 |   959606 |   845527 |     5037    328 |        0 |        0
1273.87/1274.36	c 1274s |      20 |   960586 |   846427 |     5037    328 |        0 |        0
1275.86/1276.39	c 1276s |      20 |   961661 |   847427 |     5037    328 |        0 |        0
1278.16/1278.66	c 1278s |      20 |   962758 |   848427 |     5037    329 |        0 |        0
1280.26/1280.73	c 1280s |      20 |   963865 |   849427 |     5037    329 |        0 |        0
1282.46/1282.92	c 1282s |      20 |   964945 |   850427 |     5037    329 |        0 |        0
1284.47/1284.96	c 1284s |      20 |   965948 |   851327 |     5037    330 |        0 |        0
1286.77/1287.21	c 1287s |      20 |   967048 |   852327 |     5037    330 |        0 |        0
1288.87/1289.38	c 1289s |      20 |   968495 |   853627 |     5037    330 |        0 |        0
1290.96/1291.45	c 1291s |      20 |   969744 |   854727 |     5037    331 |        0 |        0
1293.06/1293.58	c 1293s |      20 |   971057 |   855927 |     5037    331 |        0 |        0
1295.25/1295.79	c 1295s |      20 |   972178 |   856927 |     5037    332 |        0 |        0
1297.35/1297.83	c 1297s |      20 |   973293 |   857927 |     5037    332 |        0 |        0
1299.45/1299.93	c 1299s |      20 |   974268 |   858827 |     5037    332 |        0 |        0
1301.65/1302.15	c 1302s |      20 |   975224 |   859727 |     5037    332 |        0 |        0
1303.75/1304.22	c 1304s |      20 |   976074 |   860527 |     5037    333 |        0 |        0
1305.85/1306.38	c 1306s |      20 |   977307 |   861627 |     5037    333 |        0 |        0
1308.05/1308.56	c 1308s |      20 |   978393 |   862627 |     5037    333 |        0 |        0
1310.24/1310.74	c 1310s |      20 |   979355 |   863527 |     5037    334 |        0 |        0
1312.34/1312.86	c 1312s |      20 |   980326 |   864427 |     5037    334 |        0 |        0
1314.34/1314.88	c 1314s |      20 |   981347 |   865327 |     5037    334 |        0 |        0
1316.45/1316.92	c 1316s |      20 |   982218 |   866127 |     5037    335 |        0 |        0
1318.44/1318.98	c 1318s |      20 |   983198 |   867027 |     5037    335 |        0 |        0
1320.64/1321.12	c 1321s |      20 |   984144 |   867927 |     5037    335 |        0 |        0
1322.74/1323.22	c 1323s |      20 |   985269 |   868827 |     5037    335 |        0 |        0
1324.74/1325.25	c 1325s |      20 |   986414 |   869827 |     5037    336 |        0 |        0
1326.84/1327.36	c 1327s |      20 |   987645 |   870927 |     5037    336 |        0 |        0
1329.04/1329.50	c 1329s |      20 |   988908 |   872027 |     5037    336 |        0 |        0
1331.04/1331.51	c 1331s |      20 |   990115 |   873127 |     5037    337 |        0 |        0
1333.14/1333.69	c 1333s |      20 |   991300 |   874227 |     5037    337 |        0 |        0
1335.23/1335.75	c 1335s |      20 |   992410 |   875227 |     5037    337 |        0 |        0
1337.24/1337.76	c 1337s |      20 |   993534 |   876227 |     5037    338 |        0 |        0
1339.33/1339.83	c 1339s |      20 |   994751 |   877327 |     5037    338 |        0 |        0
1341.43/1341.92	c 1341s |      20 |   995828 |   878327 |     5037    338 |        0 |        0
1343.53/1344.05	c 1344s |      20 |   996911 |   879327 |     5037    339 |        0 |        0
1345.63/1346.13	c 1346s |      20 |   998012 |   880327 |     5037    339 |        0 |        0
1347.63/1348.19	c 1348s |      20 |   999134 |   881327 |     5037    339 |        0 |        0
1349.92/1350.43	c 1350s |      20 |  1000251 |   882327 |     5037    340 |        0 |        0
1352.02/1352.58	c 1352s |      20 |  1001475 |   883427 |     5037    340 |        0 |        0
1354.02/1354.59	c 1354s |      20 |  1002598 |   884427 |     5037    340 |        0 |        0
1356.32/1356.80	c 1356s |      20 |  1003678 |   885427 |     5037    341 |        0 |        0
1358.42/1358.98	c 1358s |      20 |  1004679 |   886327 |     5037    341 |        0 |        0
1360.62/1361.16	c 1361s |      20 |  1005554 |   887127 |     5037    341 |        0 |        0
1362.82/1363.34	c 1363s |      20 |  1006407 |   887927 |     5037    342 |        0 |        0
1365.02/1365.55	c 1365s |      20 |  1007292 |   888727 |     5037    342 |        0 |        0
1367.22/1367.71	c 1367s |      20 |  1008531 |   889827 |     5037    342 |        0 |        0
1369.23/1369.75	c 1369s |      20 |  1009518 |   890727 |     5037    343 |        0 |        0
1371.43/1371.96	c 1371s |      20 |  1010657 |   891727 |     5037    343 |        0 |        0
1373.72/1374.22	c 1374s |      20 |  1011667 |   892627 |     5037    343 |        0 |        0
1375.72/1376.29	c 1376s |      20 |  1012522 |   893427 |     5037    343 |        0 |        0
1378.02/1378.53	c 1378s |      20 |  1013390 |   894227 |     5037    344 |        0 |        0
1380.32/1380.82	c 1380s |      20 |  1014238 |   895027 |     5037    344 |        0 |        0
1382.32/1382.85	c 1382s |      20 |  1015371 |   896027 |     5037    344 |        0 |        0
1384.52/1385.04	c 1385s |      20 |  1016375 |   896927 |     5037    345 |        0 |        0
1386.51/1387.04	c 1387s |      20 |  1017357 |   897827 |     5037    345 |        0 |        0
1388.51/1389.06	c 1389s |      20 |  1018314 |   898727 |     5037    345 |        0 |        0
1390.61/1391.11	c 1391s |      20 |  1019080 |   899427 |     5037    345 |        0 |        0
1392.71/1393.28	c 1393s |      20 |  1019833 |   900127 |     5037    346 |        0 |        0
1394.91/1395.40	c 1395s |      20 |  1020699 |   900927 |     5037    346 |        0 |        0
1397.01/1397.54	c 1397s |      20 |  1021458 |   901627 |     5037    346 |        0 |        0
1399.11/1399.66	c 1399s |      20 |  1022506 |   902527 |     5037    346 |        0 |        0
1401.21/1401.76	c 1401s |      20 |  1023513 |   903427 |     5037    347 |        0 |        0
1403.32/1403.84	c 1403s |      20 |  1024656 |   904427 |     5037    347 |        0 |        0
1405.52/1406.03	c 1405s |      20 |  1025760 |   905427 |     5037    347 |        0 |        0
1407.62/1408.11	c 1408s |      20 |  1026738 |   906327 |     5037    348 |        0 |        0
1409.71/1410.26	c 1410s |      20 |  1027715 |   907227 |     5037    348 |        0 |        0
1411.91/1412.40	c 1412s |      20 |  1028578 |   908027 |     5037    348 |        0 |        0
1413.91/1414.44	c 1414s |      20 |  1029337 |   908727 |     5037    348 |        0 |        0
1416.11/1416.60	c 1416s |      20 |  1030333 |   909627 |     5037    349 |        0 |        0
1418.11/1418.65	c 1418s |      20 |  1031428 |   910627 |     5037    349 |        0 |        0
1420.11/1420.67	c 1420s |      20 |  1032406 |   911527 |     5037    349 |        0 |        0
1422.41/1422.92	c 1422s |      20 |  1033261 |   912327 |     5037    350 |        0 |        0
1424.51/1425.09	c 1425s |      20 |  1034206 |   913227 |     5037    350 |        0 |        0
1426.71/1427.21	c 1427s |      20 |  1035038 |   914027 |     5037    350 |        0 |        0
1428.71/1429.25	c 1429s |      20 |  1036218 |   915027 |     5037    350 |        0 |        0
1430.71/1431.25	c 1431s |      20 |  1037453 |   916127 |     5037    351 |        0 |        0
1432.81/1433.32	c 1433s |      20 |  1038702 |   917227 |     5037    351 |        0 |        0
1434.91/1435.42	c 1435s |      20 |  1039838 |   918227 |     5037    351 |        0 |        0
1436.91/1437.46	c 1437s |      20 |  1040788 |   919127 |     5037    352 |        0 |        0
1439.11/1439.61	c 1439s |      20 |  1041880 |   920127 |     5037    352 |        0 |        0
1441.11/1441.66	c 1441s |      20 |  1042951 |   921127 |     5037    352 |        0 |        0
1443.21/1443.71	c 1443s |      20 |  1043937 |   922027 |     5037    353 |        0 |        0
1445.21/1445.76	c 1445s |      20 |  1045032 |   923027 |     5037    353 |        0 |        0
1447.31/1447.89	c 1447s |      20 |  1046029 |   923927 |     5037    353 |        0 |        0
1449.41/1449.91	c 1449s |      20 |  1046794 |   924627 |     5037    354 |        0 |        0
1451.50/1452.10	c 1452s |      20 |  1047874 |   925627 |     5037    354 |        0 |        0
1453.70/1454.29	c 1454s |      20 |  1048978 |   926627 |     5037    354 |        0 |        0
1455.80/1456.38	c 1456s |      20 |  1049848 |   927427 |     5037    354 |        0 |        0
1457.90/1458.40	c 1458s |      20 |  1050717 |   928227 |     5037    355 |        0 |        0
1460.00/1460.55	c 1460s |      20 |  1051689 |   929127 |     5037    355 |        0 |        0
1462.20/1462.77	c 1462s |      20 |  1052651 |   930027 |     5037    355 |        0 |        0
1464.30/1464.87	c 1464s |      20 |  1053513 |   930827 |     5037    356 |        0 |        0
1466.60/1467.11	c 1467s |      20 |  1054474 |   931727 |     5037    356 |        0 |        0
1468.70/1469.26	c 1469s |      20 |  1055321 |   932527 |     5037    356 |        0 |        0
1470.90/1471.43	c 1471s |      20 |  1056062 |   933227 |     5037    356 |        0 |        0
1472.90/1473.49	c 1473s |      20 |  1057103 |   934127 |     5037    357 |        0 |        0
1475.00/1475.53	c 1475s |      20 |  1058218 |   935127 |     5037    357 |        0 |        0
1477.20/1477.70	c 1477s |      20 |  1059217 |   936027 |     5037    357 |        0 |        0
1479.30/1479.81	c 1479s |      20 |  1060082 |   936827 |     5037    357 |        0 |        0
1481.40/1481.98	c 1481s |      20 |  1061068 |   937727 |     5037    358 |        0 |        0
1483.50/1484.01	c 1483s |      20 |  1062075 |   938627 |     5037    358 |        0 |        0
1485.70/1486.22	c 1486s |      20 |  1063183 |   939627 |     5037    358 |        0 |        0
1487.71/1488.28	c 1488s |      20 |  1064045 |   940427 |     5037    359 |        0 |        0
1489.91/1490.46	c 1490s |      20 |  1064998 |   941327 |     5037    359 |        0 |        0
1491.90/1492.49	c 1492s |      20 |  1065748 |   942027 |     5037    359 |        0 |        0
1494.00/1494.55	c 1494s |      20 |  1066614 |   942827 |     5037    359 |        0 |        0
1496.00/1496.57	c 1496s |      20 |  1067614 |   943727 |     5037    360 |        0 |        0
1498.10/1498.67	c 1498s |      20 |  1068609 |   944627 |     5037    360 |        0 |        0
1500.20/1500.74	c 1500s |      20 |  1069475 |   945427 |     5037    360 |        0 |        0
1502.31/1502.87	c 1502s |      20 |  1070338 |   946227 |     5037    361 |        0 |        0
1504.41/1504.92	c 1504s |      20 |  1071207 |   947027 |     5037    361 |        0 |        0
1506.50/1507.01	c 1506s |      20 |  1071974 |   947727 |     5037    361 |        0 |        0
1508.70/1509.27	c 1509s |      20 |  1072732 |   948427 |     5037    361 |        0 |        0
1510.80/1511.31	c 1511s |      20 |  1073375 |   949027 |     5037    361 |        0 |        0
1513.00/1513.58	c 1513s |      20 |  1074115 |   949727 |     5037    362 |        0 |        0
1515.20/1515.71	c 1515s |      20 |  1075301 |   950727 |     5037    362 |        0 |        0
1517.20/1517.74	c 1517s |      20 |  1076283 |   951627 |     5037    362 |        0 |        0
1519.40/1519.93	c 1519s |      20 |  1077251 |   952527 |     5037    363 |        0 |        0
1521.40/1521.94	c 1521s |      20 |  1078265 |   953427 |     5037    363 |        0 |        0
1523.60/1524.13	c 1524s |      20 |  1079273 |   954327 |     5037    363 |        0 |        0
1525.70/1526.22	c 1526s |      20 |  1080141 |   955127 |     5037    363 |        0 |        0
1527.70/1528.25	c 1528s |      20 |  1081011 |   955927 |     5037    364 |        0 |        0
1529.90/1530.40	c 1530s |      20 |  1082231 |   956927 |     5037    364 |        0 |        0
1531.91/1532.49	c 1532s |      20 |  1083187 |   957727 |     5037    364 |        0 |        0
1534.00/1534.57	c 1534s |      20 |  1083980 |   958427 |     5037    365 |        0 |        0
1536.00/1536.59	c 1536s |      20 |  1085010 |   959327 |     5037    365 |        0 |        0
1538.10/1538.63	c 1538s |      20 |  1086028 |   960227 |     5037    365 |        0 |        0
1540.10/1540.63	c 1540s |      20 |  1087036 |   961127 |     5037    365 |        0 |        0
1542.19/1542.78	c 1542s |      20 |  1088025 |   962027 |     5037    366 |        0 |        0
1544.39/1544.97	c 1544s |      20 |  1089147 |   963027 |     5037    366 |        0 |        0
1546.59/1547.13	c 1547s |      20 |  1090146 |   963927 |     5037    366 |        0 |        0
1548.59/1549.17	c 1549s |      20 |  1091047 |   964727 |     5037    367 |        0 |        0
1550.70/1551.26	c 1551s |      20 |  1092070 |   965627 |     5037    367 |        0 |        0
1552.90/1553.46	c 1553s |      20 |  1093190 |   966627 |     5037    367 |        0 |        0
1555.19/1555.79	c 1555s |      20 |  1094299 |   967627 |     5037    368 |        0 |        0
1557.30/1557.84	c 1557s |      20 |  1095419 |   968627 |     5037    368 |        0 |        0
1559.40/1559.93	c 1559s |      20 |  1096418 |   969527 |     5037    368 |        0 |        0
1561.49/1562.00	c 1561s |      20 |  1097288 |   970327 |     5037    368 |        0 |        0
1563.59/1564.18	c 1564s |      20 |  1098157 |   971127 |     5037    369 |        0 |        0
1565.89/1566.44	c 1566s |      20 |  1099129 |   972027 |     5037    369 |        0 |        0
1567.99/1568.50	c 1568s |      20 |  1100125 |   972927 |     5037    369 |        0 |        0
1569.99/1570.56	c 1570s |      20 |  1101124 |   973827 |     5037    370 |        0 |        0
1572.09/1572.64	c 1572s |      20 |  1102093 |   974727 |     5037    370 |        0 |        0
1574.09/1574.69	c 1574s |      20 |  1103088 |   975627 |     5037    370 |        0 |        0
1576.19/1576.79	c 1576s |      20 |  1104049 |   976527 |     5037    370 |        0 |        0
1578.29/1578.81	c 1578s |      20 |  1104922 |   977327 |     5037    371 |        0 |        0
1580.39/1580.97	c 1580s |      20 |  1105773 |   978127 |     5037    371 |        0 |        0
1582.49/1583.02	c 1582s |      20 |  1106661 |   978927 |     5037    371 |        0 |        0
1584.59/1585.11	c 1585s |      20 |  1107785 |   979927 |     5037    372 |        0 |        0
1586.58/1587.17	c 1587s |      20 |  1108782 |   980827 |     5037    372 |        0 |        0
1588.68/1589.29	c 1589s |      20 |  1109757 |   981727 |     5037    372 |        0 |        0
1590.78/1591.37	c 1591s |      20 |  1110598 |   982527 |     5037    372 |        0 |        0
1593.08/1593.61	c 1593s |      20 |  1111461 |   983327 |     5037    373 |        0 |        0
1595.28/1595.84	c 1595s |      20 |  1112207 |   984027 |     5037    373 |        0 |        0
1597.38/1597.95	c 1597s |      20 |  1112952 |   984727 |     5037    373 |        0 |        0
1599.58/1600.11	c 1600s |      20 |  1113703 |   985427 |     5037    373 |        0 |        0
1601.78/1602.34	c 1602s |      20 |  1114343 |   986027 |     5037    374 |        0 |        0
1603.78/1604.35	c 1604s |      20 |  1115681 |   987127 |     5037    374 |        0 |        0
1605.88/1606.45	c 1606s |      20 |  1116911 |   988227 |     5037    374 |        0 |        0
1607.98/1608.56	c 1608s |      20 |  1117996 |   989227 |     5037    375 |        0 |        0
1610.18/1610.80	c 1610s |      20 |  1118966 |   990127 |     5037    375 |        0 |        0
1612.29/1612.87	c 1612s |      20 |  1119944 |   991027 |     5037    375 |        0 |        0
1614.49/1615.03	c 1615s |      20 |  1120906 |   991927 |     5037    375 |        0 |        0
1616.48/1617.07	c 1617s |      20 |  1121655 |   992627 |     5037    376 |        0 |        0
1618.48/1619.07	c 1619s |      20 |  1122795 |   993627 |     5541    376 |        0 |        0
1620.58/1621.12	c 1621s |      20 |  1123977 |   994627 |     5541    376 |        0 |        0
1622.78/1623.36	c 1623s |      20 |  1124876 |   995427 |     5541    376 |        0 |        0
1624.99/1625.50	c 1625s |      20 |  1125784 |   996227 |     5541    377 |        0 |        0
1627.08/1627.68	c 1627s |      20 |  1126799 |   997127 |     5541    377 |        0 |        0
1629.08/1629.68	c 1629s |      20 |  1127833 |   998027 |     5541    377 |        0 |        0
1631.18/1631.76	c 1631s |      20 |  1128725 |   998827 |     5541    377 |        0 |        0
1633.28/1633.88	c 1633s |      20 |  1129480 |   999527 |     5541    378 |        0 |        0
1635.18/1635.78	c 1635s |      21 |  1130357 |  1000345 |     5541    378 |        0 |        0
1637.28/1637.81	c 1637s |      21 |  1134209 |  1002645 |     5541    378 |        0 |        0
1639.28/1639.88	c 1639s |      21 |  1135902 |  1004145 |     5541    379 |        0 |        0
1641.38/1641.98	c 1641s |      21 |  1137763 |  1005745 |     5541    379 |        0 |        0
1643.58/1644.12	c 1644s |      21 |  1139230 |  1007045 |     5541    380 |        0 |        0
1645.58/1646.15	c 1646s |      21 |  1140922 |  1008545 |     5541    380 |        0 |        0
1647.58/1648.16	c 1648s |      21 |  1144021 |  1010445 |     5541    381 |        0 |        0
1649.69/1650.25	c 1650s |      21 |  1146375 |  1012545 |     5541    381 |        0 |        0
1651.68/1652.29	c 1652s |      21 |  1148350 |  1014245 |     5541    382 |        0 |        0
1653.78/1654.39	c 1654s |      21 |  1150051 |  1015745 |     5541    382 |        0 |        0
1655.88/1656.46	c 1656s |      21 |  1151268 |  1016845 |     5541    383 |        0 |        0
1657.98/1658.51	c 1658s |      21 |  1152680 |  1018145 |     5541    383 |        0 |        0
1659.98/1660.54	c 1660s |      21 |  1154008 |  1019345 |     5541    383 |        0 |        0
1661.98/1662.57	c 1662s |      21 |  1155095 |  1020345 |     5541    384 |        0 |        0
1664.08/1664.66	c 1664s |      21 |  1157059 |  1022045 |     5541    384 |        0 |        0
1666.18/1666.71	c 1666s |      21 |  1158534 |  1023345 |     5541    385 |        0 |        0
1668.18/1668.80	c 1668s |      21 |  1160267 |  1024845 |     5541    385 |        0 |        0
1670.38/1670.91	c 1670s |      21 |  1161612 |  1026045 |     5541    385 |        0 |        0
1672.47/1673.08	c 1673s |      21 |  1162933 |  1027245 |     5541    386 |        0 |        0
1674.57/1675.11	c 1675s |      21 |  1164260 |  1028445 |     5541    386 |        0 |        0
1676.67/1677.23	c 1677s |      21 |  1165496 |  1029545 |     5541    386 |        0 |        0
1678.77/1679.34	c 1679s |      21 |  1167247 |  1031145 |     5541    387 |        0 |        0
1680.87/1681.45	c 1681s |      21 |  1168759 |  1032545 |     5541    387 |        0 |        0
1682.97/1683.56	c 1683s |      21 |  1169961 |  1033645 |     5541    388 |        0 |        0
1685.07/1685.63	c 1685s |      21 |  1171451 |  1034945 |     5541    388 |        0 |        0
1687.17/1687.75	c 1687s |      21 |  1172974 |  1036345 |     5541    389 |        0 |        0
1689.28/1689.81	c 1689s |      21 |  1174493 |  1037745 |     5541    389 |        0 |        0
1691.27/1691.88	c 1691s |      21 |  1175756 |  1038945 |     5541    389 |        0 |        0
1693.47/1694.04	c 1694s |      21 |  1176929 |  1040045 |     5541    390 |        0 |        0
1695.57/1696.16	c 1696s |      21 |  1178457 |  1041445 |     5541    390 |        0 |        0
1697.77/1698.33	c 1698s |      21 |  1179902 |  1042745 |     5541    391 |        0 |        0
1699.87/1700.44	c 1700s |      21 |  1181328 |  1044045 |     5541    391 |        0 |        0
1701.87/1702.48	c 1702s |      21 |  1182632 |  1045245 |     5541    391 |        0 |        0
1703.87/1704.49	c 1704s |      21 |  1184109 |  1046545 |     5541    392 |        0 |        0
1706.07/1706.64	c 1706s |      21 |  1185631 |  1047945 |     5541    392 |        0 |        0
1708.07/1708.69	c 1708s |      21 |  1187043 |  1049245 |     5541    392 |        0 |        0
1710.26/1710.84	c 1710s |      21 |  1188355 |  1050445 |     5541    393 |        0 |        0
1712.37/1712.99	c 1712s |      21 |  1189693 |  1051645 |     5541    393 |        0 |        0
1714.47/1715.02	c 1714s |      21 |  1191188 |  1052945 |     5541    394 |        0 |        0
1716.56/1717.15	c 1717s |      21 |  1192840 |  1054445 |     5541    394 |        0 |        0
1718.66/1719.29	c 1719s |      21 |  1194267 |  1055745 |     5541    394 |        0 |        0
1720.76/1721.33	c 1721s |      21 |  1195452 |  1056845 |     5541    395 |        0 |        0
1722.86/1723.40	c 1723s |      21 |  1196772 |  1058045 |     5541    395 |        0 |        0
1724.86/1725.41	c 1725s |      21 |  1198076 |  1059245 |     5541    396 |        0 |        0
1726.96/1727.51	c 1727s |      21 |  1199820 |  1060845 |     5541    396 |        0 |        0
1729.06/1729.68	c 1729s |      21 |  1201221 |  1062145 |     5541    396 |        0 |        0
1731.16/1731.77	c 1731s |      21 |  1202531 |  1063345 |     5541    397 |        0 |        0
1733.17/1733.79	c 1733s |      21 |  1203939 |  1064645 |     5541    397 |        0 |        0
1735.26/1735.87	c 1735s |      21 |  1205372 |  1065945 |     5541    398 |        0 |        0
1737.36/1737.90	c 1737s |      21 |  1206771 |  1067245 |     5541    398 |        0 |        0
1739.46/1740.04	c 1740s |      21 |  1208355 |  1068645 |     5541    398 |        0 |        0
1741.56/1742.12	c 1742s |      21 |  1209952 |  1070045 |     5541    399 |        0 |        0
1743.66/1744.27	c 1744s |      21 |  1211613 |  1071545 |     5541    399 |        0 |        0
1745.76/1746.34	c 1746s |      21 |  1213062 |  1072845 |     5541    400 |        0 |        0
1747.86/1748.42	c 1748s |      21 |  1214724 |  1074345 |     5541    400 |        0 |        0
1749.86/1750.48	c 1750s |      21 |  1216016 |  1075545 |     5541    400 |        0 |        0
1751.87/1752.48	c 1752s |      21 |  1217325 |  1076745 |     5541    401 |        0 |        0
1753.97/1754.60	c 1754s |      21 |  1218844 |  1078145 |     5541    401 |        0 |        0
1756.17/1756.80	c 1756s |      21 |  1220140 |  1079345 |     5541    402 |        0 |        0
1758.26/1758.83	c 1758s |      21 |  1221565 |  1080645 |     5541    402 |        0 |        0
1760.36/1760.98	c 1760s |      21 |  1222996 |  1081945 |     5541    402 |        0 |        0
1762.46/1763.07	c 1763s |      21 |  1224291 |  1083145 |     5541    403 |        0 |        0
1764.56/1765.17	c 1765s |      21 |  1225496 |  1084245 |     5541    403 |        0 |        0
1766.76/1767.32	c 1767s |      21 |  1227061 |  1085645 |     5541    404 |        0 |        0
1768.86/1769.41	c 1769s |      21 |  1228766 |  1087145 |     5541    404 |        0 |        0
1770.96/1771.51	c 1771s |      21 |  1230158 |  1088445 |     5541    404 |        0 |        0
1773.06/1773.69	c 1773s |      21 |  1231357 |  1089545 |     5541    405 |        0 |        0
1775.16/1775.79	c 1775s |      21 |  1233146 |  1091045 |     5541    405 |        0 |        0
1777.17/1777.80	c 1777s |      21 |  1234698 |  1092345 |     5541    406 |        0 |        0
1779.26/1779.87	c 1779s |      21 |  1236135 |  1093645 |     5541    406 |        0 |        0
1781.36/1781.95	c 1781s |      21 |  1237353 |  1094745 |     5541    406 |        0 |        0
1783.46/1784.08	c 1784s |      21 |  1238733 |  1095945 |     5541    407 |        0 |        0
1785.56/1786.10	c 1786s |      21 |  1240157 |  1097245 |     5541    407 |        0 |        0
1787.56/1788.18	c 1788s |      21 |  1241639 |  1098545 |     5541    407 |        0 |        0
1789.56/1790.18	c 1790s |      21 |  1243196 |  1099845 |     5541    408 |        0 |        0
1791.76/1792.31	c 1792s |      21 |  1244655 |  1101145 |     5541    408 |        0 |        0
1793.76/1794.38	c 1794s |      21 |  1245900 |  1102245 |     5541    409 |        0 |        0
1795.76/1796.38	c 1796s |      21 |  1247245 |  1103445 |     5541    409 |        0 |        0
1797.96/1798.50	c 1798s |      21 |  1248594 |  1104645 |     5541    409 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

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-4078601-1465220710/watcher-4078601-1465220710 -o /tmp/evaluation-result-4078601-1465220710/solver-4078601-1465220710 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078601-1465220710.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.29 2.26 2.19 3/179 32647
/proc/meminfo: memFree=30379320/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=774588 CPUtime=0 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 2897 0 0 0 0 0 0 0 20 0 4 0 104004594 793178112 3258 33554432000 4194304 16246674 140734131431136 140734131430560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 194415 3270 441 2943 0 191309 0
[pid=32647/tid=32648] ppid=32644 vsize=791996 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 811003904 3330 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 816246784 3348 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=801212 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 820441088 3364 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.29 2.26 2.19 3/179 32647
/proc/meminfo: memFree=30379320/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 32631 0 0 0 5 4 0 0 20 0 4 0 104004594 1247350784 32982 33554432000 4194304 16246674 140734131431136 140734131430560 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 304529 33002 705 2943 0 301423 0
[pid=32647/tid=32648] ppid=32644 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1247350784 33016 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1247350784 33030 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1247350784 33042 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200517 s]
/proc/loadavg: 2.29 2.26 2.19 3/179 32647
/proc/meminfo: memFree=30379320/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 69181 0 0 0 10 9 0 0 20 0 4 0 104004594 1247350784 69532 33554432000 4194304 16246674 140734131431136 140734131430560 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 304529 69556 705 2943 0 301423 0
[pid=32647/tid=32648] ppid=32644 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1247350784 69570 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1247350784 69582 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1247350784 69595 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300502 s]
/proc/loadavg: 2.29 2.26 2.19 3/179 32647
/proc/meminfo: memFree=30379320/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 105202 0 0 0 15 14 0 0 20 0 4 0 104004594 1247350784 105553 33554432000 4194304 16246674 140734131431136 140734131430560 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 304529 105573 705 2943 0 301423 0
[pid=32647/tid=32648] ppid=32644 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1247350784 105580 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1247350784 105588 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1247350784 105596 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700414 s]
/proc/loadavg: 2.29 2.26 2.19 3/179 32647
/proc/meminfo: memFree=30379320/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 246148 0 0 0 38 31 0 0 20 0 4 0 104004594 1250496512 246478 33554432000 4194304 16246674 140734131431136 140734131430448 5546116 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 305297 246478 784 2943 0 302191 0
[pid=32647/tid=32648] ppid=32644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1250496512 246478 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1250496512 246478 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1250496512 246478 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50042 s]
/proc/loadavg: 2.29 2.26 2.19 3/183 32651
/proc/meminfo: memFree=28308268/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 266457 0 0 0 115 34 0 0 20 0 4 0 104004594 1333334016 266787 33554432000 4194304 16246674 140734131431136 140734131413056 5546219 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 325521 266787 789 2943 0 322415 0
[pid=32647/tid=32648] ppid=32644 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1333334016 266787 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1333334016 266787 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1333334016 266787 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10043 s]
/proc/loadavg: 2.27 2.26 2.19 4/183 32651
/proc/meminfo: memFree=28262264/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 267844 0 0 0 275 34 0 0 20 0 4 0 104004594 1339625472 268174 33554432000 4194304 16246674 140734131431136 140734131413056 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 327057 268174 789 2943 0 323951 0
[pid=32647/tid=32648] ppid=32644 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1339625472 268174 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1339625472 268174 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1339625472 268174 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30042 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 32651
/proc/meminfo: memFree=28260316/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 268338 0 0 0 595 34 0 0 20 0 4 0 104004594 1340674048 268668 33554432000 4194304 16246674 140734131431136 140734131413056 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 327313 268668 790 2943 0 324207 0
[pid=32647/tid=32648] ppid=32644 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1340674048 268668 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1340674048 268668 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1340674048 268668 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.30 2.27 2.19 4/183 32651
/proc/meminfo: memFree=28258512/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 268594 0 0 0 1235 34 0 0 20 0 4 0 104004594 1341722624 268924 33554432000 4194304 16246674 140734131431136 140734131413056 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 327569 268924 790 2943 0 324463 0
[pid=32647/tid=32648] ppid=32644 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1341722624 268924 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1341722624 268924 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1341722624 268924 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5075 s]
/proc/loadavg: 2.33 2.27 2.20 3/183 32651
/proc/meminfo: memFree=28251992/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 269362 0 0 0 2515 34 0 0 20 0 4 0 104004594 1344868352 269692 33554432000 4194304 16246674 140734131431136 140734131412928 6010605 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 328337 269692 790 2943 0 325231 0
[pid=32647/tid=32648] ppid=32644 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1344868352 269692 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1344868352 269692 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1344868352 269692 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.29 2.27 2.19 3/183 32651
/proc/meminfo: memFree=28226920/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1326660 CPUtime=51.08 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 272693 0 0 0 5073 35 0 0 20 0 4 0 104004594 1358499840 273023 33554432000 4194304 16246674 140734131431136 140734131414136 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 331665 273023 792 2943 0 328559 0
[pid=32647/tid=32648] ppid=32644 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1358499840 273023 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1358499840 273023 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1358499840 273023 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660

[startup+102.3 s]
/proc/loadavg: 2.32 2.28 2.20 3/183 32652
/proc/meminfo: memFree=28218032/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1326660 CPUtime=102.27 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 272693 0 0 0 10192 35 0 0 20 0 4 0 104004594 1358499840 273023 33554432000 4194304 16246674 140734131431136 140734131413056 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 331665 273023 792 2943 0 328559 0
[pid=32647/tid=32648] ppid=32644 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1358499840 273023 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1358499840 273023 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1358499840 273023 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1326660


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

/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273537 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 2.28 2.30 2.23 3/183 32707
/proc/meminfo: memFree=28203476/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1327684 CPUtime=1361.82 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 273382 0 0 0 136136 46 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 140734131413056 13963975 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 331921 273538 794 2943 0 328815 0
[pid=32647/tid=32648] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.28 2.29 2.23 3/183 32708
/proc/meminfo: memFree=28204212/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1327684 CPUtime=1421.81 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 273391 0 0 0 142135 46 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 140734131414136 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 331921 273538 794 2943 0 328815 0
[pid=32647/tid=32648] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.14 2.25 2.21 4/183 32709
/proc/meminfo: memFree=28204216/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1327684 CPUtime=1481.8 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 273391 0 0 0 148134 46 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 140734131413056 5545988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 331921 273538 794 2943 0 328815 0
[pid=32647/tid=32648] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1327684

[startup+1542.3 s]
/proc/loadavg: 2.38 2.29 2.23 3/184 32713
/proc/meminfo: memFree=28204008/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1327684 CPUtime=1541.8 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 273391 0 0 0 154133 47 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 140734131414136 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 331921 273538 794 2943 0 328815 0
[pid=32647/tid=32648] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.25 2.27 2.22 3/183 32714
/proc/meminfo: memFree=28203892/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1327684 CPUtime=1601.78 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 273391 0 0 0 160131 47 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 140734131413056 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 331921 273538 794 2943 0 328815 0
[pid=32647/tid=32648] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1359548416 273538 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1327684

[startup+1662.31 s]
/proc/loadavg: 2.19 2.25 2.21 4/183 32716
/proc/meminfo: memFree=28195584/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1335876 CPUtime=1661.78 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 275439 0 0 0 166130 48 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 140734131413056 13191988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 333969 275586 794 2943 0 330863 0
[pid=32647/tid=32648] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.32 2.28 2.22 4/183 32717
/proc/meminfo: memFree=28193856/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1335876 CPUtime=1721.76 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 275439 0 0 0 172128 48 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 140734131413056 5546005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 333969 275586 794 2943 0 330863 0
[pid=32647/tid=32648] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.24 2.25 2.22 3/183 32718
/proc/meminfo: memFree=28192372/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1335876 CPUtime=1781.76 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 275439 0 0 0 178127 49 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 140734131413056 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 333969 275586 794 2943 0 330863 0
[pid=32647/tid=32648] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.33 2.27 2.22 4/183 32718
/proc/meminfo: memFree=28192500/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1335876 CPUtime=1800.06 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 275439 0 0 0 179957 49 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 140734131413056 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 333969 275586 794 2943 0 330863 0
[pid=32647/tid=32648] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1335876

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.6 s]
/proc/loadavg: 2.33 2.27 2.22 4/183 32718
/proc/meminfo: memFree=28192500/32872528 swapFree=16080/1655368
[pid=32647] ppid=32644 vsize=1335876 CPUtime=1800.06 cores=1,3,5,7
/proc/32647/stat : 32647 (toysat) R 32644 32647 32454 0 -1 4202496 275439 0 0 0 179957 49 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 140734131413056 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32647/statm: 333969 275586 794 2943 0 330863 0
[pid=32647/tid=32648] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32648/stat : 32648 (toysat) S 32644 32647 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648742436080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32647/tid=32649] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32649/stat : 32649 (toysat) S 32644 32647 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648731946224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32647/tid=32650] ppid=32644 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/32647/task/32650/stat : 32650 (toysat) S 32644 32647 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104004594 1367937024 275586 33554432000 4194304 16246674 140734131431136 139648647031984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1335876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.58
CPU system time (s): 0.492925
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.492925
maximum resident set size= 1102344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275439
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= 453
involuntary context switches= 1867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17006 second user time and 8.5667 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-06 15:45:10
IDJOB=4078601
IDBENCH=1413
IDSOLVER=2542
FILE ID=node122/4078601-1465220710
RUNJOBID= node122-1465218907-32471
PBS_JOBID= 19843205
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078601-1465220710/watcher-4078601-1465220710 -o /tmp/evaluation-result-4078601-1465220710/solver-4078601-1465220710 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078601-1465220710.opb

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

MD5SUM BENCH= 55203b98fb707e386dea9ef4475d45f9
RANDOM SEED=505664573

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30410288 kB
Buffers:           10496 kB
Cached:            92600 kB
SwapCached:          860 kB
Active:            76196 kB
Inactive:          30132 kB
Active(anon):       3880 kB
Inactive(anon):     1576 kB
Active(file):      72316 kB
Inactive(file):    28556 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099456 kB
Dirty:             32652 kB
Writeback:             0 kB
AnonPages:       1657512 kB
Mapped:             6960 kB
Shmem:                 0 kB
Slab:             566820 kB
SReclaimable:      11012 kB
SUnreclaim:       555808 kB
KernelStack:        1472 kB
PageTables:         7444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1753312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 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= 71712 MiB
End job on node122 at 2016-06-06 16:15:11