0.00/0.00	c 2016-06-16T00:30:00+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-4089603-1466029800.opb"]
0.00/0.01	c use --random-gen="1610961753 1956589173 1761409500 3458070801 2866459600 2338208301 3397541015 2021048873 350181765 3951795564 606602019 2515888956 3170640246 2786882198 3022349644 2407944690 3283763688 3112743885 1874403121 2232524033 627818428 1341271229 3129128415 3445800840 3429142375 501132338 650734307 477165256 3164572261 629609344 3948926793 2546252377 218514095 3016492219 383594793 156459897 4276177479 1775895594 2839134137 870894142 2622698498 3377383136 1252731383 1750000494 394528205 3589550339 1047773231 3691824916 3877193861 3539077509 836152977 3088867587 3982799479 480113619 2537525206 1122941211 900941361 80712755 1932923997 484244886 654277749 1213906542 3926964966 2463717769 2707189792 989095999 1755978992 1276732809 126162271 264430684 3503143117 2599149019 3801299919 564165610 1730389573 968044422 4204264161 3366812513 2524459786 4003903018 3567418607 3028311580 3397587160 4060775544 3389197417 3480099387 445939829 1279239501 1575003195 736119803 2674643644 4234251542 2139117653 484089031 2201924566 3906976440 2644609385 3537131198 45321771 2148271650 2136252195 4004716975 16847818 2832691433 679522380 458899456 2016865108 2218754408 527826580 3315081398 1253701118 1738783896 126096475 3524411554 784279436 645564274 489309635 3055459821 4034321647 774907933 3568255936 2011222181 2405452572 401411415 3758302308 1619155672 2566656081 240127017 123576072 2154255060 3293490282 891275373 3887354719 7678456 1054206453 605106923 728537792 1435760190 3155855635 3455607143 1477720616 404871753 2141327573 3597004529 3909413855 1051654799 2009308925 1006483531 1094860150 3310471181 3021435972 1691436734 1834822932 125063135 2954249978 1503973046 532638108 2398048673 1680103850 1494606316 3803636666 2717033516 860266535 1089900587 3748168417 2659682436 1127883640 371396961 2134243698 1181239345 3777362999 3518115198 2347561336 105518803 2883516195 464530409 1285851436 1508867322 598222500 1880633274 4233352618 209636281 1663903420 2642359603 3826858054 4245136236 72126389 673977927 2969319996 160718211 2805547654 192073022 2577890048 817312132 3319946863 1929137589 1154293477 2531553915 1024848100 1945177222 421676565 2006569333 1285359951 620367635 1663134830 2904124102 1741829130 3436855484 44419469 189706846 1199338120 2788763024 450636191 1522597403 1149314287 991785261 4118051588 3819899349 530465613 585581121 2780660244 156939843 3696627722 1519204827 2478501264 3115763218 2166013588 3901204663 1389865626 4044753325 3687232737 2488618415 2076426152 4044728091 1642126858 1752483562 593258250 2271047128 1359158475 1375169480 3785201559 4152728767 1170056691 3122401030 2612167605 2070247633 2805018037 2464132276 1558509829 1632112033 136792183 1965994015 1020857035 543926981 2555958020 2522095235 255 362436" option to reproduce the execution
0.00/0.01	c #vars 270
0.00/0.01	c #constraints 541
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      270      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      230 |      100 |      270      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      508 |      250 |      297      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |      873 |      475 |      327      1 |        0 |        0
0.29/0.30	c  0.3s |       4 |     1338 |      813 |      360      2 |        0 |        0
0.39/0.49	c  0.5s |       5 |     1970 |     1320 |      397      4 |        0 |        0
0.69/0.79	c  0.8s |       6 |     2858 |     2081 |      481      6 |        0 |        0
1.10/1.12	c  1.1s |       7 |     4129 |     3223 |      530     10 |        0 |        0
1.59/1.61	c  1.6s |       8 |     5976 |     4936 |      583     15 |        0 |        0
2.30/2.33	c  2.3s |       9 |     8694 |     7506 |      642     22 |        0 |        0
3.40/3.43	c  3.4s |      10 |    12707 |    11361 |      707     32 |        0 |        0
5.09/5.12	c  5.1s |      11 |    18699 |    17144 |      778     46 |        0 |        0
7.09/7.15	c  7.1s |      11 |    25505 |    23744 |      778     60 |        0 |        0
7.80/7.81	c  7.8s |      12 |    27619 |    25819 |      856     65 |        0 |        0
9.79/9.82	c  9.8s |      12 |    34813 |    32819 |      856     79 |        0 |        0
11.59/11.66	c 11.6s |      13 |    40939 |    38832 |      942     91 |        0 |        0
13.59/13.67	c 13.6s |      13 |    47469 |    45132 |      942    103 |        0 |        0
15.59/15.69	c 15.7s |      13 |    53969 |    51532 |      942    115 |        0 |        0
17.59/17.70	c 17.7s |      13 |    60367 |    57832 |      942    127 |        0 |        0
17.79/17.87	c 17.9s |      14 |    60893 |    58352 |     1037    127 |        0 |        0
19.79/19.88	c 19.9s |      14 |    67484 |    64752 |     1037    138 |        0 |        0
21.78/21.88	c 21.9s |      14 |    73974 |    71152 |     1037    149 |        0 |        0
23.78/23.90	c 23.9s |      14 |    80792 |    77852 |     1037    161 |        0 |        0
25.88/25.91	c 25.9s |      14 |    87259 |    84252 |     1037    172 |        0 |        0
26.98/27.00	c 27.0s |      15 |    90735 |    87632 |     1141    177 |        0 |        0
28.98/29.02	c 29.0s |      15 |    97342 |    93932 |     1141    187 |        0 |        0
30.98/31.03	c 31.0s |      15 |   103778 |   100232 |     1141    197 |        0 |        0
33.00/33.05	c 33.0s |      15 |   110051 |   106432 |     1141    207 |        0 |        0
34.99/35.06	c 35.0s |      15 |   116547 |   112732 |     1141    217 |        0 |        0
36.99/37.06	c 37.0s |      15 |   123051 |   119032 |     1141    227 |        0 |        0
38.99/39.07	c 39.0s |      15 |   129203 |   125032 |     1141    237 |        0 |        0
40.98/41.07	c 41.0s |      15 |   135407 |   131132 |     1256    246 |        0 |        0
41.18/41.20	c 41.2s |      16 |   135828 |   131552 |     1256    247 |        0 |        0
43.18/43.22	c 43.2s |      16 |   143024 |   138452 |     1256    256 |        0 |        0
45.19/45.23	c 45.2s |      16 |   149885 |   145152 |     1256    266 |        0 |        0
47.18/47.24	c 47.2s |      16 |   156490 |   151552 |     1256    275 |        0 |        0
49.18/49.24	c 49.2s |      16 |   163200 |   157952 |     1256    285 |        0 |        0
51.18/51.24	c 51.2s |      16 |   169849 |   164252 |     1256    294 |        0 |        0
53.18/53.25	c 53.2s |      16 |   176536 |   170552 |     1256    303 |        0 |        0
55.18/55.28	c 55.3s |      16 |   182996 |   176852 |     1256    312 |        0 |        0
57.19/57.28	c 57.3s |      16 |   189674 |   183352 |     1256    321 |        0 |        0
59.28/59.31	c 59.3s |      16 |   196139 |   189652 |     1256    331 |        0 |        0
61.28/61.32	c 61.3s |      16 |   202516 |   195752 |     1256    339 |        0 |        0
61.78/61.88	c 61.9s |      17 |   204298 |   197432 |     1382    341 |        0 |        0
63.79/63.90	c 63.9s |      17 |   210773 |   203632 |     1382    350 |        0 |        0
65.88/65.92	c 65.9s |      17 |   217292 |   210032 |     1382    358 |        0 |        0
67.88/67.92	c 67.9s |      17 |   223679 |   216132 |     1382    366 |        0 |        0
69.88/69.93	c 69.9s |      17 |   230049 |   222132 |     1382    374 |        0 |        0
71.88/71.95	c 71.9s |      17 |   236509 |   228432 |     1382    382 |        0 |        0
73.88/73.95	c 73.9s |      17 |   242471 |   234232 |     1382    390 |        0 |        0
75.89/75.98	c 76.0s |      17 |   248635 |   240232 |     1382    398 |        0 |        0
77.98/78.01	c 78.0s |      17 |   254586 |   246032 |     1382    406 |        0 |        0
79.98/80.04	c 80.0s |      17 |   260818 |   252132 |     1382    414 |        0 |        0
81.98/82.07	c 82.1s |      17 |   266857 |   258032 |     1382    422 |        0 |        0
83.98/84.08	c 84.1s |      17 |   272724 |   263732 |     1382    429 |        0 |        0
85.98/86.09	c 86.1s |      17 |   278654 |   269532 |     1382    437 |        0 |        0
87.98/88.10	c 88.1s |      17 |   284929 |   275632 |     1382    445 |        0 |        0
90.08/90.13	c 90.1s |      17 |   291204 |   281732 |     1382    453 |        0 |        0
92.08/92.15	c 92.1s |      17 |   296996 |   287432 |     1382    460 |        0 |        0
94.07/94.15	c 94.1s |      17 |   302922 |   293132 |     1382    468 |        0 |        0
95.17/95.24	c 95.2s |      18 |   306125 |   296252 |     1521    472 |        0 |        0
97.17/97.26	c 97.2s |      18 |   312747 |   302552 |     1521    479 |        0 |        0
99.17/99.27	c 99.3s |      18 |   318770 |   308452 |     1521    486 |        0 |        0
101.18/101.28	c  101s |      18 |   324741 |   314352 |     1521    494 |        0 |        0
103.27/103.30	c  103s |      18 |   331205 |   320652 |     1521    501 |        0 |        0
105.27/105.30	c  105s |      18 |   337433 |   326752 |     1521    509 |        0 |        0
107.27/107.31	c  107s |      18 |   343541 |   332752 |     1521    516 |        0 |        0
109.27/109.34	c  109s |      18 |   349525 |   338652 |     1521    523 |        0 |        0
111.27/111.36	c  111s |      18 |   355895 |   344752 |     1521    530 |        0 |        0
113.28/113.36	c  113s |      18 |   361900 |   350552 |     1521    537 |        0 |        0
115.27/115.39	c  115s |      18 |   367763 |   356252 |     1521    544 |        0 |        0
117.37/117.42	c  117s |      18 |   373840 |   362152 |     1521    551 |        0 |        0
119.37/119.43	c  119s |      18 |   379520 |   367752 |     1521    558 |        0 |        0
121.37/121.45	c  121s |      18 |   385242 |   373352 |     1521    565 |        0 |        0
123.37/123.48	c  123s |      18 |   391201 |   379152 |     1521    572 |        0 |        0
125.38/125.49	c  125s |      18 |   396870 |   384652 |     1521    579 |        0 |        0
127.47/127.52	c  127s |      18 |   402792 |   390352 |     1521    585 |        0 |        0
129.47/129.54	c  129s |      18 |   408986 |   396452 |     1521    593 |        0 |        0
131.47/131.54	c  131s |      18 |   415176 |   402452 |     1521    600 |        0 |        0
133.47/133.55	c  133s |      18 |   421298 |   408352 |     1521    607 |        0 |        0
135.47/135.55	c  135s |      18 |   427315 |   414252 |     1521    614 |        0 |        0
137.48/137.56	c  137s |      18 |   433372 |   420152 |     1521    622 |        0 |        0
139.57/139.60	c  139s |      18 |   439286 |   425852 |     1521    628 |        0 |        0
141.57/141.61	c  141s |      18 |   445129 |   431552 |     1521    635 |        0 |        0
143.57/143.63	c  143s |      18 |   450680 |   436952 |     1521    642 |        0 |        0
145.57/145.64	c  145s |      18 |   456645 |   442652 |     1674    648 |        0 |        0
146.17/146.28	c  146s |      19 |   458520 |   444482 |     1674    650 |        0 |        0
148.17/148.29	c  148s |      19 |   464413 |   450082 |     1674    657 |        0 |        0
150.17/150.29	c  150s |      19 |   470352 |   455882 |     1674    663 |        0 |        0
152.27/152.31	c  152s |      19 |   476368 |   461782 |     1674    670 |        0 |        0
154.26/154.33	c  154s |      19 |   482083 |   467382 |     1674    676 |        0 |        0
156.27/156.33	c  156s |      19 |   488180 |   473282 |     1674    682 |        0 |        0
158.26/158.35	c  158s |      19 |   494200 |   479182 |     1674    689 |        0 |        0
160.26/160.38	c  160s |      19 |   500029 |   484882 |     1674    695 |        0 |        0
162.26/162.39	c  162s |      19 |   505677 |   490382 |     1674    701 |        0 |        0
164.26/164.39	c  164s |      19 |   511475 |   495982 |     1674    707 |        0 |        0
166.36/166.42	c  166s |      19 |   517174 |   501482 |     1674    714 |        0 |        0
168.37/168.44	c  168s |      19 |   523213 |   507382 |     1674    720 |        0 |        0
170.36/170.44	c  170s |      19 |   528873 |   512982 |     1674    726 |        0 |        0
172.36/172.47	c  172s |      19 |   534669 |   518682 |     1674    733 |        0 |        0
174.46/174.50	c  174s |      19 |   540426 |   524282 |     1674    739 |        0 |        0
176.46/176.50	c  176s |      19 |   546316 |   529982 |     1674    745 |        0 |        0
178.46/178.52	c  178s |      19 |   552400 |   535882 |     1674    752 |        0 |        0
180.47/180.53	c  180s |      19 |   558273 |   541582 |     1674    758 |        0 |        0
182.47/182.56	c  182s |      19 |   564168 |   547282 |     1674    764 |        0 |        0
184.47/184.56	c  184s |      19 |   569957 |   552882 |     1674    770 |        0 |        0
186.46/186.57	c  186s |      19 |   575658 |   558382 |     1674    776 |        0 |        0
188.46/188.58	c  188s |      19 |   581217 |   563782 |     1674    782 |        0 |        0
190.46/190.59	c  190s |      19 |   586942 |   569382 |     1674    789 |        0 |        0
192.57/192.62	c  192s |      19 |   592601 |   574782 |     1674    795 |        0 |        0
194.56/194.64	c  194s |      19 |   598558 |   580482 |     1674    801 |        0 |        0
196.56/196.67	c  196s |      19 |   604584 |   586382 |     1674    807 |        0 |        0
198.56/198.69	c  198s |      19 |   610273 |   591982 |     1674    814 |        0 |        0
200.66/200.72	c  200s |      19 |   615979 |   597482 |     1674    820 |        0 |        0
202.66/202.73	c  202s |      19 |   621826 |   603182 |     1674    826 |        0 |        0
204.67/204.74	c  204s |      19 |   627482 |   608682 |     1674    832 |        0 |        0
206.66/206.76	c  206s |      19 |   632902 |   613982 |     1674    838 |        0 |        0
208.66/208.78	c  208s |      19 |   638560 |   619482 |     1674    844 |        0 |        0
210.76/210.81	c  210s |      19 |   643920 |   624682 |     1674    850 |        0 |        0
212.75/212.83	c  212s |      19 |   649826 |   630482 |     1674    856 |        0 |        0
214.75/214.86	c  214s |      19 |   655575 |   636082 |     1674    862 |        0 |        0
216.76/216.87	c  216s |      19 |   661182 |   641482 |     1674    868 |        0 |        0
218.75/218.88	c  218s |      19 |   666520 |   646682 |     1674    874 |        0 |        0
220.75/220.89	c  220s |      19 |   672533 |   652482 |     1674    881 |        0 |        0
222.85/222.90	c  222s |      19 |   678990 |   658782 |     1674    888 |        0 |        0
224.85/224.93	c  224s |      19 |   685322 |   664882 |     1842    894 |        0 |        0
225.46/225.60	c  225s |      20 |   687285 |   666827 |     1842    896 |        0 |        0
227.55/227.63	c  227s |      20 |   693625 |   672927 |     1842    902 |        0 |        0
229.55/229.64	c  229s |      20 |   699776 |   678927 |     1842    908 |        0 |        0
231.55/231.67	c  231s |      20 |   706243 |   685227 |     1842    914 |        0 |        0
233.55/233.68	c  233s |      20 |   712565 |   691327 |     1842    921 |        0 |        0
235.55/235.69	c  235s |      20 |   718481 |   697027 |     1842    926 |        0 |        0
237.65/237.72	c  237s |      20 |   724357 |   702727 |     1842    932 |        0 |        0
239.64/239.74	c  239s |      20 |   730318 |   708527 |     1842    938 |        0 |        0
241.64/241.75	c  241s |      20 |   736328 |   714427 |     1842    944 |        0 |        0
243.64/243.77	c  243s |      20 |   742148 |   720127 |     1842    950 |        0 |        0
245.64/245.78	c  245s |      20 |   748371 |   726227 |     1842    956 |        0 |        0
247.74/247.80	c  247s |      20 |   754362 |   732027 |     1842    962 |        0 |        0
249.75/249.82	c  249s |      20 |   759998 |   737527 |     1842    967 |        0 |        0
251.74/251.85	c  251s |      20 |   765706 |   743027 |     1842    973 |        0 |        0
253.74/253.86	c  253s |      20 |   772314 |   749427 |     1842    979 |        0 |        0
255.74/255.89	c  255s |      20 |   778600 |   755527 |     1842    985 |        0 |        0
257.83/257.90	c  257s |      20 |   784686 |   761427 |     1842    991 |        0 |        0
259.83/259.93	c  259s |      20 |   790817 |   767327 |     1842    997 |        0 |        0
261.84/261.96	c  261s |      20 |   796786 |   773127 |     1842   1003 |        0 |        0
263.83/263.97	c  263s |      20 |   802840 |   779027 |     1842   1009 |        0 |        0
265.93/266.00	c  265s |      20 |   808779 |   784827 |     1842   1015 |        0 |        0
267.93/268.01	c  267s |      20 |   814839 |   790727 |     1842   1021 |        0 |        0
269.93/270.02	c  270s |      20 |   820567 |   796327 |     1842   1027 |        0 |        0
271.93/272.06	c  272s |      20 |   826468 |   802027 |     1842   1033 |        0 |        0
273.94/274.09	c  274s |      20 |   832337 |   807727 |     1842   1038 |        0 |        0
276.04/276.11	c  276s |      20 |   838406 |   813627 |     1842   1044 |        0 |        0
278.03/278.13	c  278s |      20 |   844413 |   819427 |     1842   1050 |        0 |        0
280.03/280.14	c  280s |      20 |   850199 |   825027 |     1842   1056 |        0 |        0
282.03/282.18	c  282s |      20 |   855940 |   830627 |     1842   1062 |        0 |        0
284.03/284.19	c  284s |      20 |   861692 |   836227 |     1842   1067 |        0 |        0
286.13/286.20	c  286s |      20 |   867552 |   841827 |     1842   1073 |        0 |        0
288.03/288.20	c  288s |      20 |   873500 |   847627 |     1842   1079 |        0 |        0
290.13/290.22	c  290s |      20 |   879289 |   853227 |     1842   1084 |        0 |        0
292.13/292.23	c  292s |      20 |   884948 |   858727 |     1842   1090 |        0 |        0
294.13/294.26	c  294s |      20 |   890547 |   864127 |     1842   1095 |        0 |        0
296.13/296.28	c  296s |      20 |   896079 |   869527 |     1842   1101 |        0 |        0
298.13/298.29	c  298s |      20 |   901507 |   874827 |     1842   1106 |        0 |        0
300.12/300.29	c  300s |      20 |   907929 |   881027 |     1842   1113 |        0 |        0
302.22/302.30	c  302s |      20 |   914177 |   887127 |     1842   1119 |        0 |        0
304.22/304.30	c  304s |      20 |   920324 |   893027 |     1842   1125 |        0 |        0
306.22/306.30	c  306s |      20 |   926500 |   898827 |     1842   1131 |        0 |        0
308.22/308.33	c  308s |      20 |   932627 |   904727 |     1842   1137 |        0 |        0
310.22/310.38	c  310s |      20 |   938820 |   910727 |     1842   1143 |        0 |        0
312.22/312.38	c  312s |      20 |   944819 |   916527 |     1842   1148 |        0 |        0
314.32/314.41	c  314s |      20 |   951022 |   922527 |     1842   1155 |        0 |        0
316.31/316.42	c  316s |      20 |   957169 |   928427 |     1842   1161 |        0 |        0
318.31/318.42	c  318s |      20 |   963004 |   934127 |     1842   1166 |        0 |        0
320.31/320.43	c  320s |      20 |   968810 |   939727 |     1842   1172 |        0 |        0
322.32/322.44	c  322s |      20 |   974460 |   945227 |     1842   1178 |        0 |        0
324.32/324.45	c  324s |      20 |   980278 |   950827 |     1842   1183 |        0 |        0
326.32/326.45	c  326s |      20 |   985989 |   956327 |     1842   1189 |        0 |        0
328.32/328.49	c  328s |      20 |   991717 |   961827 |     1842   1194 |        0 |        0
330.41/330.52	c  330s |      20 |   997677 |   967627 |     1842   1200 |        0 |        0
332.41/332.54	c  332s |      20 |  1003280 |   973127 |     1842   1206 |        0 |        0
334.42/334.55	c  334s |      20 |  1008790 |   978427 |     1842   1211 |        0 |        0
336.41/336.58	c  336s |      20 |  1014327 |   983827 |     1842   1217 |        0 |        0
338.51/338.60	c  338s |      20 |  1020207 |   989627 |     1842   1223 |        0 |        0
340.51/340.60	c  340s |      20 |  1025888 |   995127 |     2027   1228 |        0 |        0
342.41/342.52	c  342s |      21 |  1031254 |  1000345 |     2027   1233 |        0 |        0
344.41/344.53	c  344s |      21 |  1037333 |  1006045 |     2027   1238 |        0 |        0
346.42/346.54	c  346s |      21 |  1043241 |  1011745 |     2027   1243 |        0 |        0
348.41/348.56	c  348s |      21 |  1049264 |  1017545 |     2027   1249 |        0 |        0
350.40/350.57	c  350s |      21 |  1055179 |  1023145 |     2027   1254 |        0 |        0
352.50/352.60	c  352s |      21 |  1061080 |  1028845 |     2027   1259 |        0 |        0
354.50/354.63	c  354s |      21 |  1066929 |  1034445 |     2027   1264 |        0 |        0
356.50/356.66	c  356s |      21 |  1072666 |  1039945 |     2027   1269 |        0 |        0
358.51/358.68	c  358s |      21 |  1078361 |  1045445 |     2027   1274 |        0 |        0
360.60/360.70	c  360s |      21 |  1083836 |  1050745 |     2027   1279 |        0 |        0
362.60/362.73	c  362s |      21 |  1089656 |  1056445 |     2027   1285 |        0 |        0
364.60/364.75	c  364s |      21 |  1095399 |  1062045 |     2027   1290 |        0 |        0
366.60/366.78	c  366s |      21 |  1101004 |  1067545 |     2027   1295 |        0 |        0
368.69/368.80	c  368s |      21 |  1106494 |  1072845 |     2027   1300 |        0 |        0
370.70/370.81	c  370s |      21 |  1112078 |  1078245 |     2027   1305 |        0 |        0
372.69/372.83	c  372s |      21 |  1118193 |  1084245 |     2027   1310 |        0 |        0
374.69/374.86	c  374s |      21 |  1124012 |  1089945 |     2027   1316 |        0 |        0
376.69/376.89	c  376s |      21 |  1129649 |  1095445 |     2027   1321 |        0 |        0
378.79/378.92	c  378s |      21 |  1135380 |  1100945 |     2027   1326 |        0 |        0
380.79/380.94	c  380s |      21 |  1140914 |  1106345 |     2027   1331 |        0 |        0
382.79/382.95	c  382s |      21 |  1146518 |  1111745 |     2027   1336 |        0 |        0
384.78/384.96	c  384s |      21 |  1152047 |  1117045 |     2027   1341 |        0 |        0
386.78/386.99	c  386s |      21 |  1157617 |  1122345 |     2027   1346 |        0 |        0
388.88/389.01	c  388s |      21 |  1162837 |  1127445 |     2027   1350 |        0 |        0
390.88/391.03	c  391s |      21 |  1168772 |  1133245 |     2027   1356 |        0 |        0
392.88/393.06	c  393s |      21 |  1174736 |  1139045 |     2027   1361 |        0 |        0
394.89/395.08	c  395s |      21 |  1180466 |  1144645 |     2027   1366 |        0 |        0
396.88/397.10	c  397s |      21 |  1186303 |  1150145 |     2027   1371 |        0 |        0
398.98/399.12	c  399s |      21 |  1191951 |  1155645 |     2027   1376 |        0 |        0
400.98/401.12	c  401s |      21 |  1197476 |  1161045 |     2027   1381 |        0 |        0
402.98/403.16	c  403s |      21 |  1203176 |  1166445 |     2027   1386 |        0 |        0
404.97/405.16	c  405s |      21 |  1208813 |  1171845 |     2027   1391 |        0 |        0
406.98/407.17	c  407s |      21 |  1214187 |  1177045 |     2027   1396 |        0 |        0
408.97/409.20	c  409s |      21 |  1219743 |  1182345 |     2027   1401 |        0 |        0
411.07/411.22	c  411s |      21 |  1225097 |  1187545 |     2027   1406 |        0 |        0
413.08/413.22	c  413s |      21 |  1230488 |  1192845 |     2027   1411 |        0 |        0
415.08/415.26	c  415s |      21 |  1236013 |  1198245 |     2027   1416 |        0 |        0
417.08/417.29	c  417s |      21 |  1241370 |  1203445 |     2027   1421 |        0 |        0
419.18/419.31	c  419s |      21 |  1246591 |  1208445 |     2027   1425 |        0 |        0
421.18/421.35	c  421s |      21 |  1252497 |  1214145 |     2027   1431 |        0 |        0
423.18/423.37	c  423s |      21 |  1258322 |  1219845 |     2027   1436 |        0 |        0
425.18/425.39	c  425s |      21 |  1264051 |  1225445 |     2027   1441 |        0 |        0
427.28/427.42	c  427s |      21 |  1270269 |  1231145 |     2027   1446 |        0 |        0
429.27/429.43	c  429s |      21 |  1276185 |  1236745 |     2027   1451 |        0 |        0
431.27/431.47	c  431s |      21 |  1281931 |  1242145 |     2027   1457 |        0 |        0
433.28/433.50	c  433s |      21 |  1287731 |  1247745 |     2027   1462 |        0 |        0
435.37/435.53	c  435s |      21 |  1293182 |  1253045 |     2027   1467 |        0 |        0
437.37/437.54	c  437s |      21 |  1299057 |  1258745 |     2027   1472 |        0 |        0
439.37/439.55	c  439s |      21 |  1304713 |  1264245 |     2027   1477 |        0 |        0
441.37/441.55	c  441s |      21 |  1310223 |  1269545 |     2027   1482 |        0 |        0
443.37/443.56	c  443s |      21 |  1315688 |  1274845 |     2027   1487 |        0 |        0
445.37/445.60	c  445s |      21 |  1321392 |  1280445 |     2027   1492 |        0 |        0
447.47/447.63	c  447s |      21 |  1326902 |  1285845 |     2027   1497 |        0 |        0
449.46/449.65	c  449s |      21 |  1332279 |  1291145 |     2027   1502 |        0 |        0
451.46/451.68	c  451s |      21 |  1337830 |  1296545 |     2027   1507 |        0 |        0
453.46/453.69	c  453s |      21 |  1343052 |  1301645 |     2027   1512 |        0 |        0
455.56/455.71	c  455s |      21 |  1348736 |  1307245 |     2027   1517 |        0 |        0
457.57/457.71	c  457s |      21 |  1354244 |  1312645 |     2027   1522 |        0 |        0
459.56/459.75	c  459s |      21 |  1359763 |  1318045 |     2027   1527 |        0 |        0
461.56/461.76	c  461s |      21 |  1365161 |  1323345 |     2027   1532 |        0 |        0
463.56/463.77	c  463s |      21 |  1370530 |  1328545 |     2027   1537 |        0 |        0
465.56/465.78	c  465s |      21 |  1375786 |  1333645 |     2027   1541 |        0 |        0
467.56/467.79	c  467s |      21 |  1381393 |  1338945 |     2027   1546 |        0 |        0
469.66/469.81	c  469s |      21 |  1387149 |  1344545 |     2027   1551 |        0 |        0
471.65/471.82	c  471s |      21 |  1392764 |  1349945 |     2027   1556 |        0 |        0
473.65/473.83	c  473s |      21 |  1398382 |  1355345 |     2027   1561 |        0 |        0
475.65/475.86	c  475s |      21 |  1404191 |  1360945 |     2027   1567 |        0 |        0
477.65/477.90	c  477s |      21 |  1409702 |  1366245 |     2027   1571 |        0 |        0
479.75/479.93	c  479s |      21 |  1415124 |  1371445 |     2027   1576 |        0 |        0
481.75/481.95	c  481s |      21 |  1420872 |  1376945 |     2027   1581 |        0 |        0
483.75/483.96	c  483s |      21 |  1426420 |  1382245 |     2027   1586 |        0 |        0
485.75/485.98	c  485s |      21 |  1431893 |  1387445 |     2027   1591 |        0 |        0
487.75/487.98	c  487s |      21 |  1437292 |  1392645 |     2027   1596 |        0 |        0
489.84/490.01	c  489s |      21 |  1442622 |  1397845 |     2027   1601 |        0 |        0
491.84/492.04	c  492s |      21 |  1447723 |  1402845 |     2027   1605 |        0 |        0
493.86/494.05	c  494s |      21 |  1453371 |  1408245 |     2027   1610 |        0 |        0
495.85/496.08	c  496s |      21 |  1458875 |  1413545 |     2027   1615 |        0 |        0
497.95/498.10	c  498s |      21 |  1464319 |  1418745 |     2027   1620 |        0 |        0
499.95/500.13	c  500s |      21 |  1469661 |  1423745 |     2027   1625 |        0 |        0
501.95/502.15	c  502s |      21 |  1474985 |  1428845 |     2027   1630 |        0 |        0
503.95/504.16	c  504s |      21 |  1480185 |  1433845 |     2027   1634 |        0 |        0
505.95/506.19	c  506s |      21 |  1486106 |  1439545 |     2027   1639 |        0 |        0
508.05/508.22	c  508s |      21 |  1492100 |  1445345 |     2027   1645 |        0 |        0
510.04/510.24	c  510s |      21 |  1497990 |  1451045 |     2027   1650 |        0 |        0
512.04/512.25	c  512s |      21 |  1503623 |  1456545 |     2027   1655 |        0 |        0
514.04/514.25	c  514s |      21 |  1509148 |  1461745 |     2027   1660 |        0 |        0
516.04/516.28	c  516s |      21 |  1514563 |  1467045 |     2027   1665 |        0 |        0
518.14/518.30	c  518s |      21 |  1520199 |  1472545 |     2027   1670 |        0 |        0
520.14/520.32	c  520s |      21 |  1525631 |  1477845 |     2027   1675 |        0 |        0
522.14/522.34	c  522s |      21 |  1531388 |  1483445 |     2027   1680 |        0 |        0
524.14/524.35	c  524s |      21 |  1537029 |  1488845 |     2027   1685 |        0 |        0
526.14/526.36	c  526s |      21 |  1542703 |  1494245 |     2230   1690 |        0 |        0
528.14/528.38	c  528s |      21 |  1548352 |  1499745 |     2230   1694 |        0 |        0
528.54/528.72	c  528s |      22 |  1549246 |  1500622 |     2230   1695 |        0 |        0
530.54/530.73	c  530s |      22 |  1555266 |  1506322 |     2230   1700 |        0 |        0
532.53/532.76	c  532s |      22 |  1561312 |  1512122 |     2230   1705 |        0 |        0
534.54/534.76	c  534s |      22 |  1567084 |  1517622 |     2230   1709 |        0 |        0
536.53/536.79	c  536s |      22 |  1572860 |  1523222 |     2230   1714 |        0 |        0
538.53/538.80	c  538s |      22 |  1578418 |  1528622 |     2230   1719 |        0 |        0
540.63/540.83	c  540s |      22 |  1584014 |  1534022 |     2230   1723 |        0 |        0
542.63/542.85	c  542s |      22 |  1589616 |  1539322 |     2230   1728 |        0 |        0
544.63/544.88	c  544s |      22 |  1595239 |  1544722 |     2230   1732 |        0 |        0
546.64/546.89	c  546s |      22 |  1601177 |  1550122 |     2230   1737 |        0 |        0
548.73/548.93	c  548s |      22 |  1606788 |  1555422 |     2230   1741 |        0 |        0
550.73/550.93	c  550s |      22 |  1612471 |  1560722 |     2230   1746 |        0 |        0
552.73/552.96	c  552s |      22 |  1617769 |  1565722 |     2230   1750 |        0 |        0
554.72/554.99	c  554s |      22 |  1623558 |  1570822 |     2230   1754 |        0 |        0
556.83/557.01	c  556s |      22 |  1629137 |  1576122 |     2230   1759 |        0 |        0
558.83/559.04	c  559s |      22 |  1634808 |  1581422 |     2230   1763 |        0 |        0
560.83/561.08	c  561s |      22 |  1640416 |  1586622 |     2230   1768 |        0 |        0
562.93/563.11	c  563s |      22 |  1646126 |  1592122 |     2230   1773 |        0 |        0
564.93/565.13	c  565s |      22 |  1652172 |  1598022 |     2230   1777 |        0 |        0
566.93/567.15	c  567s |      22 |  1658059 |  1603722 |     2230   1782 |        0 |        0
568.92/569.16	c  569s |      22 |  1663778 |  1609322 |     2230   1787 |        0 |        0
570.92/571.20	c  571s |      22 |  1669483 |  1614922 |     2230   1792 |        0 |        0
572.93/573.20	c  573s |      22 |  1675006 |  1620322 |     2230   1796 |        0 |        0
575.02/575.21	c  575s |      22 |  1680672 |  1625822 |     2230   1801 |        0 |        0
577.02/577.23	c  577s |      22 |  1686284 |  1631222 |     2230   1806 |        0 |        0
579.02/579.26	c  579s |      22 |  1691927 |  1636722 |     2230   1810 |        0 |        0
581.02/581.29	c  581s |      22 |  1697518 |  1642222 |     2230   1815 |        0 |        0
583.12/583.30	c  583s |      22 |  1703155 |  1647622 |     2230   1819 |        0 |        0
585.13/585.33	c  585s |      22 |  1708665 |  1652922 |     2230   1824 |        0 |        0
587.12/587.35	c  587s |      22 |  1714204 |  1658322 |     2230   1829 |        0 |        0
589.11/589.37	c  589s |      22 |  1719891 |  1663822 |     2230   1833 |        0 |        0
591.11/591.38	c  591s |      22 |  1725624 |  1669422 |     2230   1838 |        0 |        0
593.11/593.39	c  593s |      22 |  1731190 |  1674822 |     2230   1843 |        0 |        0
595.21/595.41	c  595s |      22 |  1736673 |  1680122 |     2230   1847 |        0 |        0
597.22/597.41	c  597s |      22 |  1741977 |  1685322 |     2230   1851 |        0 |        0
599.21/599.44	c  599s |      22 |  1747333 |  1690522 |     2230   1856 |        0 |        0
601.21/601.44	c  601s |      22 |  1752732 |  1695822 |     2230   1860 |        0 |        0
603.21/603.47	c  603s |      22 |  1758124 |  1701122 |     2230   1865 |        0 |        0
605.21/605.48	c  605s |      22 |  1763452 |  1706222 |     2230   1869 |        0 |        0
607.31/607.51	c  607s |      22 |  1768781 |  1711322 |     2230   1873 |        0 |        0
609.31/609.52	c  609s |      22 |  1774138 |  1716422 |     2230   1878 |        0 |        0
611.30/611.53	c  611s |      22 |  1779285 |  1721322 |     2230   1882 |        0 |        0
613.30/613.55	c  613s |      22 |  1785564 |  1727322 |     2230   1887 |        0 |        0
615.30/615.56	c  615s |      22 |  1791282 |  1732922 |     2230   1892 |        0 |        0
617.30/617.57	c  617s |      22 |  1796786 |  1738322 |     2230   1896 |        0 |        0
619.30/619.59	c  619s |      22 |  1802433 |  1743722 |     2230   1901 |        0 |        0
621.41/621.61	c  621s |      22 |  1808021 |  1749122 |     2230   1905 |        0 |        0
623.40/623.62	c  623s |      22 |  1813570 |  1754522 |     2230   1910 |        0 |        0
625.40/625.62	c  625s |      22 |  1819038 |  1759722 |     2230   1914 |        0 |        0
627.40/627.65	c  627s |      22 |  1824668 |  1765122 |     2230   1919 |        0 |        0
629.39/629.66	c  629s |      22 |  1830063 |  1770422 |     2230   1923 |        0 |        0
631.39/631.68	c  631s |      22 |  1835486 |  1775622 |     2230   1928 |        0 |        0
633.50/633.71	c  633s |      22 |  1840988 |  1780722 |     2230   1932 |        0 |        0
635.49/635.75	c  635s |      22 |  1846441 |  1785922 |     2230   1937 |        0 |        0
637.49/637.76	c  637s |      22 |  1851960 |  1791222 |     2230   1941 |        0 |        0
639.48/639.78	c  639s |      22 |  1857303 |  1796422 |     2230   1945 |        0 |        0
641.58/641.81	c  641s |      22 |  1862678 |  1801622 |     2230   1950 |        0 |        0
643.58/643.82	c  643s |      22 |  1868115 |  1806822 |     2230   1954 |        0 |        0
645.59/645.84	c  645s |      22 |  1873540 |  1812122 |     2230   1959 |        0 |        0
647.59/647.84	c  647s |      22 |  1878776 |  1817222 |     2230   1963 |        0 |        0
649.59/649.88	c  649s |      22 |  1884187 |  1822422 |     2230   1967 |        0 |        0
651.59/651.89	c  651s |      22 |  1889425 |  1827522 |     2230   1972 |        0 |        0
653.69/653.91	c  653s |      22 |  1894774 |  1832722 |     2230   1976 |        0 |        0
655.69/655.92	c  655s |      22 |  1899947 |  1837822 |     2230   1980 |        0 |        0
657.69/657.95	c  657s |      22 |  1905157 |  1842822 |     2230   1985 |        0 |        0
659.68/659.97	c  659s |      22 |  1910874 |  1848322 |     2230   1989 |        0 |        0
661.68/661.99	c  661s |      22 |  1916516 |  1853822 |     2230   1994 |        0 |        0
663.78/664.03	c  664s |      22 |  1922201 |  1859222 |     2230   1999 |        0 |        0
665.78/666.06	c  666s |      22 |  1927945 |  1864722 |     2230   2003 |        0 |        0
667.88/668.10	c  668s |      22 |  1933617 |  1870022 |     2230   2008 |        0 |        0
669.88/670.13	c  670s |      22 |  1939179 |  1875422 |     2230   2012 |        0 |        0
671.88/672.13	c  672s |      22 |  1944676 |  1880722 |     2230   2017 |        0 |        0
673.88/674.13	c  674s |      22 |  1950027 |  1885722 |     2230   2021 |        0 |        0
675.88/676.15	c  676s |      22 |  1955685 |  1891022 |     2230   2025 |        0 |        0
677.88/678.16	c  678s |      22 |  1960996 |  1895922 |     2230   2030 |        0 |        0
679.88/680.17	c  680s |      22 |  1966567 |  1901322 |     2230   2034 |        0 |        0
681.98/682.20	c  682s |      22 |  1972113 |  1906622 |     2230   2039 |        0 |        0
683.98/684.24	c  684s |      22 |  1977504 |  1911922 |     2230   2043 |        0 |        0
685.97/686.29	c  686s |      22 |  1982832 |  1917122 |     2230   2048 |        0 |        0
688.07/688.32	c  688s |      22 |  1988332 |  1922422 |     2230   2052 |        0 |        0
690.07/690.34	c  690s |      22 |  1993720 |  1927622 |     2230   2056 |        0 |        0
692.07/692.36	c  692s |      22 |  1998906 |  1932722 |     2230   2061 |        0 |        0
694.07/694.38	c  694s |      22 |  2004131 |  1937822 |     2230   2065 |        0 |        0
696.08/696.39	c  696s |      22 |  2009291 |  1942822 |     2230   2069 |        0 |        0
698.17/698.42	c  698s |      22 |  2014550 |  1947922 |     2230   2074 |        0 |        0
700.17/700.43	c  700s |      22 |  2019851 |  1953022 |     2230   2078 |        0 |        0
702.16/702.47	c  702s |      22 |  2025378 |  1958322 |     2230   2082 |        0 |        0
704.26/704.50	c  704s |      22 |  2030700 |  1963522 |     2230   2087 |        0 |        0
706.26/706.53	c  706s |      22 |  2036063 |  1968722 |     2230   2091 |        0 |        0
708.27/708.55	c  708s |      22 |  2041317 |  1973722 |     2230   2096 |        0 |        0
710.25/710.58	c  710s |      22 |  2046822 |  1979022 |     2230   2100 |        0 |        0
712.35/712.60	c  712s |      22 |  2052196 |  1984122 |     2230   2104 |        0 |        0
714.35/714.63	c  714s |      22 |  2057423 |  1989122 |     2230   2109 |        0 |        0
716.35/716.65	c  716s |      22 |  2062475 |  1994022 |     2230   2113 |        0 |        0
718.35/718.67	c  718s |      22 |  2067404 |  1998722 |     2230   2117 |        0 |        0
720.45/720.71	c  720s |      22 |  2073486 |  2004422 |     2230   2122 |        0 |        0
722.46/722.76	c  722s |      22 |  2079613 |  2010322 |     2230   2127 |        0 |        0
724.46/724.76	c  724s |      22 |  2085671 |  2016122 |     2230   2131 |        0 |        0
726.46/726.77	c  726s |      22 |  2091541 |  2021722 |     2230   2136 |        0 |        0
728.46/728.79	c  728s |      22 |  2097214 |  2027022 |     2230   2141 |        0 |        0
730.55/730.81	c  730s |      22 |  2102909 |  2032522 |     2230   2145 |        0 |        0
732.55/732.81	c  732s |      22 |  2108558 |  2037622 |     2230   2150 |        0 |        0
734.56/734.84	c  734s |      22 |  2114004 |  2042822 |     2230   2154 |        0 |        0
736.55/736.88	c  736s |      22 |  2119614 |  2048222 |     2230   2159 |        0 |        0
738.55/738.89	c  738s |      22 |  2125080 |  2053522 |     2230   2163 |        0 |        0
740.54/740.89	c  740s |      22 |  2130317 |  2058522 |     2230   2167 |        0 |        0
742.54/742.89	c  742s |      22 |  2135542 |  2063522 |     2230   2171 |        0 |        0
744.64/744.90	c  744s |      22 |  2141071 |  2068822 |     2230   2176 |        0 |        0
746.65/746.94	c  746s |      22 |  2146671 |  2074122 |     2230   2180 |        0 |        0
748.64/748.96	c  748s |      22 |  2152172 |  2079322 |     2230   2185 |        0 |        0
750.64/750.99	c  750s |      22 |  2157486 |  2084422 |     2230   2189 |        0 |        0
752.74/753.02	c  752s |      22 |  2163152 |  2090022 |     2230   2194 |        0 |        0
754.74/755.02	c  754s |      22 |  2168561 |  2095322 |     2230   2198 |        0 |        0
756.74/757.02	c  757s |      22 |  2173809 |  2100422 |     2230   2203 |        0 |        0
758.74/759.03	c  759s |      22 |  2179067 |  2105522 |     2230   2207 |        0 |        0
760.74/761.04	c  761s |      22 |  2184480 |  2110822 |     2230   2212 |        0 |        0
762.74/763.06	c  763s |      22 |  2189822 |  2115922 |     2230   2216 |        0 |        0
764.73/765.08	c  765s |      22 |  2195198 |  2121122 |     2230   2220 |        0 |        0
766.83/767.10	c  767s |      22 |  2200828 |  2126522 |     2230   2225 |        0 |        0
768.83/769.12	c  769s |      22 |  2206373 |  2131722 |     2230   2229 |        0 |        0
770.84/771.15	c  771s |      22 |  2211771 |  2136822 |     2230   2234 |        0 |        0
772.83/773.15	c  773s |      22 |  2217026 |  2141722 |     2230   2238 |        0 |        0
774.83/775.19	c  775s |      22 |  2222395 |  2146822 |     2230   2242 |        0 |        0
776.93/777.22	c  777s |      22 |  2227685 |  2151922 |     2230   2246 |        0 |        0
778.93/779.24	c  779s |      22 |  2232830 |  2156922 |     2230   2251 |        0 |        0
780.93/781.26	c  781s |      22 |  2238036 |  2161822 |     2230   2255 |        0 |        0
782.93/783.27	c  783s |      22 |  2243183 |  2166822 |     2230   2259 |        0 |        0
785.03/785.32	c  785s |      22 |  2248818 |  2172222 |     2230   2264 |        0 |        0
787.03/787.33	c  787s |      22 |  2254305 |  2177522 |     2230   2268 |        0 |        0
789.02/789.37	c  789s |      22 |  2259854 |  2182822 |     2230   2273 |        0 |        0
791.02/791.39	c  791s |      22 |  2265049 |  2187822 |     2230   2277 |        0 |        0
793.13/793.40	c  793s |      22 |  2270472 |  2193122 |     2230   2281 |        0 |        0
795.14/795.41	c  795s |      22 |  2275657 |  2198222 |     2230   2286 |        0 |        0
797.13/797.41	c  797s |      22 |  2281013 |  2203322 |     2230   2290 |        0 |        0
799.13/799.45	c  799s |      22 |  2286284 |  2208422 |     2230   2294 |        0 |        0
801.13/801.49	c  801s |      22 |  2291520 |  2213522 |     2230   2299 |        0 |        0
803.23/803.52	c  803s |      22 |  2296722 |  2218522 |     2230   2303 |        0 |        0
805.23/805.54	c  805s |      22 |  2301738 |  2223322 |     2230   2307 |        0 |        0
807.23/807.54	c  807s |      22 |  2307524 |  2228922 |     2230   2312 |        0 |        0
809.22/809.55	c  809s |      22 |  2312946 |  2234222 |     2230   2316 |        0 |        0
811.22/811.57	c  811s |      22 |  2318364 |  2239522 |     2453   2320 |        0 |        0
813.32/813.61	c  813s |      22 |  2323765 |  2244722 |     2453   2324 |        0 |        0
815.32/815.64	c  815s |      22 |  2329171 |  2249922 |     2453   2328 |        0 |        0
815.72/816.07	c  816s |      23 |  2330345 |  2251038 |     2453   2329 |        0 |        0
817.72/818.10	c  818s |      23 |  2336637 |  2256938 |     2453   2334 |        0 |        0
819.82/820.12	c  820s |      23 |  2342813 |  2262838 |     2453   2338 |        0 |        0
821.82/822.12	c  822s |      23 |  2348585 |  2268438 |     2453   2342 |        0 |        0
823.82/824.13	c  824s |      23 |  2354384 |  2273938 |     2453   2347 |        0 |        0
825.82/826.14	c  826s |      23 |  2359877 |  2279338 |     2453   2351 |        0 |        0
827.81/828.14	c  828s |      23 |  2365691 |  2284938 |     2453   2355 |        0 |        0
829.81/830.17	c  830s |      23 |  2371387 |  2290438 |     2453   2359 |        0 |        0
831.81/832.19	c  832s |      23 |  2377094 |  2295938 |     2453   2364 |        0 |        0
833.91/834.21	c  834s |      23 |  2382642 |  2301338 |     2453   2368 |        0 |        0
835.91/836.22	c  836s |      23 |  2388162 |  2306638 |     2453   2372 |        0 |        0
837.92/838.22	c  838s |      23 |  2393753 |  2312038 |     2453   2376 |        0 |        0
839.91/840.25	c  840s |      23 |  2399612 |  2317738 |     2453   2381 |        0 |        0
841.91/842.27	c  842s |      23 |  2405587 |  2323438 |     2453   2385 |        0 |        0
843.91/844.29	c  844s |      23 |  2411284 |  2328838 |     2453   2389 |        0 |        0
846.01/846.34	c  846s |      23 |  2417249 |  2334538 |     2453   2394 |        0 |        0
848.01/848.35	c  848s |      23 |  2422953 |  2339938 |     2453   2398 |        0 |        0
850.01/850.39	c  850s |      23 |  2428457 |  2345238 |     2453   2402 |        0 |        0
852.10/852.42	c  852s |      23 |  2434090 |  2350638 |     2453   2406 |        0 |        0
854.10/854.43	c  854s |      23 |  2439707 |  2355938 |     2453   2410 |        0 |        0
856.10/856.43	c  856s |      23 |  2445099 |  2361138 |     2453   2414 |        0 |        0
858.10/858.44	c  858s |      23 |  2451060 |  2366738 |     2453   2418 |        0 |        0
860.10/860.48	c  860s |      23 |  2456810 |  2372238 |     2453   2423 |        0 |        0
862.21/862.51	c  862s |      23 |  2462717 |  2377738 |     2453   2427 |        0 |        0
864.21/864.54	c  864s |      23 |  2468544 |  2383138 |     2453   2431 |        0 |        0
866.21/866.55	c  866s |      23 |  2474204 |  2388438 |     2453   2435 |        0 |        0
868.21/868.56	c  868s |      23 |  2479555 |  2393538 |     2453   2439 |        0 |        0
870.21/870.57	c  870s |      23 |  2485130 |  2398838 |     2453   2443 |        0 |        0
872.21/872.59	c  872s |      23 |  2490833 |  2404238 |     2453   2447 |        0 |        0
874.31/874.63	c  874s |      23 |  2496281 |  2409438 |     2453   2451 |        0 |        0
876.30/876.67	c  876s |      23 |  2501639 |  2414538 |     2453   2455 |        0 |        0
878.30/878.68	c  878s |      23 |  2507554 |  2420238 |     2453   2460 |        0 |        0
880.30/880.69	c  880s |      23 |  2513431 |  2425838 |     2453   2464 |        0 |        0
882.40/882.70	c  882s |      23 |  2519247 |  2431338 |     2453   2468 |        0 |        0
884.40/884.71	c  884s |      23 |  2524926 |  2436738 |     2453   2473 |        0 |        0
886.41/886.74	c  886s |      23 |  2530519 |  2442138 |     2453   2477 |        0 |        0
888.40/888.76	c  888s |      23 |  2535947 |  2447338 |     2453   2481 |        0 |        0
890.40/890.78	c  890s |      23 |  2541312 |  2452538 |     2453   2485 |        0 |        0
892.50/892.81	c  892s |      23 |  2546889 |  2457838 |     2453   2489 |        0 |        0
894.50/894.83	c  894s |      23 |  2552211 |  2462938 |     2453   2493 |        0 |        0
896.50/896.86	c  896s |      23 |  2557865 |  2468338 |     2453   2497 |        0 |        0
898.51/898.87	c  898s |      23 |  2563395 |  2473538 |     2453   2501 |        0 |        0
900.50/900.89	c  900s |      23 |  2568945 |  2478638 |     2453   2505 |        0 |        0
902.60/902.90	c  902s |      23 |  2574586 |  2484038 |     2453   2509 |        0 |        0
904.60/904.90	c  904s |      23 |  2580036 |  2489238 |     2453   2513 |        0 |        0
906.60/906.92	c  906s |      23 |  2585643 |  2494538 |     2453   2517 |        0 |        0
908.60/908.95	c  908s |      23 |  2591102 |  2499738 |     2453   2521 |        0 |        0
910.60/910.99	c  910s |      23 |  2596288 |  2504738 |     2453   2525 |        0 |        0
912.70/913.02	c  913s |      23 |  2601443 |  2509738 |     2453   2529 |        0 |        0
914.70/915.05	c  915s |      23 |  2607310 |  2515338 |     2453   2533 |        0 |        0
916.69/917.06	c  917s |      23 |  2613075 |  2520838 |     2453   2538 |        0 |        0
918.69/919.07	c  919s |      23 |  2618735 |  2526138 |     2453   2542 |        0 |        0
920.79/921.10	c  921s |      23 |  2624410 |  2531438 |     2453   2546 |        0 |        0
922.79/923.11	c  923s |      23 |  2629842 |  2536738 |     2453   2550 |        0 |        0
924.80/925.14	c  925s |      23 |  2635221 |  2541938 |     2453   2554 |        0 |        0
926.79/927.17	c  927s |      23 |  2640777 |  2547238 |     2453   2558 |        0 |        0
928.79/929.18	c  929s |      23 |  2646184 |  2552438 |     2453   2562 |        0 |        0
930.89/931.20	c  931s |      23 |  2651917 |  2557938 |     2453   2566 |        0 |        0
932.89/933.20	c  933s |      23 |  2657400 |  2563238 |     2453   2570 |        0 |        0
934.89/935.22	c  935s |      23 |  2662815 |  2568438 |     2453   2574 |        0 |        0
936.90/937.24	c  937s |      23 |  2668140 |  2573438 |     2453   2578 |        0 |        0
938.89/939.24	c  939s |      23 |  2673690 |  2578738 |     2453   2582 |        0 |        0
940.89/941.28	c  941s |      23 |  2679068 |  2583938 |     2453   2586 |        0 |        0
942.99/943.31	c  943s |      23 |  2684551 |  2589138 |     2453   2590 |        0 |        0
944.99/945.34	c  945s |      23 |  2689926 |  2594338 |     2453   2594 |        0 |        0
946.99/947.34	c  947s |      23 |  2695126 |  2599338 |     2453   2598 |        0 |        0
949.00/949.38	c  949s |      23 |  2700380 |  2604438 |     2453   2602 |        0 |        0
951.09/951.41	c  951s |      23 |  2705333 |  2609238 |     2453   2606 |        0 |        0
953.09/953.44	c  953s |      23 |  2710906 |  2614638 |     2453   2610 |        0 |        0
955.09/955.46	c  955s |      23 |  2716266 |  2619738 |     2453   2614 |        0 |        0
957.09/957.49	c  957s |      23 |  2721630 |  2624638 |     2453   2618 |        0 |        0
959.19/959.52	c  959s |      23 |  2726871 |  2629338 |     2453   2622 |        0 |        0
961.19/961.55	c  961s |      23 |  2731919 |  2634038 |     2453   2625 |        0 |        0
963.19/963.56	c  963s |      23 |  2736759 |  2638738 |     2453   2629 |        0 |        0
965.18/965.57	c  965s |      23 |  2742984 |  2644638 |     2453   2633 |        0 |        0
967.28/967.60	c  967s |      23 |  2749219 |  2650638 |     2453   2638 |        0 |        0
969.28/969.63	c  969s |      23 |  2755306 |  2656338 |     2453   2642 |        0 |        0
971.28/971.65	c  971s |      23 |  2761743 |  2662338 |     2453   2647 |        0 |        0
973.29/973.67	c  973s |      23 |  2767857 |  2668138 |     2453   2652 |        0 |        0
975.28/975.68	c  975s |      23 |  2773682 |  2673738 |     2453   2656 |        0 |        0
977.38/977.70	c  977s |      23 |  2779500 |  2679238 |     2453   2660 |        0 |        0
979.38/979.72	c  979s |      23 |  2785333 |  2684738 |     2453   2664 |        0 |        0
981.38/981.75	c  981s |      23 |  2791413 |  2690438 |     2453   2669 |        0 |        0
983.38/983.76	c  983s |      23 |  2797543 |  2696138 |     2453   2673 |        0 |        0
985.39/985.78	c  985s |      23 |  2803454 |  2701738 |     2453   2677 |        0 |        0
987.38/987.80	c  987s |      23 |  2809054 |  2707138 |     2453   2682 |        0 |        0
989.48/989.82	c  989s |      23 |  2814778 |  2712638 |     2453   2686 |        0 |        0
991.48/991.85	c  991s |      23 |  2820484 |  2718138 |     2453   2690 |        0 |        0
993.49/993.89	c  993s |      23 |  2825888 |  2723338 |     2453   2694 |        0 |        0
995.49/995.89	c  995s |      23 |  2831236 |  2728438 |     2453   2698 |        0 |        0
997.59/997.90	c  997s |      23 |  2836946 |  2733938 |     2453   2702 |        0 |        0
999.59/999.91	c  999s |      23 |  2842581 |  2739238 |     2453   2707 |        0 |        0
1001.59/1001.92	c 1001s |      23 |  2848097 |  2744338 |     2453   2710 |        0 |        0
1003.59/1003.94	c 1003s |      23 |  2853392 |  2749438 |     2453   2714 |        0 |        0
1005.59/1005.96	c 1005s |      23 |  2859221 |  2755038 |     2453   2719 |        0 |        0
1007.59/1007.99	c 1007s |      23 |  2864867 |  2760438 |     2453   2723 |        0 |        0
1009.68/1010.02	c 1009s |      23 |  2870449 |  2765838 |     2453   2727 |        0 |        0
1011.69/1012.05	c 1012s |      23 |  2876038 |  2771138 |     2453   2731 |        0 |        0
1013.68/1014.07	c 1014s |      23 |  2881663 |  2776538 |     2453   2735 |        0 |        0
1015.68/1016.09	c 1016s |      23 |  2887124 |  2781638 |     2453   2739 |        0 |        0
1017.78/1018.10	c 1018s |      23 |  2892683 |  2787038 |     2453   2743 |        0 |        0
1019.78/1020.11	c 1020s |      23 |  2898326 |  2792338 |     2453   2748 |        0 |        0
1021.78/1022.13	c 1022s |      23 |  2903652 |  2797538 |     2453   2752 |        0 |        0
1023.79/1024.17	c 1024s |      23 |  2908823 |  2802638 |     2453   2756 |        0 |        0
1025.78/1026.18	c 1026s |      23 |  2914065 |  2807738 |     2453   2760 |        0 |        0
1027.88/1028.22	c 1028s |      23 |  2919427 |  2812938 |     2453   2764 |        0 |        0
1029.88/1030.25	c 1030s |      23 |  2925409 |  2818638 |     2453   2768 |        0 |        0
1031.88/1032.25	c 1032s |      23 |  2931301 |  2824238 |     2453   2772 |        0 |        0
1033.88/1034.27	c 1034s |      23 |  2936984 |  2829638 |     2453   2776 |        0 |        0
1035.99/1036.31	c 1036s |      23 |  2942475 |  2834838 |     2453   2781 |        0 |        0
1037.98/1038.34	c 1038s |      23 |  2948349 |  2840438 |     2453   2785 |        0 |        0
1039.98/1040.35	c 1040s |      23 |  2953899 |  2845738 |     2453   2789 |        0 |        0
1041.98/1042.35	c 1042s |      23 |  2959196 |  2850838 |     2453   2793 |        0 |        0
1043.98/1044.37	c 1044s |      23 |  2964447 |  2855938 |     2453   2797 |        0 |        0
1045.98/1046.39	c 1046s |      23 |  2969753 |  2861038 |     2453   2801 |        0 |        0
1047.98/1048.40	c 1048s |      23 |  2975133 |  2866238 |     2453   2805 |        0 |        0
1050.08/1050.42	c 1050s |      23 |  2980392 |  2871338 |     2453   2809 |        0 |        0
1052.08/1052.42	c 1052s |      23 |  2985594 |  2876338 |     2453   2813 |        0 |        0
1054.07/1054.46	c 1054s |      23 |  2991036 |  2881538 |     2453   2817 |        0 |        0
1056.17/1056.50	c 1056s |      23 |  2996195 |  2886538 |     2453   2821 |        0 |        0
1058.17/1058.52	c 1058s |      23 |  3001642 |  2891738 |     2453   2825 |        0 |        0
1060.18/1060.54	c 1060s |      23 |  3007685 |  2897438 |     2453   2829 |        0 |        0
1062.17/1062.57	c 1062s |      23 |  3013406 |  2902838 |     2453   2833 |        0 |        0
1064.17/1064.57	c 1064s |      23 |  3018990 |  2908038 |     2453   2837 |        0 |        0
1066.17/1066.58	c 1066s |      23 |  3024514 |  2913238 |     2453   2841 |        0 |        0
1068.27/1068.61	c 1068s |      23 |  3030050 |  2918338 |     2453   2845 |        0 |        0
1070.27/1070.61	c 1070s |      23 |  3035262 |  2923338 |     2453   2849 |        0 |        0
1072.28/1072.62	c 1072s |      23 |  3040777 |  2928638 |     2453   2853 |        0 |        0
1074.27/1074.65	c 1074s |      23 |  3045935 |  2933638 |     2453   2857 |        0 |        0
1076.27/1076.66	c 1076s |      23 |  3051317 |  2938738 |     2453   2861 |        0 |        0
1078.27/1078.68	c 1078s |      23 |  3056678 |  2943838 |     2453   2865 |        0 |        0
1080.37/1080.74	c 1080s |      23 |  3061801 |  2948738 |     2453   2869 |        0 |        0
1082.37/1082.76	c 1082s |      23 |  3067333 |  2954038 |     2453   2873 |        0 |        0
1084.38/1084.77	c 1084s |      23 |  3072704 |  2959138 |     2453   2877 |        0 |        0
1086.37/1086.77	c 1086s |      23 |  3077881 |  2964138 |     2453   2881 |        0 |        0
1088.47/1088.80	c 1088s |      23 |  3083048 |  2969138 |     2453   2884 |        0 |        0
1090.47/1090.81	c 1090s |      23 |  3088441 |  2974338 |     2453   2889 |        0 |        0
1092.47/1092.82	c 1092s |      23 |  3094412 |  2980038 |     2453   2893 |        0 |        0
1094.47/1094.82	c 1094s |      23 |  3100255 |  2985638 |     2453   2897 |        0 |        0
1096.47/1096.87	c 1096s |      23 |  3106030 |  2991138 |     2453   2902 |        0 |        0
1098.47/1098.87	c 1098s |      23 |  3111661 |  2996338 |     2453   2906 |        0 |        0
1100.46/1100.88	c 1100s |      23 |  3117457 |  3001638 |     2453   2910 |        0 |        0
1102.46/1102.88	c 1102s |      23 |  3123214 |  3006838 |     2453   2914 |        0 |        0
1104.46/1104.88	c 1104s |      23 |  3128781 |  3012138 |     2453   2918 |        0 |        0
1106.56/1106.92	c 1106s |      23 |  3134383 |  3017538 |     2453   2922 |        0 |        0
1108.57/1108.95	c 1108s |      23 |  3139716 |  3022738 |     2453   2926 |        0 |        0
1110.56/1110.97	c 1110s |      23 |  3145595 |  3028338 |     2453   2930 |        0 |        0
1112.56/1112.98	c 1112s |      23 |  3151153 |  3033638 |     2453   2934 |        0 |        0
1114.66/1115.01	c 1114s |      23 |  3156715 |  3038838 |     2453   2938 |        0 |        0
1116.66/1117.03	c 1117s |      23 |  3162387 |  3043938 |     2453   2942 |        0 |        0
1118.66/1119.06	c 1119s |      23 |  3167885 |  3048938 |     2453   2946 |        0 |        0
1120.68/1121.06	c 1121s |      23 |  3173221 |  3053838 |     2453   2950 |        0 |        0
1122.67/1123.09	c 1123s |      23 |  3179468 |  3059338 |     2453   2954 |        0 |        0
1124.67/1125.09	c 1125s |      23 |  3184971 |  3064438 |     2453   2958 |        0 |        0
1126.77/1127.10	c 1127s |      23 |  3190392 |  3069438 |     2453   2962 |        0 |        0
1128.77/1129.11	c 1129s |      23 |  3195573 |  3074238 |     2453   2966 |        0 |        0
1130.77/1131.11	c 1131s |      23 |  3200749 |  3079038 |     2453   2970 |        0 |        0
1132.77/1133.14	c 1133s |      23 |  3206213 |  3084138 |     2453   2974 |        0 |        0
1134.76/1135.16	c 1135s |      23 |  3211680 |  3089338 |     2453   2978 |        0 |        0
1136.76/1137.17	c 1137s |      23 |  3217040 |  3094438 |     2453   2981 |        0 |        0
1138.76/1139.17	c 1139s |      23 |  3222154 |  3099338 |     2453   2985 |        0 |        0
1140.76/1141.17	c 1141s |      23 |  3227333 |  3104238 |     2453   2989 |        0 |        0
1142.86/1143.21	c 1143s |      23 |  3232546 |  3109138 |     2453   2993 |        0 |        0
1144.87/1145.24	c 1145s |      23 |  3237762 |  3113938 |     2453   2997 |        0 |        0
1146.86/1147.28	c 1147s |      23 |  3243123 |  3119038 |     2453   3001 |        0 |        0
1148.86/1149.28	c 1149s |      23 |  3248413 |  3124138 |     2453   3005 |        0 |        0
1150.86/1151.29	c 1151s |      23 |  3253779 |  3129238 |     2453   3008 |        0 |        0
1152.96/1153.32	c 1153s |      23 |  3259140 |  3134238 |     2453   3012 |        0 |        0
1154.96/1155.36	c 1155s |      23 |  3264357 |  3139238 |     2453   3016 |        0 |        0
1156.97/1157.39	c 1157s |      23 |  3269516 |  3144138 |     2453   3020 |        0 |        0
1158.96/1159.39	c 1159s |      23 |  3274443 |  3148938 |     2453   3024 |        0 |        0
1161.06/1161.40	c 1161s |      23 |  3279627 |  3153938 |     2453   3028 |        0 |        0
1163.06/1163.40	c 1163s |      23 |  3285394 |  3159538 |     2453   3032 |        0 |        0
1165.05/1165.44	c 1165s |      23 |  3291065 |  3164938 |     2453   3036 |        0 |        0
1167.05/1167.46	c 1167s |      23 |  3296821 |  3170438 |     2453   3040 |        0 |        0
1169.06/1169.49	c 1169s |      23 |  3302365 |  3175738 |     2453   3044 |        0 |        0
1171.16/1171.54	c 1171s |      23 |  3307851 |  3181038 |     2453   3049 |        0 |        0
1173.15/1173.56	c 1173s |      23 |  3313409 |  3186238 |     2453   3053 |        0 |        0
1175.15/1175.58	c 1175s |      23 |  3318849 |  3191438 |     2453   3057 |        0 |        0
1177.16/1177.58	c 1177s |      23 |  3324120 |  3196538 |     2453   3061 |        0 |        0
1179.26/1179.63	c 1179s |      23 |  3329566 |  3201738 |     2453   3065 |        0 |        0
1181.26/1181.63	c 1181s |      23 |  3335096 |  3206838 |     2453   3068 |        0 |        0
1183.27/1183.66	c 1183s |      23 |  3340427 |  3211838 |     2453   3072 |        0 |        0
1185.26/1185.69	c 1185s |      23 |  3346462 |  3217438 |     2453   3077 |        0 |        0
1187.36/1187.73	c 1187s |      23 |  3352191 |  3222938 |     2453   3081 |        0 |        0
1189.36/1189.74	c 1189s |      23 |  3357660 |  3228238 |     2453   3085 |        0 |        0
1191.36/1191.74	c 1191s |      23 |  3363020 |  3233338 |     2453   3089 |        0 |        0
1193.36/1193.76	c 1193s |      23 |  3368509 |  3238438 |     2453   3093 |        0 |        0
1195.36/1195.77	c 1195s |      23 |  3373724 |  3243238 |     2453   3097 |        0 |        0
1197.35/1197.79	c 1197s |      23 |  3379324 |  3248538 |     2453   3101 |        0 |        0
1199.45/1199.83	c 1199s |      23 |  3384960 |  3253838 |     2453   3105 |        0 |        0
1201.45/1201.84	c 1201s |      23 |  3390524 |  3258838 |     2453   3109 |        0 |        0
1203.45/1203.85	c 1203s |      23 |  3395645 |  3263638 |     2453   3112 |        0 |        0
1205.45/1205.87	c 1205s |      23 |  3401107 |  3268838 |     2453   3116 |        0 |        0
1207.46/1207.88	c 1207s |      23 |  3406379 |  3273938 |     2453   3120 |        0 |        0
1209.45/1209.89	c 1209s |      23 |  3411827 |  3279038 |     2453   3124 |        0 |        0
1211.55/1211.90	c 1211s |      23 |  3417085 |  3284038 |     2453   3128 |        0 |        0
1213.55/1213.91	c 1213s |      23 |  3422222 |  3289038 |     2453   3132 |        0 |        0
1215.55/1215.92	c 1215s |      23 |  3427320 |  3293938 |     2453   3136 |        0 |        0
1217.55/1217.95	c 1217s |      23 |  3432419 |  3298838 |     2453   3140 |        0 |        0
1219.56/1219.97	c 1219s |      23 |  3437504 |  3303738 |     2453   3143 |        0 |        0
1221.55/1221.97	c 1221s |      23 |  3443210 |  3309038 |     2453   3148 |        0 |        0
1223.65/1224.01	c 1223s |      23 |  3448789 |  3314238 |     2453   3152 |        0 |        0
1225.65/1226.02	c 1226s |      23 |  3454289 |  3319438 |     2453   3156 |        0 |        0
1227.65/1228.05	c 1228s |      23 |  3459564 |  3324538 |     2453   3160 |        0 |        0
1229.65/1230.07	c 1230s |      23 |  3464896 |  3329638 |     2453   3163 |        0 |        0
1231.75/1232.11	c 1232s |      23 |  3470297 |  3334738 |     2453   3167 |        0 |        0
1233.75/1234.14	c 1234s |      23 |  3475447 |  3339738 |     2453   3171 |        0 |        0
1235.74/1236.16	c 1236s |      23 |  3480687 |  3344638 |     2453   3175 |        0 |        0
1237.74/1238.17	c 1238s |      23 |  3485707 |  3349438 |     2453   3179 |        0 |        0
1239.74/1240.18	c 1240s |      23 |  3490867 |  3354438 |     2699   3182 |        0 |        0
1241.74/1242.19	c 1242s |      23 |  3496207 |  3359538 |     2699   3186 |        0 |        0
1243.85/1244.23	c 1244s |      23 |  3501490 |  3364538 |     2699   3190 |        0 |        0
1245.84/1246.28	c 1246s |      23 |  3506560 |  3369438 |     2699   3193 |        0 |        0
1247.94/1248.32	c 1248s |      23 |  3511882 |  3374438 |     2699   3197 |        0 |        0
1248.84/1249.24	c 1249s |      24 |  3514226 |  3376662 |     2699   3198 |        0 |        0
1250.84/1251.25	c 1251s |      24 |  3520472 |  3382462 |     2699   3202 |        0 |        0
1252.84/1253.27	c 1253s |      24 |  3526342 |  3387962 |     2699   3206 |        0 |        0
1254.94/1255.30	c 1255s |      24 |  3532108 |  3393362 |     2699   3210 |        0 |        0
1256.95/1257.31	c 1257s |      24 |  3537861 |  3398762 |     2699   3214 |        0 |        0
1258.94/1259.34	c 1259s |      24 |  3543946 |  3404262 |     2699   3218 |        0 |        0
1260.94/1261.36	c 1261s |      24 |  3549672 |  3409562 |     2699   3221 |        0 |        0
1262.94/1263.38	c 1263s |      24 |  3555235 |  3414762 |     2699   3225 |        0 |        0
1264.94/1265.39	c 1265s |      24 |  3560698 |  3419862 |     2699   3229 |        0 |        0
1267.05/1267.41	c 1267s |      24 |  3565960 |  3424862 |     2699   3232 |        0 |        0
1269.05/1269.44	c 1269s |      24 |  3572056 |  3430662 |     2699   3236 |        0 |        0
1271.04/1271.45	c 1271s |      24 |  3578040 |  3436262 |     2699   3240 |        0 |        0
1273.04/1273.48	c 1273s |      24 |  3584130 |  3441962 |     2699   3244 |        0 |        0
1275.04/1275.48	c 1275s |      24 |  3589927 |  3447462 |     2699   3248 |        0 |        0
1277.14/1277.52	c 1277s |      24 |  3595662 |  3452962 |     2699   3252 |        0 |        0
1279.14/1279.53	c 1279s |      24 |  3601288 |  3458362 |     2699   3256 |        0 |        0
1281.15/1281.55	c 1281s |      24 |  3606808 |  3463662 |     2699   3260 |        0 |        0
1283.14/1283.56	c 1283s |      24 |  3612346 |  3468862 |     2699   3263 |        0 |        0
1285.14/1285.58	c 1285s |      24 |  3617803 |  3473962 |     2699   3267 |        0 |        0
1287.24/1287.60	c 1287s |      24 |  3623522 |  3479462 |     2699   3271 |        0 |        0
1289.24/1289.63	c 1289s |      24 |  3629197 |  3484862 |     2699   3274 |        0 |        0
1291.24/1291.63	c 1291s |      24 |  3634824 |  3490162 |     2699   3278 |        0 |        0
1293.25/1293.65	c 1293s |      24 |  3640152 |  3495262 |     2699   3282 |        0 |        0
1295.24/1295.69	c 1295s |      24 |  3645644 |  3500462 |     2699   3286 |        0 |        0
1297.34/1297.72	c 1297s |      24 |  3651218 |  3505762 |     2699   3289 |        0 |        0
1299.34/1299.74	c 1299s |      24 |  3657049 |  3511262 |     2699   3293 |        0 |        0
1301.34/1301.76	c 1301s |      24 |  3663026 |  3516862 |     2699   3297 |        0 |        0
1303.34/1303.78	c 1303s |      24 |  3668834 |  3522362 |     2699   3301 |        0 |        0
1305.45/1305.81	c 1305s |      24 |  3674724 |  3527762 |     2699   3305 |        0 |        0
1307.44/1307.83	c 1307s |      24 |  3680432 |  3533162 |     2699   3309 |        0 |        0
1309.44/1309.86	c 1309s |      24 |  3686200 |  3538462 |     2699   3312 |        0 |        0
1311.44/1311.88	c 1311s |      24 |  3692023 |  3543862 |     2699   3316 |        0 |        0
1313.54/1313.90	c 1313s |      24 |  3697657 |  3549062 |     2699   3320 |        0 |        0
1315.54/1315.93	c 1315s |      24 |  3703249 |  3554262 |     2699   3323 |        0 |        0
1317.54/1317.95	c 1317s |      24 |  3708846 |  3559562 |     2699   3327 |        0 |        0
1319.53/1319.96	c 1319s |      24 |  3714417 |  3564762 |     2699   3331 |        0 |        0
1321.53/1321.99	c 1321s |      24 |  3719995 |  3569962 |     2699   3335 |        0 |        0
1323.63/1324.01	c 1323s |      24 |  3725702 |  3575162 |     2699   3338 |        0 |        0
1325.63/1326.02	c 1326s |      24 |  3730974 |  3579962 |     2699   3342 |        0 |        0
1327.63/1328.03	c 1328s |      24 |  3736568 |  3585062 |     2699   3345 |        0 |        0
1329.64/1330.06	c 1330s |      24 |  3741933 |  3590062 |     2699   3349 |        0 |        0
1331.63/1332.09	c 1332s |      24 |  3747406 |  3595162 |     2699   3352 |        0 |        0
1333.73/1334.10	c 1334s |      24 |  3752393 |  3599962 |     2699   3356 |        0 |        0
1335.73/1336.10	c 1336s |      24 |  3757880 |  3605262 |     2699   3359 |        0 |        0
1337.73/1338.11	c 1338s |      24 |  3763409 |  3610562 |     2699   3363 |        0 |        0
1339.73/1340.11	c 1340s |      24 |  3769166 |  3615962 |     2699   3367 |        0 |        0
1341.74/1342.15	c 1342s |      24 |  3775003 |  3621362 |     2699   3371 |        0 |        0
1343.73/1344.17	c 1344s |      24 |  3780792 |  3626662 |     2699   3375 |        0 |        0
1345.73/1346.19	c 1346s |      24 |  3786245 |  3631762 |     2699   3378 |        0 |        0
1347.83/1348.20	c 1348s |      24 |  3791589 |  3636862 |     2699   3382 |        0 |        0
1349.83/1350.23	c 1350s |      24 |  3796996 |  3641962 |     2699   3385 |        0 |        0
1351.83/1352.25	c 1352s |      24 |  3802320 |  3646962 |     2699   3389 |        0 |        0
1353.83/1354.28	c 1354s |      24 |  3807530 |  3651962 |     2699   3392 |        0 |        0
1355.83/1356.30	c 1356s |      24 |  3813120 |  3657162 |     2699   3396 |        0 |        0
1357.93/1358.31	c 1358s |      24 |  3818490 |  3662162 |     2699   3400 |        0 |        0
1359.93/1360.33	c 1360s |      24 |  3823990 |  3667262 |     2699   3403 |        0 |        0
1361.93/1362.35	c 1362s |      24 |  3829305 |  3672262 |     2699   3407 |        0 |        0
1364.02/1364.40	c 1364s |      24 |  3835040 |  3677562 |     2699   3411 |        0 |        0
1366.02/1366.41	c 1366s |      24 |  3840216 |  3682362 |     2699   3414 |        0 |        0
1368.03/1368.41	c 1368s |      24 |  3846043 |  3687962 |     2699   3418 |        0 |        0
1370.02/1370.44	c 1370s |      24 |  3851747 |  3693462 |     2699   3422 |        0 |        0
1372.02/1372.44	c 1372s |      24 |  3857697 |  3699062 |     2699   3426 |        0 |        0
1374.02/1374.47	c 1374s |      24 |  3863420 |  3704562 |     2699   3430 |        0 |        0
1376.02/1376.49	c 1376s |      24 |  3869041 |  3710062 |     2699   3433 |        0 |        0
1378.12/1378.51	c 1378s |      24 |  3874665 |  3715462 |     2699   3437 |        0 |        0
1380.13/1380.53	c 1380s |      24 |  3880191 |  3720762 |     2699   3441 |        0 |        0
1382.13/1382.55	c 1382s |      24 |  3885699 |  3725962 |     2699   3445 |        0 |        0
1384.13/1384.56	c 1384s |      24 |  3891487 |  3731362 |     2699   3449 |        0 |        0
1386.13/1386.58	c 1386s |      24 |  3896965 |  3736662 |     2699   3452 |        0 |        0
1388.23/1388.61	c 1388s |      24 |  3902463 |  3741962 |     2699   3456 |        0 |        0
1390.23/1390.64	c 1390s |      24 |  3908246 |  3747562 |     2699   3460 |        0 |        0
1392.23/1392.66	c 1392s |      24 |  3913944 |  3752962 |     2699   3464 |        0 |        0
1394.23/1394.67	c 1394s |      24 |  3919296 |  3758062 |     2699   3467 |        0 |        0
1396.22/1396.69	c 1396s |      24 |  3924904 |  3763262 |     2699   3471 |        0 |        0
1398.32/1398.70	c 1398s |      24 |  3930259 |  3768262 |     2699   3475 |        0 |        0
1400.32/1400.72	c 1400s |      24 |  3935898 |  3773662 |     2699   3478 |        0 |        0
1402.32/1402.76	c 1402s |      24 |  3940975 |  3778562 |     2699   3482 |        0 |        0
1404.33/1404.79	c 1404s |      24 |  3946429 |  3783662 |     2699   3485 |        0 |        0
1406.32/1406.80	c 1406s |      24 |  3952169 |  3788962 |     2699   3489 |        0 |        0
1408.42/1408.82	c 1408s |      24 |  3957656 |  3794262 |     2699   3493 |        0 |        0
1410.42/1410.84	c 1410s |      24 |  3963168 |  3799562 |     2699   3497 |        0 |        0
1412.42/1412.86	c 1412s |      24 |  3968383 |  3804562 |     2699   3500 |        0 |        0
1414.42/1414.88	c 1414s |      24 |  3973872 |  3809862 |     2699   3504 |        0 |        0
1416.43/1416.89	c 1416s |      24 |  3978986 |  3814762 |     2699   3507 |        0 |        0
1418.42/1418.89	c 1418s |      24 |  3984032 |  3819662 |     2699   3511 |        0 |        0
1420.52/1420.92	c 1420s |      24 |  3989740 |  3825162 |     2699   3515 |        0 |        0
1422.52/1422.97	c 1422s |      24 |  3995403 |  3830462 |     2699   3519 |        0 |        0
1424.52/1425.00	c 1424s |      24 |  4000867 |  3835662 |     2699   3522 |        0 |        0
1426.62/1427.01	c 1426s |      24 |  4006343 |  3840762 |     2699   3526 |        0 |        0
1428.63/1429.04	c 1429s |      24 |  4011590 |  3845562 |     2699   3529 |        0 |        0
1430.62/1431.06	c 1431s |      24 |  4016845 |  3850662 |     2699   3533 |        0 |        0
1432.62/1433.10	c 1433s |      24 |  4022100 |  3855562 |     2699   3536 |        0 |        0
1434.72/1435.12	c 1435s |      24 |  4027371 |  3860562 |     2699   3540 |        0 |        0
1436.72/1437.14	c 1437s |      24 |  4032791 |  3865762 |     2699   3543 |        0 |        0
1438.72/1439.14	c 1439s |      24 |  4038094 |  3870762 |     2699   3547 |        0 |        0
1440.72/1441.16	c 1441s |      24 |  4043225 |  3875662 |     2699   3550 |        0 |        0
1442.71/1443.19	c 1443s |      24 |  4048895 |  3880662 |     2699   3554 |        0 |        0
1444.81/1445.22	c 1445s |      24 |  4053957 |  3885462 |     2699   3557 |        0 |        0
1446.81/1447.24	c 1447s |      24 |  4059072 |  3890162 |     2699   3561 |        0 |        0
1448.81/1449.26	c 1449s |      24 |  4064594 |  3895262 |     2699   3564 |        0 |        0
1450.81/1451.28	c 1451s |      24 |  4069734 |  3900262 |     2699   3568 |        0 |        0
1452.82/1453.29	c 1453s |      24 |  4074839 |  3905162 |     2699   3571 |        0 |        0
1454.92/1455.32	c 1455s |      24 |  4080038 |  3910162 |     2699   3575 |        0 |        0
1456.91/1457.34	c 1457s |      24 |  4085217 |  3914962 |     2699   3578 |        0 |        0
1458.91/1459.36	c 1459s |      24 |  4091271 |  3920462 |     2699   3582 |        0 |        0
1460.91/1461.36	c 1461s |      24 |  4096852 |  3925762 |     2699   3586 |        0 |        0
1462.91/1463.38	c 1463s |      24 |  4102231 |  3930862 |     2699   3589 |        0 |        0
1465.02/1465.41	c 1465s |      24 |  4107802 |  3936062 |     2699   3593 |        0 |        0
1467.02/1467.44	c 1467s |      24 |  4112968 |  3941062 |     2699   3597 |        0 |        0
1469.02/1469.44	c 1469s |      24 |  4118275 |  3946062 |     2699   3600 |        0 |        0
1471.02/1471.45	c 1471s |      24 |  4123630 |  3951062 |     2699   3604 |        0 |        0
1473.02/1473.49	c 1473s |      24 |  4129187 |  3956262 |     2699   3607 |        0 |        0
1475.11/1475.50	c 1475s |      24 |  4134560 |  3961362 |     2699   3611 |        0 |        0
1477.12/1477.53	c 1477s |      24 |  4139980 |  3966362 |     2699   3615 |        0 |        0
1479.12/1479.55	c 1479s |      24 |  4145520 |  3971562 |     2699   3618 |        0 |        0
1481.11/1481.58	c 1481s |      24 |  4151041 |  3976662 |     2699   3622 |        0 |        0
1483.11/1483.58	c 1483s |      24 |  4156211 |  3981562 |     2699   3625 |        0 |        0
1485.11/1485.59	c 1485s |      24 |  4161370 |  3986362 |     2699   3629 |        0 |        0
1487.21/1487.60	c 1487s |      24 |  4166765 |  3991562 |     2699   3632 |        0 |        0
1489.21/1489.63	c 1489s |      24 |  4172073 |  3996662 |     2699   3636 |        0 |        0
1491.22/1491.63	c 1491s |      24 |  4177109 |  4001562 |     2699   3639 |        0 |        0
1493.21/1493.66	c 1493s |      24 |  4182281 |  4006462 |     2699   3643 |        0 |        0
1495.21/1495.69	c 1495s |      24 |  4187549 |  4011462 |     2699   3646 |        0 |        0
1497.31/1497.70	c 1497s |      24 |  4192537 |  4016262 |     2699   3650 |        0 |        0
1499.31/1499.74	c 1499s |      24 |  4197724 |  4021162 |     2699   3653 |        0 |        0
1501.31/1501.78	c 1501s |      24 |  4202917 |  4025862 |     2699   3657 |        0 |        0
1503.32/1503.79	c 1503s |      24 |  4208002 |  4030662 |     2699   3660 |        0 |        0
1505.31/1505.79	c 1505s |      24 |  4213282 |  4035662 |     2699   3663 |        0 |        0
1507.41/1507.80	c 1507s |      24 |  4218601 |  4040662 |     2699   3667 |        0 |        0
1509.41/1509.81	c 1509s |      24 |  4224007 |  4045762 |     2699   3671 |        0 |        0
1511.41/1511.81	c 1511s |      24 |  4229381 |  4050762 |     2699   3674 |        0 |        0
1513.41/1513.84	c 1513s |      24 |  4234585 |  4055762 |     2699   3678 |        0 |        0
1515.41/1515.87	c 1515s |      24 |  4239881 |  4060762 |     2699   3681 |        0 |        0
1517.41/1517.87	c 1517s |      24 |  4244887 |  4065562 |     2699   3685 |        0 |        0
1519.51/1519.90	c 1519s |      24 |  4250054 |  4070562 |     2699   3688 |        0 |        0
1521.51/1521.94	c 1521s |      24 |  4255015 |  4075362 |     2699   3692 |        0 |        0
1523.51/1523.95	c 1523s |      24 |  4260112 |  4080262 |     2699   3695 |        0 |        0
1525.60/1526.00	c 1525s |      24 |  4265346 |  4085262 |     2699   3699 |        0 |        0
1527.61/1528.03	c 1528s |      24 |  4270327 |  4089962 |     2699   3702 |        0 |        0
1529.60/1530.03	c 1530s |      24 |  4275589 |  4094762 |     2699   3705 |        0 |        0
1531.60/1532.04	c 1532s |      24 |  4281456 |  4100262 |     2699   3709 |        0 |        0
1533.60/1534.05	c 1534s |      24 |  4287427 |  4105762 |     2699   3713 |        0 |        0
1535.60/1536.08	c 1536s |      24 |  4292919 |  4110962 |     2699   3717 |        0 |        0
1537.70/1538.10	c 1538s |      24 |  4298461 |  4116162 |     2699   3720 |        0 |        0
1539.61/1540.10	c 1540s |      24 |  4303942 |  4121362 |     2699   3724 |        0 |        0
1541.70/1542.15	c 1542s |      24 |  4309489 |  4126662 |     2699   3728 |        0 |        0
1543.70/1544.18	c 1544s |      24 |  4315050 |  4132062 |     2699   3732 |        0 |        0
1545.80/1546.21	c 1546s |      24 |  4320821 |  4137462 |     2699   3735 |        0 |        0
1547.80/1548.22	c 1548s |      24 |  4326187 |  4142462 |     2699   3739 |        0 |        0
1549.80/1550.24	c 1550s |      24 |  4331789 |  4147762 |     2699   3743 |        0 |        0
1551.81/1552.27	c 1552s |      24 |  4337350 |  4152962 |     2699   3746 |        0 |        0
1553.80/1554.29	c 1554s |      24 |  4343001 |  4158062 |     2699   3750 |        0 |        0
1555.90/1556.32	c 1556s |      24 |  4349043 |  4163762 |     2699   3754 |        0 |        0
1557.90/1558.35	c 1558s |      24 |  4354847 |  4169162 |     2699   3758 |        0 |        0
1559.90/1560.40	c 1560s |      24 |  4360516 |  4174462 |     2699   3762 |        0 |        0
1562.00/1562.43	c 1562s |      24 |  4366071 |  4179662 |     2699   3765 |        0 |        0
1564.00/1564.45	c 1564s |      24 |  4371413 |  4184662 |     2699   3769 |        0 |        0
1566.00/1566.47	c 1566s |      24 |  4376718 |  4189762 |     2699   3772 |        0 |        0
1567.99/1568.49	c 1568s |      24 |  4381788 |  4194562 |     2699   3776 |        0 |        0
1570.09/1570.51	c 1570s |      24 |  4387331 |  4199962 |     2699   3780 |        0 |        0
1572.09/1572.54	c 1572s |      24 |  4392698 |  4205062 |     2699   3783 |        0 |        0
1574.09/1574.58	c 1574s |      24 |  4397914 |  4210062 |     2699   3787 |        0 |        0
1576.19/1576.61	c 1576s |      24 |  4403263 |  4215262 |     2699   3790 |        0 |        0
1578.20/1578.62	c 1578s |      24 |  4408445 |  4220262 |     2699   3794 |        0 |        0
1580.19/1580.63	c 1580s |      24 |  4413777 |  4225262 |     2699   3797 |        0 |        0
1582.19/1582.64	c 1582s |      24 |  4419074 |  4230362 |     2699   3801 |        0 |        0
1584.19/1584.67	c 1584s |      24 |  4424761 |  4235762 |     2699   3805 |        0 |        0
1586.19/1586.69	c 1586s |      24 |  4430367 |  4241062 |     2699   3809 |        0 |        0
1588.29/1588.70	c 1588s |      24 |  4435734 |  4246162 |     2699   3812 |        0 |        0
1590.20/1590.70	c 1590s |      24 |  4440773 |  4250962 |     2699   3816 |        0 |        0
1592.29/1592.71	c 1592s |      24 |  4446405 |  4256162 |     2699   3819 |        0 |        0
1594.29/1594.73	c 1594s |      24 |  4451728 |  4261062 |     2699   3823 |        0 |        0
1596.29/1596.74	c 1596s |      24 |  4456904 |  4265962 |     2699   3826 |        0 |        0
1598.29/1598.76	c 1598s |      24 |  4462241 |  4271062 |     2699   3830 |        0 |        0
1600.39/1600.80	c 1600s |      24 |  4467601 |  4276062 |     2699   3833 |        0 |        0
1602.40/1602.82	c 1602s |      24 |  4473125 |  4281362 |     2699   3837 |        0 |        0
1604.39/1604.85	c 1604s |      24 |  4478832 |  4286662 |     2699   3841 |        0 |        0
1606.39/1606.88	c 1606s |      24 |  4484330 |  4291962 |     2699   3844 |        0 |        0
1608.49/1608.91	c 1608s |      24 |  4489723 |  4297062 |     2699   3848 |        0 |        0
1610.49/1610.93	c 1610s |      24 |  4495215 |  4302162 |     2699   3852 |        0 |        0
1612.48/1612.95	c 1612s |      24 |  4500594 |  4307262 |     2699   3855 |        0 |        0
1614.49/1614.98	c 1614s |      24 |  4505935 |  4312262 |     2699   3859 |        0 |        0
1616.59/1617.00	c 1616s |      24 |  4511455 |  4317562 |     2699   3863 |        0 |        0
1618.58/1619.03	c 1619s |      24 |  4516694 |  4322562 |     2699   3866 |        0 |        0
1620.58/1621.05	c 1621s |      24 |  4521936 |  4327462 |     2699   3870 |        0 |        0
1622.59/1623.06	c 1623s |      24 |  4527139 |  4332362 |     2699   3873 |        0 |        0
1624.59/1625.06	c 1625s |      24 |  4532550 |  4337262 |     2699   3876 |        0 |        0
1626.60/1627.08	c 1627s |      24 |  4537518 |  4342062 |     2699   3880 |        0 |        0
1628.70/1629.10	c 1629s |      24 |  4542951 |  4347162 |     2699   3883 |        0 |        0
1630.69/1631.12	c 1631s |      24 |  4548339 |  4352262 |     2699   3887 |        0 |        0
1632.69/1633.16	c 1633s |      24 |  4553474 |  4357162 |     2699   3891 |        0 |        0
1634.69/1635.16	c 1635s |      24 |  4558565 |  4361962 |     2699   3894 |        0 |        0
1636.69/1637.18	c 1637s |      24 |  4563919 |  4367062 |     2699   3898 |        0 |        0
1638.79/1639.20	c 1639s |      24 |  4568965 |  4371862 |     2699   3901 |        0 |        0
1640.79/1641.24	c 1641s |      24 |  4574302 |  4376962 |     2699   3905 |        0 |        0
1642.79/1643.24	c 1643s |      24 |  4579849 |  4382262 |     2699   3908 |        0 |        0
1644.78/1645.28	c 1645s |      24 |  4585342 |  4387462 |     2699   3912 |        0 |        0
1646.78/1647.29	c 1647s |      24 |  4590952 |  4392562 |     2699   3916 |        0 |        0
1648.88/1649.30	c 1649s |      24 |  4596559 |  4397862 |     2699   3919 |        0 |        0
1650.88/1651.34	c 1651s |      24 |  4602173 |  4403062 |     2699   3923 |        0 |        0
1652.89/1653.39	c 1653s |      24 |  4607484 |  4408062 |     2699   3927 |        0 |        0
1654.98/1655.40	c 1655s |      24 |  4612915 |  4413162 |     2699   3930 |        0 |        0
1656.98/1657.43	c 1657s |      24 |  4618436 |  4418162 |     2699   3934 |        0 |        0
1658.98/1659.44	c 1659s |      24 |  4624059 |  4423362 |     2699   3937 |        0 |        0
1660.98/1661.45	c 1661s |      24 |  4629462 |  4428362 |     2699   3941 |        0 |        0
1662.98/1663.48	c 1663s |      24 |  4634843 |  4433462 |     2699   3944 |        0 |        0
1665.09/1665.51	c 1665s |      24 |  4640234 |  4438562 |     2699   3948 |        0 |        0
1667.08/1667.51	c 1667s |      24 |  4645368 |  4443462 |     2699   3952 |        0 |        0
1669.08/1669.53	c 1669s |      24 |  4650561 |  4448362 |     2699   3955 |        0 |        0
1671.08/1671.57	c 1671s |      24 |  4655800 |  4453262 |     2699   3958 |        0 |        0
1673.18/1673.60	c 1673s |      24 |  4660631 |  4457862 |     2699   3962 |        0 |        0
1675.18/1675.60	c 1675s |      24 |  4666025 |  4462962 |     2699   3965 |        0 |        0
1677.18/1677.61	c 1677s |      24 |  4670931 |  4467662 |     2699   3969 |        0 |        0
1679.17/1679.63	c 1679s |      24 |  4676410 |  4472862 |     2699   3972 |        0 |        0
1681.17/1681.63	c 1681s |      24 |  4681653 |  4477862 |     2699   3976 |        0 |        0
1683.17/1683.64	c 1683s |      24 |  4686898 |  4482762 |     2699   3979 |        0 |        0
1685.17/1685.65	c 1685s |      24 |  4692044 |  4487662 |     2699   3983 |        0 |        0
1687.17/1687.66	c 1687s |      24 |  4697340 |  4492762 |     2699   3986 |        0 |        0
1689.18/1689.70	c 1689s |      24 |  4702672 |  4497762 |     2699   3990 |        0 |        0
1691.27/1691.71	c 1691s |      24 |  4707844 |  4502662 |     2699   3993 |        0 |        0
1693.27/1693.75	c 1693s |      24 |  4713043 |  4507562 |     2699   3997 |        0 |        0
1695.27/1695.75	c 1695s |      24 |  4718051 |  4512362 |     2699   4000 |        0 |        0
1697.27/1697.77	c 1697s |      24 |  4723086 |  4517162 |     2699   4004 |        0 |        0
1699.37/1699.80	c 1699s |      24 |  4728398 |  4522262 |     2699   4007 |        0 |        0
1701.28/1701.80	c 1701s |      24 |  4733752 |  4527062 |     2699   4011 |        0 |        0
1703.38/1703.83	c 1703s |      24 |  4738885 |  4531862 |     2699   4014 |        0 |        0
1705.38/1705.84	c 1705s |      24 |  4743832 |  4536562 |     2699   4017 |        0 |        0
1707.38/1707.85	c 1707s |      24 |  4748545 |  4541062 |     2699   4021 |        0 |        0
1709.38/1709.88	c 1709s |      24 |  4754130 |  4546362 |     2699   4024 |        0 |        0
1711.38/1711.89	c 1711s |      24 |  4759349 |  4551362 |     2699   4028 |        0 |        0
1713.38/1713.89	c 1713s |      24 |  4764706 |  4556462 |     2699   4031 |        0 |        0
1715.48/1715.90	c 1715s |      24 |  4769862 |  4561362 |     2699   4035 |        0 |        0
1717.48/1717.91	c 1717s |      24 |  4775052 |  4566362 |     2699   4038 |        0 |        0
1719.48/1719.94	c 1719s |      24 |  4780010 |  4571162 |     2699   4042 |        0 |        0
1721.48/1721.97	c 1721s |      24 |  4785593 |  4576462 |     2699   4045 |        0 |        0
1723.58/1724.02	c 1723s |      24 |  4790911 |  4581562 |     2699   4049 |        0 |        0
1725.58/1726.02	c 1725s |      24 |  4796030 |  4586462 |     2699   4053 |        0 |        0
1727.57/1728.05	c 1728s |      24 |  4801218 |  4591462 |     2699   4056 |        0 |        0
1729.67/1730.10	c 1730s |      24 |  4806428 |  4596362 |     2699   4060 |        0 |        0
1731.67/1732.14	c 1732s |      24 |  4811290 |  4601062 |     2699   4063 |        0 |        0
1733.67/1734.15	c 1734s |      24 |  4816764 |  4606162 |     2699   4066 |        0 |        0
1735.67/1736.16	c 1736s |      24 |  4821807 |  4610962 |     2699   4070 |        0 |        0
1737.68/1738.17	c 1738s |      24 |  4826778 |  4615662 |     2699   4073 |        0 |        0
1739.67/1740.18	c 1740s |      24 |  4831604 |  4620262 |     2699   4076 |        0 |        0
1741.77/1742.20	c 1742s |      24 |  4836573 |  4624962 |     2699   4080 |        0 |        0
1743.77/1744.21	c 1744s |      24 |  4841704 |  4629562 |     2699   4083 |        0 |        0
1745.77/1746.22	c 1746s |      24 |  4846621 |  4634062 |     2699   4086 |        0 |        0
1747.77/1748.24	c 1748s |      24 |  4851464 |  4638662 |     2699   4089 |        0 |        0
1749.78/1750.26	c 1750s |      24 |  4856520 |  4643362 |     2699   4093 |        0 |        0
1751.77/1752.29	c 1752s |      24 |  4862192 |  4648662 |     2699   4097 |        0 |        0
1753.87/1754.32	c 1754s |      24 |  4867529 |  4653762 |     2699   4100 |        0 |        0
1755.87/1756.37	c 1756s |      24 |  4872919 |  4658862 |     2699   4104 |        0 |        0
1757.87/1758.39	c 1758s |      24 |  4878505 |  4663862 |     2699   4107 |        0 |        0
1759.87/1760.39	c 1760s |      24 |  4883661 |  4668562 |     2699   4111 |        0 |        0
1761.88/1762.39	c 1762s |      24 |  4888703 |  4673362 |     2699   4114 |        0 |        0
1763.97/1764.41	c 1764s |      24 |  4893880 |  4678262 |     2699   4117 |        0 |        0
1765.97/1766.42	c 1766s |      24 |  4898924 |  4682962 |     2699   4121 |        0 |        0
1767.97/1768.44	c 1768s |      24 |  4904358 |  4687862 |     2699   4124 |        0 |        0
1769.96/1770.46	c 1770s |      24 |  4909439 |  4692662 |     2699   4128 |        0 |        0
1771.96/1772.49	c 1772s |      24 |  4914446 |  4697462 |     2699   4131 |        0 |        0
1773.97/1774.49	c 1774s |      24 |  4919351 |  4702162 |     2699   4134 |        0 |        0
1776.07/1776.52	c 1776s |      24 |  4924291 |  4706962 |     2699   4138 |        0 |        0
1778.06/1778.56	c 1778s |      24 |  4929494 |  4711962 |     2699   4141 |        0 |        0
1780.06/1780.59	c 1780s |      24 |  4934408 |  4716662 |     2699   4145 |        0 |        0
1782.16/1782.61	c 1782s |      24 |  4939247 |  4721362 |     2699   4148 |        0 |        0
1784.16/1784.63	c 1784s |      24 |  4944094 |  4726062 |     2699   4151 |        0 |        0
1786.16/1786.64	c 1786s |      24 |  4949301 |  4731062 |     2699   4155 |        0 |        0
1788.17/1788.67	c 1788s |      24 |  4955226 |  4736662 |     2699   4159 |        0 |        0
1790.16/1790.68	c 1790s |      24 |  4961062 |  4742162 |     2699   4163 |        0 |        0
1792.26/1792.71	c 1792s |      24 |  4966704 |  4747562 |     2699   4166 |        0 |        0
1794.27/1794.74	c 1794s |      24 |  4972122 |  4752662 |     2699   4170 |        0 |        0
1796.27/1796.76	c 1796s |      24 |  4977731 |  4758062 |     2699   4174 |        0 |        0
1798.27/1798.77	c 1798s |      24 |  4983228 |  4763262 |     2699   4178 |        0 |        0

