Trace number 4096645

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.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-6_6_33.opb
MD5SUM85e1cc7358e9974f03ba54afe2a17b44
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark257.395
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1560
Total number of constraints7454
Number of constraints which are clauses7449
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint39
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-17T00:06:02+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-4096645-1466114762.opb"]
0.00/0.01	c use --random-gen="3088129579 375998705 2355941914 2676741255 1670047250 2304072899 1343050812 1837040805 892437247 4077604355 3379849801 100200879 2314737280 1705685502 3645935173 2945924601 3941622074 2681663737 3135277713 4244221815 1731310052 1465017187 1856736899 1948229844 3050212836 297109154 3187625585 4227713180 1590604283 2563051467 1231930932 3849739621 2701992268 860654362 2976471733 4027938315 2166474303 129996530 1284951136 1070461978 3599852831 2539271389 3304965655 2115669771 971077606 4047912592 1266649176 3613210073 608837144 3537402427 3696773086 2236951342 1389554329 181910969 2055954046 2223759493 676559290 3306557451 3497726979 207365359 1887037445 2730093693 1657845802 2271391729 3261454600 2961832285 2610295725 1074339693 953497133 3409444849 732157584 3001423923 1370008012 1132399347 3720683687 2436239655 502557751 3057745761 3672161679 1157777186 2227807425 3848577126 231303149 1101805378 2348389811 4097926945 4034616696 3155973461 3830560823 1479042484 2760772084 1918901635 3923325104 4292749362 1567102626 488349269 3175015656 1302211007 2555222294 2693725656 1983590067 2387076062 3115065224 2006343031 1122496746 1769781235 247283008 2082124100 1798696617 2568308291 1458705185 3567822154 1274147068 2711797422 3935381087 3335167391 1630261385 2254613158 2928617358 3531810560 2895468284 3751459996 1878401749 878449015 2145059318 1132030478 3629460987 912131837 2835343625 1718915250 3385677341 1905766300 3450989646 2001544995 1794488982 2018836114 349803617 766304932 2057520867 319505503 1899755639 2593681972 4121002877 3602832 732948207 1698175190 1997812214 4289677961 3402079668 4164525272 1269268552 2340632718 1159715842 1207056178 3417053092 977916287 3845592051 4014987316 3745990439 1097120091 3068577972 419271399 2998927854 4177181514 684035527 2713128944 248078534 2846813358 1406042543 3482990116 399264623 2954949358 1278353565 898743760 287331295 4199614981 3029359765 3221705313 2210593563 1596168938 636159558 1281696232 2654601258 1188748862 4092358602 3306305776 2744692090 3092024182 3822485708 1957799148 698469211 3674730351 2209637171 2610653201 3042088070 1535721956 2237942703 1774104229 2794709124 2580397155 1789419593 3469392235 345555651 3184154688 2568653465 2956687460 127024883 2876703537 1021862114 4133051639 300133908 2613682930 2505529407 2094963661 3687418586 385282185 3817856220 1509801710 2161507768 848500116 130708791 2184027232 3763728572 2957535143 1824101328 1892915164 2050966753 1934778906 2026825914 1358427286 2294328097 485665401 3312735074 3865827632 3793222417 1820517524 80721701 1858988574 1837484410 463523443 2265003555 1954075939 4168654259 1403999052 3513050868 3674909986 718875333 3720888404 2101788838 3572709276 4101417932 849321829 811323803 3486648501 645547309 1370079882 255 362436" option to reproduce the execution
0.00/0.07	c #vars 1560
0.00/0.07	c #constraints 7454
0.09/0.18	c Solving starts ...
0.09/0.18	c ============================[ Search Statistics ]============================
0.09/0.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.18	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.18	c =============================================================================
0.09/0.18	c  0.0s |       0 |        0 |        0 |     3003      0 |        5 |        0
0.19/0.23	c  0.1s |       1 |      132 |      100 |     3003      0 |        5 |      310
0.29/0.30	c  0.1s |       2 |      328 |      250 |     3304      0 |        5 |      310
0.39/0.40	c  0.2s |       3 |      602 |      475 |     3635      0 |        5 |      310
0.49/0.57	c  0.4s |       4 |     1015 |      813 |     3999      0 |        5 |      310
0.78/0.87	c  0.7s |       5 |     1628 |     1320 |     4399      0 |        5 |      310
1.29/1.35	c  1.2s |       6 |     2514 |     2081 |     5323      0 |        5 |      310
1.89/1.92	c  1.7s |       7 |     3880 |     3223 |     5856      0 |        5 |      310
2.89/2.96	c  2.8s |       8 |     5825 |     4936 |     6442      0 |        5 |      310
4.59/4.61	c  4.4s |       9 |     9013 |     7506 |     7087      1 |        5 |      310
6.49/6.56	c  6.4s |      10 |    13913 |    11361 |     7796      2 |        5 |      310
8.49/8.59	c  8.4s |      10 |    18975 |    15361 |     7796      3 |        5 |      310
9.39/9.47	c  9.3s |      11 |    21109 |    17144 |     8576      3 |        5 |      310
11.38/11.49	c 11.3s |      11 |    25839 |    20944 |     8576      4 |        5 |      310
13.48/13.51	c 13.3s |      11 |    30731 |    25044 |     8576      5 |        5 |      310
13.78/13.84	c 13.7s |      12 |    31688 |    25819 |     9434      5 |        5 |      310
15.78/15.88	c 15.7s |      12 |    36141 |    29419 |     9434      5 |        5 |      310
17.78/17.89	c 17.7s |      12 |    41354 |    33619 |     9434      6 |        5 |      310
19.89/19.91	c 19.7s |      12 |    45341 |    37019 |     9434      7 |        5 |      310
20.89/20.91	c 20.7s |      13 |    47474 |    38832 |    10378      7 |        5 |      310
22.88/22.96	c 22.8s |      13 |    51713 |    42232 |    10378      8 |        5 |      310
24.98/25.00	c 24.8s |      13 |    56116 |    45732 |    10378      9 |        5 |      310
26.98/27.04	c 26.9s |      13 |    60565 |    49332 |    10378      9 |        5 |      310
28.98/29.07	c 28.9s |      13 |    65720 |    53532 |    10378     10 |        5 |      310
31.08/31.10	c 30.9s |      13 |    69948 |    57132 |    10378     11 |        5 |      310
31.68/31.74	c 31.6s |      14 |    71423 |    58352 |    11416     11 |        5 |      310
33.68/33.77	c 33.6s |      14 |    75818 |    62052 |    11416     11 |        5 |      310
35.69/35.80	c 35.6s |      14 |    80063 |    65752 |    11416     12 |        5 |      310
37.79/37.83	c 37.7s |      14 |    83003 |    68252 |    11416     12 |        5 |      310
39.79/39.84	c 39.7s |      14 |    87611 |    71952 |    11416     13 |        5 |      310
41.79/41.88	c 41.7s |      14 |    92018 |    75652 |    11416     14 |        5 |      310
43.78/43.89	c 43.7s |      14 |    96178 |    79252 |    11416     14 |        5 |      310
45.88/45.91	c 45.7s |      14 |   100019 |    82452 |    11416     15 |        5 |      310
47.98/48.02	c 47.8s |      14 |   104114 |    85952 |    11416     16 |        5 |      310
48.78/48.85	c 48.7s |      15 |   106039 |    87632 |    12558     16 |        5 |      310
50.88/50.91	c 50.7s |      15 |   109715 |    90632 |    12558     16 |        5 |      310
52.98/53.01	c 52.8s |      15 |   113375 |    93732 |    12558     17 |        5 |      310
54.99/55.05	c 54.9s |      15 |   117622 |    97332 |    12558     17 |        5 |      310
56.98/57.08	c 56.9s |      15 |   121451 |   100632 |    12558     18 |        5 |      310
58.98/59.09	c 58.9s |      15 |   125456 |   104132 |    12558     18 |        5 |      310
61.38/61.46	c 61.3s |      15 |   128308 |   106632 |    12558     19 |        5 |      310
63.38/63.48	c 63.3s |      15 |   132863 |   110332 |    12558     19 |        5 |      310
65.48/65.51	c 65.3s |      15 |   137062 |   113832 |    12558     20 |        5 |      310
67.48/67.55	c 67.4s |      15 |   141506 |   117532 |    12558     20 |        5 |      310
69.48/69.58	c 69.4s |      15 |   145606 |   121032 |    12558     21 |        5 |      310
71.58/71.64	c 71.5s |      15 |   149446 |   124332 |    12558     21 |        5 |      310
73.97/74.03	c 73.9s |      15 |   152755 |   127132 |    12558     22 |        5 |      310
75.98/76.07	c 75.9s |      15 |   156883 |   130532 |    12558     22 |        5 |      310
76.77/76.80	c 76.6s |      16 |   158116 |   131552 |    13814     22 |        5 |      310
78.78/78.86	c 78.7s |      16 |   160683 |   133652 |    13814     23 |        5 |      310
80.88/80.91	c 80.7s |      16 |   164845 |   137152 |    13814     23 |        5 |      310
82.88/82.92	c 82.7s |      16 |   167937 |   139752 |    13814     24 |        5 |      310
84.88/84.92	c 84.7s |      16 |   171932 |   143152 |    13814     24 |        5 |      310
86.99/87.00	c 86.8s |      16 |   175495 |   146152 |    13814     24 |        5 |      310
88.98/89.05	c 88.9s |      16 |   179107 |   149352 |    13814     25 |        5 |      310
90.98/91.06	c 90.9s |      16 |   182109 |   152052 |    13814     25 |        5 |      310
93.08/93.17	c 93.0s |      16 |   184971 |   154452 |    13814     26 |        5 |      310
95.08/95.19	c 95.0s |      16 |   189118 |   157952 |    13814     26 |        5 |      310
97.18/97.20	c 97.0s |      16 |   192659 |   160752 |    13814     27 |        5 |      310
99.18/99.22	c 99.0s |      16 |   196927 |   164252 |    13814     27 |        5 |      310
101.18/101.23	c  101s |      16 |   200296 |   167152 |    13814     27 |        5 |      310
103.18/103.25	c  103s |      16 |   204553 |   170752 |    13814     28 |        5 |      310
105.18/105.29	c  105s |      16 |   208915 |   174352 |    13814     28 |        5 |      310
107.27/107.31	c  107s |      16 |   212920 |   177752 |    13814     29 |        5 |      310
109.27/109.31	c  109s |      16 |   216918 |   181152 |    13814     29 |        5 |      310
111.27/111.36	c  111s |      16 |   220873 |   184552 |    13814     30 |        5 |      310
113.38/113.42	c  113s |      16 |   224553 |   187652 |    13814     30 |        5 |      310
115.77/115.83	c  115s |      16 |   227011 |   189752 |    13814     31 |        5 |      310
117.78/117.84	c  117s |      16 |   230572 |   192752 |    13814     31 |        5 |      310
119.77/119.85	c  119s |      16 |   234049 |   195752 |    13814     32 |        5 |      310
120.77/120.83	c  120s |      17 |   236001 |   197432 |    15196     32 |        5 |      310
122.77/122.88	c  122s |      17 |   238951 |   199732 |    15196     32 |        5 |      310
124.77/124.89	c  124s |      17 |   242480 |   202632 |    15196     32 |        5 |      310
127.17/127.25	c  127s |      17 |   245482 |   205232 |    15196     33 |        5 |      310
129.17/129.28	c  129s |      17 |   249502 |   208632 |    15196     33 |        5 |      310
131.27/131.34	c  131s |      17 |   253128 |   211632 |    15196     33 |        5 |      310
133.27/133.36	c  133s |      17 |   256731 |   214632 |    15196     34 |        5 |      310
135.38/135.41	c  135s |      17 |   260200 |   217632 |    15196     34 |        5 |      310
137.37/137.46	c  137s |      17 |   263545 |   220532 |    15196     35 |        5 |      310
139.67/139.71	c  139s |      17 |   265600 |   222332 |    15196     35 |        5 |      310
141.67/141.72	c  141s |      17 |   269389 |   225532 |    15196     35 |        5 |      310
143.67/143.76	c  143s |      17 |   272863 |   228532 |    15196     36 |        5 |      310
145.67/145.80	c  145s |      17 |   276121 |   231332 |    15196     36 |        5 |      310
147.77/147.85	c  147s |      17 |   279400 |   234132 |    15196     36 |        5 |      310
149.87/149.90	c  149s |      17 |   282322 |   236632 |    15196     37 |        5 |      310
151.87/151.91	c  151s |      17 |   285754 |   239632 |    15196     37 |        5 |      310
153.87/153.98	c  153s |      17 |   288853 |   242432 |    15196     37 |        5 |      310
155.97/156.03	c  155s |      17 |   292167 |   245332 |    15196     38 |        5 |      310
157.97/158.04	c  157s |      17 |   295573 |   248332 |    15196     38 |        5 |      310
160.07/160.11	c  159s |      17 |   298861 |   251232 |    15196     39 |        5 |      310
162.07/162.18	c  162s |      17 |   302615 |   254632 |    15196     39 |        5 |      310
164.07/164.19	c  164s |      17 |   305716 |   257432 |    15196     39 |        5 |      310
166.17/166.20	c  166s |      17 |   307249 |   258732 |    15196     40 |        5 |      310
168.16/168.25	c  168s |      17 |   311674 |   262432 |    15196     40 |        5 |      310
170.16/170.25	c  170s |      17 |   315334 |   265532 |    15196     40 |        5 |      310
172.16/172.26	c  172s |      17 |   318831 |   268532 |    15196     41 |        5 |      310
174.16/174.26	c  174s |      17 |   322497 |   271732 |    15196     41 |        5 |      310
176.16/176.29	c  176s |      17 |   326015 |   274632 |    15196     42 |        5 |      310
178.27/178.32	c  178s |      17 |   328688 |   276932 |    15196     42 |        5 |      310
180.26/180.37	c  180s |      17 |   332369 |   280032 |    15196     42 |        5 |      310
182.36/182.43	c  182s |      17 |   336098 |   283232 |    15196     43 |        5 |      310
184.36/184.44	c  184s |      17 |   339812 |   286432 |    15196     43 |        5 |      310
186.46/186.53	c  186s |      17 |   343117 |   289132 |    15196     44 |        5 |      310
188.46/188.56	c  188s |      17 |   347107 |   292532 |    15196     44 |        5 |      310
190.46/190.56	c  190s |      17 |   350589 |   295532 |    16716     44 |        5 |      310
191.06/191.11	c  190s |      18 |   351408 |   296252 |    16716     44 |        5 |      310
193.06/193.16	c  192s |      18 |   354431 |   298852 |    16716     45 |        5 |      310
195.06/195.16	c  194s |      18 |   358213 |   302152 |    16716     45 |        5 |      310
197.16/197.22	c  197s |      18 |   361447 |   305052 |    16716     45 |        5 |      310
199.16/199.28	c  199s |      18 |   363207 |   306452 |    16716     45 |        5 |      310
201.15/201.30	c  201s |      18 |   366621 |   309252 |    16716     46 |        5 |      310
203.25/203.33	c  203s |      18 |   370239 |   312352 |    16716     46 |        5 |      310
205.25/205.37	c  205s |      18 |   373282 |   315052 |    16716     46 |        5 |      310
207.35/207.44	c  207s |      18 |   376528 |   317852 |    16716     47 |        5 |      310
209.35/209.48	c  209s |      18 |   379539 |   320452 |    16716     47 |        5 |      310
211.45/211.53	c  211s |      18 |   382506 |   322952 |    16716     47 |        5 |      310
213.46/213.57	c  213s |      18 |   385305 |   325252 |    16716     48 |        5 |      310
215.45/215.58	c  215s |      18 |   388587 |   328052 |    16716     48 |        5 |      310
217.55/217.61	c  217s |      18 |   391896 |   330952 |    16716     48 |        5 |      310
219.55/219.65	c  219s |      18 |   394980 |   333752 |    16716     49 |        5 |      310
221.65/221.71	c  221s |      18 |   397897 |   336452 |    16716     49 |        5 |      310
223.65/223.71	c  223s |      18 |   400965 |   339152 |    16716     49 |        5 |      310
225.65/225.76	c  225s |      18 |   403940 |   341752 |    16716     50 |        5 |      310
227.76/227.83	c  227s |      18 |   407289 |   344652 |    16716     50 |        5 |      310
229.75/229.89	c  229s |      18 |   410444 |   347452 |    16716     50 |        5 |      310
231.85/231.91	c  231s |      18 |   413037 |   349852 |    16716     51 |        5 |      310
233.85/233.98	c  233s |      18 |   416529 |   353052 |    16716     51 |        5 |      310
236.75/236.83	c  236s |      18 |   417043 |   353452 |    16716     51 |        5 |      310
238.85/238.90	c  238s |      18 |   420701 |   356452 |    16716     51 |        5 |      310
240.86/240.99	c  240s |      18 |   424342 |   359552 |    16716     52 |        5 |      310
242.95/243.05	c  242s |      18 |   427944 |   362652 |    16716     52 |        5 |      310
244.95/245.05	c  244s |      18 |   431146 |   365352 |    16716     52 |        5 |      310
247.05/247.10	c  246s |      18 |   434481 |   368352 |    16716     53 |        5 |      310
249.05/249.16	c  248s |      18 |   437324 |   370852 |    16716     53 |        5 |      310
251.15/251.20	c  251s |      18 |   440369 |   373552 |    16716     53 |        5 |      310
253.25/253.31	c  253s |      18 |   443251 |   376152 |    16716     54 |        5 |      310
255.25/255.34	c  255s |      18 |   446627 |   379052 |    16716     54 |        5 |      310
257.25/257.38	c  257s |      18 |   449489 |   381552 |    16716     54 |        5 |      310
259.45/259.50	c  259s |      18 |   452142 |   383852 |    16716     55 |        5 |      310
261.45/261.50	c  261s |      18 |   455579 |   386852 |    16716     55 |        5 |      310
263.45/263.54	c  263s |      18 |   458653 |   389552 |    16716     55 |        5 |      310
265.45/265.56	c  265s |      18 |   461380 |   391952 |    16716     56 |        5 |      310
267.55/267.60	c  267s |      18 |   464593 |   394852 |    16716     56 |        5 |      310
269.55/269.62	c  269s |      18 |   467469 |   397452 |    16716     56 |        5 |      310
271.55/271.70	c  271s |      18 |   469029 |   398852 |    16716     56 |        5 |      310
273.65/273.74	c  273s |      18 |   472169 |   401452 |    16716     57 |        5 |      310
275.65/275.79	c  275s |      18 |   476188 |   404852 |    16716     57 |        5 |      310
277.75/277.86	c  277s |      18 |   479798 |   407752 |    16716     57 |        5 |      310
279.85/279.91	c  279s |      18 |   482974 |   410452 |    16716     58 |        5 |      310
281.85/281.91	c  281s |      18 |   486602 |   413552 |    16716     58 |        5 |      310
283.86/283.94	c  283s |      18 |   489882 |   416352 |    16716     58 |        5 |      310
285.85/285.95	c  285s |      18 |   493455 |   419352 |    16716     59 |        5 |      310
287.95/288.01	c  287s |      18 |   497086 |   422552 |    16716     59 |        5 |      310
289.95/290.04	c  289s |      18 |   499431 |   424552 |    16716     59 |        5 |      310
291.95/292.05	c  291s |      18 |   502932 |   427352 |    16716     60 |        5 |      310
293.95/294.08	c  293s |      18 |   506732 |   430552 |    16716     60 |        5 |      310
296.05/296.13	c  295s |      18 |   509938 |   433352 |    16716     60 |        5 |      310
298.05/298.17	c  297s |      18 |   513265 |   436352 |    16716     61 |        5 |      310
300.15/300.21	c  300s |      18 |   516734 |   439252 |    16716     61 |        5 |      310
302.15/302.24	c  302s |      18 |   519304 |   441452 |    18388     61 |        5 |      310
304.15/304.28	c  304s |      18 |   522200 |   443952 |    18388     61 |        5 |      310
304.85/304.94	c  304s |      19 |   522802 |   444482 |    18388     62 |        5 |      310
308.35/308.41	c  308s |      19 |   526171 |   447382 |    18388     62 |        5 |      310
310.34/310.46	c  310s |      19 |   530194 |   450682 |    18388     62 |        5 |      310
312.35/312.46	c  312s |      19 |   533756 |   453682 |    18388     63 |        5 |      310
314.34/314.49	c  314s |      19 |   537696 |   457082 |    18388     63 |        5 |      310
316.44/316.50	c  316s |      19 |   541366 |   460082 |    18388     63 |        5 |      310
318.54/318.66	c  318s |      19 |   544488 |   462782 |    18388     64 |        5 |      310
320.54/320.67	c  320s |      19 |   548005 |   465782 |    18388     64 |        5 |      310
322.54/322.69	c  322s |      19 |   551203 |   468582 |    18388     64 |        5 |      310
324.64/324.73	c  324s |      19 |   554100 |   471082 |    18388     64 |        5 |      310
326.65/326.77	c  326s |      19 |   557158 |   473782 |    18388     65 |        5 |      310
330.44/330.53	c  330s |      19 |   558275 |   474782 |    18388     65 |        5 |      310
332.44/332.58	c  332s |      19 |   562305 |   477982 |    18388     65 |        5 |      310
334.45/334.59	c  334s |      19 |   565423 |   480582 |    18388     65 |        5 |      310
336.54/336.61	c  336s |      19 |   568496 |   483182 |    18388     66 |        5 |      310
338.54/338.62	c  338s |      19 |   571975 |   486082 |    18388     66 |        5 |      310
340.54/340.63	c  340s |      19 |   575231 |   488882 |    18388     66 |        5 |      310
342.54/342.69	c  342s |      19 |   578713 |   491882 |    18388     67 |        5 |      310
344.64/344.74	c  344s |      19 |   582685 |   495182 |    18388     67 |        5 |      310
346.64/346.75	c  346s |      19 |   585992 |   498082 |    18388     67 |        5 |      310
348.74/348.83	c  348s |      19 |   587803 |   499582 |    18388     67 |        5 |      310
350.73/350.84	c  350s |      19 |   591128 |   502282 |    18388     68 |        5 |      310
352.73/352.89	c  352s |      19 |   594751 |   505382 |    18388     68 |        5 |      310
354.83/354.92	c  354s |      19 |   598236 |   508382 |    18388     68 |        5 |      310
356.83/356.99	c  356s |      19 |   601760 |   511482 |    18388     69 |        5 |      310
358.93/359.02	c  358s |      19 |   605552 |   514682 |    18388     69 |        5 |      310
360.93/361.04	c  360s |      19 |   608548 |   517182 |    18388     69 |        5 |      310
362.94/363.07	c  362s |      19 |   611375 |   519582 |    18388     70 |        5 |      310
364.93/365.09	c  364s |      19 |   615691 |   523282 |    18388     70 |        5 |      310
367.03/367.16	c  366s |      19 |   619210 |   526382 |    18388     70 |        5 |      310
369.13/369.20	c  369s |      19 |   622357 |   529182 |    18388     71 |        5 |      310
371.13/371.24	c  371s |      19 |   625879 |   532282 |    18388     71 |        5 |      310
373.13/373.26	c  373s |      19 |   628789 |   534882 |    18388     71 |        5 |      310
375.33/375.45	c  375s |      19 |   631690 |   537382 |    18388     72 |        5 |      310
377.33/377.48	c  377s |      19 |   635365 |   540682 |    18388     72 |        5 |      310
380.04/380.19	c  380s |      19 |   636054 |   541282 |    18388     72 |        5 |      310
382.13/382.23	c  382s |      19 |   636426 |   541582 |    18388     72 |        5 |      310
384.23/384.30	c  384s |      19 |   640270 |   544682 |    18388     72 |        5 |      310
386.23/386.36	c  386s |      19 |   643340 |   547282 |    18388     73 |        5 |      310
388.24/388.37	c  388s |      19 |   647090 |   550382 |    18388     73 |        5 |      310
390.23/390.37	c  390s |      19 |   650451 |   553182 |    18388     73 |        5 |      310
392.33/392.46	c  392s |      19 |   653692 |   555982 |    18388     74 |        5 |      310
394.33/394.49	c  394s |      19 |   657119 |   558982 |    18388     74 |        5 |      310
396.43/396.50	c  396s |      19 |   660300 |   561682 |    18388     74 |        5 |      310
398.43/398.56	c  398s |      19 |   663216 |   564282 |    18388     74 |        5 |      310
401.62/401.74	c  401s |      19 |   666226 |   566882 |    18388     75 |        5 |      310
403.63/403.78	c  403s |      19 |   669755 |   569782 |    18388     75 |        5 |      310
405.72/405.80	c  405s |      19 |   673119 |   572682 |    18388     75 |        5 |      310
407.73/407.84	c  407s |      19 |   676015 |   575082 |    18388     76 |        5 |      310
409.73/409.89	c  409s |      19 |   679675 |   578282 |    18388     76 |        5 |      310
411.83/411.94	c  411s |      19 |   682875 |   581082 |    18388     76 |        5 |      310
413.83/413.96	c  413s |      19 |   685701 |   583582 |    18388     76 |        5 |      310
416.03/416.15	c  415s |      19 |   687175 |   584782 |    18388     77 |        5 |      310
418.03/418.17	c  417s |      19 |   690760 |   587782 |    18388     77 |        5 |      310
420.03/420.18	c  420s |      19 |   693983 |   590582 |    18388     77 |        5 |      310
422.03/422.19	c  422s |      19 |   696977 |   593182 |    18388     77 |        5 |      310
424.03/424.19	c  424s |      19 |   700044 |   595882 |    18388     78 |        5 |      310
426.13/426.23	c  426s |      19 |   703271 |   598682 |    18388     78 |        5 |      310
428.12/428.29	c  428s |      19 |   706371 |   601382 |    18388     78 |        5 |      310
430.22/430.32	c  430s |      19 |   709197 |   603882 |    18388     79 |        5 |      310
432.23/432.35	c  432s |      19 |   711988 |   606382 |    18388     79 |        5 |      310
434.22/434.38	c  434s |      19 |   714926 |   608982 |    18388     79 |        5 |      310
437.52/437.68	c  437s |      19 |   715729 |   609682 |    18388     79 |        5 |      310
439.62/439.77	c  439s |      19 |   718558 |   612082 |    18388     80 |        5 |      310
441.62/441.78	c  441s |      19 |   722473 |   615482 |    18388     80 |        5 |      310
443.62/443.79	c  443s |      19 |   725867 |   618382 |    18388     80 |        5 |      310
445.72/445.87	c  445s |      19 |   728728 |   620882 |    18388     80 |        5 |      310
447.73/447.87	c  447s |      19 |   731447 |   623182 |    18388     81 |        5 |      310
449.72/449.90	c  449s |      19 |   734664 |   625882 |    18388     81 |        5 |      310
451.82/451.94	c  451s |      19 |   737368 |   628282 |    18388     81 |        5 |      310
453.82/453.97	c  453s |      19 |   739882 |   630582 |    18388     82 |        5 |      310
455.92/456.03	c  455s |      19 |   742978 |   633282 |    18388     82 |        5 |      310
457.92/458.08	c  457s |      19 |   745996 |   635982 |    18388     82 |        5 |      310
460.22/460.31	c  460s |      19 |   748698 |   638282 |    18388     82 |        5 |      310
462.22/462.39	c  462s |      19 |   750958 |   640182 |    18388     83 |        5 |      310
464.32/464.40	c  464s |      19 |   754350 |   643082 |    18388     83 |        5 |      310
466.32/466.40	c  466s |      19 |   757113 |   645482 |    18388     83 |        5 |      310
468.31/468.45	c  468s |      19 |   760011 |   647982 |    18388     83 |        5 |      310
470.31/470.47	c  470s |      19 |   762983 |   650582 |    18388     84 |        5 |      310
472.61/472.72	c  472s |      19 |   765422 |   652782 |    18388     84 |        5 |      310
474.61/474.73	c  474s |      19 |   768435 |   655282 |    18388     84 |        5 |      310
476.60/476.77	c  476s |      19 |   771379 |   657782 |    18388     84 |        5 |      310
478.60/478.77	c  478s |      19 |   774237 |   660282 |    18388     85 |        5 |      310
480.71/480.81	c  480s |      19 |   777684 |   663282 |    20227     85 |        5 |      310
482.81/482.98	c  482s |      19 |   780721 |   665982 |    20227     85 |        5 |      310
483.61/483.70	c  483s |      20 |   781719 |   666827 |    20227     85 |        5 |      310
485.81/485.93	c  485s |      20 |   782115 |   667127 |    20227     85 |        5 |      310
487.81/487.96	c  487s |      20 |   785273 |   669627 |    20227     85 |        5 |      310
489.91/490.00	c  489s |      20 |   788632 |   672327 |    20227     86 |        5 |      310
491.91/492.06	c  491s |      20 |   792156 |   675227 |    20227     86 |        5 |      310
493.91/494.09	c  493s |      20 |   795760 |   678127 |    20227     86 |        5 |      310
496.11/496.21	c  496s |      20 |   798696 |   680627 |    20227     87 |        5 |      310
498.10/498.22	c  498s |      20 |   802484 |   683927 |    20227     87 |        5 |      310
500.10/500.22	c  500s |      20 |   805764 |   686827 |    20227     87 |        5 |      310
502.10/502.26	c  502s |      20 |   808818 |   689327 |    20227     87 |        5 |      310
504.10/504.27	c  504s |      20 |   811224 |   691227 |    20227     88 |        5 |      310
506.20/506.34	c  506s |      20 |   814664 |   694127 |    20227     88 |        5 |      310
508.20/508.38	c  508s |      20 |   818102 |   696927 |    20227     88 |        5 |      310
510.30/510.47	c  510s |      20 |   820021 |   698527 |    20227     88 |        5 |      310
512.30/512.49	c  512s |      20 |   822279 |   700427 |    20227     89 |        5 |      310
514.30/514.49	c  514s |      20 |   825732 |   703327 |    20227     89 |        5 |      310
516.40/516.52	c  516s |      20 |   829157 |   706227 |    20227     89 |        5 |      310
518.50/518.60	c  518s |      20 |   832493 |   708927 |    20227     89 |        5 |      310
520.49/520.61	c  520s |      20 |   835651 |   711527 |    20227     90 |        5 |      310
522.50/522.62	c  522s |      20 |   839096 |   714527 |    20227     90 |        5 |      310
524.49/524.62	c  524s |      20 |   842408 |   717327 |    20227     90 |        5 |      310
526.49/526.67	c  526s |      20 |   845326 |   719827 |    20227     90 |        5 |      310
528.49/528.68	c  528s |      20 |   848301 |   722427 |    20227     91 |        5 |      310
530.59/530.72	c  530s |      20 |   851846 |   725527 |    20227     91 |        5 |      310
533.09/533.28	c  533s |      20 |   853830 |   727227 |    20227     91 |        5 |      310
535.09/535.30	c  535s |      20 |   856867 |   729727 |    20227     91 |        5 |      310
537.19/537.31	c  537s |      20 |   859173 |   731727 |    20227     92 |        5 |      310
539.19/539.33	c  539s |      20 |   862996 |   735027 |    20227     92 |        5 |      310
541.29/541.40	c  541s |      20 |   866522 |   738027 |    20227     92 |        5 |      310
543.29/543.44	c  543s |      20 |   869463 |   740527 |    20227     92 |        5 |      310
545.39/545.59	c  545s |      20 |   872398 |   743027 |    20227     93 |        5 |      310
547.48/547.62	c  547s |      20 |   875748 |   745927 |    20227     93 |        5 |      310
549.48/549.64	c  549s |      20 |   878784 |   748627 |    20227     93 |        5 |      310
551.48/551.66	c  551s |      20 |   881509 |   751027 |    20227     93 |        5 |      310
553.48/553.66	c  553s |      20 |   884519 |   753727 |    20227     94 |        5 |      310
555.49/555.68	c  555s |      20 |   887817 |   756627 |    20227     94 |        5 |      310
557.58/557.76	c  557s |      20 |   890723 |   759227 |    20227     94 |        5 |      310
562.08/562.29	c  562s |      20 |   892266 |   760627 |    20227     94 |        5 |      310
564.18/564.32	c  564s |      20 |   894883 |   762827 |    20227     95 |        5 |      310
566.18/566.36	c  566s |      20 |   898713 |   766127 |    20227     95 |        5 |      310
568.28/568.40	c  568s |      20 |   901822 |   768827 |    20227     95 |        5 |      310
570.28/570.45	c  570s |      20 |   904476 |   771227 |    20227     95 |        5 |      310
572.28/572.48	c  572s |      20 |   907508 |   773827 |    20227     96 |        5 |      310
574.37/574.50	c  574s |      20 |   910477 |   776427 |    20227     96 |        5 |      310
576.38/576.55	c  576s |      20 |   913389 |   779027 |    20227     96 |        5 |      310
578.37/578.56	c  578s |      20 |   915831 |   781227 |    20227     96 |        5 |      310
580.47/580.62	c  580s |      20 |   918484 |   783527 |    20227     97 |        5 |      310
582.47/582.68	c  582s |      20 |   921508 |   786227 |    20227     97 |        5 |      310
584.47/584.68	c  584s |      20 |   924034 |   788527 |    20227     97 |        5 |      310
587.06/587.24	c  587s |      20 |   926233 |   790527 |    20227     97 |        5 |      310
589.57/589.78	c  589s |      20 |   928573 |   792527 |    20227     98 |        5 |      310
591.67/591.82	c  591s |      20 |   932066 |   795527 |    20227     98 |        5 |      310
593.76/593.90	c  593s |      20 |   935152 |   798227 |    20227     98 |        5 |      310
595.76/595.93	c  595s |      20 |   937915 |   800627 |    20227     98 |        5 |      310
597.96/598.12	c  597s |      20 |   940406 |   802827 |    20227     99 |        5 |      310
599.96/600.14	c  599s |      20 |   943524 |   805627 |    20227     99 |        5 |      310
602.06/602.25	c  602s |      20 |   945985 |   807827 |    20227     99 |        5 |      310
604.06/604.25	c  604s |      20 |   948369 |   809927 |    20227     99 |        5 |      310
606.16/606.33	c  606s |      20 |   950808 |   812027 |    20227     99 |        5 |      310
608.16/608.37	c  608s |      20 |   953023 |   814027 |    20227    100 |        5 |      310
610.26/610.43	c  610s |      20 |   955789 |   816527 |    20227    100 |        5 |      310
612.26/612.49	c  612s |      20 |   958433 |   818927 |    20227    100 |        5 |      310
614.36/614.57	c  614s |      20 |   961098 |   821327 |    20227    100 |        5 |      310
616.45/616.62	c  616s |      20 |   963144 |   823227 |    20227    101 |        5 |      310
620.05/620.25	c  620s |      20 |   966121 |   825927 |    20227    101 |        5 |      310
622.05/622.29	c  622s |      20 |   968257 |   827727 |    20227    101 |        5 |      310
624.15/624.32	c  624s |      20 |   971134 |   830227 |    20227    101 |        5 |      310
626.14/626.36	c  626s |      20 |   973781 |   832527 |    20227    101 |        5 |      310
628.14/628.38	c  628s |      20 |   976305 |   834727 |    20227    102 |        5 |      310
630.15/630.39	c  630s |      20 |   979712 |   837727 |    20227    102 |        5 |      310
632.24/632.45	c  632s |      20 |   982435 |   840127 |    20227    102 |        5 |      310
634.34/634.51	c  634s |      20 |   985231 |   842527 |    20227    102 |        5 |      310
636.34/636.51	c  636s |      20 |   987785 |   844727 |    20227    103 |        5 |      310
638.34/638.59	c  638s |      20 |   990977 |   847527 |    20227    103 |        5 |      310
640.44/640.62	c  640s |      20 |   993805 |   849927 |    20227    103 |        5 |      310
642.44/642.66	c  642s |      20 |   996578 |   852427 |    20227    103 |        5 |      310
644.54/644.74	c  644s |      20 |   998966 |   854627 |    20227    104 |        5 |      310
646.53/646.78	c  646s |      20 |  1001691 |   857127 |    20227    104 |        5 |      310
648.53/648.78	c  648s |      20 |  1004533 |   859627 |    20227    104 |        5 |      310
651.43/651.64	c  651s |      20 |  1006330 |   861227 |    20227    104 |        5 |      310
653.43/653.67	c  653s |      20 |  1009099 |   863427 |    20227    104 |        5 |      310
655.43/655.69	c  655s |      20 |  1012165 |   865927 |    20227    105 |        5 |      310
657.53/657.76	c  657s |      20 |  1016070 |   869227 |    20227    105 |        5 |      310
659.53/659.77	c  659s |      20 |  1019050 |   871727 |    20227    105 |        5 |      310
661.63/661.82	c  661s |      20 |  1021950 |   874327 |    20227    105 |        5 |      310
663.63/663.83	c  663s |      20 |  1025329 |   877327 |    20227    106 |        5 |      310
665.63/665.88	c  665s |      20 |  1028584 |   880127 |    20227    106 |        5 |      310
667.73/667.92	c  667s |      20 |  1031310 |   882527 |    20227    106 |        5 |      310
669.93/670.11	c  669s |      20 |  1033946 |   884727 |    20227    107 |        5 |      310
671.93/672.17	c  671s |      20 |  1038021 |   888127 |    20227    107 |        5 |      310
674.03/674.24	c  674s |      20 |  1038975 |   888927 |    20227    107 |        5 |      310
676.03/676.30	c  676s |      20 |  1042896 |   892127 |    20227    107 |        5 |      310
678.22/678.49	c  678s |      20 |  1046196 |   894927 |    20227    108 |        5 |      310
680.32/680.50	c  680s |      20 |  1049640 |   897827 |    20227    108 |        5 |      310
682.32/682.53	c  682s |      20 |  1053362 |   901027 |    20227    108 |        5 |      310
684.42/684.62	c  684s |      20 |  1056672 |   903927 |    20227    108 |        5 |      310
687.52/687.70	c  687s |      20 |  1059256 |   906227 |    20227    109 |        5 |      310
689.53/689.74	c  689s |      20 |  1062894 |   909427 |    20227    109 |        5 |      310
691.52/691.79	c  691s |      20 |  1066242 |   912227 |    20227    109 |        5 |      310
693.62/693.82	c  693s |      20 |  1069221 |   914827 |    20227    109 |        5 |      310
695.62/695.87	c  695s |      20 |  1072047 |   917327 |    20227    110 |        5 |      310
697.72/697.90	c  697s |      20 |  1075519 |   920327 |    20227    110 |        5 |      310
699.72/699.97	c  699s |      20 |  1078928 |   923227 |    20227    110 |        5 |      310
701.82/702.01	c  701s |      20 |  1081660 |   925627 |    20227    111 |        5 |      310
703.82/704.02	c  703s |      20 |  1085190 |   928727 |    20227    111 |        5 |      310
705.81/706.07	c  705s |      20 |  1088435 |   931627 |    20227    111 |        5 |      310
711.11/711.35	c  711s |      20 |  1091249 |   934127 |    20227    111 |        5 |      310
713.51/713.77	c  713s |      20 |  1093278 |   935827 |    20227    112 |        5 |      310
715.61/715.82	c  715s |      20 |  1097182 |   939027 |    20227    112 |        5 |      310
717.61/717.85	c  717s |      20 |  1100636 |   941927 |    20227    112 |        5 |      310
719.61/719.87	c  719s |      20 |  1103861 |   944727 |    20227    112 |        5 |      310
721.71/721.90	c  721s |      20 |  1106799 |   947327 |    20227    113 |        5 |      310
723.72/723.94	c  723s |      20 |  1110087 |   950227 |    20227    113 |        5 |      310
725.71/725.97	c  725s |      20 |  1112829 |   952627 |    20227    113 |        5 |      310
727.71/727.97	c  727s |      20 |  1115853 |   955127 |    20227    113 |        5 |      310
729.71/729.99	c  729s |      20 |  1118410 |   957227 |    20227    114 |        5 |      310
731.81/732.00	c  731s |      20 |  1122098 |   960427 |    20227    114 |        5 |      310
733.81/734.07	c  733s |      20 |  1124986 |   962827 |    20227    114 |        5 |      310
735.90/736.14	c  735s |      20 |  1128011 |   965427 |    20227    114 |        5 |      310
737.91/738.14	c  737s |      20 |  1131095 |   968127 |    20227    115 |        5 |      310
739.90/740.15	c  739s |      20 |  1134078 |   970827 |    20227    115 |        5 |      310
742.00/742.21	c  742s |      20 |  1137341 |   973527 |    20227    115 |        5 |      310
744.00/744.26	c  744s |      20 |  1140373 |   976127 |    20227    115 |        5 |      310
746.00/746.29	c  746s |      20 |  1143097 |   978427 |    20227    116 |        5 |      310
748.10/748.35	c  748s |      20 |  1146324 |   981127 |    20227    116 |        5 |      310
750.20/750.40	c  750s |      20 |  1149445 |   983827 |    20227    116 |        5 |      310
752.20/752.42	c  752s |      20 |  1152347 |   986327 |    20227    116 |        5 |      310
754.19/754.48	c  754s |      20 |  1155449 |   989027 |    20227    117 |        5 |      310
756.29/756.55	c  756s |      20 |  1158671 |   991827 |    20227    117 |        5 |      310
758.39/758.63	c  758s |      20 |  1161930 |   994627 |    22250    117 |        5 |      310
760.39/760.67	c  760s |      20 |  1164824 |   997227 |    22250    117 |        5 |      310
762.49/762.71	c  762s |      20 |  1167541 |   999627 |    22250    118 |        5 |      310
762.89/763.16	c  762s |      21 |  1168330 |  1000345 |    22250    118 |        5 |      310
765.09/765.30	c  765s |      21 |  1168478 |  1000445 |    22250    118 |        5 |      310
767.10/767.36	c  767s |      21 |  1169207 |  1001045 |    22250    118 |        5 |      310
769.09/769.39	c  769s |      21 |  1172722 |  1003945 |    22250    118 |        5 |      310
771.19/771.43	c  771s |      21 |  1175890 |  1006645 |    22250    118 |        5 |      310
773.20/773.45	c  773s |      21 |  1178973 |  1009245 |    22250    118 |        5 |      310
775.19/775.50	c  775s |      21 |  1180977 |  1010945 |    22250    119 |        5 |      310
778.09/778.30	c  778s |      21 |  1184389 |  1013945 |    22250    119 |        5 |      310
780.09/780.33	c  780s |      21 |  1187056 |  1016245 |    22250    119 |        5 |      310
782.09/782.34	c  782s |      21 |  1190195 |  1018845 |    22250    119 |        5 |      310
784.09/784.37	c  784s |      21 |  1193300 |  1021545 |    22250    119 |        5 |      310
786.18/786.40	c  786s |      21 |  1196216 |  1024145 |    22250    120 |        5 |      310
788.18/788.44	c  788s |      21 |  1199588 |  1027045 |    22250    120 |        5 |      310
790.18/790.49	c  790s |      21 |  1202234 |  1029345 |    22250    120 |        5 |      310
792.38/792.60	c  792s |      21 |  1205001 |  1031745 |    22250    120 |        5 |      310
794.38/794.61	c  794s |      21 |  1207442 |  1033945 |    22250    121 |        5 |      310
796.38/796.62	c  796s |      21 |  1210452 |  1036545 |    22250    121 |        5 |      310
798.38/798.65	c  798s |      21 |  1213242 |  1039045 |    22250    121 |        5 |      310
800.47/800.72	c  800s |      21 |  1216021 |  1041445 |    22250    121 |        5 |      310
802.88/803.19	c  803s |      21 |  1218354 |  1043545 |    22250    121 |        5 |      310
804.87/805.20	c  805s |      21 |  1219607 |  1044545 |    22250    122 |        5 |      310
806.97/807.21	c  807s |      21 |  1222982 |  1047345 |    22250    122 |        5 |      310
808.97/809.25	c  809s |      21 |  1225665 |  1049645 |    22250    122 |        5 |      310
811.07/811.32	c  811s |      21 |  1228385 |  1052045 |    22250    122 |        5 |      310
813.07/813.33	c  813s |      21 |  1230714 |  1054145 |    22250    122 |        5 |      310
815.07/815.35	c  815s |      21 |  1232741 |  1055945 |    22250    123 |        5 |      310
817.08/817.39	c  817s |      21 |  1234902 |  1057745 |    22250    123 |        5 |      310
819.17/819.44	c  819s |      21 |  1239594 |  1061445 |    22250    123 |        5 |      310
821.17/821.48	c  821s |      21 |  1242715 |  1064045 |    22250    123 |        5 |      310
823.37/823.69	c  823s |      21 |  1245900 |  1066745 |    22250    124 |        5 |      310
825.46/825.70	c  825s |      21 |  1249323 |  1069645 |    22250    124 |        5 |      310
827.46/827.72	c  827s |      21 |  1252920 |  1072745 |    22250    124 |        5 |      310
829.46/829.72	c  829s |      21 |  1255915 |  1075445 |    22250    124 |        5 |      310
832.37/832.60	c  832s |      21 |  1258285 |  1077445 |    22250    124 |        5 |      310
834.37/834.65	c  834s |      21 |  1260691 |  1079345 |    22250    125 |        5 |      310
836.36/836.69	c  836s |      21 |  1264520 |  1082545 |    22250    125 |        5 |      310
838.36/838.69	c  838s |      21 |  1267423 |  1085045 |    22250    125 |        5 |      310
840.46/840.71	c  840s |      21 |  1270198 |  1087545 |    22250    125 |        5 |      310
842.47/842.77	c  842s |      21 |  1272453 |  1089545 |    22250    126 |        5 |      310
844.57/844.81	c  844s |      21 |  1275236 |  1091845 |    22250    126 |        5 |      310
846.56/846.86	c  846s |      21 |  1278860 |  1094845 |    22250    126 |        5 |      310
848.66/848.92	c  848s |      21 |  1281955 |  1097545 |    22250    126 |        5 |      310
850.65/850.93	c  850s |      21 |  1283941 |  1099245 |    22250    126 |        5 |      310
852.65/852.97	c  852s |      21 |  1286384 |  1101345 |    22250    127 |        5 |      310
854.65/854.97	c  854s |      21 |  1289914 |  1104445 |    22250    127 |        5 |      310
856.76/857.01	c  856s |      21 |  1292828 |  1107045 |    22250    127 |        5 |      310
858.75/859.02	c  858s |      21 |  1295569 |  1109445 |    22250    127 |        5 |      310
860.85/861.17	c  860s |      21 |  1298284 |  1111745 |    22250    128 |        5 |      310
862.95/863.20	c  863s |      21 |  1301436 |  1114345 |    22250    128 |        5 |      310
865.05/865.30	c  865s |      21 |  1304607 |  1117045 |    22250    128 |        5 |      310
867.14/867.40	c  867s |      21 |  1307531 |  1119545 |    22250    128 |        5 |      310
869.14/869.43	c  869s |      21 |  1310259 |  1121945 |    22250    128 |        5 |      310
871.44/871.78	c  871s |      21 |  1312414 |  1123845 |    22250    129 |        5 |      310
873.54/873.80	c  873s |      21 |  1315815 |  1126745 |    22250    129 |        5 |      310
875.54/875.87	c  875s |      21 |  1319109 |  1129645 |    22250    129 |        5 |      310
877.65/877.91	c  877s |      21 |  1321826 |  1132045 |    22250    129 |        5 |      310
879.64/879.96	c  879s |      21 |  1324442 |  1134345 |    22250    130 |        5 |      310
881.64/881.98	c  881s |      21 |  1327916 |  1137445 |    22250    130 |        5 |      310
887.34/887.63	c  887s |      21 |  1330020 |  1139345 |    22250    130 |        5 |      310
889.34/889.69	c  889s |      21 |  1333085 |  1141945 |    22250    130 |        5 |      310
891.44/891.71	c  891s |      21 |  1336148 |  1144545 |    22250    130 |        5 |      310
893.44/893.73	c  893s |      21 |  1338777 |  1146845 |    22250    131 |        5 |      310
895.44/895.74	c  895s |      21 |  1342040 |  1149745 |    22250    131 |        5 |      310
897.53/897.80	c  897s |      21 |  1344931 |  1152245 |    22250    131 |        5 |      310
899.54/899.85	c  899s |      21 |  1347714 |  1154745 |    22250    131 |        5 |      310
901.63/901.96	c  901s |      21 |  1349923 |  1156745 |    22250    132 |        5 |      310
903.73/904.02	c  903s |      21 |  1353141 |  1159645 |    22250    132 |        5 |      310
905.83/906.14	c  905s |      21 |  1355918 |  1162045 |    22250    132 |        5 |      310
907.83/908.18	c  908s |      21 |  1358627 |  1164445 |    22250    132 |        5 |      310
910.03/910.33	c  910s |      21 |  1360737 |  1166345 |    22250    132 |        5 |      310
912.13/912.40	c  912s |      21 |  1362989 |  1168345 |    22250    133 |        5 |      310
914.13/914.42	c  914s |      21 |  1366034 |  1171045 |    22250    133 |        5 |      310
916.13/916.47	c  916s |      21 |  1369099 |  1173745 |    22250    133 |        5 |      310
918.12/918.47	c  918s |      21 |  1371750 |  1176145 |    22250    133 |        5 |      310
920.22/920.54	c  920s |      21 |  1374262 |  1178445 |    22250    133 |        5 |      310
922.22/922.55	c  922s |      21 |  1375927 |  1179945 |    22250    134 |        5 |      310
924.22/924.55	c  924s |      21 |  1378898 |  1182645 |    22250    134 |        5 |      310
926.21/926.56	c  926s |      21 |  1381708 |  1185145 |    22250    134 |        5 |      310
928.31/928.61	c  928s |      21 |  1384112 |  1187345 |    22250    134 |        5 |      310
930.32/930.67	c  930s |      21 |  1386437 |  1189445 |    22250    134 |        5 |      310
932.31/932.69	c  932s |      21 |  1388326 |  1191145 |    22250    135 |        5 |      310
934.31/934.69	c  934s |      21 |  1391071 |  1193645 |    22250    135 |        5 |      310
936.42/936.76	c  936s |      21 |  1393978 |  1196245 |    22250    135 |        5 |      310
938.52/938.85	c  938s |      21 |  1396421 |  1198445 |    22250    135 |        5 |      310
941.71/942.06	c  941s |      21 |  1397770 |  1199645 |    22250    135 |        5 |      310
944.01/944.30	c  944s |      21 |  1400180 |  1201745 |    22250    136 |        5 |      310
946.01/946.35	c  946s |      21 |  1403156 |  1204345 |    22250    136 |        5 |      310
948.11/948.43	c  948s |      21 |  1406042 |  1206945 |    22250    136 |        5 |      310
950.11/950.48	c  950s |      21 |  1408427 |  1209145 |    22250    136 |        5 |      310
952.21/952.55	c  952s |      21 |  1410776 |  1211245 |    22250    136 |        5 |      310
954.31/954.60	c  954s |      21 |  1413035 |  1213245 |    22250    137 |        5 |      310
956.30/956.67	c  956s |      21 |  1416076 |  1215945 |    22250    137 |        5 |      310
959.01/959.32	c  959s |      21 |  1418258 |  1217845 |    22250    137 |        5 |      310
961.00/961.38	c  961s |      21 |  1421526 |  1220545 |    22250    137 |        5 |      310
963.10/963.45	c  963s |      21 |  1424423 |  1223045 |    22250    137 |        5 |      310
965.10/965.48	c  965s |      21 |  1426407 |  1224745 |    22250    138 |        5 |      310
967.20/967.53	c  967s |      21 |  1429892 |  1227745 |    22250    138 |        5 |      310
969.20/969.56	c  969s |      21 |  1432960 |  1230345 |    22250    138 |        5 |      310
971.69/972.02	c  971s |      21 |  1433890 |  1231145 |    22250    138 |        5 |      310
973.70/974.09	c  973s |      21 |  1436387 |  1233145 |    22250    138 |        5 |      310
976.00/976.39	c  976s |      21 |  1439139 |  1235445 |    22250    139 |        5 |      310
978.10/978.45	c  978s |      21 |  1443205 |  1238945 |    22250    139 |        5 |      310
980.10/980.46	c  980s |      21 |  1446452 |  1241645 |    22250    139 |        5 |      310
982.10/982.46	c  982s |      21 |  1449616 |  1244345 |    22250    139 |        5 |      310
984.20/984.56	c  984s |      21 |  1452443 |  1246745 |    22250    140 |        5 |      310
986.30/986.62	c  986s |      21 |  1455976 |  1249845 |    22250    140 |        5 |      310
988.30/988.67	c  988s |      21 |  1459009 |  1252545 |    22250    140 |        5 |      310
990.59/990.96	c  990s |      21 |  1461091 |  1254345 |    22250    140 |        5 |      310
992.59/992.97	c  992s |      21 |  1463875 |  1256645 |    22250    140 |        5 |      310
994.69/995.01	c  994s |      21 |  1466336 |  1258745 |    22250    141 |        5 |      310
996.69/997.06	c  996s |      21 |  1469936 |  1261745 |    22250    141 |        5 |      310
998.79/999.13	c  998s |      21 |  1473236 |  1264645 |    22250    141 |        5 |      310
1000.80/1001.14	c 1000s |      21 |  1475924 |  1267045 |    22250    141 |        5 |      310
1002.79/1003.16	c 1002s |      21 |  1478202 |  1269045 |    22250    141 |        5 |      310
1004.79/1005.19	c 1005s |      21 |  1481013 |  1271445 |    22250    142 |        5 |      310
1006.89/1007.25	c 1007s |      21 |  1484125 |  1274145 |    22250    142 |        5 |      310
1008.99/1009.31	c 1009s |      21 |  1487049 |  1276745 |    22250    142 |        5 |      310
1010.99/1011.31	c 1011s |      21 |  1489797 |  1279145 |    22250    142 |        5 |      310
1012.99/1013.33	c 1013s |      21 |  1492056 |  1281145 |    22250    143 |        5 |      310
1014.99/1015.34	c 1015s |      21 |  1495442 |  1284045 |    22250    143 |        5 |      310
1017.08/1017.42	c 1017s |      21 |  1498710 |  1286945 |    22250    143 |        5 |      310
1019.08/1019.47	c 1019s |      21 |  1501559 |  1289445 |    22250    143 |        5 |      310
1021.28/1021.61	c 1021s |      21 |  1504007 |  1291645 |    22250    144 |        5 |      310
1023.28/1023.66	c 1023s |      21 |  1506973 |  1294345 |    22250    144 |        5 |      310
1027.19/1027.50	c 1027s |      21 |  1508639 |  1295845 |    22250    144 |        5 |      310
1030.19/1030.55	c 1030s |      21 |  1508901 |  1296045 |    22250    144 |        5 |      310
1032.19/1032.55	c 1032s |      21 |  1512154 |  1298745 |    22250    144 |        5 |      310
1034.18/1034.57	c 1034s |      21 |  1515237 |  1301345 |    22250    144 |        5 |      310
1036.18/1036.58	c 1036s |      21 |  1517536 |  1303245 |    22250    145 |        5 |      310
1038.28/1038.61	c 1038s |      21 |  1521236 |  1306445 |    22250    145 |        5 |      310
1040.29/1040.64	c 1040s |      21 |  1524659 |  1309445 |    22250    145 |        5 |      310
1042.28/1042.69	c 1042s |      21 |  1527687 |  1312045 |    22250    145 |        5 |      310
1044.38/1044.75	c 1044s |      21 |  1530122 |  1314145 |    22250    146 |        5 |      310
1046.38/1046.77	c 1046s |      21 |  1533283 |  1316845 |    22250    146 |        5 |      310
1048.48/1048.83	c 1048s |      21 |  1536760 |  1319845 |    22250    146 |        5 |      310
1050.48/1050.86	c 1050s |      21 |  1539616 |  1322345 |    22250    146 |        5 |      310
1052.58/1052.93	c 1052s |      21 |  1542323 |  1324745 |    22250    146 |        5 |      310
1054.58/1054.98	c 1054s |      21 |  1545440 |  1327445 |    22250    147 |        5 |      310
1056.58/1057.00	c 1056s |      21 |  1548998 |  1330545 |    22250    147 |        5 |      310
1058.68/1059.00	c 1058s |      21 |  1552070 |  1333245 |    22250    147 |        5 |      310
1060.97/1061.35	c 1061s |      21 |  1552322 |  1333445 |    22250    147 |        5 |      310
1063.07/1063.40	c 1063s |      21 |  1555723 |  1336245 |    22250    147 |        5 |      310
1065.07/1065.45	c 1065s |      21 |  1558334 |  1338445 |    22250    148 |        5 |      310
1067.07/1067.46	c 1067s |      21 |  1562082 |  1341745 |    22250    148 |        5 |      310
1069.17/1069.52	c 1069s |      21 |  1565559 |  1344845 |    22250    148 |        5 |      310
1071.18/1071.58	c 1071s |      21 |  1568477 |  1347345 |    22250    148 |        5 |      310
1073.27/1073.62	c 1073s |      21 |  1571179 |  1349745 |    22250    149 |        5 |      310
1075.27/1075.63	c 1075s |      21 |  1574462 |  1352645 |    22250    149 |        5 |      310
1077.27/1077.67	c 1077s |      21 |  1577807 |  1355645 |    22250    149 |        5 |      310
1079.37/1079.73	c 1079s |      21 |  1580688 |  1358245 |    22250    149 |        5 |      310
1083.37/1083.70	c 1083s |      21 |  1582758 |  1360145 |    22250    150 |        5 |      310
1085.38/1085.74	c 1085s |      21 |  1586216 |  1363145 |    22250    150 |        5 |      310
1087.47/1087.82	c 1087s |      21 |  1589131 |  1365745 |    22250    150 |        5 |      310
1089.47/1089.87	c 1089s |      21 |  1591731 |  1368045 |    22250    150 |        5 |      310
1091.57/1091.96	c 1091s |      21 |  1593867 |  1369945 |    22250    150 |        5 |      310
1093.67/1094.03	c 1093s |      21 |  1596231 |  1372045 |    22250    151 |        5 |      310
1095.67/1096.09	c 1095s |      21 |  1598926 |  1374545 |    22250    151 |        5 |      310
1097.77/1098.17	c 1097s |      21 |  1601572 |  1376945 |    22250    151 |        5 |      310
1099.87/1100.23	c 1100s |      21 |  1604298 |  1379345 |    22250    151 |        5 |      310
1102.57/1102.90	c 1102s |      21 |  1607003 |  1381645 |    22250    152 |        5 |      310
1104.57/1104.93	c 1104s |      21 |  1610250 |  1384445 |    22250    152 |        5 |      310
1109.86/1110.30	c 1110s |      21 |  1612875 |  1386745 |    22250    152 |        5 |      310
1111.96/1112.31	c 1112s |      21 |  1615598 |  1389045 |    22250    152 |        5 |      310
1113.97/1114.39	c 1114s |      21 |  1618824 |  1391845 |    22250    152 |        5 |      310
1116.07/1116.42	c 1116s |      21 |  1621451 |  1394145 |    22250    153 |        5 |      310
1118.07/1118.42	c 1118s |      21 |  1624772 |  1397045 |    22250    153 |        5 |      310
1120.07/1120.45	c 1120s |      21 |  1628042 |  1399845 |    22250    153 |        5 |      310
1122.17/1122.52	c 1122s |      21 |  1631015 |  1402445 |    22250    153 |        5 |      310
1124.17/1124.57	c 1124s |      21 |  1633619 |  1404745 |    22250    154 |        5 |      310
1126.27/1126.65	c 1126s |      21 |  1636912 |  1407645 |    22250    154 |        5 |      310
1128.37/1128.70	c 1128s |      21 |  1640148 |  1410545 |    22250    154 |        5 |      310
1130.47/1130.83	c 1130s |      21 |  1641810 |  1411945 |    22250    154 |        5 |      310
1132.46/1132.88	c 1132s |      21 |  1644425 |  1414245 |    22250    154 |        5 |      310
1134.56/1134.91	c 1134s |      21 |  1646808 |  1416345 |    22250    155 |        5 |      310
1136.56/1136.96	c 1136s |      21 |  1650022 |  1419145 |    22250    155 |        5 |      310
1138.56/1138.99	c 1138s |      21 |  1653183 |  1421945 |    22250    155 |        5 |      310
1140.66/1141.00	c 1140s |      21 |  1655970 |  1424445 |    22250    155 |        5 |      310
1143.06/1143.48	c 1143s |      21 |  1658364 |  1426545 |    22250    156 |        5 |      310
1145.15/1145.55	c 1145s |      21 |  1661495 |  1429345 |    22250    156 |        5 |      310
1147.15/1147.57	c 1147s |      21 |  1664296 |  1431845 |    22250    156 |        5 |      310
1149.26/1149.62	c 1149s |      21 |  1666966 |  1434245 |    22250    156 |        5 |      310
1151.36/1151.72	c 1151s |      21 |  1669366 |  1436445 |    22250    156 |        5 |      310
1154.15/1154.56	c 1154s |      21 |  1670673 |  1437645 |    22250    156 |        5 |      310
1156.25/1156.62	c 1156s |      21 |  1673227 |  1439845 |    22250    157 |        5 |      310
1158.25/1158.69	c 1158s |      21 |  1676610 |  1442845 |    22250    157 |        5 |      310
1160.35/1160.73	c 1160s |      21 |  1679363 |  1445345 |    22250    157 |        5 |      310
1162.45/1162.85	c 1162s |      21 |  1681890 |  1447645 |    22250    157 |        5 |      310
1164.55/1164.91	c 1164s |      21 |  1684304 |  1449845 |    22250    158 |        5 |      310
1166.54/1166.92	c 1166s |      21 |  1686701 |  1451945 |    22250    158 |        5 |      310
1168.54/1168.95	c 1168s |      21 |  1689239 |  1454245 |    22250    158 |        5 |      310
1170.54/1170.98	c 1170s |      21 |  1691701 |  1456445 |    22250    158 |        5 |      310
1172.64/1173.04	c 1172s |      21 |  1694152 |  1458645 |    22250    158 |        5 |      310
1174.74/1175.12	c 1174s |      21 |  1696224 |  1460545 |    22250    159 |        5 |      310
1176.76/1177.15	c 1176s |      21 |  1698453 |  1462545 |    22250    159 |        5 |      310
1178.86/1179.22	c 1179s |      21 |  1701240 |  1465045 |    22250    159 |        5 |      310
1182.65/1183.05	c 1182s |      21 |  1703530 |  1467145 |    22250    159 |        5 |      310
1184.65/1185.08	c 1184s |      21 |  1705898 |  1469245 |    22250    159 |        5 |      310
1186.75/1187.10	c 1186s |      21 |  1707957 |  1471045 |    22250    159 |        5 |      310
1188.75/1189.11	c 1188s |      21 |  1709781 |  1472645 |    22250    160 |        5 |      310
1190.75/1191.17	c 1190s |      21 |  1713021 |  1475545 |    22250    160 |        5 |      310
1192.85/1193.24	c 1193s |      21 |  1716291 |  1478445 |    22250    160 |        5 |      310
1194.94/1195.34	c 1195s |      21 |  1718717 |  1480545 |    22250    160 |        5 |      310
1196.94/1197.38	c 1197s |      21 |  1721086 |  1482645 |    22250    160 |        5 |      310
1199.04/1199.43	c 1199s |      21 |  1723408 |  1484745 |    22250    161 |        5 |      310
1201.04/1201.45	c 1201s |      21 |  1726412 |  1487445 |    22250    161 |        5 |      310
1203.15/1203.53	c 1203s |      21 |  1729241 |  1490045 |    24476    161 |        5 |      310
1205.14/1205.58	c 1205s |      21 |  1730469 |  1491145 |    24476    161 |        5 |      310
1207.24/1207.62	c 1207s |      21 |  1732918 |  1493145 |    24476    161 |        5 |      310
1209.34/1209.72	c 1209s |      21 |  1735874 |  1495645 |    24476    161 |        5 |      310
1211.34/1211.75	c 1211s |      21 |  1737805 |  1497345 |    24476    162 |        5 |      310
1213.34/1213.76	c 1213s |      21 |  1741149 |  1500245 |    24476    162 |        5 |      310
1214.14/1214.52	c 1214s |      22 |  1741587 |  1500622 |    24476    162 |        5 |      310
1216.14/1216.56	c 1216s |      22 |  1744373 |  1502922 |    24476    162 |        5 |      310
1218.24/1218.61	c 1218s |      22 |  1747287 |  1505322 |    24476    162 |        5 |      310
1220.34/1220.70	c 1220s |      22 |  1750012 |  1507722 |    24476    162 |        5 |      310
1222.34/1222.71	c 1222s |      22 |  1752672 |  1510022 |    24476    163 |        5 |      310
1224.33/1224.73	c 1224s |      22 |  1755609 |  1512622 |    24476    163 |        5 |      310
1226.33/1226.75	c 1226s |      22 |  1758222 |  1514922 |    24476    163 |        5 |      310
1228.34/1228.75	c 1228s |      22 |  1760855 |  1517222 |    24476    163 |        5 |      310
1230.33/1230.77	c 1230s |      22 |  1763399 |  1519522 |    24476    163 |        5 |      310
1232.43/1232.83	c 1232s |      22 |  1765168 |  1521122 |    24476    164 |        5 |      310
1234.43/1234.85	c 1234s |      22 |  1768623 |  1524222 |    24476    164 |        5 |      310
1236.53/1236.92	c 1236s |      22 |  1771538 |  1526822 |    24476    164 |        5 |      310
1238.54/1238.93	c 1238s |      22 |  1773938 |  1528922 |    24476    164 |        5 |      310
1240.64/1241.01	c 1240s |      22 |  1776500 |  1531122 |    24476    164 |        5 |      310
1242.65/1243.03	c 1242s |      22 |  1778879 |  1533122 |    24476    164 |        5 |      310
1244.64/1245.07	c 1244s |      22 |  1781232 |  1535222 |    24476    165 |        5 |      310
1249.04/1249.42	c 1249s |      22 |  1783172 |  1536922 |    24476    165 |        5 |      310
1251.24/1251.66	c 1251s |      22 |  1785740 |  1539022 |    24476    165 |        5 |      310
1253.34/1253.73	c 1253s |      22 |  1788978 |  1541722 |    24476    165 |        5 |      310
1255.34/1255.77	c 1255s |      22 |  1791907 |  1544222 |    24476    165 |        5 |      310
1257.33/1257.77	c 1257s |      22 |  1794382 |  1546322 |    24476    166 |        5 |      310
1259.43/1259.80	c 1259s |      22 |  1797677 |  1549122 |    24476    166 |        5 |      310
1261.44/1261.81	c 1261s |      22 |  1800777 |  1551822 |    24476    166 |        5 |      310
1263.43/1263.83	c 1263s |      22 |  1803569 |  1554322 |    24476    166 |        5 |      310
1265.43/1265.87	c 1265s |      22 |  1806384 |  1556722 |    24476    166 |        5 |      310
1268.13/1268.56	c 1268s |      22 |  1807854 |  1558022 |    24476    167 |        5 |      310
1270.14/1270.59	c 1270s |      22 |  1811718 |  1561222 |    24476    167 |        5 |      310
1272.23/1272.61	c 1272s |      22 |  1815024 |  1564022 |    24476    167 |        5 |      310
1274.23/1274.63	c 1274s |      22 |  1818044 |  1566622 |    24476    167 |        5 |      310
1276.23/1276.64	c 1276s |      22 |  1820928 |  1569122 |    24476    167 |        5 |      310
1278.23/1278.65	c 1278s |      22 |  1822760 |  1570722 |    24476    168 |        5 |      310
1280.23/1280.67	c 1280s |      22 |  1826268 |  1573722 |    24476    168 |        5 |      310
1282.23/1282.69	c 1282s |      22 |  1829320 |  1576422 |    24476    168 |        5 |      310
1284.33/1284.73	c 1284s |      22 |  1832385 |  1579122 |    24476    168 |        5 |      310
1286.33/1286.75	c 1286s |      22 |  1834958 |  1581422 |    24476    168 |        5 |      310
1288.43/1288.80	c 1288s |      22 |  1837444 |  1583622 |    24476    169 |        5 |      310
1290.43/1290.81	c 1290s |      22 |  1840925 |  1586722 |    24476    169 |        5 |      310
1292.43/1292.85	c 1292s |      22 |  1843893 |  1589322 |    24476    169 |        5 |      310
1294.53/1294.91	c 1294s |      22 |  1846676 |  1591822 |    24476    169 |        5 |      310
1296.53/1296.93	c 1296s |      22 |  1849127 |  1594022 |    24476    169 |        5 |      310
1299.93/1300.38	c 1300s |      22 |  1849403 |  1594222 |    24476    169 |        5 |      310
1301.93/1302.38	c 1302s |      22 |  1850981 |  1595522 |    24476    170 |        5 |      310
1303.93/1304.40	c 1304s |      22 |  1854582 |  1598622 |    24476    170 |        5 |      310
1306.03/1306.44	c 1306s |      22 |  1857944 |  1601522 |    24476    170 |        5 |      310
1308.03/1308.46	c 1308s |      22 |  1860804 |  1604022 |    24476    170 |        5 |      310
1310.03/1310.47	c 1310s |      22 |  1863656 |  1606422 |    24476    170 |        5 |      310
1312.13/1312.52	c 1312s |      22 |  1866277 |  1608722 |    24476    171 |        5 |      310
1314.33/1314.80	c 1314s |      22 |  1869470 |  1611522 |    24476    171 |        5 |      310
1316.43/1316.80	c 1316s |      22 |  1872509 |  1614122 |    24476    171 |        5 |      310
1318.43/1318.87	c 1318s |      22 |  1875559 |  1616722 |    24476    171 |        5 |      310
1320.53/1320.97	c 1320s |      22 |  1878178 |  1619022 |    24476    171 |        5 |      310
1322.53/1322.99	c 1322s |      22 |  1880934 |  1621322 |    24476    172 |        5 |      310
1324.53/1324.99	c 1324s |      22 |  1883961 |  1623922 |    24476    172 |        5 |      310
1326.63/1327.06	c 1326s |      22 |  1886814 |  1626422 |    24476    172 |        5 |      310
1328.73/1329.11	c 1328s |      22 |  1889388 |  1628722 |    24476    172 |        5 |      310
1330.73/1331.14	c 1330s |      22 |  1891736 |  1630822 |    24476    172 |        5 |      310
1332.72/1333.14	c 1332s |      22 |  1893950 |  1632822 |    24476    173 |        5 |      310
1334.72/1335.14	c 1334s |      22 |  1897001 |  1635622 |    24476    173 |        5 |      310
1340.42/1340.84	c 1340s |      22 |  1899593 |  1637922 |    24476    173 |        5 |      310
1342.42/1342.86	c 1342s |      22 |  1902624 |  1640522 |    24476    173 |        5 |      310
1344.42/1344.86	c 1344s |      22 |  1905421 |  1642922 |    24476    173 |        5 |      310
1346.52/1346.93	c 1346s |      22 |  1907768 |  1645022 |    24476    174 |        5 |      310
1348.62/1349.01	c 1348s |      22 |  1910604 |  1647422 |    24476    174 |        5 |      310
1350.62/1351.06	c 1350s |      22 |  1913519 |  1650022 |    24476    174 |        5 |      310
1352.73/1353.11	c 1352s |      22 |  1916408 |  1652522 |    24476    174 |        5 |      310
1354.72/1355.14	c 1354s |      22 |  1918888 |  1654722 |    24476    174 |        5 |      310
1356.72/1357.16	c 1356s |      22 |  1921209 |  1656722 |    24476    174 |        5 |      310
1358.72/1359.18	c 1359s |      22 |  1924104 |  1659322 |    24476    175 |        5 |      310
1360.82/1361.25	c 1361s |      22 |  1925467 |  1660522 |    24476    175 |        5 |      310
1362.92/1363.31	c 1363s |      22 |  1928179 |  1662922 |    24476    175 |        5 |      310
1364.92/1365.34	c 1365s |      22 |  1930719 |  1665222 |    24476    175 |        5 |      310
1367.02/1367.43	c 1367s |      22 |  1933158 |  1667422 |    24476    175 |        5 |      310
1369.22/1369.69	c 1369s |      22 |  1935177 |  1669222 |    24476    176 |        5 |      310
1371.22/1371.70	c 1371s |      22 |  1938020 |  1671822 |    24476    176 |        5 |      310
1373.32/1373.75	c 1373s |      22 |  1940807 |  1674322 |    24476    176 |        5 |      310
1375.32/1375.77	c 1375s |      22 |  1943236 |  1676522 |    24476    176 |        5 |      310
1377.32/1377.79	c 1377s |      22 |  1945453 |  1678422 |    24476    176 |        5 |      310
1379.42/1379.80	c 1379s |      22 |  1947856 |  1680522 |    24476    176 |        5 |      310
1381.42/1381.84	c 1381s |      22 |  1950204 |  1682622 |    24476    177 |        5 |      310
1383.42/1383.89	c 1383s |      22 |  1952470 |  1684622 |    24476    177 |        5 |      310
1385.51/1385.92	c 1385s |      22 |  1955269 |  1687122 |    24476    177 |        5 |      310
1391.22/1391.65	c 1391s |      22 |  1958060 |  1689622 |    24476    177 |        5 |      310
1393.32/1393.73	c 1393s |      22 |  1960917 |  1692022 |    24476    177 |        5 |      310
1395.71/1396.18	c 1396s |      22 |  1963143 |  1693922 |    24476    178 |        5 |      310
1397.82/1398.21	c 1398s |      22 |  1967012 |  1697322 |    24476    178 |        5 |      310
1399.81/1400.27	c 1400s |      22 |  1970141 |  1699922 |    24476    178 |        5 |      310
1401.91/1402.33	c 1402s |      22 |  1973197 |  1702522 |    24476    178 |        5 |      310
1403.91/1404.36	c 1404s |      22 |  1975808 |  1704822 |    24476    178 |        5 |      310
1406.01/1406.41	c 1406s |      22 |  1978303 |  1707022 |    24476    179 |        5 |      310
1409.01/1409.42	c 1409s |      22 |  1981069 |  1709522 |    24476    179 |        5 |      310
1411.02/1411.48	c 1411s |      22 |  1984164 |  1712222 |    24476    179 |        5 |      310
1413.01/1413.50	c 1413s |      22 |  1986919 |  1714622 |    24476    179 |        5 |      310
1415.11/1415.54	c 1415s |      22 |  1989600 |  1717022 |    24476    179 |        5 |      310
1417.11/1417.58	c 1417s |      22 |  1991736 |  1718922 |    24476    180 |        5 |      310
1419.21/1419.65	c 1419s |      22 |  1994977 |  1721822 |    24476    180 |        5 |      310
1421.21/1421.66	c 1421s |      22 |  1998036 |  1724522 |    24476    180 |        5 |      310
1423.21/1423.68	c 1423s |      22 |  2001002 |  1727122 |    24476    180 |        5 |      310
1425.32/1425.74	c 1425s |      22 |  2003432 |  1729322 |    24476    180 |        5 |      310
1429.41/1429.84	c 1429s |      22 |  2004302 |  1730122 |    24476    180 |        5 |      310
1431.41/1431.88	c 1431s |      22 |  2006659 |  1732122 |    24476    181 |        5 |      310
1433.51/1433.95	c 1433s |      22 |  2009796 |  1734922 |    24476    181 |        5 |      310
1435.61/1436.01	c 1435s |      22 |  2012648 |  1737522 |    24476    181 |        5 |      310
1437.71/1438.11	c 1437s |      22 |  2015089 |  1739722 |    24476    181 |        5 |      310
1439.71/1440.17	c 1439s |      22 |  2017382 |  1741822 |    24476    181 |        5 |      310
1441.81/1442.21	c 1442s |      22 |  2019436 |  1743722 |    24476    182 |        5 |      310
1443.80/1444.29	c 1444s |      22 |  2021599 |  1745622 |    24476    182 |        5 |      310
1445.90/1446.34	c 1446s |      22 |  2024210 |  1747922 |    24476    182 |        5 |      310
1448.00/1448.40	c 1448s |      22 |  2026531 |  1750022 |    24476    182 |        5 |      310
1450.00/1450.48	c 1450s |      22 |  2028734 |  1752022 |    24476    182 |        5 |      310
1452.10/1452.58	c 1452s |      22 |  2030872 |  1753922 |    24476    182 |        5 |      310
1454.20/1454.63	c 1454s |      22 |  2032587 |  1755422 |    24476    182 |        5 |      310
1456.20/1456.67	c 1456s |      22 |  2034744 |  1757222 |    24476    183 |        5 |      310
1458.21/1458.68	c 1458s |      22 |  2036941 |  1759122 |    24476    183 |        5 |      310
1460.20/1460.68	c 1460s |      22 |  2039995 |  1761722 |    24476    183 |        5 |      310
1462.20/1462.69	c 1462s |      22 |  2042736 |  1764122 |    24476    183 |        5 |      310
1464.20/1464.69	c 1464s |      22 |  2045343 |  1766422 |    24476    183 |        5 |      310
1466.30/1466.70	c 1466s |      22 |  2047653 |  1768422 |    24476    184 |        5 |      310
1468.30/1468.70	c 1468s |      22 |  2050942 |  1771322 |    24476    184 |        5 |      310
1470.30/1470.73	c 1470s |      22 |  2054051 |  1774022 |    24476    184 |        5 |      310
1472.40/1472.81	c 1472s |      22 |  2056953 |  1776622 |    24476    184 |        5 |      310
1474.40/1474.89	c 1474s |      22 |  2059345 |  1778822 |    24476    184 |        5 |      310
1477.40/1477.82	c 1477s |      22 |  2060533 |  1779922 |    24476    184 |        5 |      310
1479.40/1479.86	c 1479s |      22 |  2062210 |  1781422 |    24476    185 |        5 |      310
1481.41/1481.87	c 1481s |      22 |  2064449 |  1783322 |    24476    185 |        5 |      310
1483.61/1484.04	c 1483s |      22 |  2067502 |  1786022 |    24476    185 |        5 |      310
1485.60/1486.07	c 1485s |      22 |  2070572 |  1788622 |    24476    185 |        5 |      310
1487.70/1488.11	c 1487s |      22 |  2073403 |  1791022 |    24476    185 |        5 |      310
1489.80/1490.24	c 1490s |      22 |  2075547 |  1792922 |    24476    186 |        5 |      310
1491.80/1492.29	c 1492s |      22 |  2078732 |  1795722 |    24476    186 |        5 |      310
1493.90/1494.38	c 1494s |      22 |  2081644 |  1798322 |    24476    186 |        5 |      310
1495.90/1496.39	c 1496s |      22 |  2084324 |  1800722 |    24476    186 |        5 |      310
1498.00/1498.46	c 1498s |      22 |  2087036 |  1803122 |    24476    186 |        5 |      310
1500.11/1500.53	c 1500s |      22 |  2089247 |  1805122 |    24476    186 |        5 |      310
1502.10/1502.54	c 1502s |      22 |  2090800 |  1806522 |    24476    187 |        5 |      310
1504.10/1504.59	c 1504s |      22 |  2093854 |  1809222 |    24476    187 |        5 |      310
1506.20/1506.63	c 1506s |      22 |  2096681 |  1811722 |    24476    187 |        5 |      310
1508.20/1508.63	c 1508s |      22 |  2099308 |  1814022 |    24476    187 |        5 |      310
1510.20/1510.66	c 1510s |      22 |  2101743 |  1816222 |    24476    187 |        5 |      310
1512.29/1512.80	c 1512s |      22 |  2104036 |  1818322 |    24476    188 |        5 |      310
1514.30/1514.80	c 1514s |      22 |  2106777 |  1820722 |    24476    188 |        5 |      310
1516.39/1516.84	c 1516s |      22 |  2109459 |  1823122 |    24476    188 |        5 |      310
1518.49/1518.90	c 1518s |      22 |  2112277 |  1825622 |    24476    188 |        5 |      310
1520.49/1520.95	c 1520s |      22 |  2114638 |  1827822 |    24476    188 |        5 |      310
1522.69/1523.19	c 1523s |      22 |  2116954 |  1829922 |    24476    189 |        5 |      310
1524.79/1525.25	c 1525s |      22 |  2119772 |  1832522 |    24476    189 |        5 |      310
1526.89/1527.33	c 1527s |      22 |  2122738 |  1835222 |    24476    189 |        5 |      310
1532.30/1532.70	c 1532s |      22 |  2124409 |  1836722 |    24476    189 |        5 |      310
1534.29/1534.74	c 1534s |      22 |  2126879 |  1838922 |    24476    189 |        5 |      310
1536.30/1536.75	c 1536s |      22 |  2129157 |  1841022 |    24476    189 |        5 |      310
1538.29/1538.76	c 1538s |      22 |  2130778 |  1842522 |    24476    190 |        5 |      310
1540.29/1540.79	c 1540s |      22 |  2133638 |  1845122 |    24476    190 |        5 |      310
1542.39/1542.81	c 1542s |      22 |  2136150 |  1847422 |    24476    190 |        5 |      310
1544.39/1544.86	c 1544s |      22 |  2138276 |  1849422 |    24476    190 |        5 |      310
1546.49/1546.93	c 1546s |      22 |  2140550 |  1851522 |    24476    190 |        5 |      310
1548.50/1548.95	c 1548s |      22 |  2142501 |  1853322 |    24476    190 |        5 |      310
1550.49/1550.97	c 1550s |      22 |  2144340 |  1855022 |    24476    191 |        5 |      310
1552.59/1553.00	c 1552s |      22 |  2146842 |  1857322 |    24476    191 |        5 |      310
1554.59/1555.05	c 1554s |      22 |  2149252 |  1859522 |    24476    191 |        5 |      310
1556.59/1557.07	c 1556s |      22 |  2151373 |  1861522 |    24476    191 |        5 |      310
1558.69/1559.11	c 1558s |      22 |  2153517 |  1863522 |    24476    191 |        5 |      310
1560.69/1561.14	c 1560s |      22 |  2155322 |  1865222 |    24476    191 |        5 |      310
1562.80/1563.24	c 1563s |      22 |  2157029 |  1866822 |    24476    191 |        5 |      310
1565.19/1565.69	c 1565s |      22 |  2157451 |  1867222 |    24476    192 |        5 |      310
1567.29/1567.70	c 1567s |      22 |  2160027 |  1869622 |    24476    192 |        5 |      310
1569.29/1569.79	c 1569s |      22 |  2162413 |  1871822 |    24476    192 |        5 |      310
1571.39/1571.84	c 1571s |      22 |  2164671 |  1873922 |    24476    192 |        5 |      310
1573.48/1573.92	c 1573s |      22 |  2166879 |  1875922 |    24476    192 |        5 |      310
1575.58/1576.00	c 1575s |      22 |  2169100 |  1877922 |    24476    192 |        5 |      310
1577.78/1578.22	c 1578s |      22 |  2170908 |  1879522 |    24476    193 |        5 |      310
1579.78/1580.29	c 1580s |      22 |  2173719 |  1882122 |    24476    193 |        5 |      310
1581.88/1582.31	c 1582s |      22 |  2175620 |  1883822 |    24476    193 |        5 |      310
1583.88/1584.38	c 1584s |      22 |  2178322 |  1886222 |    24476    193 |        5 |      310
1585.98/1586.44	c 1586s |      22 |  2180727 |  1888422 |    24476    193 |        5 |      310
1588.09/1588.51	c 1588s |      22 |  2183334 |  1890722 |    24476    193 |        5 |      310
1590.08/1590.57	c 1590s |      22 |  2185518 |  1892722 |    24476    194 |        5 |      310
1592.18/1592.64	c 1592s |      22 |  2188556 |  1895422 |    24476    194 |        5 |      310
1594.28/1594.71	c 1594s |      22 |  2191536 |  1898122 |    24476    194 |        5 |      310
1596.28/1596.71	c 1596s |      22 |  2194173 |  1900522 |    24476    194 |        5 |      310
1598.28/1598.75	c 1598s |      22 |  2196459 |  1902622 |    24476    194 |        5 |      310
1600.38/1600.82	c 1600s |      22 |  2198459 |  1904422 |    24476    195 |        5 |      310
1609.28/1609.70	c 1609s |      22 |  2201155 |  1906822 |    24476    195 |        5 |      310
1611.28/1611.75	c 1611s |      22 |  2205169 |  1910222 |    24476    195 |        5 |      310
1613.28/1613.79	c 1613s |      22 |  2208588 |  1913222 |    24476    195 |        5 |      310
1615.38/1615.80	c 1615s |      22 |  2211447 |  1915722 |    24476    195 |        5 |      310
1617.38/1617.82	c 1617s |      22 |  2214041 |  1918022 |    24476    196 |        5 |      310
1619.38/1619.88	c 1619s |      22 |  2217469 |  1921022 |    24476    196 |        5 |      310
1621.38/1621.88	c 1621s |      22 |  2220076 |  1923322 |    24476    196 |        5 |      310
1623.48/1623.95	c 1623s |      22 |  2222760 |  1925622 |    24476    196 |        5 |      310
1625.48/1625.96	c 1625s |      22 |  2225176 |  1927722 |    24476    196 |        5 |      310
1627.58/1628.01	c 1627s |      22 |  2227002 |  1929322 |    24476    197 |        5 |      310
1629.57/1630.07	c 1629s |      22 |  2229788 |  1931722 |    24476    197 |        5 |      310
1631.57/1632.08	c 1631s |      22 |  2232574 |  1934122 |    24476    197 |        5 |      310
1633.57/1634.09	c 1633s |      22 |  2235555 |  1936622 |    24476    197 |        5 |      310
1635.67/1636.11	c 1635s |      22 |  2237943 |  1938622 |    24476    197 |        5 |      310
1637.67/1638.14	c 1637s |      22 |  2240152 |  1940522 |    24476    197 |        5 |      310
1639.78/1640.26	c 1640s |      22 |  2242243 |  1942322 |    24476    198 |        5 |      310
1641.88/1642.33	c 1642s |      22 |  2245608 |  1945222 |    24476    198 |        5 |      310
1643.97/1644.40	c 1644s |      22 |  2248602 |  1947722 |    24476    198 |        5 |      310
1645.97/1646.40	c 1646s |      22 |  2251178 |  1950022 |    24476    198 |        5 |      310
1647.97/1648.43	c 1648s |      22 |  2253865 |  1952322 |    24476    198 |        5 |      310
1650.07/1650.51	c 1650s |      22 |  2255685 |  1953922 |    24476    199 |        5 |      310
1652.07/1652.52	c 1652s |      22 |  2259150 |  1957022 |    24476    199 |        5 |      310
1654.08/1654.56	c 1654s |      22 |  2261662 |  1959322 |    24476    199 |        5 |      310
1656.18/1656.62	c 1656s |      22 |  2264406 |  1961822 |    24476    199 |        5 |      310
1658.17/1658.66	c 1658s |      22 |  2266938 |  1964122 |    24476    199 |        5 |      310
1660.27/1660.72	c 1660s |      22 |  2269375 |  1966322 |    24476    200 |        5 |      310
1662.27/1662.74	c 1662s |      22 |  2272125 |  1968722 |    24476    200 |        5 |      310
1664.27/1664.79	c 1664s |      22 |  2275301 |  1971522 |    24476    200 |        5 |      310
1667.07/1667.56	c 1667s |      22 |  2277470 |  1973422 |    24476    200 |        5 |      310
1669.07/1669.59	c 1669s |      22 |  2279832 |  1975522 |    24476    200 |        5 |      310
1671.07/1671.59	c 1671s |      22 |  2282173 |  1977622 |    24476    200 |        5 |      310
1673.17/1673.65	c 1673s |      22 |  2284488 |  1979722 |    24476    201 |        5 |      310
1675.17/1675.66	c 1675s |      22 |  2287218 |  1982222 |    24476    201 |        5 |      310
1677.27/1677.73	c 1677s |      22 |  2289829 |  1984622 |    24476    201 |        5 |      310
1679.27/1679.80	c 1679s |      22 |  2292512 |  1987022 |    24476    201 |        5 |      310
1681.36/1681.81	c 1681s |      22 |  2295000 |  1989322 |    24476    201 |        5 |      310
1683.36/1683.83	c 1683s |      22 |  2297322 |  1991422 |    24476    202 |        5 |      310
1685.47/1685.92	c 1685s |      22 |  2300025 |  1993922 |    24476    202 |        5 |      310
1687.47/1687.98	c 1687s |      22 |  2302721 |  1996422 |    24476    202 |        5 |      310
1689.57/1690.06	c 1689s |      22 |  2305184 |  1998722 |    24476    202 |        5 |      310
1693.57/1694.06	c 1693s |      22 |  2307335 |  2000722 |    24476    202 |        5 |      310
1695.57/1696.07	c 1695s |      22 |  2309409 |  2002622 |    24476    202 |        5 |      310
1697.57/1698.09	c 1697s |      22 |  2311412 |  2004422 |    24476    203 |        5 |      310
1699.67/1700.20	c 1700s |      22 |  2314429 |  2007222 |    24476    203 |        5 |      310
1701.77/1702.23	c 1702s |      22 |  2317469 |  2009922 |    24476    203 |        5 |      310
1704.27/1704.78	c 1704s |      22 |  2320095 |  2012322 |    24476    203 |        5 |      310
1706.36/1706.84	c 1706s |      22 |  2322452 |  2014322 |    24476    203 |        5 |      310
1708.56/1709.01	c 1708s |      22 |  2324291 |  2015922 |    24476    204 |        5 |      310
1710.56/1711.04	c 1710s |      22 |  2327502 |  2018722 |    24476    204 |        5 |      310
1712.66/1713.11	c 1712s |      22 |  2330537 |  2021422 |    24476    204 |        5 |      310
1714.96/1715.42	c 1715s |      22 |  2331001 |  2021822 |    24476    204 |        5 |      310
1716.96/1717.49	c 1717s |      22 |  2333717 |  2024222 |    24476    204 |        5 |      310
1719.06/1719.55	c 1719s |      22 |  2336212 |  2026322 |    24476    204 |        5 |      310
1721.07/1721.60	c 1721s |      22 |  2338356 |  2028222 |    24476    205 |        5 |      310
1723.16/1723.69	c 1723s |      22 |  2340913 |  2030522 |    24476    205 |        5 |      310
1725.26/1725.76	c 1725s |      22 |  2344065 |  2033322 |    24476    205 |        5 |      310
1727.26/1727.76	c 1727s |      22 |  2346704 |  2035722 |    24476    205 |        5 |      310
1729.36/1729.80	c 1729s |      22 |  2349072 |  2037922 |    24476    205 |        5 |      310
1731.36/1731.87	c 1731s |      22 |  2351393 |  2040022 |    24476    205 |        5 |      310
1733.46/1733.90	c 1733s |      22 |  2353936 |  2042322 |    24476    206 |        5 |      310
1735.46/1735.98	c 1735s |      22 |  2355780 |  2044022 |    24476    206 |        5 |      310
1737.56/1738.05	c 1737s |      22 |  2358084 |  2046122 |    24476    206 |        5 |      310
1739.66/1740.10	c 1739s |      22 |  2360174 |  2048022 |    24476    206 |        5 |      310
1741.76/1742.20	c 1742s |      22 |  2362358 |  2050022 |    24476    206 |        5 |      310
1743.76/1744.26	c 1744s |      22 |  2364394 |  2051822 |    24476    206 |        5 |      310
1745.75/1746.29	c 1746s |      22 |  2366277 |  2053522 |    24476    207 |        5 |      310
1747.86/1748.33	c 1748s |      22 |  2368860 |  2055822 |    24476    207 |        5 |      310
1749.86/1750.35	c 1750s |      22 |  2371750 |  2058422 |    24476    207 |        5 |      310
1751.97/1752.45	c 1752s |      22 |  2374231 |  2060722 |    24476    207 |        5 |      310
1753.96/1754.46	c 1754s |      22 |  2376409 |  2062722 |    24476    207 |        5 |      310
1756.06/1756.52	c 1756s |      22 |  2378351 |  2064522 |    24476    207 |        5 |      310
1758.06/1758.54	c 1758s |      22 |  2380279 |  2066322 |    24476    208 |        5 |      310
1760.06/1760.58	c 1760s |      22 |  2382899 |  2068722 |    24476    208 |        5 |      310
1763.96/1764.45	c 1764s |      22 |  2385305 |  2070922 |    24476    208 |        5 |      310
1765.96/1766.49	c 1766s |      22 |  2387904 |  2073222 |    24476    208 |        5 |      310
1768.06/1768.55	c 1768s |      22 |  2390236 |  2075322 |    24476    208 |        5 |      310
1770.06/1770.60	c 1770s |      22 |  2392335 |  2077222 |    24476    208 |        5 |      310
1772.15/1772.66	c 1772s |      22 |  2394941 |  2079622 |    24476    209 |        5 |      310
1774.15/1774.66	c 1774s |      22 |  2397548 |  2081922 |    24476    209 |        5 |      310
1776.35/1776.85	c 1776s |      22 |  2400039 |  2084222 |    24476    209 |        5 |      310
1778.45/1778.90	c 1778s |      22 |  2402193 |  2086222 |    24476    209 |        5 |      310
1780.46/1781.00	c 1780s |      22 |  2404311 |  2088222 |    24476    209 |        5 |      310
1782.55/1783.04	c 1782s |      22 |  2406022 |  2089822 |    24476    210 |        5 |      310
1784.55/1785.06	c 1784s |      22 |  2408534 |  2092122 |    24476    210 |        5 |      310
1786.55/1787.09	c 1786s |      22 |  2410775 |  2094222 |    24476    210 |        5 |      310
1788.75/1789.21	c 1789s |      22 |  2412924 |  2096222 |    24476    210 |        5 |      310
1790.85/1791.33	c 1791s |      22 |  2414849 |  2098022 |    24476    210 |        5 |      310
1792.85/1793.33	c 1793s |      22 |  2416425 |  2099522 |    24476    210 |        5 |      310
1794.85/1795.36	c 1795s |      22 |  2417538 |  2100522 |    24476    210 |        5 |      310
1797.05/1797.58	c 1797s |      22 |  2419499 |  2102322 |    24476    211 |        5 |      310
1799.05/1799.59	c 1799s |      22 |  2421637 |  2104222 |    24476    211 |        5 |      310

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

