0.00/0.00	c 2016-06-15T23:18:58+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-4089337-1466025537.opb"]
0.00/0.01	c use --random-gen="3199423059 1750784682 2544403777 3282032284 2501042236 3242900740 2999055188 3174628095 1867962513 1859729197 766140539 2200800551 610981073 294142792 618835904 3171756889 20632488 992509502 3793327362 3882226437 4092475514 513967778 1695996539 738646186 2308874604 68699142 2233539800 1323989462 363564861 2158517205 2555257269 354836507 2144889426 2605233878 2441860824 2928487695 2833230821 1730544532 3036823171 1834544488 961423958 200360270 2712167864 216488673 1809457337 2078196441 2220744870 2009367485 3403424333 414160523 1026914 4207167800 2013661279 108282677 3076956050 4198924089 3179144280 2023761214 2665474604 1305822172 774684021 4089673623 1480519674 214700825 674027506 2195048573 1525524086 3118157498 2715868507 3193754388 1534444944 3851503624 4146860330 1237955551 3012414248 1365292190 2467976003 3266963178 1409789394 314883975 2449500820 4107380607 3226103661 3062801920 1862177173 566042908 85540507 1804556326 122696520 4024629202 2938428428 2755832607 2148709111 1163889835 1148334065 2643885440 1709962713 27847755 1598321153 2775101606 1492473836 1071625718 3445385259 482190619 2970747213 3162798151 3129341413 73521398 3192454338 3205981192 1267916848 2265213207 124165874 1358459121 352887251 4226109962 263351098 1734901170 2642915811 3207133996 18702392 2885893913 3543345948 3545063166 233867827 4144468477 2546497689 2400377657 2720373837 2785588093 2106800288 2107483095 773171840 3346411134 2373077543 2469548435 2859366938 2582889725 1504684850 2627179999 2361183900 3529480431 1493230843 39947926 2310706886 300566299 3437418929 1652785023 4184561497 838185765 1270477380 843469372 691005145 911336974 2929439294 620390216 1380228656 1513553213 1047637193 1853312887 1167910943 1678013691 2616692587 4289548732 4240685665 864739373 1611669285 3520660240 1023152900 3952796837 2585317096 20250455 3481008699 4130075386 3482866188 503948096 3508002273 718387828 172346924 2540760359 672619756 932470962 3558164031 1608638510 3245091036 3489906970 3813559702 2932922634 3182969663 3394416795 3988938509 1261881596 2451171294 555035847 1655736045 2252230133 3207026168 1017987216 3089198746 1690117301 3365019959 591643538 3086300142 249597696 2219671316 1373080619 1362788379 3744392778 3298581794 498700130 786900587 4220575840 1071610031 2990378872 2280330898 3822762284 3656920252 3860648618 1607329869 3606780676 294901208 3816297253 1307491443 4143445752 2790768247 1746691036 1558762637 2728443450 2217617280 1294937120 2738950453 4181206605 1930178511 1925167386 494688211 905698219 2443195264 1026091560 3396729144 8669885 2202399109 159928637 2498886947 2370366752 3112900851 1474709789 1398275628 2898040271 3696480536 2550789227 1372371097 4051394287 344827738 2648789960 1843449079 70152314 255 362436" option to reproduce the execution
0.00/0.01	c #vars 250
0.00/0.01	c #constraints 501
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 |      250      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      220 |      100 |      250      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      496 |      250 |      275      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |      841 |      475 |      303      1 |        0 |        0
0.19/0.28	c  0.3s |       4 |     1300 |      813 |      334      2 |        0 |        0
0.29/0.45	c  0.4s |       5 |     1926 |     1320 |      368      4 |        0 |        0
0.69/0.74	c  0.7s |       6 |     2801 |     2081 |      446      7 |        0 |        0
0.99/1.03	c  1.0s |       7 |     4064 |     3223 |      491     11 |        0 |        0
1.49/1.50	c  1.5s |       8 |     5897 |     4936 |      541     17 |        0 |        0
2.09/2.12	c  2.1s |       9 |     8616 |     7506 |      596     24 |        0 |        0
3.09/3.14	c  3.1s |      10 |    12627 |    11361 |      656     35 |        0 |        0
4.60/4.69	c  4.7s |      11 |    18598 |    17144 |      722     50 |        0 |        0
6.70/6.71	c  6.7s |      11 |    26205 |    24544 |      722     68 |        0 |        0
6.99/7.04	c  7.0s |      12 |    27500 |    25819 |      795     70 |        0 |        0
9.00/9.05	c  9.0s |      12 |    35251 |    33319 |      795     87 |        0 |        0
10.39/10.48	c 10.5s |      13 |    40890 |    38832 |      875     99 |        0 |        0
12.39/12.49	c 12.5s |      13 |    48585 |    46332 |      875    114 |        0 |        0
14.50/14.51	c 14.5s |      13 |    55931 |    53532 |      875    128 |        0 |        0
15.89/15.92	c 15.9s |      14 |    60845 |    58352 |      963    138 |        0 |        0
17.89/17.93	c 17.9s |      14 |    68078 |    65352 |      963    151 |        0 |        0
19.90/19.94	c 19.9s |      14 |    74978 |    72152 |      963    163 |        0 |        0
21.89/21.95	c 21.9s |      14 |    81866 |    78852 |      963    176 |        0 |        0
23.89/23.95	c 23.9s |      14 |    88638 |    85452 |      963    188 |        0 |        0
24.59/24.65	c 24.6s |      15 |    90919 |    87632 |     1060    192 |        0 |        0
26.59/26.66	c 26.6s |      15 |    98148 |    94532 |     1060    204 |        0 |        0
28.58/28.69	c 28.7s |      15 |   104841 |   101132 |     1060    215 |        0 |        0
30.68/30.71	c 30.7s |      15 |   111650 |   107832 |     1060    226 |        0 |        0
32.68/32.71	c 32.7s |      15 |   118725 |   114732 |     1060    238 |        0 |        0
34.68/34.74	c 34.7s |      15 |   125714 |   121532 |     1060    249 |        0 |        0
36.68/36.74	c 36.7s |      15 |   132392 |   128132 |     1060    261 |        0 |        0
37.68/37.79	c 37.8s |      16 |   135869 |   131552 |     1166    266 |        0 |        0
39.69/39.79	c 39.8s |      16 |   142413 |   137852 |     1166    276 |        0 |        0
41.78/41.82	c 41.8s |      16 |   149532 |   144852 |     1166    287 |        0 |        0
43.78/43.84	c 43.8s |      16 |   156284 |   151452 |     1166    297 |        0 |        0
45.78/45.87	c 45.8s |      16 |   162988 |   157952 |     1166    307 |        0 |        0
47.88/47.90	c 47.9s |      16 |   169589 |   164452 |     1166    318 |        0 |        0
49.88/49.94	c 49.9s |      16 |   176094 |   170852 |     1166    328 |        0 |        0
51.89/51.94	c 51.9s |      16 |   182645 |   177252 |     1166    338 |        0 |        0
53.88/53.95	c 53.9s |      16 |   189197 |   183652 |     1166    348 |        0 |        0
55.88/55.98	c 56.0s |      16 |   195805 |   190152 |     1166    358 |        0 |        0
57.98/58.00	c 58.0s |      16 |   202184 |   196452 |     1283    367 |        0 |        0
58.28/58.32	c 58.3s |      17 |   203176 |   197432 |     1283    369 |        0 |        0
60.28/60.34	c 60.3s |      17 |   209485 |   203532 |     1283    378 |        0 |        0
62.28/62.35	c 62.3s |      17 |   216070 |   209932 |     1283    387 |        0 |        0
64.28/64.36	c 64.3s |      17 |   222791 |   216532 |     1283    396 |        0 |        0
66.28/66.37	c 66.3s |      17 |   229544 |   223132 |     1283    406 |        0 |        0
68.29/68.38	c 68.4s |      17 |   236227 |   229732 |     1283    415 |        0 |        0
70.28/70.38	c 70.4s |      17 |   242750 |   236132 |     1283    424 |        0 |        0
72.38/72.40	c 72.4s |      17 |   249367 |   242632 |     1283    433 |        0 |        0
74.38/74.41	c 74.4s |      17 |   256015 |   249032 |     1283    443 |        0 |        0
76.38/76.41	c 76.4s |      17 |   262419 |   255232 |     1283    451 |        0 |        0
78.38/78.45	c 78.4s |      17 |   268903 |   261532 |     1283    461 |        0 |        0
80.39/80.47	c 80.4s |      17 |   275257 |   267632 |     1283    469 |        0 |        0
82.38/82.49	c 82.5s |      17 |   281562 |   273832 |     1283    478 |        0 |        0
84.48/84.51	c 84.5s |      17 |   287854 |   280032 |     1283    487 |        0 |        0
86.48/86.52	c 86.5s |      17 |   294000 |   286032 |     1283    496 |        0 |        0
88.48/88.52	c 88.5s |      17 |   300411 |   292332 |     1283    505 |        0 |        0
89.68/89.71	c 89.7s |      18 |   304387 |   296252 |     1412    510 |        0 |        0
91.68/91.73	c 91.7s |      18 |   311783 |   303352 |     1412    519 |        0 |        0
93.69/93.73	c 93.7s |      18 |   318925 |   310352 |     1412    528 |        0 |        0
95.68/95.73	c 95.7s |      18 |   325807 |   317052 |     1412    537 |        0 |        0
97.68/97.75	c 97.7s |      18 |   333034 |   324152 |     1412    546 |        0 |        0
99.68/99.78	c 99.8s |      18 |   340337 |   331052 |     1412    555 |        0 |        0
101.78/101.81	c  101s |      18 |   347008 |   337552 |     1412    564 |        0 |        0
103.78/103.82	c  103s |      18 |   353950 |   344252 |     1412    572 |        0 |        0
105.78/105.85	c  105s |      18 |   360810 |   350852 |     1412    581 |        0 |        0
107.78/107.86	c  107s |      18 |   367417 |   357252 |     1412    589 |        0 |        0
109.78/109.88	c  109s |      18 |   373979 |   363652 |     1412    598 |        0 |        0
111.78/111.88	c  111s |      18 |   380564 |   370052 |     1412    606 |        0 |        0
113.87/113.92	c  113s |      18 |   387393 |   376652 |     1412    615 |        0 |        0
115.87/115.93	c  115s |      18 |   393978 |   383052 |     1412    623 |        0 |        0
117.88/117.96	c  117s |      18 |   400409 |   389352 |     1412    631 |        0 |        0
119.87/119.99	c  119s |      18 |   407052 |   395752 |     1412    640 |        0 |        0
121.97/122.00	c  121s |      18 |   413435 |   401952 |     1412    648 |        0 |        0
123.97/124.02	c  124s |      18 |   420138 |   408452 |     1412    656 |        0 |        0
125.97/126.04	c  126s |      18 |   427035 |   415152 |     1412    665 |        0 |        0
127.97/128.06	c  128s |      18 |   433627 |   421552 |     1412    673 |        0 |        0
129.98/130.08	c  130s |      18 |   440169 |   427852 |     1412    681 |        0 |        0
131.97/132.10	c  132s |      18 |   446636 |   434052 |     1412    689 |        0 |        0
134.07/134.14	c  134s |      18 |   453113 |   440252 |     1412    698 |        0 |        0
135.48/135.52	c  135s |      19 |   457545 |   444482 |     1554    703 |        0 |        0
137.47/137.53	c  137s |      19 |   464181 |   450882 |     1554    710 |        0 |        0
139.47/139.55	c  139s |      19 |   470783 |   457282 |     1554    718 |        0 |        0
141.47/141.55	c  141s |      19 |   477391 |   463682 |     1554    726 |        0 |        0
143.47/143.58	c  143s |      19 |   483865 |   469982 |     1554    733 |        0 |        0
145.57/145.60	c  145s |      19 |   490746 |   476582 |     1554    741 |        0 |        0
147.58/147.63	c  147s |      19 |   497799 |   483382 |     1554    749 |        0 |        0
149.57/149.64	c  149s |      19 |   504544 |   489982 |     1554    757 |        0 |        0
151.57/151.66	c  151s |      19 |   511106 |   496382 |     1554    765 |        0 |        0
153.57/153.69	c  153s |      19 |   517507 |   502582 |     1554    772 |        0 |        0
155.67/155.70	c  155s |      19 |   524070 |   508982 |     1554    780 |        0 |        0
157.67/157.72	c  157s |      19 |   530453 |   515182 |     1554    787 |        0 |        0
159.67/159.75	c  159s |      19 |   536814 |   521382 |     1554    794 |        0 |        0
161.67/161.76	c  161s |      19 |   543048 |   527482 |     1554    802 |        0 |        0
163.67/163.78	c  163s |      19 |   549726 |   533982 |     1554    809 |        0 |        0
165.67/165.80	c  165s |      19 |   556319 |   540382 |     1554    817 |        0 |        0
167.77/167.82	c  167s |      19 |   562899 |   546782 |     1554    825 |        0 |        0
169.77/169.84	c  169s |      19 |   569400 |   553082 |     1554    832 |        0 |        0
171.77/171.84	c  171s |      19 |   575687 |   559082 |     1554    839 |        0 |        0
173.76/173.87	c  173s |      19 |   581838 |   565082 |     1554    847 |        0 |        0
175.76/175.89	c  175s |      19 |   588034 |   571082 |     1554    854 |        0 |        0
177.86/177.92	c  177s |      19 |   594473 |   577382 |     1554    861 |        0 |        0
179.86/179.94	c  179s |      19 |   601002 |   583682 |     1554    869 |        0 |        0
181.86/181.96	c  181s |      19 |   607318 |   589882 |     1554    876 |        0 |        0
183.87/183.97	c  183s |      19 |   613547 |   595982 |     1554    883 |        0 |        0
185.86/185.97	c  185s |      19 |   619849 |   602182 |     1554    891 |        0 |        0
187.86/187.97	c  187s |      19 |   626200 |   608382 |     1554    898 |        0 |        0
189.86/189.98	c  189s |      19 |   632477 |   614482 |     1554    906 |        0 |        0
191.86/191.99	c  191s |      19 |   638656 |   620482 |     1554    913 |        0 |        0
193.96/194.00	c  193s |      19 |   644634 |   626282 |     1554    920 |        0 |        0
195.97/196.01	c  195s |      19 |   651321 |   632682 |     1554    927 |        0 |        0
197.96/198.04	c  198s |      19 |   657536 |   638682 |     1554    935 |        0 |        0
199.96/200.07	c  200s |      19 |   663625 |   644582 |     1554    942 |        0 |        0
202.06/202.11	c  202s |      19 |   669673 |   650482 |     1554    949 |        0 |        0
204.06/204.13	c  204s |      19 |   676542 |   656982 |     1554    956 |        0 |        0
206.06/206.14	c  206s |      19 |   683039 |   663282 |     1710    964 |        0 |        0
207.16/207.28	c  207s |      20 |   686822 |   666827 |     1710    967 |        0 |        0
209.16/209.29	c  209s |      20 |   693744 |   673427 |     1710    975 |        0 |        0
211.26/211.31	c  211s |      20 |   700544 |   679927 |     1710    982 |        0 |        0
213.26/213.31	c  213s |      20 |   707434 |   686427 |     1710    989 |        0 |        0
215.26/215.32	c  215s |      20 |   714103 |   692827 |     1710    996 |        0 |        0
217.26/217.32	c  217s |      20 |   720700 |   699227 |     1710   1003 |        0 |        0
219.26/219.34	c  219s |      20 |   727224 |   705527 |     1710   1010 |        0 |        0
221.26/221.37	c  221s |      20 |   733789 |   711927 |     1710   1017 |        0 |        0
223.26/223.37	c  223s |      20 |   740138 |   718127 |     1710   1023 |        0 |        0
225.35/225.40	c  225s |      20 |   746318 |   724127 |     1710   1030 |        0 |        0
227.35/227.40	c  227s |      20 |   752952 |   730627 |     1710   1037 |        0 |        0
229.35/229.41	c  229s |      20 |   759373 |   736827 |     1710   1044 |        0 |        0
231.35/231.43	c  231s |      20 |   765734 |   742927 |     1710   1050 |        0 |        0
233.36/233.45	c  233s |      20 |   772039 |   749027 |     1710   1057 |        0 |        0
235.35/235.47	c  235s |      20 |   778916 |   755627 |     1710   1064 |        0 |        0
237.35/237.49	c  237s |      20 |   785710 |   762227 |     1710   1072 |        0 |        0
239.45/239.50	c  239s |      20 |   792286 |   768627 |     1710   1079 |        0 |        0
241.45/241.53	c  241s |      20 |   798796 |   775027 |     1710   1085 |        0 |        0
243.45/243.55	c  243s |      20 |   805222 |   781327 |     1710   1092 |        0 |        0
245.46/245.57	c  245s |      20 |   811646 |   787627 |     1710   1099 |        0 |        0
247.45/247.58	c  247s |      20 |   818014 |   793827 |     1710   1106 |        0 |        0
249.45/249.59	c  249s |      20 |   824131 |   799727 |     1710   1112 |        0 |        0
251.45/251.60	c  251s |      20 |   830591 |   806027 |     1710   1119 |        0 |        0
253.55/253.61	c  253s |      20 |   836834 |   812127 |     1710   1126 |        0 |        0
255.55/255.62	c  255s |      20 |   843164 |   818227 |     1710   1133 |        0 |        0
257.55/257.64	c  257s |      20 |   849314 |   824227 |     1710   1139 |        0 |        0
259.55/259.65	c  259s |      20 |   855869 |   830527 |     1710   1146 |        0 |        0
261.55/261.67	c  261s |      20 |   862151 |   836627 |     1710   1153 |        0 |        0
263.55/263.69	c  263s |      20 |   868397 |   842627 |     1710   1159 |        0 |        0
265.64/265.70	c  265s |      20 |   874573 |   848427 |     1710   1166 |        0 |        0
267.64/267.72	c  267s |      20 |   880844 |   854427 |     1710   1172 |        0 |        0
269.65/269.72	c  269s |      20 |   886879 |   860127 |     1710   1178 |        0 |        0
271.64/271.72	c  271s |      20 |   892646 |   865627 |     1710   1185 |        0 |        0
273.64/273.74	c  273s |      20 |   899546 |   872327 |     1710   1192 |        0 |        0
275.64/275.75	c  275s |      20 |   906271 |   878827 |     1710   1199 |        0 |        0
277.63/277.76	c  277s |      20 |   912970 |   885227 |     1710   1206 |        0 |        0
279.63/279.78	c  279s |      20 |   919541 |   891527 |     1710   1213 |        0 |        0
281.74/281.81	c  281s |      20 |   926009 |   897727 |     1710   1220 |        0 |        0
283.73/283.84	c  283s |      20 |   932362 |   903927 |     1710   1226 |        0 |        0
285.73/285.86	c  285s |      20 |   938775 |   909927 |     1710   1233 |        0 |        0
287.73/287.88	c  287s |      20 |   945202 |   916127 |     1710   1240 |        0 |        0
289.83/289.90	c  289s |      20 |   951597 |   922227 |     1710   1246 |        0 |        0
291.83/291.90	c  291s |      20 |   957858 |   928127 |     1710   1253 |        0 |        0
293.84/293.93	c  293s |      20 |   964003 |   934027 |     1710   1259 |        0 |        0
295.83/295.95	c  295s |      20 |   970122 |   939927 |     1710   1266 |        0 |        0
297.82/297.96	c  297s |      20 |   976248 |   945927 |     1710   1272 |        0 |        0
299.82/299.97	c  299s |      20 |   982305 |   951727 |     1710   1279 |        0 |        0
301.92/302.00	c  301s |      20 |   988395 |   957527 |     1710   1285 |        0 |        0
303.92/304.03	c  304s |      20 |   994577 |   963427 |     1710   1291 |        0 |        0
305.93/306.05	c  306s |      20 |  1001055 |   969527 |     1710   1298 |        0 |        0
307.92/308.10	c  308s |      20 |  1007250 |   975527 |     1710   1305 |        0 |        0
310.02/310.12	c  310s |      20 |  1013318 |   981327 |     1710   1311 |        0 |        0
312.02/312.14	c  312s |      20 |  1019283 |   987027 |     1710   1317 |        0 |        0
314.02/314.14	c  314s |      20 |  1025741 |   993227 |     1882   1324 |        0 |        0
316.02/316.15	c  316s |      20 |  1032844 |   999827 |     1882   1330 |        0 |        0
316.22/316.32	c  316s |      21 |  1033393 |  1000345 |     1882   1331 |        0 |        0
318.22/318.32	c  318s |      21 |  1040739 |  1007245 |     1882   1338 |        0 |        0
320.22/320.34	c  320s |      21 |  1047775 |  1013945 |     1882   1344 |        0 |        0
322.21/322.35	c  322s |      21 |  1054673 |  1020645 |     1882   1351 |        0 |        0
324.21/324.37	c  324s |      21 |  1061093 |  1026945 |     1882   1357 |        0 |        0
326.22/326.39	c  326s |      21 |  1067595 |  1033245 |     1882   1364 |        0 |        0
328.32/328.40	c  328s |      21 |  1074057 |  1039545 |     1882   1370 |        0 |        0
330.32/330.42	c  330s |      21 |  1080378 |  1045645 |     1882   1376 |        0 |        0
332.32/332.45	c  332s |      21 |  1086749 |  1051845 |     1882   1382 |        0 |        0
334.32/334.47	c  334s |      21 |  1093003 |  1057945 |     1882   1388 |        0 |        0
336.31/336.48	c  336s |      21 |  1099399 |  1064045 |     1882   1394 |        0 |        0
338.31/338.49	c  338s |      21 |  1105974 |  1070245 |     1882   1400 |        0 |        0
340.41/340.51	c  340s |      21 |  1112153 |  1076245 |     1882   1406 |        0 |        0
342.41/342.52	c  342s |      21 |  1118319 |  1082245 |     1882   1412 |        0 |        0
344.42/344.55	c  344s |      21 |  1124600 |  1088345 |     1882   1419 |        0 |        0
346.41/346.56	c  346s |      21 |  1130740 |  1094145 |     1882   1424 |        0 |        0
348.41/348.57	c  348s |      21 |  1136808 |  1099945 |     1882   1430 |        0 |        0
350.41/350.58	c  350s |      21 |  1143114 |  1105945 |     1882   1436 |        0 |        0
352.41/352.58	c  352s |      21 |  1149410 |  1111645 |     1882   1442 |        0 |        0
354.51/354.63	c  354s |      21 |  1155752 |  1117445 |     1882   1448 |        0 |        0
356.51/356.65	c  356s |      21 |  1162077 |  1123145 |     1882   1453 |        0 |        0
358.50/358.66	c  358s |      21 |  1168601 |  1129345 |     1882   1459 |        0 |        0
360.50/360.67	c  360s |      21 |  1174975 |  1135445 |     1882   1466 |        0 |        0
362.60/362.71	c  362s |      21 |  1181241 |  1141445 |     1882   1472 |        0 |        0
364.60/364.71	c  364s |      21 |  1187453 |  1147345 |     1882   1477 |        0 |        0
366.59/366.73	c  366s |      21 |  1193347 |  1153045 |     1882   1483 |        0 |        0
368.60/368.73	c  368s |      21 |  1199439 |  1158845 |     1882   1489 |        0 |        0
370.59/370.73	c  370s |      21 |  1205432 |  1164545 |     1882   1495 |        0 |        0
372.59/372.75	c  372s |      21 |  1211473 |  1170245 |     1882   1500 |        0 |        0
374.59/374.75	c  374s |      21 |  1218497 |  1176745 |     1882   1507 |        0 |        0
376.59/376.77	c  376s |      21 |  1225652 |  1183245 |     1882   1513 |        0 |        0
378.59/378.77	c  378s |      21 |  1232232 |  1189545 |     1882   1519 |        0 |        0
380.59/380.79	c  380s |      21 |  1238597 |  1195645 |     1882   1526 |        0 |        0
382.69/382.81	c  382s |      21 |  1245038 |  1201845 |     1882   1532 |        0 |        0
384.69/384.83	c  384s |      21 |  1251375 |  1207945 |     1882   1538 |        0 |        0
386.69/386.84	c  386s |      21 |  1257657 |  1214045 |     1882   1544 |        0 |        0
388.68/388.87	c  388s |      21 |  1263886 |  1220045 |     1882   1550 |        0 |        0
390.68/390.88	c  390s |      21 |  1270053 |  1225945 |     1882   1556 |        0 |        0
392.69/392.89	c  392s |      21 |  1276506 |  1232045 |     1882   1562 |        0 |        0
394.78/394.90	c  394s |      21 |  1282674 |  1237945 |     1882   1568 |        0 |        0
396.78/396.90	c  396s |      21 |  1288694 |  1243745 |     1882   1574 |        0 |        0
398.78/398.90	c  398s |      21 |  1295128 |  1249945 |     1882   1580 |        0 |        0
400.78/400.93	c  400s |      21 |  1301452 |  1256045 |     1882   1586 |        0 |        0
402.78/402.94	c  402s |      21 |  1307656 |  1261945 |     1882   1592 |        0 |        0
404.79/404.97	c  404s |      21 |  1313863 |  1267845 |     1882   1598 |        0 |        0
406.78/406.98	c  406s |      21 |  1320092 |  1273745 |     1882   1603 |        0 |        0
408.88/409.00	c  408s |      21 |  1326248 |  1279645 |     1882   1609 |        0 |        0
410.87/411.01	c  410s |      21 |  1332168 |  1285345 |     1882   1615 |        0 |        0
412.87/413.01	c  412s |      21 |  1338613 |  1291545 |     1882   1621 |        0 |        0
414.87/415.02	c  415s |      21 |  1344988 |  1297645 |     1882   1627 |        0 |        0
416.88/417.05	c  417s |      21 |  1351224 |  1303645 |     1882   1633 |        0 |        0
418.87/419.09	c  419s |      21 |  1357651 |  1309745 |     1882   1639 |        0 |        0
420.97/421.11	c  421s |      21 |  1364156 |  1315545 |     1882   1645 |        0 |        0
422.97/423.14	c  423s |      21 |  1370490 |  1321445 |     1882   1651 |        0 |        0
424.97/425.15	c  425s |      21 |  1376407 |  1327145 |     1882   1657 |        0 |        0
426.97/427.17	c  427s |      21 |  1382341 |  1332845 |     1882   1663 |        0 |        0
428.97/429.18	c  429s |      21 |  1388360 |  1338645 |     1882   1668 |        0 |        0
431.07/431.21	c  431s |      21 |  1394294 |  1344245 |     1882   1674 |        0 |        0
433.07/433.23	c  433s |      21 |  1400774 |  1350445 |     1882   1680 |        0 |        0
435.07/435.25	c  435s |      21 |  1407040 |  1356445 |     1882   1686 |        0 |        0
437.07/437.28	c  437s |      21 |  1413155 |  1362345 |     1882   1692 |        0 |        0
439.17/439.30	c  439s |      21 |  1419200 |  1368145 |     1882   1698 |        0 |        0
441.18/441.34	c  441s |      21 |  1425271 |  1373945 |     1882   1704 |        0 |        0
443.17/443.38	c  443s |      21 |  1431558 |  1379945 |     1882   1710 |        0 |        0
445.27/445.41	c  445s |      21 |  1437419 |  1385545 |     1882   1715 |        0 |        0
447.27/447.42	c  447s |      21 |  1443507 |  1391345 |     1882   1721 |        0 |        0
449.27/449.45	c  449s |      21 |  1449384 |  1396945 |     1882   1727 |        0 |        0
451.27/451.48	c  451s |      21 |  1455199 |  1402445 |     1882   1732 |        0 |        0
453.27/453.49	c  453s |      21 |  1461578 |  1408445 |     1882   1738 |        0 |        0
455.37/455.52	c  455s |      21 |  1467777 |  1414445 |     1882   1744 |        0 |        0
457.36/457.54	c  457s |      21 |  1473591 |  1420145 |     1882   1750 |        0 |        0
459.36/459.59	c  459s |      21 |  1479620 |  1426045 |     1882   1756 |        0 |        0
461.46/461.62	c  461s |      21 |  1485668 |  1431945 |     1882   1761 |        0 |        0
463.46/463.64	c  463s |      21 |  1491406 |  1437545 |     1882   1767 |        0 |        0
465.45/465.66	c  465s |      21 |  1497168 |  1443145 |     1882   1773 |        0 |        0
467.46/467.69	c  467s |      21 |  1503050 |  1448945 |     1882   1778 |        0 |        0
469.55/469.71	c  469s |      21 |  1508673 |  1454445 |     1882   1784 |        0 |        0
471.55/471.74	c  471s |      21 |  1514729 |  1460345 |     1882   1790 |        0 |        0
473.55/473.78	c  473s |      21 |  1520855 |  1466145 |     1882   1796 |        0 |        0
475.65/475.81	c  475s |      21 |  1526911 |  1471845 |     1882   1801 |        0 |        0
477.65/477.81	c  477s |      21 |  1532764 |  1477445 |     1882   1807 |        0 |        0
479.66/479.82	c  479s |      21 |  1538502 |  1482945 |     1882   1812 |        0 |        0
481.65/481.82	c  481s |      21 |  1544118 |  1488345 |     1882   1818 |        0 |        0
483.65/483.82	c  483s |      21 |  1549550 |  1493645 |     2071   1823 |        0 |        0
485.64/485.83	c  485s |      21 |  1555892 |  1499745 |     2071   1828 |        0 |        0
485.94/486.13	c  486s |      22 |  1556823 |  1500622 |     2071   1829 |        0 |        0
487.94/488.14	c  488s |      22 |  1563421 |  1506922 |     2071   1835 |        0 |        0
489.94/490.16	c  490s |      22 |  1570042 |  1513122 |     2071   1840 |        0 |        0
491.94/492.17	c  492s |      22 |  1576572 |  1519422 |     2071   1846 |        0 |        0
493.95/494.18	c  494s |      22 |  1582787 |  1525322 |     2071   1851 |        0 |        0
495.94/496.20	c  496s |      22 |  1589274 |  1531622 |     2071   1857 |        0 |        0
498.04/498.21	c  498s |      22 |  1595338 |  1537522 |     2071   1863 |        0 |        0
500.04/500.24	c  500s |      22 |  1601632 |  1543622 |     2071   1868 |        0 |        0
502.03/502.27	c  502s |      22 |  1607670 |  1549422 |     2071   1873 |        0 |        0
504.03/504.29	c  504s |      22 |  1613791 |  1555422 |     2071   1879 |        0 |        0
506.13/506.32	c  506s |      22 |  1619927 |  1561322 |     2071   1884 |        0 |        0
508.14/508.33	c  508s |      22 |  1625922 |  1566922 |     2071   1889 |        0 |        0
510.13/510.33	c  510s |      22 |  1631896 |  1572722 |     2071   1895 |        0 |        0
512.13/512.34	c  512s |      22 |  1638274 |  1578922 |     2071   1900 |        0 |        0
514.13/514.34	c  514s |      22 |  1644336 |  1584822 |     2071   1906 |        0 |        0
516.12/516.37	c  516s |      22 |  1650680 |  1590722 |     2071   1911 |        0 |        0
518.22/518.40	c  518s |      22 |  1657059 |  1596722 |     2071   1916 |        0 |        0
520.12/520.40	c  520s |      22 |  1662999 |  1602422 |     2071   1922 |        0 |        0
522.23/522.41	c  522s |      22 |  1669201 |  1608422 |     2071   1927 |        0 |        0
524.23/524.42	c  524s |      22 |  1675028 |  1614122 |     2071   1932 |        0 |        0
526.23/526.44	c  526s |      22 |  1681456 |  1620122 |     2071   1938 |        0 |        0
528.23/528.47	c  528s |      22 |  1687535 |  1625822 |     2071   1943 |        0 |        0
530.23/530.48	c  530s |      22 |  1693366 |  1631422 |     2071   1948 |        0 |        0
532.33/532.51	c  532s |      22 |  1699217 |  1637022 |     2071   1953 |        0 |        0
534.33/534.54	c  534s |      22 |  1705223 |  1642722 |     2071   1958 |        0 |        0
536.32/536.55	c  536s |      22 |  1711256 |  1648422 |     2071   1964 |        0 |        0
538.32/538.57	c  538s |      22 |  1717199 |  1654222 |     2071   1969 |        0 |        0
540.32/540.59	c  540s |      22 |  1723209 |  1660122 |     2071   1974 |        0 |        0
542.42/542.63	c  542s |      22 |  1729348 |  1666122 |     2071   1980 |        0 |        0
544.43/544.66	c  544s |      22 |  1735232 |  1671822 |     2071   1985 |        0 |        0
546.42/546.66	c  546s |      22 |  1741169 |  1677522 |     2071   1990 |        0 |        0
548.42/548.70	c  548s |      22 |  1747305 |  1683322 |     2071   1995 |        0 |        0
550.52/550.73	c  550s |      22 |  1753410 |  1689222 |     2071   2001 |        0 |        0
552.52/552.74	c  552s |      22 |  1759489 |  1695022 |     2071   2006 |        0 |        0
554.51/554.75	c  554s |      22 |  1765296 |  1700622 |     2071   2011 |        0 |        0
556.51/556.78	c  556s |      22 |  1771004 |  1706122 |     2071   2016 |        0 |        0
558.61/558.81	c  558s |      22 |  1776852 |  1711622 |     2071   2021 |        0 |        0
560.61/560.85	c  560s |      22 |  1783117 |  1717622 |     2071   2027 |        0 |        0
562.61/562.87	c  562s |      22 |  1789184 |  1723522 |     2071   2032 |        0 |        0
564.71/564.90	c  564s |      22 |  1795167 |  1729322 |     2071   2037 |        0 |        0
566.70/566.92	c  566s |      22 |  1801212 |  1735222 |     2071   2043 |        0 |        0
568.71/568.95	c  568s |      22 |  1807187 |  1741022 |     2071   2048 |        0 |        0
570.70/570.96	c  570s |      22 |  1813236 |  1746922 |     2071   2053 |        0 |        0
572.70/572.99	c  572s |      22 |  1819119 |  1752622 |     2071   2059 |        0 |        0
574.70/574.99	c  574s |      22 |  1824684 |  1758022 |     2071   2064 |        0 |        0
576.80/577.02	c  577s |      22 |  1830527 |  1763722 |     2071   2069 |        0 |        0
578.80/579.03	c  579s |      22 |  1836137 |  1769222 |     2071   2074 |        0 |        0
580.80/581.03	c  581s |      22 |  1842002 |  1774922 |     2071   2079 |        0 |        0
582.79/583.03	c  583s |      22 |  1848019 |  1780722 |     2071   2084 |        0 |        0
584.79/585.04	c  585s |      22 |  1854029 |  1786522 |     2071   2089 |        0 |        0
586.79/587.04	c  587s |      22 |  1859834 |  1792222 |     2071   2095 |        0 |        0
588.80/589.06	c  589s |      22 |  1865919 |  1797922 |     2071   2100 |        0 |        0
590.80/591.07	c  591s |      22 |  1871697 |  1803522 |     2071   2105 |        0 |        0
592.90/593.11	c  593s |      22 |  1877475 |  1809122 |     2071   2110 |        0 |        0
594.90/595.12	c  595s |      22 |  1883217 |  1814722 |     2071   2115 |        0 |        0
596.89/597.14	c  597s |      22 |  1888987 |  1820222 |     2071   2120 |        0 |        0
598.89/599.14	c  599s |      22 |  1894786 |  1825822 |     2071   2125 |        0 |        0
600.89/601.16	c  601s |      22 |  1900626 |  1831522 |     2071   2131 |        0 |        0
602.89/603.18	c  603s |      22 |  1906454 |  1837122 |     2071   2136 |        0 |        0
604.90/605.20	c  605s |      22 |  1912247 |  1842722 |     2071   2141 |        0 |        0
606.99/607.22	c  607s |      22 |  1917859 |  1848222 |     2071   2146 |        0 |        0
608.99/609.24	c  609s |      22 |  1923282 |  1853522 |     2071   2151 |        0 |        0
610.99/611.26	c  611s |      22 |  1929939 |  1859622 |     2071   2156 |        0 |        0
612.99/613.28	c  613s |      22 |  1936036 |  1865422 |     2071   2161 |        0 |        0
615.09/615.32	c  615s |      22 |  1942023 |  1871222 |     2071   2167 |        0 |        0
617.09/617.33	c  617s |      22 |  1948300 |  1877222 |     2071   2172 |        0 |        0
619.08/619.35	c  619s |      22 |  1954229 |  1882922 |     2071   2177 |        0 |        0
621.08/621.36	c  621s |      22 |  1959960 |  1888422 |     2071   2182 |        0 |        0
623.08/623.39	c  623s |      22 |  1965623 |  1893922 |     2071   2187 |        0 |        0
625.18/625.40	c  625s |      22 |  1971355 |  1899422 |     2071   2192 |        0 |        0
627.18/627.41	c  627s |      22 |  1976770 |  1904622 |     2071   2197 |        0 |        0
629.18/629.42	c  629s |      22 |  1982679 |  1910222 |     2071   2202 |        0 |        0
631.18/631.44	c  631s |      22 |  1988274 |  1915622 |     2071   2207 |        0 |        0
633.18/633.48	c  633s |      22 |  1993714 |  1920822 |     2071   2212 |        0 |        0
635.18/635.48	c  635s |      22 |  1999298 |  1926222 |     2071   2217 |        0 |        0
637.27/637.52	c  637s |      22 |  2004894 |  1931622 |     2071   2222 |        0 |        0
639.27/639.52	c  639s |      22 |  2010231 |  1936822 |     2071   2227 |        0 |        0
641.28/641.55	c  641s |      22 |  2015725 |  1942122 |     2071   2231 |        0 |        0
643.27/643.56	c  643s |      22 |  2021835 |  1948022 |     2071   2237 |        0 |        0
645.27/645.58	c  645s |      22 |  2027686 |  1953622 |     2071   2242 |        0 |        0
647.37/647.60	c  647s |      22 |  2033444 |  1959222 |     2071   2247 |        0 |        0
649.37/649.62	c  649s |      22 |  2039514 |  1965022 |     2071   2252 |        0 |        0
651.37/651.63	c  651s |      22 |  2045152 |  1970522 |     2071   2257 |        0 |        0
653.37/653.67	c  653s |      22 |  2050846 |  1975922 |     2071   2262 |        0 |        0
655.36/655.68	c  655s |      22 |  2056348 |  1981322 |     2071   2267 |        0 |        0
657.46/657.71	c  657s |      22 |  2062216 |  1987022 |     2071   2272 |        0 |        0
659.46/659.72	c  659s |      22 |  2067831 |  1992422 |     2071   2277 |        0 |        0
661.46/661.76	c  661s |      22 |  2073487 |  1997922 |     2071   2282 |        0 |        0
663.56/663.80	c  663s |      22 |  2079088 |  2003422 |     2071   2287 |        0 |        0
665.56/665.83	c  665s |      22 |  2084474 |  2008722 |     2071   2292 |        0 |        0
667.56/667.83	c  667s |      22 |  2089906 |  2014022 |     2071   2297 |        0 |        0
669.56/669.85	c  669s |      22 |  2095583 |  2019522 |     2071   2302 |        0 |        0
671.56/671.87	c  671s |      22 |  2101145 |  2024922 |     2071   2307 |        0 |        0
673.66/673.91	c  673s |      22 |  2106572 |  2030122 |     2071   2312 |        0 |        0
675.65/675.94	c  675s |      22 |  2111977 |  2035322 |     2071   2316 |        0 |        0
677.65/677.95	c  677s |      22 |  2117574 |  2040722 |     2071   2321 |        0 |        0
679.66/679.98	c  679s |      22 |  2123018 |  2046022 |     2071   2326 |        0 |        0
681.75/682.00	c  681s |      22 |  2128399 |  2051222 |     2071   2331 |        0 |        0
683.75/684.03	c  684s |      22 |  2133741 |  2056422 |     2071   2336 |        0 |        0
685.75/686.04	c  686s |      22 |  2138972 |  2061522 |     2071   2340 |        0 |        0
687.75/688.06	c  688s |      22 |  2144663 |  2067022 |     2071   2345 |        0 |        0
689.75/690.08	c  690s |      22 |  2150776 |  2073022 |     2071   2351 |        0 |        0
691.76/692.08	c  692s |      22 |  2156513 |  2078622 |     2071   2356 |        0 |        0
693.85/694.10	c  694s |      22 |  2162613 |  2084522 |     2071   2361 |        0 |        0
695.85/696.12	c  696s |      22 |  2168404 |  2090222 |     2071   2366 |        0 |        0
697.84/698.16	c  698s |      22 |  2174141 |  2095822 |     2071   2372 |        0 |        0
699.84/700.20	c  700s |      22 |  2179985 |  2101522 |     2071   2377 |        0 |        0
701.94/702.21	c  702s |      22 |  2185754 |  2107122 |     2071   2382 |        0 |        0
703.95/704.23	c  704s |      22 |  2191303 |  2112622 |     2071   2387 |        0 |        0
705.94/706.25	c  706s |      22 |  2197232 |  2118322 |     2071   2392 |        0 |        0
707.94/708.26	c  708s |      22 |  2202890 |  2123822 |     2071   2397 |        0 |        0
709.94/710.27	c  710s |      22 |  2208441 |  2129222 |     2071   2402 |        0 |        0
712.04/712.30	c  712s |      22 |  2214076 |  2134722 |     2071   2407 |        0 |        0
714.04/714.32	c  714s |      22 |  2220097 |  2140522 |     2071   2412 |        0 |        0
716.04/716.33	c  716s |      22 |  2226024 |  2146022 |     2071   2417 |        0 |        0
718.03/718.35	c  718s |      22 |  2232060 |  2151522 |     2071   2422 |        0 |        0
720.03/720.37	c  720s |      22 |  2237814 |  2156822 |     2071   2427 |        0 |        0
722.03/722.39	c  722s |      22 |  2243415 |  2162022 |     2071   2432 |        0 |        0
724.03/724.40	c  724s |      22 |  2249163 |  2167522 |     2071   2437 |        0 |        0
726.13/726.43	c  726s |      22 |  2255016 |  2173222 |     2071   2442 |        0 |        0
728.14/728.43	c  728s |      22 |  2260522 |  2178622 |     2071   2447 |        0 |        0
730.14/730.43	c  730s |      22 |  2266059 |  2184022 |     2071   2452 |        0 |        0
732.14/732.46	c  732s |      22 |  2271607 |  2189422 |     2071   2457 |        0 |        0
734.14/734.48	c  734s |      22 |  2277009 |  2194622 |     2071   2462 |        0 |        0
736.23/736.51	c  736s |      22 |  2282318 |  2199822 |     2071   2466 |        0 |        0
738.23/738.52	c  738s |      22 |  2287799 |  2204922 |     2071   2471 |        0 |        0
740.24/740.55	c  740s |      22 |  2293435 |  2210422 |     2071   2476 |        0 |        0
742.23/742.56	c  742s |      22 |  2299030 |  2215822 |     2071   2481 |        0 |        0
744.23/744.57	c  744s |      22 |  2304388 |  2221022 |     2071   2486 |        0 |        0
746.23/746.58	c  746s |      22 |  2309779 |  2226222 |     2071   2490 |        0 |        0
748.33/748.60	c  748s |      22 |  2314958 |  2231322 |     2071   2495 |        0 |        0
750.33/750.63	c  750s |      22 |  2320440 |  2236622 |     2279   2500 |        0 |        0
752.33/752.63	c  752s |      22 |  2325728 |  2241622 |     2279   2504 |        0 |        0
754.33/754.64	c  754s |      22 |  2331302 |  2247022 |     2279   2508 |        0 |        0
755.82/756.16	c  756s |      23 |  2335386 |  2251038 |     2279   2512 |        0 |        0
757.83/758.19	c  758s |      23 |  2341318 |  2256738 |     2279   2516 |        0 |        0
759.82/760.19	c  760s |      23 |  2346928 |  2262238 |     2279   2521 |        0 |        0
761.92/762.22	c  762s |      23 |  2352552 |  2267538 |     2279   2525 |        0 |        0
763.92/764.24	c  764s |      23 |  2357909 |  2272738 |     2279   2530 |        0 |        0
765.92/766.25	c  766s |      23 |  2363750 |  2278438 |     2279   2534 |        0 |        0
767.92/768.25	c  768s |      23 |  2369403 |  2283938 |     2279   2539 |        0 |        0
769.92/770.27	c  770s |      23 |  2374980 |  2289338 |     2279   2543 |        0 |        0
771.92/772.30	c  772s |      23 |  2380427 |  2294638 |     2279   2548 |        0 |        0
774.01/774.30	c  774s |      23 |  2386172 |  2300238 |     2279   2553 |        0 |        0
776.01/776.30	c  776s |      23 |  2391632 |  2305538 |     2279   2557 |        0 |        0
778.01/778.31	c  778s |      23 |  2396930 |  2310738 |     2279   2561 |        0 |        0
780.01/780.34	c  780s |      23 |  2402395 |  2316138 |     2279   2566 |        0 |        0
782.02/782.35	c  782s |      23 |  2407743 |  2321338 |     2279   2570 |        0 |        0
784.01/784.39	c  784s |      23 |  2413796 |  2327238 |     2279   2575 |        0 |        0
786.11/786.40	c  786s |      23 |  2419638 |  2332838 |     2279   2580 |        0 |        0
788.11/788.40	c  788s |      23 |  2425110 |  2338138 |     2279   2584 |        0 |        0
790.10/790.43	c  790s |      23 |  2430674 |  2343538 |     2279   2589 |        0 |        0
792.10/792.44	c  792s |      23 |  2436155 |  2348838 |     2279   2593 |        0 |        0
794.11/794.45	c  794s |      23 |  2441939 |  2354338 |     2279   2598 |        0 |        0
796.10/796.45	c  796s |      23 |  2447523 |  2359638 |     2279   2602 |        0 |        0
798.10/798.48	c  798s |      23 |  2453071 |  2365038 |     2279   2606 |        0 |        0
800.20/800.50	c  800s |      23 |  2458352 |  2370138 |     2279   2611 |        0 |        0
802.20/802.52	c  802s |      23 |  2463986 |  2375638 |     2279   2615 |        0 |        0
804.20/804.55	c  804s |      23 |  2469463 |  2380938 |     2279   2620 |        0 |        0
806.21/806.58	c  806s |      23 |  2475193 |  2386338 |     2279   2624 |        0 |        0
808.20/808.59	c  808s |      23 |  2480417 |  2391338 |     2279   2628 |        0 |        0
810.30/810.61	c  810s |      23 |  2486116 |  2396638 |     2279   2633 |        0 |        0
812.30/812.64	c  812s |      23 |  2491741 |  2401938 |     2279   2637 |        0 |        0
814.30/814.64	c  814s |      23 |  2497109 |  2407038 |     2279   2641 |        0 |        0
816.30/816.67	c  816s |      23 |  2502359 |  2412138 |     2279   2646 |        0 |        0
818.30/818.68	c  818s |      23 |  2507749 |  2417338 |     2279   2650 |        0 |        0
820.40/820.73	c  820s |      23 |  2513271 |  2422738 |     2279   2655 |        0 |        0
822.40/822.76	c  822s |      23 |  2518802 |  2428138 |     2279   2659 |        0 |        0
824.40/824.78	c  824s |      23 |  2524221 |  2433338 |     2279   2663 |        0 |        0
826.39/826.79	c  826s |      23 |  2529935 |  2438738 |     2279   2668 |        0 |        0
828.49/828.80	c  828s |      23 |  2535367 |  2444038 |     2279   2672 |        0 |        0
830.49/830.82	c  830s |      23 |  2540752 |  2449238 |     2279   2677 |        0 |        0
832.50/832.82	c  832s |      23 |  2546137 |  2454438 |     2279   2681 |        0 |        0
834.49/834.83	c  834s |      23 |  2551679 |  2459838 |     2279   2685 |        0 |        0
836.48/836.84	c  836s |      23 |  2556919 |  2464938 |     2279   2690 |        0 |        0
838.48/838.86	c  838s |      23 |  2562280 |  2470138 |     2279   2694 |        0 |        0
840.48/840.86	c  840s |      23 |  2567481 |  2475238 |     2279   2698 |        0 |        0
842.49/842.87	c  842s |      23 |  2572632 |  2480238 |     2279   2702 |        0 |        0
844.48/844.88	c  844s |      23 |  2577806 |  2485338 |     2279   2707 |        0 |        0
846.48/846.89	c  846s |      23 |  2583138 |  2490538 |     2279   2711 |        0 |        0
848.58/848.92	c  848s |      23 |  2588358 |  2495638 |     2279   2715 |        0 |        0
850.58/850.94	c  850s |      23 |  2593570 |  2500638 |     2279   2719 |        0 |        0
852.58/852.95	c  852s |      23 |  2598808 |  2505738 |     2279   2724 |        0 |        0
854.59/854.96	c  854s |      23 |  2604450 |  2511238 |     2279   2728 |        0 |        0
856.57/856.96	c  856s |      23 |  2609717 |  2516438 |     2279   2733 |        0 |        0
858.67/859.00	c  858s |      23 |  2615171 |  2521738 |     2279   2737 |        0 |        0
860.67/861.01	c  860s |      23 |  2620588 |  2526938 |     2279   2741 |        0 |        0
862.67/863.04	c  863s |      23 |  2626072 |  2532338 |     2279   2746 |        0 |        0
864.67/865.05	c  865s |      23 |  2631360 |  2537538 |     2279   2750 |        0 |        0
866.68/867.08	c  867s |      23 |  2636466 |  2542438 |     2279   2754 |        0 |        0
868.78/869.10	c  869s |      23 |  2642192 |  2547838 |     2279   2759 |        0 |        0
870.77/871.12	c  871s |      23 |  2647627 |  2553038 |     2279   2763 |        0 |        0
872.77/873.15	c  873s |      23 |  2653024 |  2558138 |     2279   2767 |        0 |        0
874.77/875.17	c  875s |      23 |  2658250 |  2563138 |     2279   2771 |        0 |        0
876.76/877.17	c  877s |      23 |  2663766 |  2568438 |     2279   2776 |        0 |        0
878.77/879.18	c  879s |      23 |  2669205 |  2573738 |     2279   2780 |        0 |        0
880.87/881.24	c  881s |      23 |  2674509 |  2578938 |     2279   2785 |        0 |        0
882.86/883.27	c  883s |      23 |  2679823 |  2584138 |     2279   2789 |        0 |        0
884.86/885.27	c  885s |      23 |  2685016 |  2589138 |     2279   2793 |        0 |        0
886.96/887.30	c  887s |      23 |  2690319 |  2594238 |     2279   2797 |        0 |        0
888.96/889.34	c  889s |      23 |  2695567 |  2599338 |     2279   2802 |        0 |        0
890.96/891.35	c  891s |      23 |  2700986 |  2604638 |     2279   2806 |        0 |        0
892.97/893.36	c  893s |      23 |  2706192 |  2609738 |     2279   2810 |        0 |        0
894.96/895.38	c  895s |      23 |  2711353 |  2614738 |     2279   2814 |        0 |        0
896.96/897.38	c  897s |      23 |  2716222 |  2619538 |     2279   2818 |        0 |        0
899.06/899.42	c  899s |      23 |  2721346 |  2624538 |     2279   2823 |        0 |        0
901.06/901.42	c  901s |      23 |  2726595 |  2629738 |     2279   2827 |        0 |        0
903.06/903.45	c  903s |      23 |  2731933 |  2634938 |     2279   2831 |        0 |        0
905.06/905.46	c  905s |      23 |  2737127 |  2640038 |     2279   2835 |        0 |        0
907.16/907.50	c  907s |      23 |  2742287 |  2644938 |     2279   2840 |        0 |        0
909.16/909.54	c  909s |      23 |  2747399 |  2649938 |     2279   2844 |        0 |        0
911.16/911.58	c  911s |      23 |  2752489 |  2654938 |     2279   2848 |        0 |        0
913.26/913.60	c  913s |      23 |  2757510 |  2659838 |     2279   2852 |        0 |        0
915.26/915.65	c  915s |      23 |  2762545 |  2664738 |     2279   2856 |        0 |        0
917.27/917.66	c  917s |      23 |  2767490 |  2669538 |     2279   2860 |        0 |        0
919.26/919.69	c  919s |      23 |  2773227 |  2675038 |     2279   2865 |        0 |        0
921.36/921.70	c  921s |      23 |  2778696 |  2680338 |     2279   2869 |        0 |        0
923.36/923.74	c  923s |      23 |  2784294 |  2685738 |     2279   2874 |        0 |        0
925.36/925.75	c  925s |      23 |  2789631 |  2690938 |     2279   2878 |        0 |        0
927.36/927.77	c  927s |      23 |  2795112 |  2696238 |     2279   2882 |        0 |        0
929.37/929.79	c  929s |      23 |  2800535 |  2701538 |     2279   2887 |        0 |        0
931.47/931.82	c  931s |      23 |  2805907 |  2706738 |     2279   2891 |        0 |        0
933.46/933.84	c  933s |      23 |  2811211 |  2711838 |     2279   2895 |        0 |        0
935.46/935.86	c  935s |      23 |  2816593 |  2717038 |     2279   2900 |        0 |        0
937.46/937.89	c  937s |      23 |  2821924 |  2722138 |     2279   2904 |        0 |        0
939.56/939.90	c  939s |      23 |  2826881 |  2726938 |     2279   2908 |        0 |        0
941.56/941.91	c  941s |      23 |  2831897 |  2731738 |     2279   2912 |        0 |        0
943.56/943.95	c  943s |      23 |  2837332 |  2736938 |     2279   2916 |        0 |        0
945.56/945.95	c  945s |      23 |  2842461 |  2741938 |     2279   2920 |        0 |        0
947.56/947.97	c  947s |      23 |  2847462 |  2746838 |     2279   2924 |        0 |        0
949.65/950.01	c  949s |      23 |  2852617 |  2751838 |     2279   2929 |        0 |        0
951.65/952.01	c  951s |      23 |  2857734 |  2756738 |     2279   2933 |        0 |        0
953.65/954.06	c  954s |      23 |  2862526 |  2761338 |     2279   2937 |        0 |        0
955.66/956.09	c  956s |      23 |  2867842 |  2766538 |     2279   2941 |        0 |        0
957.75/958.10	c  958s |      23 |  2872976 |  2771438 |     2279   2945 |        0 |        0
959.75/960.13	c  960s |      23 |  2877983 |  2776238 |     2279   2949 |        0 |        0
961.75/962.14	c  962s |      23 |  2882942 |  2780938 |     2279   2953 |        0 |        0
963.75/964.17	c  964s |      23 |  2887807 |  2785638 |     2279   2957 |        0 |        0
965.75/966.19	c  966s |      23 |  2893106 |  2790738 |     2279   2961 |        0 |        0
967.76/968.20	c  968s |      23 |  2898452 |  2795838 |     2279   2965 |        0 |        0
969.85/970.22	c  970s |      23 |  2903622 |  2800838 |     2279   2969 |        0 |        0
971.85/972.27	c  972s |      23 |  2908630 |  2805638 |     2279   2973 |        0 |        0
973.85/974.29	c  974s |      23 |  2913615 |  2810438 |     2279   2977 |        0 |        0
975.95/976.33	c  976s |      23 |  2918845 |  2815338 |     2279   2981 |        0 |        0
977.95/978.37	c  978s |      23 |  2923912 |  2820138 |     2279   2985 |        0 |        0
979.96/980.38	c  980s |      23 |  2928928 |  2824938 |     2279   2989 |        0 |        0
981.95/982.38	c  982s |      23 |  2934263 |  2830038 |     2279   2994 |        0 |        0
984.05/984.42	c  984s |      23 |  2940027 |  2835638 |     2279   2998 |        0 |        0
986.05/986.43	c  986s |      23 |  2945532 |  2841038 |     2279   3003 |        0 |        0
988.05/988.46	c  988s |      23 |  2951004 |  2846338 |     2279   3007 |        0 |        0
990.05/990.47	c  990s |      23 |  2956318 |  2851338 |     2279   3011 |        0 |        0
992.05/992.49	c  992s |      23 |  2961701 |  2856538 |     2279   3016 |        0 |        0
994.15/994.52	c  994s |      23 |  2967049 |  2861738 |     2279   3020 |        0 |        0
996.15/996.53	c  996s |      23 |  2972419 |  2866938 |     2279   3024 |        0 |        0
998.15/998.55	c  998s |      23 |  2977609 |  2872038 |     2279   3029 |        0 |        0
1000.15/1000.57	c 1000s |      23 |  2982732 |  2877038 |     2279   3033 |        0 |        0
1002.24/1002.62	c 1002s |      23 |  2987918 |  2882138 |     2279   3037 |        0 |        0
1004.24/1004.64	c 1004s |      23 |  2993256 |  2887338 |     2279   3041 |        0 |        0
1006.25/1006.68	c 1006s |      23 |  2998291 |  2892238 |     2279   3045 |        0 |        0
1008.24/1008.69	c 1008s |      23 |  3003347 |  2897138 |     2279   3050 |        0 |        0
1010.34/1010.71	c 1010s |      23 |  3008855 |  2902438 |     2279   3054 |        0 |        0
1012.34/1012.72	c 1012s |      23 |  3014003 |  2907438 |     2279   3058 |        0 |        0
1014.34/1014.74	c 1014s |      23 |  3019012 |  2912338 |     2279   3062 |        0 |        0
1016.34/1016.77	c 1016s |      23 |  3024045 |  2917238 |     2279   3066 |        0 |        0
1018.35/1018.79	c 1018s |      23 |  3028945 |  2922038 |     2279   3070 |        0 |        0
1020.34/1020.79	c 1020s |      23 |  3034167 |  2927138 |     2279   3075 |        0 |        0
1022.44/1022.82	c 1022s |      23 |  3039261 |  2932138 |     2279   3079 |        0 |        0
1024.44/1024.86	c 1024s |      23 |  3044247 |  2937038 |     2279   3083 |        0 |        0
1026.44/1026.87	c 1026s |      23 |  3049178 |  2941838 |     2279   3087 |        0 |        0
1028.44/1028.87	c 1028s |      23 |  3054105 |  2946638 |     2279   3091 |        0 |        0
1030.44/1030.90	c 1030s |      23 |  3059289 |  2951638 |     2279   3095 |        0 |        0
1032.54/1032.92	c 1032s |      23 |  3064553 |  2956738 |     2279   3099 |        0 |        0
1034.54/1034.94	c 1034s |      23 |  3069577 |  2961638 |     2279   3103 |        0 |        0
1036.54/1036.95	c 1036s |      23 |  3074710 |  2966638 |     2279   3107 |        0 |        0
1038.54/1038.97	c 1038s |      23 |  3079717 |  2971538 |     2279   3112 |        0 |        0
1040.54/1040.99	c 1040s |      23 |  3084661 |  2976338 |     2279   3116 |        0 |        0
1042.65/1043.01	c 1042s |      23 |  3089619 |  2981138 |     2279   3120 |        0 |        0
1044.64/1045.04	c 1045s |      23 |  3094651 |  2986038 |     2279   3124 |        0 |        0
1046.64/1047.05	c 1047s |      23 |  3099560 |  2990838 |     2279   3128 |        0 |        0
1048.64/1049.06	c 1049s |      23 |  3104637 |  2995738 |     2279   3132 |        0 |        0
1050.64/1051.06	c 1051s |      23 |  3109526 |  3000538 |     2279   3136 |        0 |        0
1052.64/1053.08	c 1053s |      23 |  3114401 |  3005338 |     2279   3140 |        0 |        0
1054.65/1055.10	c 1055s |      23 |  3119297 |  3010038 |     2279   3144 |        0 |        0
1056.74/1057.11	c 1057s |      23 |  3124876 |  3015338 |     2279   3148 |        0 |        0
1058.74/1059.14	c 1059s |      23 |  3130130 |  3020438 |     2279   3152 |        0 |        0
1060.74/1061.18	c 1061s |      23 |  3135345 |  3025538 |     2279   3157 |        0 |        0
1062.84/1063.20	c 1063s |      23 |  3140649 |  3030638 |     2279   3161 |        0 |        0
1064.84/1065.23	c 1065s |      23 |  3145801 |  3035638 |     2279   3165 |        0 |        0
1066.85/1067.26	c 1067s |      23 |  3151035 |  3040738 |     2279   3169 |        0 |        0
1068.84/1069.27	c 1069s |      23 |  3156111 |  3045638 |     2279   3173 |        0 |        0
1070.94/1071.30	c 1071s |      23 |  3161187 |  3050638 |     2279   3177 |        0 |        0
1072.94/1073.34	c 1073s |      23 |  3166196 |  3055538 |     2279   3182 |        0 |        0
1074.94/1075.38	c 1075s |      23 |  3171039 |  3060238 |     2279   3186 |        0 |        0
1076.94/1077.38	c 1077s |      23 |  3176068 |  3065038 |     2279   3190 |        0 |        0
1079.04/1079.43	c 1079s |      23 |  3181209 |  3069838 |     2279   3194 |        0 |        0
1081.04/1081.45	c 1081s |      23 |  3186092 |  3074538 |     2279   3197 |        0 |        0
1083.04/1083.48	c 1083s |      23 |  3190875 |  3079138 |     2279   3201 |        0 |        0
1085.04/1085.49	c 1085s |      23 |  3195822 |  3083838 |     2279   3205 |        0 |        0
1087.14/1087.51	c 1087s |      23 |  3200813 |  3088638 |     2279   3209 |        0 |        0
1089.14/1089.54	c 1089s |      23 |  3205684 |  3093238 |     2279   3213 |        0 |        0
1091.14/1091.55	c 1091s |      23 |  3210668 |  3097938 |     2279   3217 |        0 |        0
1093.14/1093.56	c 1093s |      23 |  3215410 |  3102538 |     2279   3221 |        0 |        0
1095.13/1095.58	c 1095s |      23 |  3220134 |  3107138 |     2279   3225 |        0 |        0
1097.13/1097.59	c 1097s |      23 |  3225630 |  3112538 |     2279   3229 |        0 |        0
1099.23/1099.61	c 1099s |      23 |  3231201 |  3117938 |     2279   3234 |        0 |        0
1101.23/1101.62	c 1101s |      23 |  3236699 |  3123238 |     2279   3238 |        0 |        0
1103.23/1103.65	c 1103s |      23 |  3242136 |  3128438 |     2279   3242 |        0 |        0
1105.24/1105.67	c 1105s |      23 |  3247369 |  3133538 |     2279   3247 |        0 |        0
1107.33/1107.70	c 1107s |      23 |  3252819 |  3138838 |     2279   3251 |        0 |        0
1109.33/1109.73	c 1109s |      23 |  3258229 |  3144138 |     2279   3255 |        0 |        0
1111.33/1111.74	c 1111s |      23 |  3263407 |  3149138 |     2279   3260 |        0 |        0
1113.33/1113.76	c 1113s |      23 |  3268606 |  3154138 |     2279   3264 |        0 |        0
1115.33/1115.77	c 1115s |      23 |  3273828 |  3159238 |     2279   3268 |        0 |        0
1117.34/1117.78	c 1117s |      23 |  3278931 |  3164138 |     2279   3272 |        0 |        0
1119.43/1119.81	c 1119s |      23 |  3284089 |  3169038 |     2279   3276 |        0 |        0
1121.43/1121.82	c 1121s |      23 |  3289163 |  3173838 |     2279   3280 |        0 |        0
1123.43/1123.86	c 1123s |      23 |  3294347 |  3178838 |     2279   3284 |        0 |        0
1125.43/1125.87	c 1125s |      23 |  3299661 |  3184038 |     2279   3289 |        0 |        0
1127.43/1127.88	c 1127s |      23 |  3304993 |  3189238 |     2279   3293 |        0 |        0
1129.44/1129.90	c 1129s |      23 |  3310343 |  3194438 |     2279   3297 |        0 |        0
1131.53/1131.91	c 1131s |      23 |  3315484 |  3199438 |     2279   3301 |        0 |        0
1133.53/1133.92	c 1133s |      23 |  3321071 |  3204838 |     2279   3306 |        0 |        0
1135.53/1135.95	c 1135s |      23 |  3326532 |  3210138 |     2279   3310 |        0 |        0
1137.53/1137.97	c 1137s |      23 |  3331768 |  3215138 |     2279   3315 |        0 |        0
1139.63/1140.00	c 1139s |      23 |  3336956 |  3220138 |     2279   3319 |        0 |        0
1141.63/1142.00	c 1141s |      23 |  3341956 |  3225038 |     2279   3323 |        0 |        0
1143.63/1144.01	c 1143s |      23 |  3347219 |  3230138 |     2279   3327 |        0 |        0
1145.63/1146.02	c 1146s |      23 |  3352255 |  3235038 |     2279   3331 |        0 |        0
1147.63/1148.03	c 1148s |      23 |  3357119 |  3239838 |     2279   3335 |        0 |        0
1149.63/1150.05	c 1150s |      23 |  3362357 |  3244938 |     2279   3339 |        0 |        0
1151.63/1152.08	c 1152s |      23 |  3367523 |  3249938 |     2279   3344 |        0 |        0
1153.63/1154.08	c 1154s |      23 |  3372563 |  3254838 |     2279   3348 |        0 |        0
1155.73/1156.11	c 1156s |      23 |  3377411 |  3259538 |     2279   3352 |        0 |        0
1157.73/1158.14	c 1158s |      23 |  3382828 |  3264838 |     2279   3356 |        0 |        0
1159.72/1160.15	c 1160s |      23 |  3388022 |  3269938 |     2279   3360 |        0 |        0
1161.72/1162.16	c 1162s |      23 |  3393226 |  3275038 |     2279   3364 |        0 |        0
1163.72/1164.17	c 1164s |      23 |  3398259 |  3279938 |     2279   3369 |        0 |        0
1165.73/1166.18	c 1166s |      23 |  3403301 |  3284838 |     2279   3373 |        0 |        0
1167.82/1168.21	c 1168s |      23 |  3408619 |  3289938 |     2279   3377 |        0 |        0
1169.82/1170.25	c 1170s |      23 |  3413529 |  3294738 |     2279   3381 |        0 |        0
1171.82/1172.27	c 1172s |      23 |  3418797 |  3299838 |     2279   3385 |        0 |        0
1173.82/1174.27	c 1174s |      23 |  3423597 |  3304538 |     2279   3389 |        0 |        0
1175.82/1176.29	c 1176s |      23 |  3428611 |  3309438 |     2279   3393 |        0 |        0
1177.93/1178.32	c 1178s |      23 |  3433513 |  3314238 |     2279   3397 |        0 |        0
1179.92/1180.34	c 1180s |      23 |  3438394 |  3318938 |     2279   3401 |        0 |        0
1181.92/1182.35	c 1182s |      23 |  3443259 |  3323738 |     2279   3405 |        0 |        0
1183.92/1184.35	c 1184s |      23 |  3447968 |  3328338 |     2279   3409 |        0 |        0
1185.92/1186.38	c 1186s |      23 |  3453427 |  3333638 |     2279   3413 |        0 |        0
1188.02/1188.40	c 1188s |      23 |  3458368 |  3338438 |     2279   3417 |        0 |        0
1190.03/1190.42	c 1190s |      23 |  3463069 |  3343038 |     2279   3421 |        0 |        0
1192.02/1192.44	c 1192s |      23 |  3467764 |  3347638 |     2279   3425 |        0 |        0
1194.02/1194.47	c 1194s |      23 |  3472872 |  3352538 |     2507   3429 |        0 |        0
1196.12/1196.53	c 1196s |      23 |  3477805 |  3357338 |     2507   3433 |        0 |        0
1198.12/1198.54	c 1198s |      23 |  3482753 |  3362138 |     2507   3436 |        0 |        0
1200.12/1200.57	c 1200s |      23 |  3487714 |  3366938 |     2507   3440 |        0 |        0
1202.12/1202.59	c 1202s |      23 |  3492448 |  3371538 |     2507   3443 |        0 |        0
1204.22/1204.63	c 1204s |      23 |  3497585 |  3376438 |     2507   3447 |        0 |        0
1204.32/1204.72	c 1204s |      24 |  3497813 |  3376662 |     2507   3447 |        0 |        0
1206.32/1206.76	c 1206s |      24 |  3503595 |  3382162 |     2507   3451 |        0 |        0
1208.32/1208.79	c 1208s |      24 |  3509070 |  3387462 |     2507   3455 |        0 |        0
1210.42/1210.82	c 1210s |      24 |  3514465 |  3392662 |     2507   3459 |        0 |        0
1212.42/1212.82	c 1212s |      24 |  3519587 |  3397662 |     2507   3463 |        0 |        0
1214.41/1214.84	c 1214s |      24 |  3524726 |  3402662 |     2507   3467 |        0 |        0
1216.42/1216.87	c 1216s |      24 |  3530000 |  3407762 |     2507   3471 |        0 |        0
1218.52/1218.90	c 1218s |      24 |  3535306 |  3412862 |     2507   3475 |        0 |        0
1220.51/1220.91	c 1220s |      24 |  3540620 |  3418062 |     2507   3479 |        0 |        0
1222.51/1222.96	c 1222s |      24 |  3545720 |  3423062 |     2507   3483 |        0 |        0
1224.51/1224.97	c 1224s |      24 |  3550933 |  3428062 |     2507   3486 |        0 |        0
1226.61/1227.01	c 1226s |      24 |  3556302 |  3433262 |     2507   3490 |        0 |        0
1228.61/1229.02	c 1229s |      24 |  3561505 |  3438362 |     2507   3494 |        0 |        0
1230.62/1231.06	c 1231s |      24 |  3566613 |  3443362 |     2507   3498 |        0 |        0
1232.61/1233.06	c 1233s |      24 |  3571628 |  3448262 |     2507   3502 |        0 |        0
1234.61/1235.09	c 1235s |      24 |  3576596 |  3453162 |     2507   3505 |        0 |        0
1236.71/1237.10	c 1237s |      24 |  3581895 |  3458362 |     2507   3509 |        0 |        0
1238.71/1239.13	c 1239s |      24 |  3587336 |  3463562 |     2507   3513 |        0 |        0
1240.71/1241.16	c 1241s |      24 |  3592580 |  3468662 |     2507   3517 |        0 |        0
1242.72/1243.16	c 1243s |      24 |  3597708 |  3473662 |     2507   3521 |        0 |        0
1244.71/1245.18	c 1245s |      24 |  3603007 |  3478762 |     2507   3525 |        0 |        0
1246.81/1247.20	c 1247s |      24 |  3607997 |  3483662 |     2507   3529 |        0 |        0
1248.81/1249.23	c 1249s |      24 |  3613229 |  3488762 |     2507   3533 |        0 |        0
1250.81/1251.26	c 1251s |      24 |  3618406 |  3493762 |     2507   3536 |        0 |        0
1252.81/1253.29	c 1253s |      24 |  3623950 |  3499162 |     2507   3540 |        0 |        0
1254.81/1255.29	c 1255s |      24 |  3628993 |  3504062 |     2507   3544 |        0 |        0
1256.91/1257.32	c 1257s |      24 |  3634121 |  3509062 |     2507   3548 |        0 |        0
1258.91/1259.33	c 1259s |      24 |  3639202 |  3513962 |     2507   3552 |        0 |        0
1260.91/1261.36	c 1261s |      24 |  3644342 |  3518862 |     2507   3555 |        0 |        0
1262.91/1263.39	c 1263s |      24 |  3649419 |  3523762 |     2507   3559 |        0 |        0
1265.00/1265.42	c 1265s |      24 |  3655091 |  3529262 |     2507   3563 |        0 |        0
1267.01/1267.45	c 1267s |      24 |  3660645 |  3534662 |     2507   3567 |        0 |        0
1269.00/1269.45	c 1269s |      24 |  3665961 |  3539862 |     2507   3571 |        0 |        0
1271.00/1271.47	c 1271s |      24 |  3671178 |  3544962 |     2507   3575 |        0 |        0
1273.00/1273.49	c 1273s |      24 |  3676727 |  3550362 |     2507   3579 |        0 |        0
1275.10/1275.53	c 1275s |      24 |  3682158 |  3555562 |     2507   3583 |        0 |        0
1277.10/1277.53	c 1277s |      24 |  3687482 |  3560562 |     2507   3587 |        0 |        0
1279.11/1279.54	c 1279s |      24 |  3692655 |  3565562 |     2507   3591 |        0 |        0
1281.10/1281.56	c 1281s |      24 |  3697958 |  3570762 |     2507   3595 |        0 |        0
1283.10/1283.56	c 1283s |      24 |  3703010 |  3575662 |     2507   3599 |        0 |        0
1285.10/1285.59	c 1285s |      24 |  3708412 |  3580962 |     2507   3603 |        0 |        0
1287.20/1287.60	c 1287s |      24 |  3713497 |  3585962 |     2507   3606 |        0 |        0
1289.20/1289.63	c 1289s |      24 |  3718802 |  3591162 |     2507   3610 |        0 |        0
1291.21/1291.64	c 1291s |      24 |  3723831 |  3596062 |     2507   3614 |        0 |        0
1293.20/1293.66	c 1293s |      24 |  3729074 |  3601062 |     2507   3618 |        0 |        0
1295.20/1295.67	c 1295s |      24 |  3734535 |  3606362 |     2507   3622 |        0 |        0
1297.30/1297.70	c 1297s |      24 |  3739670 |  3611362 |     2507   3626 |        0 |        0
1299.30/1299.73	c 1299s |      24 |  3744816 |  3616362 |     2507   3630 |        0 |        0
1301.30/1301.75	c 1301s |      24 |  3749980 |  3621362 |     2507   3633 |        0 |        0
1303.30/1303.76	c 1303s |      24 |  3755127 |  3626362 |     2507   3637 |        0 |        0
1305.30/1305.77	c 1305s |      24 |  3760337 |  3631362 |     2507   3641 |        0 |        0
1307.30/1307.79	c 1307s |      24 |  3765231 |  3636162 |     2507   3645 |        0 |        0
1309.40/1309.82	c 1309s |      24 |  3770207 |  3640962 |     2507   3648 |        0 |        0
1311.39/1311.84	c 1311s |      24 |  3775577 |  3646162 |     2507   3652 |        0 |        0
1313.39/1313.86	c 1313s |      24 |  3780894 |  3651262 |     2507   3656 |        0 |        0
1315.40/1315.89	c 1315s |      24 |  3786061 |  3656262 |     2507   3660 |        0 |        0
1317.39/1317.90	c 1317s |      24 |  3791248 |  3661162 |     2507   3664 |        0 |        0
1319.49/1319.93	c 1319s |      24 |  3796345 |  3666062 |     2507   3667 |        0 |        0
1321.49/1321.95	c 1321s |      24 |  3801442 |  3670962 |     2507   3671 |        0 |        0
1323.49/1323.99	c 1323s |      24 |  3806678 |  3675962 |     2507   3675 |        0 |        0
1325.59/1326.04	c 1326s |      24 |  3811484 |  3680662 |     2507   3679 |        0 |        0
1327.59/1328.07	c 1328s |      24 |  3816476 |  3685462 |     2507   3682 |        0 |        0
1329.60/1330.10	c 1330s |      24 |  3821497 |  3690362 |     2507   3686 |        0 |        0
1331.69/1332.10	c 1332s |      24 |  3826426 |  3695062 |     2507   3689 |        0 |        0
1333.69/1334.11	c 1334s |      24 |  3832182 |  3700662 |     2507   3694 |        0 |        0
1335.69/1336.17	c 1336s |      24 |  3837888 |  3706262 |     2507   3698 |        0 |        0
1337.69/1338.17	c 1338s |      24 |  3843314 |  3711562 |     2507   3702 |        0 |        0
1339.69/1340.19	c 1340s |      24 |  3848667 |  3716762 |     2507   3706 |        0 |        0
1341.70/1342.19	c 1342s |      24 |  3853978 |  3721962 |     2507   3710 |        0 |        0
1343.79/1344.20	c 1344s |      24 |  3859388 |  3727262 |     2507   3714 |        0 |        0
1345.80/1346.21	c 1346s |      24 |  3864584 |  3732362 |     2507   3718 |        0 |        0
1347.80/1348.24	c 1348s |      24 |  3870066 |  3737662 |     2507   3722 |        0 |        0
1349.80/1350.25	c 1350s |      24 |  3875140 |  3742462 |     2507   3725 |        0 |        0
1351.80/1352.26	c 1352s |      24 |  3880551 |  3747562 |     2507   3729 |        0 |        0
1353.80/1354.26	c 1354s |      24 |  3886136 |  3752762 |     2507   3733 |        0 |        0
1355.80/1356.27	c 1356s |      24 |  3891172 |  3757662 |     2507   3737 |        0 |        0
1357.80/1358.28	c 1358s |      24 |  3896529 |  3762762 |     2507   3741 |        0 |        0
1359.90/1360.31	c 1360s |      24 |  3901814 |  3767862 |     2507   3745 |        0 |        0
1361.90/1362.35	c 1362s |      24 |  3907037 |  3772962 |     2507   3749 |        0 |        0
1363.89/1364.36	c 1364s |      24 |  3912282 |  3778062 |     2507   3753 |        0 |        0
1365.90/1366.37	c 1366s |      24 |  3917641 |  3783262 |     2507   3757 |        0 |        0
1367.99/1368.41	c 1368s |      24 |  3922721 |  3788262 |     2507   3760 |        0 |        0
1369.99/1370.42	c 1370s |      24 |  3927823 |  3793262 |     2507   3764 |        0 |        0
1371.99/1372.45	c 1372s |      24 |  3932976 |  3798262 |     2507   3768 |        0 |        0
1373.99/1374.48	c 1374s |      24 |  3938079 |  3803262 |     2507   3772 |        0 |        0
1375.99/1376.48	c 1376s |      24 |  3943371 |  3808362 |     2507   3776 |        0 |        0
1378.00/1378.49	c 1378s |      24 |  3948817 |  3813662 |     2507   3780 |        0 |        0
1380.09/1380.52	c 1380s |      24 |  3954236 |  3818962 |     2507   3784 |        0 |        0
1382.09/1382.54	c 1382s |      24 |  3959336 |  3823962 |     2507   3787 |        0 |        0
1384.09/1384.55	c 1384s |      24 |  3964317 |  3828862 |     2507   3791 |        0 |        0
1386.09/1386.56	c 1386s |      24 |  3969416 |  3833862 |     2507   3795 |        0 |        0
1388.09/1388.57	c 1388s |      24 |  3974434 |  3838762 |     2507   3799 |        0 |        0
1390.10/1390.59	c 1390s |      24 |  3979505 |  3843662 |     2507   3802 |        0 |        0
1392.19/1392.61	c 1392s |      24 |  3984554 |  3848562 |     2507   3806 |        0 |        0
1394.19/1394.65	c 1394s |      24 |  3989440 |  3853362 |     2507   3810 |        0 |        0
1396.19/1396.68	c 1396s |      24 |  3995030 |  3858762 |     2507   3814 |        0 |        0
1398.19/1398.69	c 1398s |      24 |  4000262 |  3863862 |     2507   3818 |        0 |        0
1400.29/1400.70	c 1400s |      24 |  4005431 |  3868962 |     2507   3822 |        0 |        0
1402.29/1402.75	c 1402s |      24 |  4010728 |  3874062 |     2507   3826 |        0 |        0
1404.29/1404.75	c 1404s |      24 |  4015935 |  3879062 |     2507   3829 |        0 |        0
1406.29/1406.78	c 1406s |      24 |  4020942 |  3883962 |     2507   3833 |        0 |        0
1408.29/1408.80	c 1408s |      24 |  4025947 |  3888862 |     2507   3837 |        0 |        0
1410.39/1410.82	c 1410s |      24 |  4030988 |  3893762 |     2507   3841 |        0 |        0
1412.39/1412.83	c 1412s |      24 |  4035867 |  3898562 |     2507   3844 |        0 |        0
1414.39/1414.83	c 1414s |      24 |  4040847 |  3903462 |     2507   3848 |        0 |        0
1416.39/1416.83	c 1416s |      24 |  4045736 |  3908262 |     2507   3852 |        0 |        0
1418.39/1418.83	c 1418s |      24 |  4050676 |  3913062 |     2507   3855 |        0 |        0
1420.39/1420.85	c 1420s |      24 |  4056265 |  3918462 |     2507   3859 |        0 |        0
1422.38/1422.85	c 1422s |      24 |  4061453 |  3923462 |     2507   3863 |        0 |        0
1424.38/1424.88	c 1424s |      24 |  4066681 |  3928562 |     2507   3867 |        0 |        0
1426.39/1426.89	c 1426s |      24 |  4071954 |  3933662 |     2507   3871 |        0 |        0
1428.38/1428.89	c 1428s |      24 |  4077132 |  3938662 |     2507   3875 |        0 |        0
1430.48/1430.92	c 1430s |      24 |  4082477 |  3943862 |     2507   3879 |        0 |        0
1432.48/1432.96	c 1432s |      24 |  4087697 |  3948962 |     2507   3883 |        0 |        0
1434.48/1434.97	c 1434s |      24 |  4092756 |  3953862 |     2507   3886 |        0 |        0
1436.58/1437.00	c 1436s |      24 |  4097850 |  3958662 |     2507   3890 |        0 |        0
1438.59/1439.02	c 1438s |      24 |  4102931 |  3963562 |     2507   3894 |        0 |        0
1440.58/1441.07	c 1441s |      24 |  4108195 |  3968662 |     2507   3898 |        0 |        0
1442.58/1443.07	c 1443s |      24 |  4113255 |  3973662 |     2507   3901 |        0 |        0
1444.58/1445.09	c 1445s |      24 |  4118306 |  3978562 |     2507   3905 |        0 |        0
1446.68/1447.10	c 1447s |      24 |  4123163 |  3983262 |     2507   3909 |        0 |        0
1448.68/1449.11	c 1449s |      24 |  4128207 |  3988162 |     2507   3912 |        0 |        0
1450.69/1451.13	c 1451s |      24 |  4133132 |  3992962 |     2507   3916 |        0 |        0
1452.68/1453.14	c 1453s |      24 |  4138069 |  3997762 |     2507   3920 |        0 |        0
1454.68/1455.15	c 1455s |      24 |  4142945 |  4002462 |     2507   3923 |        0 |        0
1456.68/1457.18	c 1457s |      24 |  4147998 |  4007362 |     2507   3927 |        0 |        0
1458.78/1459.20	c 1459s |      24 |  4153127 |  4012362 |     2507   3931 |        0 |        0
1460.78/1461.21	c 1461s |      24 |  4158153 |  4017262 |     2507   3935 |        0 |        0
1462.78/1463.22	c 1463s |      24 |  4163012 |  4021962 |     2507   3938 |        0 |        0
1464.78/1465.25	c 1465s |      24 |  4168359 |  4027062 |     2507   3942 |        0 |        0
1466.78/1467.29	c 1467s |      24 |  4173492 |  4032062 |     2507   3946 |        0 |        0
1468.87/1469.33	c 1469s |      24 |  4178402 |  4036862 |     2507   3950 |        0 |        0
1470.87/1471.36	c 1471s |      24 |  4183416 |  4041662 |     2507   3953 |        0 |        0
1472.87/1473.39	c 1473s |      24 |  4188448 |  4046562 |     2507   3957 |        0 |        0
1474.97/1475.42	c 1475s |      24 |  4193449 |  4051462 |     2507   3961 |        0 |        0
1476.98/1477.44	c 1477s |      24 |  4198454 |  4056362 |     2507   3964 |        0 |        0
1478.97/1479.45	c 1479s |      24 |  4203371 |  4061162 |     2507   3968 |        0 |        0
1480.97/1481.48	c 1481s |      24 |  4208330 |  4065962 |     2507   3972 |        0 |        0
1482.97/1483.48	c 1483s |      24 |  4213302 |  4070762 |     2507   3975 |        0 |        0
1485.07/1485.50	c 1485s |      24 |  4219106 |  4076362 |     2507   3980 |        0 |        0
1487.07/1487.53	c 1487s |      24 |  4224550 |  4081662 |     2507   3984 |        0 |        0
1489.08/1489.54	c 1489s |      24 |  4229841 |  4086862 |     2507   3988 |        0 |        0
1491.07/1491.58	c 1491s |      24 |  4235206 |  4092062 |     2507   3992 |        0 |        0
1493.07/1493.58	c 1493s |      24 |  4240525 |  4097262 |     2507   3995 |        0 |        0
1495.17/1495.60	c 1495s |      24 |  4245830 |  4102362 |     2507   3999 |        0 |        0
1497.17/1497.60	c 1497s |      24 |  4250997 |  4107362 |     2507   4003 |        0 |        0
1499.17/1499.60	c 1499s |      24 |  4256060 |  4112262 |     2507   4007 |        0 |        0
1501.17/1501.63	c 1501s |      24 |  4261262 |  4117362 |     2507   4011 |        0 |        0
1503.17/1503.68	c 1503s |      24 |  4266357 |  4122362 |     2507   4015 |        0 |        0
1505.17/1505.68	c 1505s |      24 |  4271704 |  4127562 |     2507   4018 |        0 |        0
1507.17/1507.69	c 1507s |      24 |  4277005 |  4132662 |     2507   4022 |        0 |        0
1509.27/1509.71	c 1509s |      24 |  4282325 |  4137762 |     2507   4026 |        0 |        0
1511.27/1511.71	c 1511s |      24 |  4287325 |  4142562 |     2507   4030 |        0 |        0
1513.27/1513.73	c 1513s |      24 |  4292516 |  4147462 |     2507   4034 |        0 |        0
1515.27/1515.77	c 1515s |      24 |  4297677 |  4152362 |     2507   4037 |        0 |        0
1517.27/1517.79	c 1517s |      24 |  4302921 |  4157462 |     2507   4041 |        0 |        0
1519.37/1519.81	c 1519s |      24 |  4308220 |  4162662 |     2507   4045 |        0 |        0
1521.36/1521.84	c 1521s |      24 |  4313423 |  4167662 |     2507   4049 |        0 |        0
1523.36/1523.87	c 1523s |      24 |  4318450 |  4172562 |     2507   4053 |        0 |        0
1525.37/1525.89	c 1525s |      24 |  4323382 |  4177362 |     2507   4056 |        0 |        0
1527.46/1527.92	c 1527s |      24 |  4328577 |  4182262 |     2507   4060 |        0 |        0
1529.46/1529.95	c 1529s |      24 |  4333509 |  4187062 |     2507   4064 |        0 |        0
1531.46/1531.99	c 1531s |      24 |  4338681 |  4192162 |     2507   4068 |        0 |        0
1533.56/1534.03	c 1534s |      24 |  4343868 |  4197162 |     2507   4071 |        0 |        0
1535.56/1536.04	c 1536s |      24 |  4348951 |  4202062 |     2507   4075 |        0 |        0
1537.57/1538.05	c 1538s |      24 |  4353854 |  4206862 |     2507   4079 |        0 |        0
1539.56/1540.09	c 1540s |      24 |  4358871 |  4211662 |     2507   4082 |        0 |        0
1541.66/1542.10	c 1542s |      24 |  4363801 |  4216462 |     2507   4086 |        0 |        0
1543.66/1544.10	c 1544s |      24 |  4368541 |  4221062 |     2507   4090 |        0 |        0
1545.66/1546.13	c 1546s |      24 |  4373957 |  4226362 |     2507   4094 |        0 |        0
1547.66/1548.15	c 1548s |      24 |  4379243 |  4231462 |     2507   4098 |        0 |        0
1549.67/1550.16	c 1550s |      24 |  4384346 |  4236362 |     2507   4101 |        0 |        0
1551.66/1552.18	c 1552s |      24 |  4389389 |  4241262 |     2507   4105 |        0 |        0
1553.66/1554.18	c 1554s |      24 |  4394447 |  4246162 |     2507   4109 |        0 |        0
1555.76/1556.21	c 1556s |      24 |  4399514 |  4251062 |     2507   4112 |        0 |        0
1557.76/1558.23	c 1558s |      24 |  4404499 |  4255962 |     2507   4116 |        0 |        0
1559.76/1560.23	c 1560s |      24 |  4409393 |  4260662 |     2507   4120 |        0 |        0
1561.76/1562.23	c 1562s |      24 |  4414362 |  4265462 |     2507   4123 |        0 |        0
1563.76/1564.26	c 1564s |      24 |  4419246 |  4270162 |     2507   4127 |        0 |        0
1565.76/1566.28	c 1566s |      24 |  4424303 |  4275062 |     2507   4131 |        0 |        0
1567.86/1568.32	c 1568s |      24 |  4429232 |  4279862 |     2507   4134 |        0 |        0
1569.86/1570.32	c 1570s |      24 |  4433992 |  4284462 |     2507   4138 |        0 |        0
1571.86/1572.37	c 1572s |      24 |  4438992 |  4289262 |     2507   4142 |        0 |        0
1573.86/1574.39	c 1574s |      24 |  4444200 |  4294262 |     2507   4145 |        0 |        0
1575.96/1576.41	c 1576s |      24 |  4449607 |  4299562 |     2507   4149 |        0 |        0
1577.95/1578.46	c 1578s |      24 |  4454800 |  4304562 |     2507   4153 |        0 |        0
1579.95/1580.49	c 1580s |      24 |  4460237 |  4309762 |     2507   4157 |        0 |        0
1582.05/1582.50	c 1582s |      24 |  4465473 |  4314862 |     2507   4161 |        0 |        0
1584.05/1584.50	c 1584s |      24 |  4470616 |  4319762 |     2507   4165 |        0 |        0
1586.05/1586.53	c 1586s |      24 |  4475770 |  4324762 |     2507   4169 |        0 |        0
1588.06/1588.55	c 1588s |      24 |  4480913 |  4329762 |     2507   4172 |        0 |        0
1590.05/1590.58	c 1590s |      24 |  4485959 |  4334662 |     2507   4176 |        0 |        0
1592.06/1592.58	c 1592s |      24 |  4490878 |  4339462 |     2507   4180 |        0 |        0
1594.16/1594.60	c 1594s |      24 |  4495970 |  4344362 |     2507   4183 |        0 |        0
1596.16/1596.60	c 1596s |      24 |  4500912 |  4349162 |     2507   4187 |        0 |        0
1598.16/1598.63	c 1598s |      24 |  4505970 |  4354062 |     2507   4191 |        0 |        0
1600.17/1600.63	c 1600s |      24 |  4510770 |  4358762 |     2507   4194 |        0 |        0
1602.16/1602.66	c 1602s |      24 |  4515606 |  4363462 |     2507   4198 |        0 |        0
1604.16/1604.69	c 1604s |      24 |  4520750 |  4368462 |     2507   4202 |        0 |        0
1606.26/1606.70	c 1606s |      24 |  4525825 |  4373262 |     2507   4205 |        0 |        0
1608.26/1608.73	c 1608s |      24 |  4530772 |  4378062 |     2507   4209 |        0 |        0
1610.26/1610.76	c 1610s |      24 |  4535619 |  4382762 |     2507   4213 |        0 |        0
1612.36/1612.81	c 1612s |      24 |  4540522 |  4387462 |     2507   4216 |        0 |        0
1614.36/1614.82	c 1614s |      24 |  4545240 |  4392062 |     2507   4220 |        0 |        0
1616.36/1616.85	c 1616s |      24 |  4550061 |  4396662 |     2507   4223 |        0 |        0
1618.36/1618.85	c 1618s |      24 |  4555199 |  4401662 |     2507   4227 |        0 |        0
1620.35/1620.86	c 1620s |      24 |  4560097 |  4406362 |     2507   4231 |        0 |        0
1622.35/1622.89	c 1622s |      24 |  4565320 |  4411362 |     2507   4234 |        0 |        0
1624.46/1624.92	c 1624s |      24 |  4570275 |  4416162 |     2507   4238 |        0 |        0
1626.45/1626.93	c 1626s |      24 |  4575117 |  4420862 |     2507   4242 |        0 |        0
1628.45/1628.95	c 1628s |      24 |  4580075 |  4425562 |     2507   4245 |        0 |        0
1630.45/1630.96	c 1630s |      24 |  4585122 |  4430262 |     2507   4249 |        0 |        0
1632.45/1632.96	c 1632s |      24 |  4589843 |  4434762 |     2507   4252 |        0 |        0
1634.45/1634.97	c 1634s |      24 |  4594667 |  4439262 |     2507   4256 |        0 |        0
1636.56/1637.00	c 1636s |      24 |  4599409 |  4443862 |     2507   4259 |        0 |        0
1638.55/1639.01	c 1638s |      24 |  4604678 |  4448962 |     2507   4263 |        0 |        0
1640.55/1641.04	c 1641s |      24 |  4610405 |  4454462 |     2507   4267 |        0 |        0
1642.55/1643.05	c 1643s |      24 |  4615803 |  4459662 |     2507   4271 |        0 |        0
1644.55/1645.08	c 1645s |      24 |  4621044 |  4464762 |     2507   4275 |        0 |        0
1646.65/1647.10	c 1647s |      24 |  4626384 |  4469962 |     2507   4279 |        0 |        0
1648.66/1649.11	c 1649s |      24 |  4631409 |  4474862 |     2507   4283 |        0 |        0
1650.65/1651.16	c 1651s |      24 |  4636576 |  4479862 |     2507   4287 |        0 |        0
1652.65/1653.17	c 1653s |      24 |  4641672 |  4484862 |     2507   4290 |        0 |        0
1654.65/1655.19	c 1655s |      24 |  4646902 |  4489962 |     2507   4294 |        0 |        0
1656.75/1657.22	c 1657s |      24 |  4652302 |  4495162 |     2507   4298 |        0 |        0
1658.75/1659.25	c 1659s |      24 |  4657498 |  4500162 |     2507   4302 |        0 |        0
1660.75/1661.25	c 1661s |      24 |  4662672 |  4505062 |     2507   4306 |        0 |        0
1662.75/1663.28	c 1663s |      24 |  4668011 |  4510162 |     2507   4310 |        0 |        0
1664.84/1665.30	c 1665s |      24 |  4673195 |  4515162 |     2507   4313 |        0 |        0
1666.84/1667.32	c 1667s |      24 |  4678245 |  4519962 |     2507   4317 |        0 |        0
1668.84/1669.35	c 1669s |      24 |  4683599 |  4525162 |     2507   4321 |        0 |        0
1670.84/1671.37	c 1671s |      24 |  4688691 |  4530162 |     2507   4325 |        0 |        0
1672.94/1673.40	c 1673s |      24 |  4693805 |  4535062 |     2507   4329 |        0 |        0
1674.84/1675.40	c 1675s |      24 |  4698724 |  4539862 |     2507   4332 |        0 |        0
1676.94/1677.41	c 1677s |      24 |  4703825 |  4544762 |     2507   4336 |        0 |        0
1678.94/1679.41	c 1679s |      24 |  4708740 |  4549562 |     2507   4340 |        0 |        0
1680.94/1681.43	c 1681s |      24 |  4714030 |  4554562 |     2507   4343 |        0 |        0
1682.94/1683.46	c 1683s |      24 |  4719139 |  4559562 |     2507   4347 |        0 |        0
1684.95/1685.46	c 1685s |      24 |  4724148 |  4564462 |     2507   4351 |        0 |        0
1686.94/1687.47	c 1687s |      24 |  4729208 |  4569362 |     2507   4355 |        0 |        0
1688.94/1689.49	c 1689s |      24 |  4734242 |  4574262 |     2507   4358 |        0 |        0
1691.04/1691.51	c 1691s |      24 |  4739221 |  4579062 |     2507   4362 |        0 |        0
1693.04/1693.51	c 1693s |      24 |  4744060 |  4583762 |     2507   4366 |        0 |        0
1695.04/1695.54	c 1695s |      24 |  4749233 |  4588762 |     2507   4369 |        0 |        0
1697.05/1697.56	c 1697s |      24 |  4754131 |  4593562 |     2507   4373 |        0 |        0
1699.04/1699.56	c 1699s |      24 |  4758997 |  4598262 |     2507   4377 |        0 |        0
1701.14/1701.60	c 1701s |      24 |  4764125 |  4603162 |     2507   4380 |        0 |        0
1703.14/1703.63	c 1703s |      24 |  4768910 |  4607762 |     2507   4384 |        0 |        0
1705.14/1705.63	c 1705s |      24 |  4773697 |  4612462 |     2507   4387 |        0 |        0
1707.14/1707.63	c 1707s |      24 |  4778497 |  4617162 |     2507   4391 |        0 |        0
1709.15/1709.63	c 1709s |      24 |  4783743 |  4622262 |     2507   4395 |        0 |        0
1711.14/1711.66	c 1711s |      24 |  4788852 |  4627262 |     2507   4399 |        0 |        0
1713.14/1713.67	c 1713s |      24 |  4793834 |  4632062 |     2507   4402 |        0 |        0
1715.24/1715.70	c 1715s |      24 |  4798876 |  4636962 |     2507   4406 |        0 |        0
1717.24/1717.71	c 1717s |      24 |  4803938 |  4641762 |     2507   4410 |        0 |        0
1719.24/1719.72	c 1719s |      24 |  4809024 |  4646562 |     2507   4413 |        0 |        0
1721.25/1721.75	c 1721s |      24 |  4813859 |  4651262 |     2507   4417 |        0 |        0
1723.24/1723.78	c 1723s |      24 |  4818871 |  4656062 |     2507   4421 |        0 |        0
1725.34/1725.82	c 1725s |      24 |  4823775 |  4660862 |     2507   4424 |        0 |        0
1727.34/1727.86	c 1727s |      24 |  4828620 |  4665562 |     2507   4428 |        0 |        0
1729.34/1729.88	c 1729s |      24 |  4833489 |  4670262 |     2507   4431 |        0 |        0
1731.44/1731.91	c 1731s |      24 |  4838561 |  4675162 |     2507   4435 |        0 |        0
1733.44/1733.97	c 1733s |      24 |  4843716 |  4680162 |     2507   4439 |        0 |        0
1735.44/1735.98	c 1735s |      24 |  4848638 |  4684962 |     2507   4443 |        0 |        0
1737.53/1738.00	c 1737s |      24 |  4853626 |  4689762 |     2507   4446 |        0 |        0
1739.53/1740.01	c 1739s |      24 |  4858546 |  4694462 |     2507   4450 |        0 |        0
1741.53/1742.07	c 1742s |      24 |  4863527 |  4699362 |     2507   4454 |        0 |        0
1743.53/1744.09	c 1744s |      24 |  4868446 |  4704062 |     2507   4457 |        0 |        0
1745.63/1746.10	c 1746s |      24 |  4873246 |  4708662 |     2507   4461 |        0 |        0
1747.64/1748.14	c 1748s |      24 |  4878161 |  4713462 |     2507   4464 |        0 |        0
1749.63/1750.18	c 1750s |      24 |  4883178 |  4718362 |     2507   4468 |        0 |        0
1751.63/1752.19	c 1752s |      24 |  4888189 |  4723162 |     2507   4472 |        0 |        0
1753.73/1754.23	c 1754s |      24 |  4892983 |  4727862 |     2507   4475 |        0 |        0
1755.73/1756.26	c 1756s |      24 |  4897865 |  4732562 |     2507   4479 |        0 |        0
1757.73/1758.28	c 1758s |      24 |  4902890 |  4737362 |     2507   4482 |        0 |        0
1759.83/1760.30	c 1760s |      24 |  4907557 |  4741862 |     2507   4486 |        0 |        0
1761.83/1762.33	c 1762s |      24 |  4912605 |  4746662 |     2507   4490 |        0 |        0
1763.83/1764.37	c 1764s |      24 |  4917390 |  4751262 |     2507   4493 |        0 |        0
1765.93/1766.41	c 1766s |      24 |  4922175 |  4755862 |     2507   4497 |        0 |        0
1767.93/1768.46	c 1768s |      24 |  4927481 |  4760962 |     2507   4500 |        0 |        0
1769.93/1770.50	c 1770s |      24 |  4933021 |  4766362 |     2507   4505 |        0 |        0
1772.02/1772.51	c 1772s |      24 |  4938514 |  4771662 |     2507   4509 |        0 |        0
1774.04/1774.52	c 1774s |      24 |  4943877 |  4776862 |     2507   4512 |        0 |        0
1776.03/1776.55	c 1776s |      24 |  4949274 |  4782062 |     2507   4516 |        0 |        0
1778.03/1778.55	c 1778s |      24 |  4954454 |  4786962 |     2507   4520 |        0 |        0
1780.03/1780.57	c 1780s |      24 |  4960018 |  4792362 |     2507   4524 |        0 |        0
1782.13/1782.60	c 1782s |      24 |  4965413 |  4797562 |     2507   4528 |        0 |        0
1784.13/1784.62	c 1784s |      24 |  4970706 |  4802662 |     2507   4532 |        0 |        0
1786.14/1786.62	c 1786s |      24 |  4975958 |  4807762 |     2507   4536 |        0 |        0
1788.13/1788.64	c 1788s |      24 |  4981263 |  4812962 |     2507   4540 |        0 |        0
1790.13/1790.68	c 1790s |      24 |  4986426 |  4817962 |     2507   4544 |        0 |        0
1792.13/1792.69	c 1792s |      24 |  4991698 |  4823062 |     2507   4548 |        0 |        0
1794.23/1794.72	c 1794s |      24 |  4996920 |  4828162 |     2507   4552 |        0 |        0
1796.23/1796.76	c 1796s |      24 |  5002021 |  4833162 |     2507   4555 |        0 |        0
1798.24/1798.78	c 1798s |      24 |  5007163 |  4838162 |     2507   4559 |        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-4089337-1466025537/watcher-4089337-1466025537 -o /tmp/evaluation-result-4089337-1466025537/solver-4089337-1466025537 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089337-1466025537.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.06 2.08 3/179 7450
/proc/meminfo: memFree=30416772/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=551356 CPUtime=0 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 2027 0 0 0 0 0 0 0 20 0 4 0 4603880 564588544 2387 33554432000 4194304 16246674 140735394102896 140735394102320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 138607 2397 441 2943 0 135501 0
[pid=7450/tid=7451] ppid=7447 vsize=568764 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 582414336 2454 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=572860 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 586608640 2469 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=576956 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4603880 590802944 2486 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100219 s]
/proc/loadavg: 2.01 2.06 2.08 3/179 7450
/proc/meminfo: memFree=30416772/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 29363 0 0 0 5 4 0 0 20 0 4 0 4603880 1247350784 29713 33554432000 4194304 16246674 140735394102896 140735394102320 5516309 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 304529 29722 704 2943 0 301423 0
[pid=7450/tid=7451] ppid=7447 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1247350784 29726 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1247350784 29734 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4603880 1247350784 29746 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20052 s]
/proc/loadavg: 2.01 2.06 2.08 3/179 7450
/proc/meminfo: memFree=30416772/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 58961 0 0 0 11 8 0 0 20 0 4 0 4603880 1247350784 59311 33554432000 4194304 16246674 140735394102896 140735394102320 13194067 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 304529 59324 711 2943 0 301423 0
[pid=7450/tid=7451] ppid=7447 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1247350784 59331 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1247350784 59338 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4603880 1247350784 59350 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300499 s]
/proc/loadavg: 2.01 2.06 2.08 3/179 7450
/proc/meminfo: memFree=30416772/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 88414 0 0 0 18 11 0 0 20 0 4 0 4603880 1247350784 88763 33554432000 4194304 16246674 140735394102896 140735394102320 12874965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 304529 88777 711 2943 0 301423 0
[pid=7450/tid=7451] ppid=7447 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1247350784 88779 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1247350784 88787 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4603880 1247350784 88794 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70039 s]
/proc/loadavg: 2.01 2.06 2.08 3/179 7450
/proc/meminfo: memFree=30416772/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 204939 0 0 0 42 27 0 0 20 0 4 0 4603880 1247350784 205289 33554432000 4194304 16246674 140735394102896 140735394102320 5523709 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 304529 205297 711 2943 0 301423 0
[pid=7450/tid=7451] ppid=7447 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1247350784 205302 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1247350784 205314 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4603880 1247350784 205322 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.25 2.11 2.09 3/183 7454
/proc/meminfo: memFree=29432356/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1304132 CPUtime=1.49 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 266980 0 0 0 112 37 0 0 20 0 4 0 4603880 1335431168 267309 33554432000 4194304 16246674 140735394102896 140735394084800 5721768 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 326033 267309 789 2943 0 322927 0
[pid=7450/tid=7451] ppid=7447 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1335431168 267309 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1335431168 267309 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1335431168 267309 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1304132