ERROR: no interpretation found !

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

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.07 2.06 3/179 8698
/proc/meminfo: memFree=30431148/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 2858 0 0 0 0 0 0 0 20 0 4 0 5025438 782692352 3219 33554432000 4194304 16246674 140736302961168 140736302960592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 191599 3228 441 2943 0 188493 0
[pid=8698/tid=8699] ppid=8695 vsize=781756 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 800518144 3285 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 804712448 3304 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=789948 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5025438 808906752 3319 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.03 2.07 2.06 3/179 8698
/proc/meminfo: memFree=30431148/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 29795 0 0 0 5 4 0 0 20 0 4 0 5025438 1247350784 30144 33554432000 4194304 16246674 140736302961168 140736302960592 5668190 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 304529 30152 704 2943 0 301423 0
[pid=8698/tid=8699] ppid=8695 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1247350784 30158 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1247350784 30170 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5025438 1247350784 30180 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200592 s]
/proc/loadavg: 2.03 2.07 2.06 3/179 8698
/proc/meminfo: memFree=30431148/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 59708 0 0 0 10 9 0 0 20 0 4 0 5025438 1247350784 60058 33554432000 4194304 16246674 140736302961168 140736302960592 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 304529 60065 711 2943 0 301423 0
[pid=8698/tid=8699] ppid=8695 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1247350784 60073 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1247350784 60082 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5025438 1247350784 60089 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300509 s]
/proc/loadavg: 2.03 2.07 2.06 3/179 8698
/proc/meminfo: memFree=30431148/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 88980 0 0 0 17 12 0 0 20 0 4 0 5025438 1247350784 89329 33554432000 4194304 16246674 140736302961168 140736302960592 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 304529 89355 711 2943 0 301423 0
[pid=8698/tid=8699] ppid=8695 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1247350784 89365 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1247350784 89375 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5025438 1247350784 89385 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700428 s]
/proc/loadavg: 2.03 2.07 2.06 3/179 8698
/proc/meminfo: memFree=30431148/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 205130 0 0 0 42 27 0 0 20 0 4 0 5025438 1247350784 205480 33554432000 4194304 16246674 140736302961168 140736302943040 13194067 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 304529 205492 711 2943 0 301423 0
[pid=8698/tid=8699] ppid=8695 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1247350784 205500 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1247350784 205506 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5025438 1247350784 205512 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50058 s]
/proc/loadavg: 2.03 2.07 2.06 3/184 8705
/proc/meminfo: memFree=29446272/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1303108 CPUtime=1.49 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 266669 0 0 0 113 36 0 0 20 0 4 0 5025438 1334382592 266998 33554432000 4194304 16246674 140736302961168 140736302943040 5545894 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 325777 266998 789 2943 0 322671 0
[pid=8698/tid=8699] ppid=8695 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1334382592 266998 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1334382592 266998 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1334382592 266998 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.10044 s]
/proc/loadavg: 2.03 2.07 2.06 3/184 8705
/proc/meminfo: memFree=29358704/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 267608 0 0 0 273 36 0 0 20 0 4 0 5025438 1338576896 267937 33554432000 4194304 16246674 140736302961168 140736302943040 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 326801 267937 789 2943 0 323695 0
[pid=8698/tid=8699] ppid=8695 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1338576896 267937 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1338576896 267937 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1338576896 267937 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30045 s]
/proc/loadavg: 2.03 2.07 2.06 3/183 8705
/proc/meminfo: memFree=29358556/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 267671 0 0 0 593 36 0 0 20 0 4 0 5025438 1338576896 268000 33554432000 4194304 16246674 140736302961168 140736302943040 5992384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 326801 268000 789 2943 0 323695 0
[pid=8698/tid=8699] ppid=8695 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1338576896 268000 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1338576896 268000 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1338576896 268000 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.02 2.07 2.06 3/184 8706
/proc/meminfo: memFree=29359052/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 267699 0 0 0 1233 36 0 0 20 0 4 0 5025438 1338576896 268028 33554432000 4194304 16246674 140736302961168 140736302943040 12483204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 326801 268028 791 2943 0 323695 0
[pid=8698/tid=8699] ppid=8695 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1338576896 268028 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1338576896 268028 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1338576896 268028 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.02 2.07 2.06 3/184 8706
/proc/meminfo: memFree=29358256/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 268085 0 0 0 2512 36 0 0 20 0 4 0 5025438 1339625472 268414 33554432000 4194304 16246674 140736302961168 140736302943040 12483286 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 327057 268414 791 2943 0 323951 0
[pid=8698/tid=8699] ppid=8695 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1339625472 268414 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1339625472 268414 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1339625472 268414 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.01 2.06 2.05 3/184 8706
/proc/meminfo: memFree=29358380/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 268085 0 0 0 5071 37 0 0 20 0 4 0 5025438 1339625472 268414 33554432000 4194304 16246674 140736302961168 140736302944168 12483366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 327057 268414 791 2943 0 323951 0
[pid=8698/tid=8699] ppid=8695 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1339625472 268414 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1339625472 268414 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1339625472 268414 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.14 2.09 2.06 3/183 8707
/proc/meminfo: memFree=29354508/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1310276 CPUtime=102.28 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 268494 0 0 0 10191 37 0 0 20 0 4 0 5025438 1341722624 268823 33554432000 4194304 16246674 140736302961168 140736302943040 5722477 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 327569 268823 792 2943 0 324463 0
[pid=8698/tid=8699] ppid=8695 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1341722624 268823 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1341722624 268823 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1341722624 268823 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/183 8787
/proc/meminfo: memFree=29344644/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1319492 CPUtime=1361.93 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 271248 0 0 0 136142 51 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140736302943040 6013056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 329873 271488 793 2943 0 326767 0
[pid=8698/tid=8699] ppid=8695 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 2.13 2.10 2.08 3/183 8788
/proc/meminfo: memFree=29344644/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1319492 CPUtime=1421.93 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 271248 0 0 0 142141 52 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140736302943040 13949808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 329873 271488 793 2943 0 326767 0
[pid=8698/tid=8699] ppid=8695 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 8789
/proc/meminfo: memFree=29343788/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1319492 CPUtime=1481.91 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 271248 0 0 0 148138 53 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140736302943040 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 329873 271488 793 2943 0 326767 0
[pid=8698/tid=8699] ppid=8695 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1351159808 271488 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1319492