pid=31502
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 31505
/proc/meminfo: memFree=29442412/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=657988 CPUtime=0 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 2444 0 0 0 0 0 0 0 20 0 4 0 13522842 673779712 3315 33554432000 4194304 16246674 140733856750160 140733856749584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 165265 3324 442 2943 0 162159 0
[pid=31505/tid=31506] ppid=31502 vsize=675396 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 691605504 3383 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=679492 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 695799808 3399 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=683588 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13522842 699994112 3415 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 31505
/proc/meminfo: memFree=29442412/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 23060 0 0 0 7 2 0 0 20 0 4 0 13522842 1250496512 23869 33554432000 4194304 16246674 140733856750160 140733856749472 6926817 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 305297 23876 834 2943 0 302191 0
[pid=31505/tid=31506] ppid=31502 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1250496512 23881 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1250496512 23886 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13522842 1250496512 23891 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200508 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 31505
/proc/meminfo: memFree=29442412/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 41439 0 0 0 14 5 0 0 20 0 4 0 13522842 1250496512 42248 33554432000 4194304 16246674 140733856750160 140733856749472 5523634 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 305297 42257 876 2943 0 302191 0
[pid=31505/tid=31506] ppid=31502 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1250496512 42262 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1250496512 42265 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13522842 1250496512 42269 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.30047 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 31505
/proc/meminfo: memFree=29442412/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 62920 0 0 0 21 8 0 0 20 0 4 0 13522842 1250496512 63730 33554432000 4194304 16246674 140733856750160 140733856732032 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 305297 63741 876 2943 0 302191 0
[pid=31505/tid=31506] ppid=31502 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1250496512 63748 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1250496512 63754 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13522842 1250496512 63761 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700381 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 31505
/proc/meminfo: memFree=29442412/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 147272 0 0 0 50 19 0 0 20 0 4 0 13522842 1250496512 148081 33554432000 4194304 16246674 140733856750160 140733856732032 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 305297 148086 876 2943 0 302191 0
[pid=31505/tid=31506] ppid=31502 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1250496512 148090 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1250496512 148095 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13522842 1250496512 148103 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50043 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 31509
/proc/meminfo: memFree=28535888/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1300036 CPUtime=1.49 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 266098 0 0 0 113 36 0 0 20 0 4 0 13522842 1331236864 266907 33554432000 4194304 16246674 140733856750160 140733856733160 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 325009 266907 879 2943 0 321903 0
[pid=31505/tid=31506] ppid=31502 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1331236864 266907 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1331236864 266907 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1331236864 266907 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.10037 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 31509
/proc/meminfo: memFree=28375432/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 267842 0 0 0 273 36 0 0 20 0 4 0 13522842 1338576896 268651 33554432000 4194304 16246674 140733856750160 140733856732032 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 326801 268651 881 2943 0 323695 0
[pid=31505/tid=31506] ppid=31502 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1338576896 268651 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1338576896 268651 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1338576896 268651 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30044 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 31509
/proc/meminfo: memFree=28367252/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 268022 0 0 0 593 36 0 0 20 0 4 0 13522842 1339625472 268831 33554432000 4194304 16246674 140733856750160 140733856732032 5754796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 327057 268831 885 2943 0 323951 0
[pid=31505/tid=31506] ppid=31502 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1339625472 268831 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1339625472 268831 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1339625472 268831 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 31509
/proc/meminfo: memFree=28357148/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1320516 CPUtime=12.68 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 271290 0 0 0 1232 36 0 0 20 0 4 0 13522842 1352208384 272099 33554432000 4194304 16246674 140733856750160 140733856733160 13006819 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 330129 272099 886 2943 0 327023 0
[pid=31505/tid=31506] ppid=31502 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1352208384 272099 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1352208384 272099 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1352208384 272099 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1320516