[startup+3.10041 s]
/proc/loadavg: 2.25 2.11 2.09 4/183 7454
/proc/meminfo: memFree=29345308/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 267554 0 0 0 272 37 0 0 20 0 4 0 4603880 1337528320 267883 33554432000 4194304 16246674 140735394102896 140735394084800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 326545 267883 789 2943 0 323439 0
[pid=7450/tid=7451] ppid=7447 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1337528320 267883 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1337528320 267883 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1337528320 267883 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.23 2.10 2.09 3/183 7454
/proc/meminfo: memFree=29345264/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 267608 0 0 0 592 37 0 0 20 0 4 0 4603880 1338576896 267937 33554432000 4194304 16246674 140735394102896 140735394084800 13905545 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 326801 267937 789 2943 0 323695 0
[pid=7450/tid=7451] ppid=7447 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1338576896 267937 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1338576896 267937 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1338576896 267937 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.21 2.10 2.09 3/183 7454
/proc/meminfo: memFree=29344888/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 267725 0 0 0 1232 37 0 0 20 0 4 0 4603880 1338576896 268054 33554432000 4194304 16246674 140735394102896 140735394084800 13808416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 326801 268054 789 2943 0 323695 0
[pid=7450/tid=7451] ppid=7447 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1338576896 268054 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1338576896 268054 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1338576896 268054 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5074 s]
/proc/loadavg: 2.25 2.11 2.09 3/183 7454
/proc/meminfo: memFree=29345052/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 267826 0 0 0 2512 37 0 0 20 0 4 0 4603880 1338576896 268155 33554432000 4194304 16246674 140735394102896 140735394085896 5545708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 326801 268155 789 2943 0 323695 0
[pid=7450/tid=7451] ppid=7447 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1338576896 268155 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1338576896 268155 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1338576896 268155 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 2.15 2.10 2.09 3/183 7454
/proc/meminfo: memFree=29344188/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 268084 0 0 0 5071 37 0 0 20 0 4 0 4603880 1339625472 268413 33554432000 4194304 16246674 140735394102896 140735394085896 5677716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 327057 268413 791 2943 0 323951 0
[pid=7450/tid=7451] ppid=7447 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1339625472 268413 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1339625472 268413 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1339625472 268413 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/184 7458
/proc/meminfo: memFree=29342572/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1309252 CPUtime=102.28 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 268341 0 0 0 10190 38 0 0 20 0 4 0 4603880 1340674048 268670 33554432000 4194304 16246674 140735394102896 140735394084800 5722608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 327313 268670 792 2943 0 324207 0
[pid=7450/tid=7451] ppid=7447 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1340674048 268670 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1340674048 268670 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1340674048 268670 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/184 7585
/proc/meminfo: memFree=29328008/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1317444 CPUtime=1301.9 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 270758 0 0 0 130144 46 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 140735394084800 12478241 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 329361 270975 793 2943 0 326255 0
[pid=7450/tid=7451] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/183 7586
/proc/meminfo: memFree=29328160/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1317444 CPUtime=1361.9 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 270758 0 0 0 136143 47 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 140735394085896 5661363 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 329361 270975 793 2943 0 326255 0
[pid=7450/tid=7451] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.02 2.04 2.07 3/183 7587
/proc/meminfo: memFree=29328068/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1317444 CPUtime=1421.88 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 270758 0 0 0 142141 47 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 140735394084800 12483332 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 329361 270975 793 2943 0 326255 0
[pid=7450/tid=7451] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/183 7589
/proc/meminfo: memFree=29327968/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1317444 CPUtime=1481.87 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 270758 0 0 0 148140 47 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 140735394085896 5545788 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 329361 270975 793 2943 0 326255 0
[pid=7450/tid=7451] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1317444