[startup+1542.31 s]
/proc/loadavg: 2.10 2.09 2.08 4/183 8791
/proc/meminfo: memFree=29341904/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1321540 CPUtime=1541.91 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 271760 0 0 0 154138 53 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140736302944168 5546093 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 330385 272000 793 2943 0 327279 0
[pid=8698/tid=8699] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1321540

[startup+1602.3 s]
/proc/loadavg: 2.04 2.07 2.08 3/183 8792
/proc/meminfo: memFree=29342668/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1321540 CPUtime=1601.89 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 271760 0 0 0 160136 53 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140736302943040 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 330385 272000 793 2943 0 327279 0
[pid=8698/tid=8699] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1321540

[startup+1662.3 s]
/proc/loadavg: 2.09 2.07 2.08 3/183 8793
/proc/meminfo: memFree=29342896/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1321540 CPUtime=1661.88 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 271760 0 0 0 166134 54 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140736302943040 12483198 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 330385 272000 793 2943 0 327279 0
[pid=8698/tid=8699] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1321540

[startup+1722.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/183 8794
/proc/meminfo: memFree=29342588/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1321540 CPUtime=1721.88 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 271760 0 0 0 172133 55 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140736302943040 5823989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 330385 272000 793 2943 0 327279 0
[pid=8698/tid=8699] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1321540

[startup+1782.3 s]
/proc/loadavg: 2.16 2.10 2.09 4/183 8795
/proc/meminfo: memFree=29342452/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1321540 CPUtime=1781.86 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 271760 0 0 0 178131 55 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140736302943040 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 330385 272000 793 2943 0 327279 0
[pid=8698/tid=8699] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1321540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.09 2.08 3/183 8796
/proc/meminfo: memFree=29342336/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1321540 CPUtime=1800.07 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 271760 0 0 0 179951 56 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140736302943040 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 330385 272000 793 2943 0 327279 0
[pid=8698/tid=8699] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1321540

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

[startup+1800.5 s]
/proc/loadavg: 2.12 2.09 2.08 3/183 8796
/proc/meminfo: memFree=29342336/32872528 swapFree=496356/529060
[pid=8698] ppid=8695 vsize=1321540 CPUtime=1800.07 cores=1,3,5,7
/proc/8698/stat : 8698 (toysat) R 8695 8698 5955 0 -1 4202496 271760 0 0 0 179951 56 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140736302943040 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8698/statm: 330385 272000 793 2943 0 327279 0
[pid=8698/tid=8699] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8699/stat : 8699 (toysat) S 8695 8698 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687302438128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8698/tid=8700] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8700/stat : 8700 (toysat) S 8695 8698 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687223794928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8698/tid=8701] ppid=8695 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/8698/task/8701/stat : 8701 (toysat) S 8695 8698 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5025438 1353256960 272000 33554432000 4194304 16246674 140736302961168 140687213321392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1321540

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.52
CPU system time (s): 0.560914
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 1321540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.560914
maximum resident set size= 1088000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271760
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= 359
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1622 second user time and 16.7075 second system time

The end

Begin job on node141 at 2016-06-16 00:30:00
IDJOB=4089603
IDBENCH=107430
IDSOLVER=2542
FILE ID=node141/4089603-1466029800
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid10x27-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089603-1466029800/watcher-4089603-1466029800 -o /tmp/evaluation-result-4089603-1466029800/solver-4089603-1466029800 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089603-1466029800.opb

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

MD5SUM BENCH= dd3b18503ce4c8b5dff69184e9cf1f08
RANDOM SEED=485419020

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30431668 kB
Buffers:           37116 kB
Cached:            78288 kB
SwapCached:        13092 kB
Active:          1146508 kB
Inactive:          64156 kB
Active(anon):    1085440 kB
Inactive(anon):    12040 kB
Active(file):      61068 kB
Inactive(file):    52116 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088068 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       1689880 kB
Mapped:            10380 kB
Shmem:                 0 kB
Slab:             567060 kB
SReclaimable:      10968 kB
SUnreclaim:       556092 kB
KernelStack:        1520 kB
PageTables:         7192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1756028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1187840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-16 01:00:01