[startup+25.5005 s]
/proc/loadavg: 2.26 2.21 2.18 4/183 31509
/proc/meminfo: memFree=28356072/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1320516 CPUtime=25.48 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 271312 0 0 0 2512 36 0 0 20 0 4 0 13522842 1352208384 272121 33554432000 4194304 16246674 140733856750160 140733856732032 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 330129 272121 886 2943 0 327023 0
[pid=31505/tid=31506] ppid=31502 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1352208384 272121 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1352208384 272121 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1352208384 272121 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1320516

[startup+51.1005 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 31705
/proc/meminfo: memFree=28409276/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1340996 CPUtime=51.08 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 276432 0 0 0 5070 38 0 0 20 0 4 0 13522842 1373179904 277241 33554432000 4194304 16246674 140733856750160 140733856732032 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 335249 277241 886 2943 0 332143 0
[pid=31505/tid=31506] ppid=31502 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1373179904 277241 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1373179904 277241 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1373179904 277241 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1340996

[startup+102.3 s]
/proc/loadavg: 2.32 2.24 2.19 3/183 31706
/proc/meminfo: memFree=28394172/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1340996 CPUtime=102.28 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 276432 0 0 0 10189 39 0 0 20 0 4 0 13522842 1373179904 277241 33554432000 4194304 16246674 140733856750160 140733856732032 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 335249 277241 886 2943 0 332143 0
[pid=31505/tid=31506] ppid=31502 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1373179904 277241 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1373179904 277241 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1373179904 277241 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1340996


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

/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1382980

[startup+1362.3 s]
/proc/loadavg: 2.16 2.21 2.18 4/183 31737
/proc/meminfo: memFree=28290700/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1382980 CPUtime=1361.92 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 287230 0 0 0 136130 62 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140733856732032 5523288 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 345745 287741 887 2943 0 342639 0
[pid=31505/tid=31506] ppid=31502 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1382980

[startup+1422.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 31738
/proc/meminfo: memFree=28290076/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1382980 CPUtime=1421.92 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 287230 0 0 0 142129 63 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140733856732032 5823821 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 345745 287741 887 2943 0 342639 0
[pid=31505/tid=31506] ppid=31502 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1382980

[startup+1482.3 s]
/proc/loadavg: 2.10 2.17 2.17 3/184 31743
/proc/meminfo: memFree=28290696/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1382980 CPUtime=1481.9 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 287230 0 0 0 148126 64 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140733856732032 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 345745 287741 887 2943 0 342639 0
[pid=31505/tid=31506] ppid=31502 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1416171520 287741 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1382980

[startup+1542.31 s]
/proc/loadavg: 2.29 2.23 2.19 4/183 31744
/proc/meminfo: memFree=28269980/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1403460 CPUtime=1541.9 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 292350 0 0 0 154124 66 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140733856732032 6836977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 350865 292861 887 2943 0 347759 0
[pid=31505/tid=31506] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1403460

[startup+1602.3 s]
/proc/loadavg: 2.11 2.18 2.17 3/183 31745
/proc/meminfo: memFree=28269768/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1403460 CPUtime=1601.88 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 292350 0 0 0 160122 66 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140733856732032 5661532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 350865 292861 887 2943 0 347759 0
[pid=31505/tid=31506] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1403460

[startup+1662.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 31746
/proc/meminfo: memFree=28269964/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1403460 CPUtime=1661.87 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 292350 0 0 0 166120 67 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140733856747968 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 350865 292861 887 2943 0 347759 0
[pid=31505/tid=31506] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1403460

[startup+1722.3 s]
/proc/loadavg: 2.12 2.17 2.17 4/183 31747
/proc/meminfo: memFree=28269896/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1403460 CPUtime=1721.86 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 292350 0 0 0 172118 68 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140733856732032 6022266 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 350865 292861 887 2943 0 347759 0
[pid=31505/tid=31506] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1403460

[startup+1782.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/182 31748
/proc/meminfo: memFree=28269652/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1403460 CPUtime=1781.85 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 292350 0 0 0 178116 69 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140733856732032 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 350865 292861 887 2943 0 347759 0
[pid=31505/tid=31506] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1403460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.18 2.18 3/183 31749
/proc/meminfo: memFree=28269688/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1403460 CPUtime=1800.05 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 292350 0 0 0 179936 69 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140733856732032 12477756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 350865 292861 887 2943 0 347759 0
[pid=31505/tid=31506] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1403460

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 31505 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.18 2.18 2.18 3/183 31749
/proc/meminfo: memFree=28269688/32872528 swapFree=1190796/1305260
[pid=31505] ppid=31502 vsize=1403460 CPUtime=1800.05 cores=0,2,4,6
/proc/31505/stat : 31505 (toysat) R 31502 31505 29204 0 -1 4202496 292350 0 0 0 179936 69 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140733856732032 12477756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31505/statm: 350865 292861 887 2943 0 347759 0
[pid=31505/tid=31506] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31506/stat : 31506 (toysat) S 31502 31505 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106088295664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=31505/tid=31507] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31507/stat : 31507 (toysat) S 31502 31505 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140106077805808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31505/tid=31508] ppid=31502 vsize=1403460 CPUtime=0 cores=0,2,4,6
/proc/31505/task/31508/stat : 31508 (toysat) S 31502 31505 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13522842 1437143040 292861 33554432000 4194304 16246674 140733856750160 140105993940144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1403460

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.37
CPU system time (s): 0.699893
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1403460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.699893
maximum resident set size= 1171444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292350
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= 315
involuntary context switches= 1867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.08562 second user time and 8.58269 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-17 00:06:02
IDJOB=4096645
IDBENCH=107644
IDSOLVER=2542
FILE ID=node127/4096645-1466114762
RUNJOBID= node127-1466112960-31001
PBS_JOBID= 19904036
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_33.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096645-1466114762/watcher-4096645-1466114762 -o /tmp/evaluation-result-4096645-1466114762/solver-4096645-1466114762 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466112960-31001 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096645-1466114762.opb

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

MD5SUM BENCH= 85e1cc7358e9974f03ba54afe2a17b44
RANDOM SEED=232205301

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        29442792 kB
Buffers:           59552 kB
Cached:           169540 kB
SwapCached:        34656 kB
Active:          1271692 kB
Inactive:         147300 kB
Active(anon):    1156524 kB
Inactive(anon):    35592 kB
Active(file):     115168 kB
Inactive(file):   111708 kB
Unevictable:     1305260 kB
Mlocked:         1190796 kB
SwapTotal:      67108856 kB
SwapFree:       67066092 kB
Dirty:             16484 kB
Writeback:             0 kB
AnonPages:       2461488 kB
Mapped:            10624 kB
Shmem:                 0 kB
Slab:             571440 kB
SReclaimable:      15320 kB
SUnreclaim:       556120 kB
KernelStack:        1456 kB
PageTables:         8656 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2603940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1259520 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= 71708 MiB
End job on node127 at 2016-06-17 00:36:03