[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 2.06 3/183 7590
/proc/meminfo: memFree=29327752/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1317444 CPUtime=1541.87 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 270758 0 0 0 154140 47 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 140735394084800 5861500 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 329361 270975 793 2943 0 326255 0
[pid=7450/tid=7451] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.06 3/183 7591
/proc/meminfo: memFree=29327532/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1317444 CPUtime=1601.86 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 270758 0 0 0 160138 48 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 140735394084800 5545984 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 329361 270975 793 2943 0 326255 0
[pid=7450/tid=7451] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1317444

[startup+1662.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 7592
/proc/meminfo: memFree=29327776/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1317444 CPUtime=1661.85 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 270758 0 0 0 166137 48 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 140735394084800 5996868 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 329361 270975 793 2943 0 326255 0
[pid=7450/tid=7451] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 7593
/proc/meminfo: memFree=29327316/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1317444 CPUtime=1721.84 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 270758 0 0 0 172135 49 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 140735394084800 13191318 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 329361 270975 793 2943 0 326255 0
[pid=7450/tid=7451] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/183 7595
/proc/meminfo: memFree=29327496/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1317444 CPUtime=1781.83 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 270758 0 0 0 178133 50 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 140735394084800 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 329361 270975 793 2943 0 326255 0
[pid=7450/tid=7451] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.06 2.03 2.05 3/183 7595
/proc/meminfo: memFree=29327504/32872528 swapFree=524788/557492
[pid=7450] ppid=7447 vsize=1317444 CPUtime=1800.03 cores=0,2,4,6
/proc/7450/stat : 7450 (toysat) R 7447 7450 5756 0 -1 4202496 270758 0 0 0 179953 50 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 140735394084800 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7450/statm: 329361 270975 793 2943 0 326255 0
[pid=7450/tid=7451] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7451/stat : 7451 (toysat) S 7447 7450 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878978268400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=7450/tid=7452] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7452/stat : 7452 (toysat) S 7447 7450 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878897528048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7450/tid=7453] ppid=7447 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/7450/task/7453/stat : 7453 (toysat) S 7447 7450 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4603880 1349062656 270975 33554432000 4194304 16246674 140735394102896 139878887054512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1317444

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.54
CPU system time (s): 0.500923
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.500923
maximum resident set size= 1083900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270758
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= 381
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.22636 second user time and 7.29289 second system time

The end

Begin job on node106 at 2016-06-15 23:18:58
IDJOB=4089337
IDBENCH=107392
IDSOLVER=2542
FILE ID=node106/4089337-1466025537
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 9838365b785179e7b363da705525e064
RANDOM SEED=1166253764

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30417648 kB
Buffers:           29900 kB
Cached:            74988 kB
SwapCached:         1480 kB
Active:          1149164 kB
Inactive:          37924 kB
Active(anon):    1083320 kB
Inactive(anon):     1188 kB
Active(file):      65844 kB
Inactive(file):    36736 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16316 kB
Writeback:            24 kB
AnonPages:       1638508 kB
Mapped:            10376 kB
Shmem:                 0 kB
Slab:             576684 kB
SReclaimable:      20688 kB
SUnreclaim:       555996 kB
KernelStack:        1472 kB
PageTables:         7384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1782892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1107968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-15 23:48:58