0.00/0.00	c 2016-06-06T21:08:54+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-4078766-1465240133.opb"]
0.00/0.01	c use --random-gen="2620939241 3872588474 3411570382 1741334528 1253655629 3078387419 2169587800 2687556144 689645118 4110297430 3662712067 2832258429 1495617088 360580076 1185256152 1320043455 2150767185 4110154288 4122890293 671074347 481352762 484059993 2634540172 2303697525 3440827641 3681283020 536939384 2902378385 4211048288 2014771547 3485626480 2696662190 567450086 87779003 4001815347 1914549181 2361495097 365005294 425704776 1202079365 3726838145 4060198490 192581778 1492555773 339668076 2141193522 2583421561 2420798308 717692811 446109247 564555884 1011484376 1376747490 969781188 1643056951 3206853412 2019414705 226987802 3412608882 692586834 3431163884 1931917004 3859869961 3934511118 507530476 4073302011 3204176908 1586842592 2909638248 538100335 1467890048 72485178 3860914485 2896409615 1079796413 66255698 3689208565 376799187 2449093021 1168780893 1817461243 1592199370 254858047 2809637444 1534909991 3163068381 2939433585 1654651361 1873008278 3553313632 1160191787 1741879897 2316430071 3657594435 250401829 4008572191 1268931360 1447961991 1264257464 2029229939 13579285 3664428903 454705307 2098511521 1513466881 2226826079 2036095572 3187993821 97027013 524548838 1356705494 3223863741 1959958256 3308655648 3157545387 1483979018 1653214928 2151699990 306718142 690462715 1103420177 3938170062 3853366265 3665097046 1990377545 727619949 2718238342 3732396004 655557537 2624577169 3106611195 247986425 855312247 2987873323 2340231115 1176743348 2702166966 3061530717 1917254380 2737623260 966438355 1294215204 2909759399 701937527 864697189 4232666812 2813976310 3605604191 1746850388 1546143371 4166303065 1099017742 4267325145 2164669454 833998571 1568725030 1898882900 2031054337 3568280624 1643172111 1821884485 463749897 3786289184 219935030 3175644377 2393235117 2789386815 32973885 915311324 3788724694 2615652446 399957535 2259210138 42690599 478136971 3730309362 2251283375 2109283449 3862950318 2976487931 4125780324 1367345850 3910831723 168301118 2510048745 2677043827 775019933 3492791530 2206910417 2496654066 408722543 2522209214 410472088 2622060389 807977744 1408079739 1097969483 1427454408 2685224701 1406384733 1390622504 3667220964 329683846 1172774025 3857834706 4183722426 265120072 1409512185 3212059959 1151120327 319141009 3611913041 1577383099 1882622745 866517500 1190226106 2029793109 226299371 657055276 3510134424 3211955583 3920433193 1608565835 2519664268 2465154021 2387849389 1981842436 4142053614 794998744 3565893794 2502073565 3961121596 722216244 1798684496 3751718772 966111706 2126058637 3408155249 2063204809 3941413599 2505381390 2132174403 4209102023 4274898731 598488994 2557402672 545324445 1138096592 288187244 543957445 625578439 3274891485 3066007707 1331760456 1457453864 3949792519 255 362436" option to reproduce the execution
0.00/0.01	c #vars 930
0.00/0.01	c #constraints 61
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 |      330      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      147 |      100 |      330      0 |        0 |        0
0.09/0.14	c  0.1s |       2 |      780 |      250 |      364      0 |        0 |        0
0.19/0.27	c  0.3s |       3 |     1533 |      475 |      401      0 |        0 |        0
0.49/0.51	c  0.5s |       4 |     2369 |      813 |      442      1 |        0 |        0
0.69/0.79	c  0.8s |       5 |     3398 |     1320 |      487      2 |        0 |        0
1.09/1.15	c  1.1s |       6 |     4698 |     2081 |      590      3 |        0 |        0
1.59/1.68	c  1.7s |       7 |     6483 |     3223 |      649      5 |        0 |        0
2.39/2.49	c  2.5s |       8 |     8900 |     4936 |      714      7 |        0 |        0
3.89/3.97	c  3.9s |       9 |    13128 |     7506 |      786     11 |        0 |        0
5.89/5.98	c  6.0s |       9 |    17735 |    11106 |      786     16 |        0 |        0
6.09/6.14	c  6.1s |      10 |    18038 |    11361 |      865     16 |        0 |        0
8.09/8.17	c  8.2s |      10 |    22041 |    14461 |      865     20 |        0 |        0
10.00/10.03	c 10.0s |      11 |    25110 |    17144 |      952     23 |        0 |        0
11.99/12.05	c 12.0s |      11 |    30204 |    21144 |      952     28 |        0 |        0
14.09/14.10	c 14.1s |      11 |    33988 |    24544 |      952     31 |        0 |        0
14.79/14.88	c 14.9s |      12 |    35415 |    25819 |     1048     33 |        0 |        0
16.89/16.91	c 16.9s |      12 |    39948 |    29219 |     1048     37 |        0 |        0
18.88/18.94	c 18.9s |      12 |    43029 |    32019 |     1048     40 |        0 |        0
20.89/20.99	c 21.0s |      12 |    46255 |    34919 |     1048     43 |        0 |        0
22.99/23.00	c 23.0s |      12 |    49852 |    37519 |     1048     45 |        0 |        0
24.09/24.20	c 24.2s |      13 |    51409 |    38832 |     1153     47 |        0 |        0
26.19/26.27	c 26.2s |      13 |    55494 |    42032 |     1153     50 |        0 |        0
28.29/28.31	c 28.3s |      13 |    58915 |    45032 |     1153     53 |        0 |        0
30.28/30.32	c 30.3s |      13 |    62055 |    47832 |     1153     56 |        0 |        0
32.28/32.38	c 32.4s |      13 |    65169 |    50632 |     1153     59 |        0 |        0
34.38/34.43	c 34.4s |      13 |    68328 |    53432 |     1153     61 |        0 |        0
36.39/36.47	c 36.5s |      13 |    71503 |    56232 |     1153     64 |        0 |        0
38.18/38.24	c 38.2s |      14 |    73846 |    58352 |     1269     66 |        0 |        0
40.28/40.30	c 40.3s |      14 |    78358 |    62052 |     1269     70 |        0 |        0
42.29/42.36	c 42.3s |      14 |    81839 |    65252 |     1269     73 |        0 |        0
44.29/44.38	c 44.4s |      14 |    85299 |    68452 |     1269     76 |        0 |        0
46.39/46.40	c 46.4s |      14 |    89216 |    71952 |     1269     79 |        0 |        0
48.39/48.44	c 48.4s |      14 |    93379 |    75652 |     1269     83 |        0 |        0
50.38/50.46	c 50.4s |      14 |    97261 |    78952 |     1269     86 |        0 |        0
52.48/52.51	c 52.5s |      14 |   100665 |    81952 |     1269     89 |        0 |        0
54.48/54.57	c 54.6s |      14 |   103516 |    84552 |     1269     92 |        0 |        0
56.58/56.60	c 56.6s |      14 |   106483 |    87152 |     1396     94 |        0 |        0
56.88/56.90	c 56.9s |      15 |   107018 |    87632 |     1396     94 |        0 |        0
58.88/58.94	c 58.9s |      15 |   111538 |    91132 |     1396     98 |        0 |        0
60.88/60.98	c 61.0s |      15 |   115160 |    94332 |     1396    100 |        0 |        0
62.88/62.98	c 63.0s |      15 |   118696 |    97532 |     1396    103 |        0 |        0
64.98/65.04	c 65.0s |      15 |   122237 |   100632 |     1396    106 |        0 |        0
66.98/67.08	c 67.1s |      15 |   125885 |   103932 |     1396    109 |        0 |        0
69.08/69.10	c 69.1s |      15 |   129389 |   107132 |     1396    112 |        0 |        0
71.08/71.15	c 71.1s |      15 |   132971 |   110332 |     1396    115 |        0 |        0
73.18/73.21	c 73.2s |      15 |   136489 |   113432 |     1396    118 |        0 |        0
75.18/75.26	c 75.2s |      15 |   139915 |   116432 |     1396    120 |        0 |        0
77.27/77.32	c 77.3s |      15 |   143361 |   119432 |     1396    123 |        0 |        0
79.28/79.38	c 79.4s |      15 |   146691 |   122332 |     1396    126 |        0 |        0
81.38/81.44	c 81.4s |      15 |   150113 |   125332 |     1396    128 |        0 |        0
83.37/83.45	c 83.4s |      15 |   153147 |   128032 |     1396    131 |        0 |        0
85.48/85.50	c 85.5s |      15 |   156364 |   130832 |     1536    133 |        0 |        0
85.89/85.99	c 86.0s |      16 |   157159 |   131552 |     1536    134 |        0 |        0
87.99/88.03	c 88.0s |      16 |   161388 |   134952 |     1536    137 |        0 |        0
89.98/90.08	c 90.1s |      16 |   164413 |   137652 |     1536    139 |        0 |        0
92.08/92.12	c 92.1s |      16 |   167743 |   140652 |     1536    141 |        0 |        0
94.08/94.16	c 94.1s |      16 |   171015 |   143552 |     1536    144 |        0 |        0
96.18/96.24	c 96.2s |      16 |   174002 |   146152 |     1536    146 |        0 |        0
98.18/98.29	c 98.3s |      16 |   176818 |   148652 |     1536    148 |        0 |        0
100.28/100.33	c  100s |      16 |   179721 |   151252 |     1536    150 |        0 |        0
102.28/102.37	c  102s |      16 |   182558 |   153852 |     1536    153 |        0 |        0
104.37/104.41	c  104s |      16 |   185744 |   156652 |     1536    155 |        0 |        0
106.38/106.48	c  106s |      16 |   188826 |   159352 |     1536    157 |        0 |        0
108.48/108.57	c  108s |      16 |   191852 |   162052 |     1536    160 |        0 |        0
110.58/110.64	c  110s |      16 |   194911 |   164852 |     1536    162 |        0 |        0
112.57/112.68	c  112s |      16 |   197795 |   167452 |     1536    164 |        0 |        0
114.67/114.74	c  114s |      16 |   200836 |   170152 |     1536    166 |        0 |        0
116.68/116.76	c  116s |      16 |   203609 |   172652 |     1536    169 |        0 |        0
118.78/118.82	c  118s |      16 |   206621 |   175352 |     1536    171 |        0 |        0
120.77/120.85	c  120s |      16 |   209518 |   177952 |     1536    173 |        0 |        0
122.77/122.85	c  122s |      16 |   212276 |   180452 |     1536    175 |        0 |        0
124.77/124.85	c  124s |      16 |   215281 |   183152 |     1536    177 |        0 |        0
126.87/126.92	c  126s |      16 |   218119 |   185752 |     1536    180 |        0 |        0
128.97/129.01	c  128s |      16 |   221219 |   188552 |     1536    182 |        0 |        0
130.97/131.03	c  131s |      16 |   224257 |   191252 |     1536    184 |        0 |        0
132.97/133.10	c  133s |      16 |   227090 |   193852 |     1536    186 |        0 |        0
135.07/135.11	c  135s |      16 |   229702 |   196252 |     1690    188 |        0 |        0
136.07/136.13	c  136s |      17 |   230999 |   197432 |     1690    189 |        0 |        0
138.17/138.20	c  138s |      17 |   235313 |   200832 |     1690    192 |        0 |        0
140.17/140.23	c  140s |      17 |   238223 |   203432 |     1690    194 |        0 |        0
142.17/142.24	c  142s |      17 |   241118 |   206032 |     1690    196 |        0 |        0
144.18/144.29	c  144s |      17 |   244126 |   208732 |     1690    198 |        0 |        0
146.28/146.34	c  146s |      17 |   247389 |   211632 |     1690    201 |        0 |        0
148.37/148.40	c  148s |      17 |   250495 |   214432 |     1690    203 |        0 |        0
150.37/150.46	c  150s |      17 |   253171 |   216832 |     1690    205 |        0 |        0
152.37/152.49	c  152s |      17 |   256049 |   219232 |     1690    207 |        0 |        0
154.46/154.59	c  154s |      17 |   258470 |   221432 |     1690    209 |        0 |        0
156.57/156.61	c  156s |      17 |   261326 |   223932 |     1690    211 |        0 |        0
158.57/158.69	c  158s |      17 |   264266 |   226532 |     1690    213 |        0 |        0
160.68/160.74	c  160s |      17 |   267213 |   229132 |     1690    215 |        0 |        0
162.67/162.80	c  162s |      17 |   270603 |   232032 |     1690    217 |        0 |        0
164.76/164.83	c  164s |      17 |   273574 |   234632 |     1690    219 |        0 |        0
166.76/166.86	c  166s |      17 |   276760 |   237432 |     1690    221 |        0 |        0
168.86/168.90	c  168s |      17 |   279704 |   240032 |     1690    223 |        0 |        0
170.86/170.97	c  170s |      17 |   282673 |   242632 |     1690    225 |        0 |        0
172.96/173.00	c  172s |      17 |   285760 |   245332 |     1690    228 |        0 |        0
174.97/175.03	c  175s |      17 |   288614 |   247832 |     1690    230 |        0 |        0
176.96/177.05	c  177s |      17 |   291364 |   250332 |     1690    232 |        0 |        0
178.97/179.07	c  179s |      17 |   294464 |   253032 |     1690    234 |        0 |        0
181.07/181.14	c  181s |      17 |   297356 |   255632 |     1690    236 |        0 |        0
183.06/183.16	c  183s |      17 |   300275 |   258232 |     1690    238 |        0 |        0
185.16/185.21	c  185s |      17 |   303130 |   260732 |     1690    240 |        0 |        0
187.16/187.23	c  187s |      17 |   305775 |   263132 |     1690    242 |        0 |        0
189.17/189.25	c  189s |      17 |   308334 |   265432 |     1690    244 |        0 |        0
191.26/191.35	c  191s |      17 |   311035 |   267832 |     1690    246 |        0 |        0
193.26/193.36	c  193s |      17 |   313749 |   270232 |     1690    247 |        0 |        0
195.26/195.37	c  195s |      17 |   316170 |   272432 |     1690    249 |        0 |        0
197.36/197.43	c  197s |      17 |   319184 |   275132 |     1690    251 |        0 |        0
199.36/199.48	c  199s |      17 |   322341 |   277932 |     1690    254 |        0 |        0
201.46/201.50	c  201s |      17 |   325420 |   280632 |     1690    256 |        0 |        0
203.46/203.57	c  203s |      17 |   328329 |   283232 |     1690    258 |        0 |        0
205.56/205.61	c  205s |      17 |   331153 |   285732 |     1690    260 |        0 |        0
207.56/207.69	c  207s |      17 |   333799 |   288132 |     1690    262 |        0 |        0
209.66/209.72	c  209s |      17 |   336896 |   290832 |     1690    264 |        0 |        0
211.65/211.76	c  211s |      17 |   339560 |   293232 |     1690    266 |        0 |        0
213.75/213.81	c  213s |      17 |   342387 |   295732 |     1860    268 |        0 |        0
214.05/214.13	c  214s |      18 |   342965 |   296252 |     1860    268 |        0 |        0
216.05/216.14	c  216s |      18 |   347086 |   299552 |     1860    271 |        0 |        0
218.05/218.14	c  218s |      18 |   350372 |   302452 |     1860    273 |        0 |        0
220.06/220.16	c  220s |      18 |   353597 |   305252 |     1860    275 |        0 |        0
222.05/222.16	c  222s |      18 |   356905 |   308152 |     1860    277 |        0 |        0
224.05/224.18	c  224s |      18 |   359627 |   310552 |     1860    279 |        0 |        0
226.15/226.24	c  226s |      18 |   362446 |   313152 |     1860    281 |        0 |        0
228.15/228.28	c  228s |      18 |   365111 |   315552 |     1860    283 |        0 |        0
230.26/230.30	c  230s |      18 |   368089 |   318252 |     1860    285 |        0 |        0
232.26/232.36	c  232s |      18 |   370829 |   320752 |     1860    286 |        0 |        0
234.37/234.41	c  234s |      18 |   374199 |   323752 |     1860    289 |        0 |        0
236.36/236.42	c  236s |      18 |   377208 |   326452 |     1860    291 |        0 |        0
238.36/238.42	c  238s |      18 |   380674 |   329452 |     1860    293 |        0 |        0
240.36/240.45	c  240s |      18 |   384101 |   332452 |     1860    295 |        0 |        0
242.46/242.52	c  242s |      18 |   387545 |   335452 |     1860    297 |        0 |        0
244.55/244.60	c  244s |      18 |   390615 |   338152 |     1860    299 |        0 |        0
246.55/246.62	c  246s |      18 |   393326 |   340552 |     1860    301 |        0 |        0
248.56/248.69	c  248s |      18 |   396538 |   343352 |     1860    303 |        0 |        0
250.65/250.77	c  250s |      18 |   399407 |   345852 |     1860    305 |        0 |        0
252.65/252.78	c  252s |      18 |   401872 |   348052 |     1860    307 |        0 |        0
254.75/254.81	c  254s |      18 |   404155 |   350152 |     1860    308 |        0 |        0
256.75/256.88	c  256s |      18 |   406119 |   351952 |     1860    310 |        0 |        0
258.85/258.94	c  258s |      18 |   409123 |   354652 |     1860    312 |        0 |        0
260.85/260.95	c  260s |      18 |   411643 |   356952 |     1860    314 |        0 |        0
262.86/262.99	c  262s |      18 |   414505 |   359452 |     1860    315 |        0 |        0
264.95/265.02	c  265s |      18 |   417288 |   361952 |     1860    317 |        0 |        0
266.95/267.06	c  267s |      18 |   419858 |   364252 |     1860    319 |        0 |        0
268.95/269.07	c  269s |      18 |   422961 |   367052 |     1860    321 |        0 |        0
270.95/271.08	c  271s |      18 |   425904 |   369652 |     1860    323 |        0 |        0
273.05/273.12	c  273s |      18 |   428665 |   372152 |     1860    325 |        0 |        0
275.06/275.14	c  275s |      18 |   431537 |   374652 |     1860    327 |        0 |        0
277.05/277.19	c  277s |      18 |   434757 |   377452 |     1860    329 |        0 |        0
279.14/279.22	c  279s |      18 |   437779 |   380152 |     1860    331 |        0 |        0
281.14/281.26	c  281s |      18 |   440732 |   382752 |     1860    333 |        0 |        0
283.15/283.28	c  283s |      18 |   443483 |   385252 |     1860    335 |        0 |        0
285.25/285.30	c  285s |      18 |   446557 |   387952 |     1860    337 |        0 |        0
287.25/287.36	c  287s |      18 |   449499 |   390552 |     1860    339 |        0 |        0
289.25/289.37	c  289s |      18 |   452330 |   393052 |     1860    340 |        0 |        0
291.25/291.39	c  291s |      18 |   455176 |   395552 |     1860    342 |        0 |        0
293.34/293.46	c  293s |      18 |   457805 |   397952 |     1860    344 |        0 |        0
295.34/295.49	c  295s |      18 |   460636 |   400452 |     1860    346 |        0 |        0
297.44/297.55	c  297s |      18 |   463421 |   402952 |     1860    348 |        0 |        0
299.54/299.60	c  299s |      18 |   466067 |   405352 |     1860    350 |        0 |        0
301.54/301.64	c  301s |      18 |   468625 |   407652 |     1860    351 |        0 |        0
303.65/303.71	c  303s |      18 |   471481 |   410252 |     1860    353 |        0 |        0
305.64/305.78	c  305s |      18 |   474492 |   412852 |     1860    355 |        0 |        0
307.64/307.78	c  307s |      18 |   476865 |   414952 |     1860    357 |        0 |        0
309.65/309.79	c  309s |      18 |   479661 |   417452 |     1860    359 |        0 |        0
311.75/311.82	c  311s |      18 |   482214 |   419752 |     1860    360 |        0 |        0
313.75/313.85	c  313s |      18 |   484899 |   422152 |     1860    362 |        0 |        0
315.85/315.91	c  315s |      18 |   487521 |   424452 |     1860    364 |        0 |        0
317.85/317.99	c  317s |      18 |   490680 |   427252 |     1860    366 |        0 |        0
319.94/320.07	c  320s |      18 |   493596 |   429852 |     1860    368 |        0 |        0
322.04/322.12	c  322s |      18 |   496281 |   432252 |     1860    370 |        0 |        0
324.14/324.25	c  324s |      18 |   499102 |   434752 |     1860    372 |        0 |        0
326.24/326.33	c  326s |      18 |   501742 |   437152 |     1860    373 |        0 |        0
328.24/328.37	c  328s |      18 |   504270 |   439452 |     1860    375 |        0 |        0
330.34/330.43	c  330s |      18 |   506820 |   441752 |     2047    377 |        0 |        0
332.34/332.49	c  332s |      18 |   509248 |   443952 |     2047    378 |        0 |        0
332.94/333.03	c  333s |      19 |   509826 |   444482 |     2047    379 |        0 |        0
334.94/335.05	c  335s |      19 |   513859 |   447682 |     2047    381 |        0 |        0
337.04/337.14	c  337s |      19 |   516970 |   450282 |     2047    383 |        0 |        0
339.04/339.15	c  339s |      19 |   519706 |   452782 |     2047    384 |        0 |        0
341.05/341.17	c  341s |      19 |   522567 |   455382 |     2047    386 |        0 |        0
343.04/343.18	c  343s |      19 |   525305 |   457882 |     2047    388 |        0 |        0
345.04/345.19	c  345s |      19 |   528204 |   460482 |     2047    390 |        0 |        0
347.14/347.20	c  347s |      19 |   531148 |   463082 |     2047    392 |        0 |        0
349.14/349.27	c  349s |      19 |   534206 |   465782 |     2047    393 |        0 |        0
351.24/351.33	c  351s |      19 |   536886 |   468182 |     2047    395 |        0 |        0
353.24/353.39	c  353s |      19 |   539401 |   470482 |     2047    397 |        0 |        0
355.34/355.49	c  355s |      19 |   542404 |   473082 |     2047    399 |        0 |        0
357.44/357.57	c  357s |      19 |   545256 |   475682 |     2047    400 |        0 |        0
359.43/359.58	c  359s |      19 |   548033 |   478182 |     2047    402 |        0 |        0
361.53/361.64	c  361s |      19 |   550781 |   480682 |     2047    404 |        0 |        0
363.63/363.71	c  363s |      19 |   553319 |   482982 |     2047    405 |        0 |        0
365.63/365.76	c  365s |      19 |   556237 |   485582 |     2047    407 |        0 |        0
367.73/367.82	c  367s |      19 |   559024 |   488082 |     2047    409 |        0 |        0
369.73/369.87	c  369s |      19 |   561715 |   490482 |     2047    411 |        0 |        0
371.74/371.87	c  371s |      19 |   564327 |   492882 |     2047    412 |        0 |        0
373.83/373.93	c  373s |      19 |   567077 |   495382 |     2047    414 |        0 |        0
375.92/376.01	c  375s |      19 |   569671 |   497782 |     2047    416 |        0 |        0
377.92/378.06	c  378s |      19 |   572478 |   500282 |     2047    418 |        0 |        0
380.02/380.12	c  380s |      19 |   575085 |   502682 |     2047    419 |        0 |        0
382.02/382.14	c  382s |      19 |   577901 |   505182 |     2047    421 |        0 |        0
384.02/384.14	c  384s |      19 |   580657 |   507582 |     2047    423 |        0 |        0
386.02/386.19	c  386s |      19 |   583338 |   509982 |     2047    424 |        0 |        0
388.12/388.30	c  388s |      19 |   585999 |   512382 |     2047    426 |        0 |        0
390.21/390.34	c  390s |      19 |   588586 |   514682 |     2047    428 |        0 |        0
392.31/392.41	c  392s |      19 |   591363 |   517182 |     2047    430 |        0 |        0
394.31/394.42	c  394s |      19 |   593867 |   519482 |     2047    431 |        0 |        0
396.32/396.45	c  396s |      19 |   596785 |   522082 |     2047    433 |        0 |        0
398.42/398.52	c  398s |      19 |   599379 |   524482 |     2047    435 |        0 |        0
400.42/400.54	c  400s |      19 |   601884 |   526782 |     2047    436 |        0 |        0
402.42/402.55	c  402s |      19 |   604726 |   529282 |     2047    438 |        0 |        0
404.52/404.61	c  404s |      19 |   607253 |   531582 |     2047    440 |        0 |        0
406.51/406.65	c  406s |      19 |   609719 |   533782 |     2047    441 |        0 |        0
408.61/408.70	c  408s |      19 |   612375 |   535982 |     2047    443 |        0 |        0
410.71/410.80	c  410s |      19 |   615067 |   538282 |     2047    444 |        0 |        0
412.71/412.85	c  412s |      19 |   617559 |   540482 |     2047    446 |        0 |        0
414.71/414.88	c  414s |      19 |   620060 |   542682 |     2047    447 |        0 |        0
416.81/416.95	c  416s |      19 |   622514 |   544882 |     2047    449 |        0 |        0
418.90/419.00	c  418s |      19 |   625304 |   547282 |     2047    451 |        0 |        0
420.90/421.09	c  421s |      19 |   628226 |   549882 |     2047    452 |        0 |        0
422.99/423.14	c  423s |      19 |   631158 |   552482 |     2047    454 |        0 |        0
424.99/425.19	c  425s |      19 |   634092 |   555082 |     2047    456 |        0 |        0
427.09/427.22	c  427s |      19 |   636781 |   557482 |     2047    458 |        0 |        0
429.09/429.24	c  429s |      19 |   639589 |   559982 |     2047    459 |        0 |        0
431.10/431.27	c  431s |      19 |   642345 |   562482 |     2047    461 |        0 |        0
433.19/433.32	c  433s |      19 |   645210 |   565082 |     2047    463 |        0 |        0
435.19/435.36	c  435s |      19 |   647860 |   567482 |     2047    465 |        0 |        0
437.29/437.47	c  437s |      19 |   650798 |   570082 |     2047    467 |        0 |        0
439.38/439.55	c  439s |      19 |   653323 |   572382 |     2047    468 |        0 |        0
441.38/441.56	c  441s |      19 |   655898 |   574682 |     2047    470 |        0 |        0
443.38/443.60	c  443s |      19 |   658364 |   576882 |     2047    471 |        0 |        0
445.49/445.65	c  445s |      19 |   660754 |   579082 |     2047    473 |        0 |        0
447.48/447.68	c  447s |      19 |   663271 |   581382 |     2047    474 |        0 |        0
449.58/449.76	c  449s |      19 |   665689 |   583582 |     2047    476 |        0 |        0
451.58/451.80	c  451s |      19 |   668192 |   585882 |     2047    478 |        0 |        0
453.67/453.86	c  453s |      19 |   670840 |   588282 |     2047    479 |        0 |        0
455.77/455.94	c  455s |      19 |   673498 |   590682 |     2047    481 |        0 |        0
457.87/458.02	c  458s |      19 |   676195 |   593082 |     2047    483 |        0 |        0
459.87/460.07	c  460s |      19 |   678461 |   595182 |     2047    484 |        0 |        0
461.88/462.07	c  462s |      19 |   680526 |   597082 |     2047    485 |        0 |        0
463.87/464.09	c  464s |      19 |   683311 |   599582 |     2047    487 |        0 |        0
465.96/466.14	c  466s |      19 |   685839 |   601882 |     2047    489 |        0 |        0
467.96/468.16	c  468s |      19 |   688463 |   604182 |     2047    490 |        0 |        0
469.96/470.19	c  470s |      19 |   690884 |   606282 |     2047    492 |        0 |        0
472.06/472.20	c  472s |      19 |   693536 |   608582 |     2047    493 |        0 |        0
474.07/474.21	c  474s |      19 |   695996 |   610782 |     2047    495 |        0 |        0
476.17/476.31	c  476s |      19 |   698460 |   612982 |     2047    497 |        0 |        0
478.16/478.39	c  478s |      19 |   700833 |   615082 |     2047    498 |        0 |        0
480.26/480.49	c  480s |      19 |   702942 |   616982 |     2047    499 |        0 |        0
482.36/482.53	c  482s |      19 |   704918 |   618782 |     2047    501 |        0 |        0
484.36/484.59	c  484s |      19 |   706982 |   620682 |     2047    502 |        0 |        0
486.46/486.65	c  486s |      19 |   709103 |   622582 |     2047    503 |        0 |        0
488.46/488.65	c  488s |      19 |   710965 |   624282 |     2047    504 |        0 |        0
490.56/490.74	c  490s |      19 |   712913 |   626082 |     2047    506 |        0 |        0
492.66/492.82	c  492s |      19 |   715154 |   628082 |     2047    507 |        0 |        0
494.65/494.87	c  494s |      19 |   717365 |   630082 |     2047    509 |        0 |        0
496.74/496.93	c  496s |      19 |   719814 |   632282 |     2047    510 |        0 |        0
498.84/499.01	c  498s |      19 |   722027 |   634282 |     2047    511 |        0 |        0
500.84/501.07	c  501s |      19 |   724017 |   636082 |     2047    513 |        0 |        0
502.84/503.09	c  503s |      19 |   726121 |   637982 |     2047    514 |        0 |        0
504.94/505.16	c  505s |      19 |   728188 |   639882 |     2047    515 |        0 |        0
507.04/507.21	c  507s |      19 |   730285 |   641782 |     2047    517 |        0 |        0
509.04/509.29	c  509s |      19 |   732276 |   643582 |     2047    518 |        0 |        0
511.15/511.31	c  511s |      19 |   734670 |   645682 |     2047    519 |        0 |        0
513.15/513.32	c  513s |      19 |   736923 |   647682 |     2047    521 |        0 |        0
515.24/515.42	c  515s |      19 |   738869 |   649482 |     2047    522 |        0 |        0
517.24/517.47	c  517s |      19 |   741451 |   651782 |     2047    524 |        0 |        0
519.34/519.55	c  519s |      19 |   744014 |   654082 |     2047    525 |        0 |        0
521.44/521.62	c  521s |      19 |   746566 |   656382 |     2047    527 |        0 |        0
523.54/523.73	c  523s |      19 |   749177 |   658682 |     2047    529 |        0 |        0
525.53/525.79	c  525s |      19 |   751595 |   660882 |     2047    530 |        0 |        0
527.63/527.83	c  527s |      19 |   753706 |   662782 |     2252    531 |        0 |        0
529.63/529.85	c  529s |      19 |   755922 |   664782 |     2252    533 |        0 |        0
531.63/531.85	c  531s |      19 |   757909 |   666582 |     2252    534 |        0 |        0
531.83/532.05	c  532s |      20 |   758192 |   666827 |     2252    534 |        0 |        0
533.93/534.10	c  534s |      20 |   762040 |   669827 |     2252    536 |        0 |        0
535.92/536.17	c  536s |      20 |   764501 |   672027 |     2252    537 |        0 |        0
537.92/538.19	c  538s |      20 |   767385 |   674527 |     2252    539 |        0 |        0
540.03/540.24	c  540s |      20 |   770120 |   677027 |     2252    541 |        0 |        0
542.03/542.28	c  542s |      20 |   772921 |   679527 |     2252    542 |        0 |        0
544.13/544.36	c  544s |      20 |   775628 |   681927 |     2252    544 |        0 |        0
546.22/546.44	c  546s |      20 |   778056 |   684127 |     2252    545 |        0 |        0
548.22/548.46	c  548s |      20 |   780430 |   686227 |     2252    547 |        0 |        0
550.32/550.53	c  550s |      20 |   783241 |   688727 |     2252    548 |        0 |        0
552.32/552.55	c  552s |      20 |   786007 |   691227 |     2252    550 |        0 |        0
554.32/554.58	c  554s |      20 |   788855 |   693727 |     2252    551 |        0 |        0
556.42/556.63	c  556s |      20 |   791557 |   696127 |     2252    553 |        0 |        0
558.51/558.70	c  558s |      20 |   794331 |   698527 |     2252    555 |        0 |        0
560.51/560.75	c  560s |      20 |   797057 |   700927 |     2252    556 |        0 |        0
562.61/562.82	c  562s |      20 |   799799 |   703427 |     2252    558 |        0 |        0
564.61/564.83	c  564s |      20 |   802585 |   705827 |     2252    559 |        0 |        0
566.61/566.84	c  566s |      20 |   805366 |   708227 |     2252    561 |        0 |        0
568.61/568.87	c  568s |      20 |   808033 |   710527 |     2252    562 |        0 |        0
570.71/570.95	c  570s |      20 |   811044 |   713127 |     2252    564 |        0 |        0
572.81/573.03	c  573s |      20 |   813792 |   715527 |     2252    566 |        0 |        0
574.80/575.09	c  575s |      20 |   816136 |   717627 |     2252    567 |        0 |        0
576.90/577.14	c  577s |      20 |   818652 |   719827 |     2252    568 |        0 |        0
579.00/579.20	c  579s |      20 |   821017 |   721927 |     2252    570 |        0 |        0
581.00/581.27	c  581s |      20 |   823708 |   724327 |     2252    571 |        0 |        0
583.10/583.34	c  583s |      20 |   825975 |   726327 |     2252    573 |        0 |        0
585.11/585.38	c  585s |      20 |   828337 |   728427 |     2252    574 |        0 |        0
587.20/587.49	c  587s |      20 |   831058 |   730727 |     2252    575 |        0 |        0
589.29/589.55	c  589s |      20 |   833493 |   732827 |     2252    577 |        0 |        0
591.39/591.61	c  591s |      20 |   835949 |   734927 |     2252    578 |        0 |        0
593.39/593.61	c  593s |      20 |   838170 |   736927 |     2252    580 |        0 |        0
595.40/595.64	c  595s |      20 |   840935 |   739327 |     2252    581 |        0 |        0
597.39/597.66	c  597s |      20 |   843516 |   741627 |     2252    583 |        0 |        0
599.40/599.68	c  599s |      20 |   846105 |   743927 |     2252    584 |        0 |        0
601.50/601.72	c  601s |      20 |   848564 |   746027 |     2252    585 |        0 |        0
603.49/603.75	c  603s |      20 |   850989 |   748127 |     2252    587 |        0 |        0
605.59/605.83	c  605s |      20 |   853493 |   750327 |     2252    588 |        0 |        0
607.58/607.87	c  607s |      20 |   856098 |   752627 |     2252    590 |        0 |        0
609.68/609.90	c  609s |      20 |   858574 |   754827 |     2252    591 |        0 |        0
611.78/612.02	c  611s |      20 |   860939 |   756927 |     2252    593 |        0 |        0
613.78/614.05	c  614s |      20 |   863628 |   759227 |     2252    594 |        0 |        0
615.88/616.11	c  616s |      20 |   866258 |   761527 |     2252    596 |        0 |        0
617.88/618.19	c  618s |      20 |   868623 |   763627 |     2252    597 |        0 |        0
619.97/620.20	c  620s |      20 |   871076 |   765727 |     2252    598 |        0 |        0
621.98/622.22	c  622s |      20 |   873631 |   767927 |     2252    600 |        0 |        0
623.98/624.24	c  624s |      20 |   876208 |   770127 |     2252    601 |        0 |        0
626.17/626.42	c  626s |      20 |   878816 |   772327 |     2252    603 |        0 |        0
628.27/628.51	c  628s |      20 |   881536 |   774627 |     2252    604 |        0 |        0
630.27/630.57	c  630s |      20 |   884156 |   776727 |     2252    605 |        0 |        0
632.38/632.61	c  632s |      20 |   886489 |   778627 |     2252    607 |        0 |        0
634.37/634.68	c  634s |      20 |   888889 |   780627 |     2252    608 |        0 |        0
636.47/636.77	c  636s |      20 |   891438 |   782727 |     2252    609 |        0 |        0
638.57/638.80	c  638s |      20 |   893772 |   784727 |     2252    611 |        0 |        0
640.57/640.87	c  640s |      20 |   896170 |   786727 |     2252    612 |        0 |        0
642.67/642.97	c  642s |      20 |   898677 |   788827 |     2252    613 |        0 |        0
644.77/645.00	c  644s |      20 |   900754 |   790627 |     2252    614 |        0 |        0
646.77/647.06	c  647s |      20 |   902925 |   792527 |     2252    616 |        0 |        0
648.87/649.13	c  649s |      20 |   905221 |   794527 |     2252    617 |        0 |        0
650.87/651.19	c  651s |      20 |   907435 |   796427 |     2252    618 |        0 |        0
653.06/653.37	c  653s |      20 |   909589 |   798327 |     2252    620 |        0 |        0
655.16/655.45	c  655s |      20 |   911859 |   800327 |     2252    621 |        0 |        0
657.26/657.50	c  657s |      20 |   914325 |   802527 |     2252    622 |        0 |        0
659.26/659.56	c  659s |      20 |   916575 |   804527 |     2252    624 |        0 |        0
661.35/661.60	c  661s |      20 |   918882 |   806627 |     2252    625 |        0 |        0
663.35/663.65	c  663s |      20 |   921500 |   808927 |     2252    626 |        0 |        0
665.45/665.74	c  665s |      20 |   924214 |   811327 |     2252    628 |        0 |        0
667.55/667.81	c  667s |      20 |   926466 |   813327 |     2252    629 |        0 |        0
669.56/669.87	c  669s |      20 |   928790 |   815427 |     2252    631 |        0 |        0
671.65/671.95	c  671s |      20 |   930846 |   817327 |     2252    632 |        0 |        0
673.65/673.99	c  673s |      20 |   933311 |   819527 |     2252    633 |        0 |        0
675.74/676.03	c  676s |      20 |   935533 |   821527 |     2252    635 |        0 |        0
677.74/678.08	c  678s |      20 |   937713 |   823527 |     2252    636 |        0 |        0
679.84/680.11	c  680s |      20 |   939802 |   825427 |     2252    637 |        0 |        0
681.85/682.17	c  682s |      20 |   942038 |   827427 |     2252    639 |        0 |        0
683.84/684.19	c  684s |      20 |   944438 |   829627 |     2252    640 |        0 |        0
685.93/686.25	c  686s |      20 |   946665 |   831627 |     2252    641 |        0 |        0
688.03/688.32	c  688s |      20 |   948969 |   833727 |     2252    643 |        0 |        0
690.04/690.36	c  690s |      20 |   951196 |   835727 |     2252    644 |        0 |        0
692.14/692.41	c  692s |      20 |   953837 |   838027 |     2252    645 |        0 |        0
694.14/694.44	c  694s |      20 |   956392 |   840127 |     2252    647 |        0 |        0
696.14/696.48	c  696s |      20 |   958691 |   842127 |     2252    648 |        0 |        0
698.24/698.51	c  698s |      20 |   961329 |   844427 |     2252    650 |        0 |        0
700.23/700.54	c  700s |      20 |   963530 |   846427 |     2252    651 |        0 |        0
702.23/702.56	c  702s |      20 |   965801 |   848427 |     2252    652 |        0 |        0
704.33/704.62	c  704s |      20 |   968036 |   850427 |     2252    653 |        0 |        0
706.33/706.64	c  706s |      20 |   970095 |   852327 |     2252    655 |        0 |        0
708.33/708.66	c  708s |      20 |   972695 |   854627 |     2252    656 |        0 |        0
710.34/710.70	c  710s |      20 |   974997 |   856727 |     2252    658 |        0 |        0
712.43/712.77	c  712s |      20 |   977272 |   858827 |     2252    659 |        0 |        0
714.43/714.78	c  714s |      20 |   979431 |   860827 |     2252    660 |        0 |        0
716.62/716.93	c  716s |      20 |   981989 |   863127 |     2252    662 |        0 |        0
718.62/718.97	c  718s |      20 |   984059 |   865027 |     2252    663 |        0 |        0
720.62/720.98	c  720s |      20 |   986268 |   867027 |     2252    664 |        0 |        0
722.72/723.01	c  722s |      20 |   988589 |   869127 |     2252    666 |        0 |        0
724.73/725.06	c  725s |      20 |   990777 |   871127 |     2252    667 |        0 |        0
726.82/727.16	c  727s |      20 |   992956 |   873127 |     2252    668 |        0 |        0
728.91/729.27	c  729s |      20 |   995167 |   875127 |     2252    670 |        0 |        0
731.01/731.36	c  731s |      20 |   997358 |   877127 |     2252    671 |        0 |        0
733.11/733.43	c  733s |      20 |   999342 |   878927 |     2252    672 |        0 |        0
735.21/735.52	c  735s |      20 |  1001544 |   880927 |     2252    673 |        0 |        0
737.31/737.62	c  737s |      20 |  1003570 |   882727 |     2252    674 |        0 |        0
739.41/739.70	c  739s |      20 |  1005798 |   884727 |     2252    676 |        0 |        0
741.41/741.73	c  741s |      20 |  1007799 |   886527 |     2252    677 |        0 |        0
743.41/743.76	c  743s |      20 |  1010421 |   888827 |     2252    678 |        0 |        0
745.41/745.80	c  745s |      20 |  1012619 |   890827 |     2252    680 |        0 |        0
747.50/747.83	c  747s |      20 |  1015239 |   893127 |     2252    681 |        0 |        0
749.50/749.88	c  749s |      20 |  1017671 |   895327 |     2252    683 |        0 |        0
751.61/751.96	c  751s |      20 |  1019912 |   897327 |     2252    684 |        0 |        0
753.71/754.04	c  754s |      20 |  1022554 |   899627 |     2252    686 |        0 |        0
755.81/756.10	c  756s |      20 |  1024951 |   901727 |     2252    687 |        0 |        0
757.81/758.11	c  758s |      20 |  1027090 |   903627 |     2252    688 |        0 |        0
759.81/760.15	c  760s |      20 |  1029150 |   905427 |     2252    689 |        0 |        0
761.81/762.17	c  762s |      20 |  1031540 |   907527 |     2252    691 |        0 |        0
763.90/764.21	c  764s |      20 |  1033917 |   909627 |     2252    692 |        0 |        0
765.90/766.26	c  766s |      20 |  1036132 |   911627 |     2252    693 |        0 |        0
767.90/768.27	c  768s |      20 |  1038239 |   913527 |     2252    695 |        0 |        0
769.90/770.29	c  770s |      20 |  1040200 |   915327 |     2252    696 |        0 |        0
772.00/772.35	c  772s |      20 |  1042963 |   917727 |     2252    697 |        0 |        0
774.10/774.41	c  774s |      20 |  1045551 |   920027 |     2252    699 |        0 |        0
776.19/776.52	c  776s |      20 |  1048010 |   922227 |     2252    700 |        0 |        0
778.29/778.61	c  778s |      20 |  1050252 |   924227 |     2252    702 |        0 |        0
780.29/780.67	c  780s |      20 |  1052561 |   926327 |     2252    703 |        0 |        0
782.29/782.68	c  782s |      20 |  1054771 |   928327 |     2252    704 |        0 |        0
784.39/784.72	c  784s |      20 |  1056855 |   930227 |     2252    705 |        0 |        0
786.39/786.74	c  786s |      20 |  1059053 |   932227 |     2252    707 |        0 |        0
788.49/788.82	c  788s |      20 |  1061387 |   934327 |     2252    708 |        0 |        0
790.48/790.82	c  790s |      20 |  1063382 |   936127 |     2252    709 |        0 |        0
792.48/792.84	c  792s |      20 |  1065248 |   937827 |     2252    710 |        0 |        0
794.48/794.88	c  794s |      20 |  1067570 |   939827 |     2252    712 |        0 |        0
796.58/796.93	c  796s |      20 |  1070101 |   942027 |     2252    713 |        0 |        0
798.68/799.04	c  799s |      20 |  1072472 |   944127 |     2252    715 |        0 |        0
800.78/801.11	c  801s |      20 |  1074649 |   946027 |     2252    716 |        0 |        0
802.78/803.15	c  803s |      20 |  1076761 |   947927 |     2252    717 |        0 |        0
804.89/805.23	c  805s |      20 |  1078951 |   949927 |     2252    718 |        0 |        0
806.88/807.29	c  807s |      20 |  1080907 |   951727 |     2252    719 |        0 |        0
808.98/809.34	c  809s |      20 |  1083152 |   953727 |     2252    721 |        0 |        0
810.98/811.37	c  811s |      20 |  1085236 |   955627 |     2252    722 |        0 |        0
813.08/813.43	c  813s |      20 |  1087062 |   957327 |     2252    723 |        0 |        0
815.08/815.44	c  815s |      20 |  1089529 |   959427 |     2252    724 |        0 |        0
817.17/817.54	c  817s |      20 |  1091667 |   961327 |     2252    726 |        0 |        0
819.18/819.60	c  819s |      20 |  1093901 |   963327 |     2252    727 |        0 |        0
821.27/821.66	c  821s |      20 |  1095905 |   965127 |     2252    728 |        0 |        0
823.37/823.73	c  823s |      20 |  1097822 |   966827 |     2252    729 |        0 |        0
825.37/825.73	c  825s |      20 |  1099590 |   968427 |     2252    730 |        0 |        0
827.47/827.85	c  827s |      20 |  1101715 |   970327 |     2252    732 |        0 |        0
829.57/829.93	c  829s |      20 |  1104106 |   972427 |     2252    733 |        0 |        0
831.67/832.03	c  832s |      20 |  1106313 |   974427 |     2252    734 |        0 |        0
833.77/834.11	c  834s |      20 |  1108461 |   976327 |     2252    735 |        0 |        0
835.86/836.20	c  836s |      20 |  1110556 |   978227 |     2252    737 |        0 |        0
837.87/838.23	c  838s |      20 |  1112184 |   979727 |     2252    738 |        0 |        0
839.86/840.25	c  840s |      20 |  1114067 |   981427 |     2252    739 |        0 |        0
841.86/842.29	c  842s |      20 |  1116068 |   983227 |     2252    740 |        0 |        0
843.96/844.35	c  844s |      20 |  1118107 |   985027 |     2252    741 |        0 |        0
845.96/846.38	c  846s |      20 |  1120085 |   986827 |     2252    742 |        0 |        0
848.06/848.46	c  848s |      20 |  1122083 |   988627 |     2252    743 |        0 |        0
850.16/850.50	c  850s |      20 |  1124123 |   990427 |     2252    745 |        0 |        0
852.16/852.58	c  852s |      20 |  1126096 |   992227 |     2252    746 |        0 |        0
854.26/854.63	c  854s |      20 |  1128575 |   994427 |     2478    747 |        0 |        0
856.25/856.66	c  856s |      20 |  1130742 |   996327 |     2478    748 |        0 |        0
858.25/858.67	c  858s |      20 |  1132673 |   998027 |     2478    749 |        0 |        0
860.25/860.67	c  860s |      20 |  1134729 |   999827 |     2478    750 |        0 |        0
860.85/861.27	c  861s |      21 |  1135317 |  1000345 |     2478    751 |        0 |        0
862.95/863.36	c  863s |      21 |  1138790 |  1003045 |     2478    752 |        0 |        0
864.95/865.38	c  865s |      21 |  1140997 |  1005045 |     2478    753 |        0 |        0
867.04/867.45	c  867s |      21 |  1143196 |  1007045 |     2478    755 |        0 |        0
869.04/869.49	c  869s |      21 |  1145798 |  1009345 |     2478    756 |        0 |        0
871.14/871.55	c  871s |      21 |  1148364 |  1011545 |     2478    757 |        0 |        0
873.24/873.61	c  873s |      21 |  1150829 |  1013645 |     2478    759 |        0 |        0
875.25/875.66	c  875s |      21 |  1153407 |  1015945 |     2478    760 |        0 |        0
877.24/877.69	c  877s |      21 |  1155881 |  1018145 |     2478    761 |        0 |        0
879.34/879.77	c  879s |      21 |  1158416 |  1020445 |     2478    763 |        0 |        0
881.34/881.79	c  881s |      21 |  1160940 |  1022745 |     2478    764 |        0 |        0
883.43/883.81	c  883s |      21 |  1163395 |  1024945 |     2478    766 |        0 |        0
885.43/885.86	c  885s |      21 |  1165946 |  1027245 |     2478    767 |        0 |        0
887.53/887.95	c  887s |      21 |  1168445 |  1029445 |     2478    768 |        0 |        0
889.54/889.98	c  889s |      21 |  1170848 |  1031545 |     2478    770 |        0 |        0
891.63/892.03	c  892s |      21 |  1173390 |  1033745 |     2478    771 |        0 |        0
893.73/894.11	c  894s |      21 |  1175998 |  1036045 |     2478    772 |        0 |        0
895.73/896.19	c  896s |      21 |  1178342 |  1038145 |     2478    774 |        0 |        0
897.83/898.26	c  898s |      21 |  1180783 |  1040345 |     2478    775 |        0 |        0
899.92/900.32	c  900s |      21 |  1183022 |  1042345 |     2478    776 |        0 |        0
901.92/902.34	c  902s |      21 |  1185407 |  1044445 |     2478    777 |        0 |        0
903.93/904.39	c  904s |      21 |  1187865 |  1046545 |     2478    779 |        0 |        0
906.02/906.47	c  906s |      21 |  1190165 |  1048545 |     2478    780 |        0 |        0
908.12/908.53	c  908s |      21 |  1192564 |  1050645 |     2478    781 |        0 |        0
910.12/910.58	c  910s |      21 |  1194863 |  1052645 |     2478    782 |        0 |        0
912.22/912.60	c  912s |      21 |  1197171 |  1054645 |     2478    784 |        0 |        0
914.22/914.66	c  914s |      21 |  1199643 |  1056845 |     2478    785 |        0 |        0
916.31/916.74	c  916s |      21 |  1202004 |  1058945 |     2478    786 |        0 |        0
918.31/918.77	c  918s |      21 |  1204075 |  1060845 |     2478    787 |        0 |        0
920.42/920.87	c  920s |      21 |  1206143 |  1062745 |     2478    788 |        0 |        0
922.62/923.06	c  923s |      21 |  1208041 |  1064445 |     2478    790 |        0 |        0
924.82/925.21	c  925s |      21 |  1210196 |  1066345 |     2478    791 |        0 |        0
926.81/927.27	c  927s |      21 |  1211938 |  1067945 |     2478    792 |        0 |        0
928.91/929.31	c  929s |      21 |  1213698 |  1069545 |     2478    793 |        0 |        0
930.91/931.35	c  931s |      21 |  1215586 |  1071245 |     2478    794 |        0 |        0
933.01/933.43	c  933s |      21 |  1217671 |  1073145 |     2478    795 |        0 |        0
935.11/935.52	c  935s |      21 |  1219584 |  1074845 |     2478    796 |        0 |        0
937.10/937.56	c  937s |      21 |  1221511 |  1076545 |     2478    797 |        0 |        0
939.11/939.59	c  939s |      21 |  1223374 |  1078245 |     2478    798 |        0 |        0
941.21/941.66	c  941s |      21 |  1225510 |  1080145 |     2478    799 |        0 |        0
943.30/943.73	c  943s |      21 |  1227468 |  1081945 |     2478    800 |        0 |        0
945.30/945.78	c  945s |      21 |  1229583 |  1083845 |     2478    801 |        0 |        0
947.40/947.83	c  947s |      21 |  1231448 |  1085545 |     2478    802 |        0 |        0
949.40/949.86	c  949s |      21 |  1233347 |  1087245 |     2478    803 |        0 |        0
951.40/951.89	c  951s |      21 |  1235105 |  1088845 |     2478    804 |        0 |        0
953.50/953.95	c  953s |      21 |  1237107 |  1090645 |     2478    805 |        0 |        0
955.50/955.97	c  955s |      21 |  1238962 |  1092345 |     2478    806 |        0 |        0
957.59/958.03	c  958s |      21 |  1240798 |  1094045 |     2478    807 |        0 |        0
959.59/960.08	c  960s |      21 |  1242720 |  1095745 |     2478    809 |        0 |        0
961.69/962.16	c  962s |      21 |  1244647 |  1097445 |     2478    810 |        0 |        0
963.79/964.25	c  964s |      21 |  1246410 |  1099045 |     2478    811 |        0 |        0
965.88/966.30	c  966s |      21 |  1248151 |  1100645 |     2478    811 |        0 |        0
967.88/968.31	c  968s |      21 |  1249850 |  1102145 |     2478    812 |        0 |        0
969.89/970.37	c  970s |      21 |  1251435 |  1103545 |     2478    813 |        0 |        0
972.00/972.44	c  972s |      21 |  1253311 |  1105245 |     2478    814 |        0 |        0
973.99/974.45	c  974s |      21 |  1255374 |  1107045 |     2478    815 |        0 |        0
975.98/976.47	c  976s |      21 |  1257258 |  1108745 |     2478    816 |        0 |        0
978.08/978.58	c  978s |      21 |  1259114 |  1110445 |     2478    817 |        0 |        0
980.28/980.73	c  980s |      21 |  1260872 |  1112045 |     2478    818 |        0 |        0
982.38/982.80	c  982s |      21 |  1262999 |  1113945 |     2478    820 |        0 |        0
984.38/984.89	c  984s |      21 |  1265104 |  1115845 |     2478    821 |        0 |        0
986.58/987.01	c  986s |      21 |  1267084 |  1117645 |     2478    822 |        0 |        0
988.58/989.05	c  989s |      21 |  1269069 |  1119445 |     2478    823 |        0 |        0
990.68/991.14	c  991s |      21 |  1271211 |  1121345 |     2478    824 |        0 |        0
992.77/993.27	c  993s |      21 |  1273139 |  1123045 |     2478    825 |        0 |        0
994.87/995.38	c  995s |      21 |  1274848 |  1124545 |     2478    826 |        0 |        0
996.97/997.40	c  997s |      21 |  1276852 |  1126245 |     2478    827 |        0 |        0
998.97/999.48	c  999s |      21 |  1279151 |  1128245 |     2478    828 |        0 |        0
1000.96/1001.49	c 1001s |      21 |  1281090 |  1129945 |     2478    829 |        0 |        0
1003.06/1003.58	c 1003s |      21 |  1282862 |  1131545 |     2478    830 |        0 |        0
1005.16/1005.62	c 1005s |      21 |  1284413 |  1132945 |     2478    831 |        0 |        0
1007.16/1007.62	c 1007s |      21 |  1286834 |  1134945 |     2478    832 |        0 |        0
1009.16/1009.66	c 1009s |      21 |  1288822 |  1136745 |     2478    833 |        0 |        0
1011.36/1011.81	c 1011s |      21 |  1290823 |  1138545 |     2478    835 |        0 |        0
1013.36/1013.86	c 1013s |      21 |  1292800 |  1140345 |     2478    836 |        0 |        0
1015.46/1015.95	c 1015s |      21 |  1294679 |  1142045 |     2478    837 |        0 |        0
1017.56/1018.00	c 1017s |      21 |  1296811 |  1143945 |     2478    838 |        0 |        0
1019.56/1020.01	c 1019s |      21 |  1298691 |  1145645 |     2478    839 |        0 |        0
1021.57/1022.03	c 1022s |      21 |  1300541 |  1147345 |     2478    840 |        0 |        0
1023.67/1024.13	c 1024s |      21 |  1302494 |  1149145 |     2478    841 |        0 |        0
1025.66/1026.17	c 1026s |      21 |  1304361 |  1150845 |     2478    842 |        0 |        0
1027.76/1028.25	c 1028s |      21 |  1306225 |  1152545 |     2478    843 |        0 |        0
1029.86/1030.32	c 1030s |      21 |  1308107 |  1154245 |     2478    844 |        0 |        0
1031.86/1032.34	c 1032s |      21 |  1309826 |  1155745 |     2478    845 |        0 |        0
1033.86/1034.38	c 1034s |      21 |  1311575 |  1157345 |     2478    846 |        0 |        0
1035.96/1036.43	c 1036s |      21 |  1313580 |  1159145 |     2478    847 |        0 |        0
1037.96/1038.45	c 1038s |      21 |  1315514 |  1160845 |     2478    848 |        0 |        0
1039.95/1040.46	c 1040s |      21 |  1317268 |  1162445 |     2478    849 |        0 |        0
1041.95/1042.47	c 1042s |      21 |  1319165 |  1164145 |     2478    850 |        0 |        0
1043.95/1044.48	c 1044s |      21 |  1321072 |  1165845 |     2478    851 |        0 |        0
1046.05/1046.53	c 1046s |      21 |  1323058 |  1167645 |     2478    852 |        0 |        0
1048.15/1048.60	c 1048s |      21 |  1325083 |  1169445 |     2478    853 |        0 |        0
1050.16/1050.63	c 1050s |      21 |  1326991 |  1171145 |     2478    854 |        0 |        0
1052.26/1052.70	c 1052s |      21 |  1328779 |  1172745 |     2478    855 |        0 |        0
1054.25/1054.75	c 1054s |      21 |  1330582 |  1174345 |     2478    856 |        0 |        0
1056.35/1056.80	c 1056s |      21 |  1332561 |  1176045 |     2478    857 |        0 |        0
1058.35/1058.87	c 1058s |      21 |  1334667 |  1177945 |     2478    858 |        0 |        0
1060.45/1060.98	c 1060s |      21 |  1336722 |  1179745 |     2478    860 |        0 |        0
1062.55/1063.06	c 1063s |      21 |  1338978 |  1181745 |     2478    861 |        0 |        0
1064.55/1065.09	c 1065s |      21 |  1341084 |  1183545 |     2478    862 |        0 |        0
1066.65/1067.13	c 1067s |      21 |  1343140 |  1185345 |     2478    863 |        0 |        0
1068.65/1069.19	c 1069s |      21 |  1344958 |  1186945 |     2478    864 |        0 |        0
1070.75/1071.25	c 1071s |      21 |  1346665 |  1188445 |     2478    865 |        0 |        0
1072.85/1073.33	c 1073s |      21 |  1348057 |  1189745 |     2478    866 |        0 |        0
1074.84/1075.34	c 1075s |      21 |  1350569 |  1191845 |     2478    867 |        0 |        0
1076.95/1077.44	c 1077s |      21 |  1352931 |  1193845 |     2478    868 |        0 |        0
1079.05/1079.50	c 1079s |      21 |  1354996 |  1195645 |     2478    869 |        0 |        0
1081.05/1081.58	c 1081s |      21 |  1356863 |  1197345 |     2478    870 |        0 |        0
1083.16/1083.68	c 1083s |      21 |  1358751 |  1199045 |     2478    871 |        0 |        0
1085.26/1085.80	c 1085s |      21 |  1360786 |  1200845 |     2478    872 |        0 |        0
1087.46/1087.91	c 1087s |      21 |  1362793 |  1202645 |     2478    873 |        0 |        0
1089.45/1089.93	c 1089s |      21 |  1364753 |  1204445 |     2478    875 |        0 |        0
1091.45/1091.98	c 1091s |      21 |  1366517 |  1206045 |     2478    876 |        0 |        0
1093.55/1094.04	c 1094s |      21 |  1368312 |  1207645 |     2478    876 |        0 |        0
1095.55/1096.09	c 1096s |      21 |  1370164 |  1209345 |     2478    878 |        0 |        0
1097.65/1098.14	c 1098s |      21 |  1372148 |  1211145 |     2478    879 |        0 |        0
1099.75/1100.25	c 1100s |      21 |  1374144 |  1212945 |     2478    880 |        0 |        0
1101.85/1102.30	c 1102s |      21 |  1375914 |  1214545 |     2478    881 |        0 |        0
1103.85/1104.40	c 1104s |      21 |  1378062 |  1216445 |     2478    882 |        0 |        0
1105.95/1106.42	c 1106s |      21 |  1380230 |  1218345 |     2478    883 |        0 |        0
1108.04/1108.53	c 1108s |      21 |  1382577 |  1220345 |     2478    884 |        0 |        0
1110.04/1110.53	c 1110s |      21 |  1384327 |  1221945 |     2478    885 |        0 |        0
1112.14/1112.65	c 1112s |      21 |  1386561 |  1223945 |     2478    886 |        0 |        0
1114.14/1114.66	c 1114s |      21 |  1388706 |  1225745 |     2478    887 |        0 |        0
1116.24/1116.75	c 1116s |      21 |  1390783 |  1227545 |     2478    889 |        0 |        0
1118.25/1118.77	c 1118s |      21 |  1392439 |  1229045 |     2478    890 |        0 |        0
1120.45/1120.94	c 1120s |      21 |  1394420 |  1230745 |     2478    891 |        0 |        0
1122.44/1122.99	c 1122s |      21 |  1396194 |  1232345 |     2478    892 |        0 |        0
1124.54/1125.09	c 1125s |      21 |  1398196 |  1234045 |     2478    893 |        0 |        0
1126.64/1127.10	c 1127s |      21 |  1400818 |  1236245 |     2478    894 |        0 |        0
1128.64/1129.15	c 1129s |      21 |  1402903 |  1238045 |     2478    895 |        0 |        0
1130.74/1131.26	c 1131s |      21 |  1404869 |  1239745 |     2478    896 |        0 |        0
1132.84/1133.39	c 1133s |      21 |  1406528 |  1241245 |     2478    897 |        0 |        0
1134.94/1135.41	c 1135s |      21 |  1408291 |  1242845 |     2478    898 |        0 |        0
1136.95/1137.47	c 1137s |      21 |  1409979 |  1244345 |     2478    899 |        0 |        0
1139.04/1139.57	c 1139s |      21 |  1411616 |  1245845 |     2478    900 |        0 |        0
1141.24/1141.76	c 1141s |      21 |  1413119 |  1247245 |     2478    901 |        0 |        0
1143.34/1143.85	c 1143s |      21 |  1414901 |  1248845 |     2478    902 |        0 |        0
1145.54/1146.00	c 1145s |      21 |  1416838 |  1250545 |     2478    903 |        0 |        0
1147.54/1148.04	c 1148s |      21 |  1418745 |  1252245 |     2478    904 |        0 |        0
1149.63/1150.13	c 1150s |      21 |  1420413 |  1253745 |     2478    905 |        0 |        0
1151.63/1152.19	c 1152s |      21 |  1422537 |  1255645 |     2478    906 |        0 |        0
1153.73/1154.21	c 1154s |      21 |  1424257 |  1257145 |     2478    907 |        0 |        0
1155.83/1156.36	c 1156s |      21 |  1426067 |  1258745 |     2478    908 |        0 |        0
1157.94/1158.43	c 1158s |      21 |  1427822 |  1260345 |     2478    909 |        0 |        0
1159.93/1160.43	c 1160s |      21 |  1429502 |  1261845 |     2478    909 |        0 |        0
1161.93/1162.44	c 1162s |      21 |  1431328 |  1263445 |     2478    910 |        0 |        0
1163.93/1164.47	c 1164s |      21 |  1433481 |  1265245 |     2478    912 |        0 |        0
1166.03/1166.55	c 1166s |      21 |  1435708 |  1267145 |     2478    913 |        0 |        0
1168.13/1168.61	c 1168s |      21 |  1437790 |  1268945 |     2478    914 |        0 |        0
1170.13/1170.61	c 1170s |      21 |  1439672 |  1270645 |     2478    915 |        0 |        0
1172.14/1172.63	c 1172s |      21 |  1441586 |  1272345 |     2478    916 |        0 |        0
1174.14/1174.69	c 1174s |      21 |  1443534 |  1274045 |     2478    917 |        0 |        0
1176.24/1176.74	c 1176s |      21 |  1445661 |  1275845 |     2478    918 |        0 |        0
1178.33/1178.82	c 1178s |      21 |  1447948 |  1277745 |     2478    919 |        0 |        0
1180.33/1180.89	c 1180s |      21 |  1450244 |  1279745 |     2478    920 |        0 |        0
1182.33/1182.89	c 1182s |      21 |  1452393 |  1281645 |     2478    921 |        0 |        0
1184.43/1184.99	c 1184s |      21 |  1454279 |  1283345 |     2478    923 |        0 |        0
1186.53/1187.07	c 1187s |      21 |  1456140 |  1285045 |     2478    924 |        0 |        0
1188.63/1189.17	c 1189s |      21 |  1457919 |  1286645 |     2478    925 |        0 |        0
1190.73/1191.27	c 1191s |      21 |  1459695 |  1288245 |     2478    925 |        0 |        0
1192.83/1193.34	c 1193s |      21 |  1461531 |  1289845 |     2478    926 |        0 |        0
1194.83/1195.39	c 1195s |      21 |  1463597 |  1291645 |     2478    928 |        0 |        0
1196.93/1197.46	c 1197s |      21 |  1465352 |  1293245 |     2478    929 |        0 |        0
1199.03/1199.57	c 1199s |      21 |  1466996 |  1294745 |     2478    929 |        0 |        0
1201.13/1201.67	c 1201s |      21 |  1468704 |  1296245 |     2478    930 |        0 |        0
1203.23/1203.71	c 1203s |      21 |  1470343 |  1297745 |     2478    931 |        0 |        0
1205.24/1205.75	c 1205s |      21 |  1471985 |  1299245 |     2478    932 |        0 |        0
1207.34/1207.80	c 1207s |      21 |  1473417 |  1300545 |     2478    933 |        0 |        0
1209.33/1209.88	c 1209s |      21 |  1475433 |  1302245 |     2478    934 |        0 |        0
1211.43/1211.98	c 1211s |      21 |  1477259 |  1303845 |     2478    935 |        0 |        0
1213.43/1213.98	c 1213s |      21 |  1479108 |  1305445 |     2478    936 |        0 |        0
1215.62/1216.12	c 1216s |      21 |  1481014 |  1307145 |     2478    937 |        0 |        0
1217.62/1218.14	c 1218s |      21 |  1482520 |  1308545 |     2478    938 |        0 |        0
1219.62/1220.17	c 1220s |      21 |  1484425 |  1310245 |     2478    939 |        0 |        0
1221.63/1222.18	c 1222s |      21 |  1486197 |  1311845 |     2478    940 |        0 |        0
1223.72/1224.20	c 1224s |      21 |  1487943 |  1313445 |     2478    941 |        0 |        0
1225.73/1226.27	c 1226s |      21 |  1489675 |  1315045 |     2478    942 |        0 |        0
1227.83/1228.30	c 1228s |      21 |  1491190 |  1316445 |     2478    943 |        0 |        0
1229.93/1230.49	c 1230s |      21 |  1492869 |  1317945 |     2478    944 |        0 |        0
1232.03/1232.53	c 1232s |      21 |  1494774 |  1319645 |     2478    945 |        0 |        0
1234.03/1234.55	c 1234s |      21 |  1496685 |  1321345 |     2478    946 |        0 |        0
1236.03/1236.58	c 1236s |      21 |  1498326 |  1322845 |     2478    947 |        0 |        0
1238.03/1238.59	c 1238s |      21 |  1500110 |  1324445 |     2478    948 |        0 |        0
1240.13/1240.61	c 1240s |      21 |  1501854 |  1326045 |     2478    949 |        0 |        0
1242.23/1242.71	c 1242s |      21 |  1503744 |  1327745 |     2478    950 |        0 |        0
1244.23/1244.73	c 1244s |      21 |  1505535 |  1329345 |     2478    950 |        0 |        0
1246.23/1246.79	c 1246s |      21 |  1507569 |  1331145 |     2478    952 |        0 |        0
1248.33/1248.83	c 1248s |      21 |  1509246 |  1332645 |     2478    953 |        0 |        0
1250.43/1250.91	c 1250s |      21 |  1511237 |  1334345 |     2478    954 |        0 |        0
1252.53/1253.02	c 1253s |      21 |  1513016 |  1335945 |     2478    955 |        0 |        0
1254.52/1255.03	c 1255s |      21 |  1514569 |  1337345 |     2478    955 |        0 |        0
1256.52/1257.09	c 1257s |      21 |  1516378 |  1338945 |     2478    956 |        0 |        0
1258.62/1259.12	c 1259s |      21 |  1517964 |  1340345 |     2478    957 |        0 |        0
1260.72/1261.20	c 1261s |      21 |  1520195 |  1342245 |     2478    958 |        0 |        0
1262.82/1263.31	c 1263s |      21 |  1522202 |  1344045 |     2478    959 |        0 |        0
1264.82/1265.34	c 1265s |      21 |  1524106 |  1345745 |     2478    960 |        0 |        0
1266.92/1267.43	c 1267s |      21 |  1525903 |  1347345 |     2478    961 |        0 |        0
1268.93/1269.43	c 1269s |      21 |  1527571 |  1348845 |     2478    962 |        0 |        0
1270.92/1271.49	c 1271s |      21 |  1529449 |  1350545 |     2478    963 |        0 |        0
1273.02/1273.51	c 1273s |      21 |  1531239 |  1352145 |     2478    964 |        0 |        0
1275.02/1275.55	c 1275s |      21 |  1533016 |  1353745 |     2478    965 |        0 |        0
1277.12/1277.61	c 1277s |      21 |  1534803 |  1355345 |     2478    966 |        0 |        0
1279.12/1279.64	c 1279s |      21 |  1536570 |  1356945 |     2478    967 |        0 |        0
1281.22/1281.71	c 1281s |      21 |  1538096 |  1358345 |     2478    968 |        0 |        0
1283.23/1283.76	c 1283s |      21 |  1539923 |  1359945 |     2478    969 |        0 |        0
1285.32/1285.85	c 1285s |      21 |  1542068 |  1361845 |     2478    970 |        0 |        0
1287.32/1287.89	c 1287s |      21 |  1543855 |  1363445 |     2478    971 |        0 |        0
1289.42/1289.97	c 1289s |      21 |  1545597 |  1365045 |     2478    972 |        0 |        0
1291.52/1292.02	c 1292s |      21 |  1547516 |  1366745 |     2478    973 |        0 |        0
1293.62/1294.13	c 1294s |      21 |  1549305 |  1368345 |     2478    974 |        0 |        0
1295.71/1296.20	c 1296s |      21 |  1551082 |  1369945 |     2478    975 |        0 |        0
1297.71/1298.26	c 1298s |      21 |  1552875 |  1371545 |     2478    976 |        0 |        0
1299.72/1300.30	c 1300s |      21 |  1554525 |  1373045 |     2478    977 |        0 |        0
1301.81/1302.30	c 1302s |      21 |  1556584 |  1374845 |     2478    978 |        0 |        0
1303.81/1304.37	c 1304s |      21 |  1558580 |  1376645 |     2478    979 |        0 |        0
1305.91/1306.46	c 1306s |      21 |  1560599 |  1378445 |     2478    980 |        0 |        0
1308.11/1308.62	c 1308s |      21 |  1562490 |  1380145 |     2478    981 |        0 |        0
1310.11/1310.69	c 1310s |      21 |  1564279 |  1381745 |     2478    982 |        0 |        0
1312.22/1312.77	c 1312s |      21 |  1566166 |  1383445 |     2478    983 |        0 |        0
1314.22/1314.78	c 1314s |      21 |  1567873 |  1384945 |     2478    984 |        0 |        0
1316.32/1316.89	c 1316s |      21 |  1569635 |  1386545 |     2478    985 |        0 |        0
1318.42/1318.97	c 1318s |      21 |  1571359 |  1388145 |     2478    986 |        0 |        0
1320.51/1321.03	c 1321s |      21 |  1573258 |  1389845 |     2478    987 |        0 |        0
1322.51/1323.09	c 1323s |      21 |  1575125 |  1391545 |     2478    988 |        0 |        0
1324.61/1325.14	c 1325s |      21 |  1577064 |  1393245 |     2478    989 |        0 |        0
1326.61/1327.17	c 1327s |      21 |  1578808 |  1394845 |     2478    990 |        0 |        0
1328.61/1329.19	c 1329s |      21 |  1580445 |  1396345 |     2478    991 |        0 |        0
1330.71/1331.20	c 1331s |      21 |  1582175 |  1397945 |     2478    992 |        0 |        0
1332.82/1333.34	c 1333s |      21 |  1583820 |  1399445 |     2478    993 |        0 |        0
1334.92/1335.42	c 1335s |      21 |  1585212 |  1400745 |     2478    994 |        0 |        0
1337.01/1337.50	c 1337s |      21 |  1587014 |  1402345 |     2478    995 |        0 |        0
1339.01/1339.50	c 1339s |      21 |  1588585 |  1403745 |     2478    996 |        0 |        0
1341.01/1341.53	c 1341s |      21 |  1590393 |  1405345 |     2478    997 |        0 |        0
1343.11/1343.65	c 1343s |      21 |  1592174 |  1406945 |     2478    998 |        0 |        0
1345.21/1345.73	c 1345s |      21 |  1593800 |  1408445 |     2478    999 |        0 |        0
1347.30/1347.85	c 1347s |      21 |  1595459 |  1409945 |     2478   1000 |        0 |        0
1349.40/1349.97	c 1349s |      21 |  1597319 |  1411645 |     2478   1001 |        0 |        0
1351.51/1352.01	c 1351s |      21 |  1599128 |  1413245 |     2478   1002 |        0 |        0
1353.61/1354.18	c 1354s |      21 |  1600987 |  1414945 |     2478   1003 |        0 |        0
1355.81/1356.36	c 1356s |      21 |  1602856 |  1416545 |     2478   1004 |        0 |        0
1357.90/1358.45	c 1358s |      21 |  1605009 |  1418445 |     2478   1005 |        0 |        0
1359.91/1360.45	c 1360s |      21 |  1607110 |  1420245 |     2478   1006 |        0 |        0
1361.91/1362.45	c 1362s |      21 |  1608867 |  1421845 |     2478   1007 |        0 |        0
1364.01/1364.50	c 1364s |      21 |  1610513 |  1423345 |     2478   1008 |        0 |        0
1366.01/1366.58	c 1366s |      21 |  1612279 |  1424945 |     2478   1009 |        0 |        0
1368.11/1368.67	c 1368s |      21 |  1613887 |  1426345 |     2478   1009 |        0 |        0
1370.21/1370.71	c 1370s |      21 |  1615451 |  1427745 |     2478   1010 |        0 |        0
1372.20/1372.75	c 1372s |      21 |  1616902 |  1429045 |     2478   1011 |        0 |        0
1374.30/1374.80	c 1374s |      21 |  1618448 |  1430445 |     2478   1012 |        0 |        0
1376.30/1376.83	c 1376s |      21 |  1619892 |  1431745 |     2478   1013 |        0 |        0
1378.30/1378.84	c 1378s |      21 |  1621212 |  1432945 |     2478   1013 |        0 |        0
1380.40/1380.92	c 1380s |      21 |  1622784 |  1434345 |     2478   1014 |        0 |        0
1382.40/1382.92	c 1382s |      21 |  1624462 |  1435845 |     2478   1015 |        0 |        0
1384.41/1384.97	c 1384s |      21 |  1626350 |  1437545 |     2478   1016 |        0 |        0
1386.40/1386.99	c 1386s |      21 |  1628419 |  1439345 |     2478   1017 |        0 |        0
1388.60/1389.10	c 1389s |      21 |  1630193 |  1440945 |     2478   1018 |        0 |        0
1390.70/1391.23	c 1391s |      21 |  1632221 |  1442745 |     2478   1019 |        0 |        0
1392.70/1393.28	c 1393s |      21 |  1633984 |  1444345 |     2478   1020 |        0 |        0
1394.80/1395.34	c 1395s |      21 |  1635744 |  1445945 |     2478   1021 |        0 |        0
1396.80/1397.36	c 1397s |      21 |  1637482 |  1447545 |     2478   1022 |        0 |        0
1398.90/1399.47	c 1399s |      21 |  1639255 |  1449145 |     2478   1023 |        0 |        0
1401.01/1401.56	c 1401s |      21 |  1640926 |  1450645 |     2478   1024 |        0 |        0
1403.11/1403.65	c 1403s |      21 |  1642722 |  1452245 |     2478   1025 |        0 |        0
1405.20/1405.70	c 1405s |      21 |  1644151 |  1453545 |     2478   1026 |        0 |        0
1407.20/1407.79	c 1407s |      21 |  1645976 |  1455145 |     2478   1027 |        0 |        0
1409.30/1409.85	c 1409s |      21 |  1647643 |  1456645 |     2478   1028 |        0 |        0
1411.40/1411.99	c 1411s |      21 |  1649281 |  1458145 |     2478   1029 |        0 |        0
1413.50/1414.00	c 1413s |      21 |  1651266 |  1459845 |     2478   1030 |        0 |        0
1415.50/1416.01	c 1415s |      21 |  1653104 |  1461445 |     2478   1031 |        0 |        0
1417.50/1418.05	c 1418s |      21 |  1654993 |  1463145 |     2478   1032 |        0 |        0
1419.50/1420.08	c 1420s |      21 |  1656631 |  1464645 |     2478   1033 |        0 |        0
1421.60/1422.16	c 1422s |      21 |  1658287 |  1466145 |     2478   1034 |        0 |        0
1423.59/1424.19	c 1424s |      21 |  1660218 |  1467845 |     2478   1035 |        0 |        0
1425.69/1426.24	c 1426s |      21 |  1661865 |  1469345 |     2478   1036 |        0 |        0
1427.69/1428.27	c 1428s |      21 |  1663635 |  1470945 |     2478   1037 |        0 |        0
1429.79/1430.38	c 1430s |      21 |  1665445 |  1472545 |     2478   1038 |        0 |        0
1431.89/1432.49	c 1432s |      21 |  1667304 |  1474245 |     2478   1039 |        0 |        0
1434.09/1434.62	c 1434s |      21 |  1669012 |  1475745 |     2478   1040 |        0 |        0
1436.10/1436.62	c 1436s |      21 |  1671067 |  1477545 |     2478   1041 |        0 |        0
1438.19/1438.73	c 1438s |      21 |  1672999 |  1479245 |     2478   1042 |        0 |        0
1440.19/1440.80	c 1440s |      21 |  1674645 |  1480745 |     2478   1043 |        0 |        0
1442.29/1442.85	c 1442s |      21 |  1676398 |  1482345 |     2478   1044 |        0 |        0
1444.39/1444.95	c 1444s |      21 |  1678198 |  1483945 |     2478   1045 |        0 |        0
1446.49/1447.04	c 1447s |      21 |  1680067 |  1485645 |     2478   1046 |        0 |        0
1448.59/1449.14	c 1449s |      21 |  1682070 |  1487445 |     2478   1047 |        0 |        0
1450.59/1451.16	c 1451s |      21 |  1683736 |  1488945 |     2478   1048 |        0 |        0
1452.69/1453.27	c 1453s |      21 |  1685512 |  1490545 |     2726   1048 |        0 |        0
1454.79/1455.34	c 1455s |      21 |  1687412 |  1492245 |     2726   1049 |        0 |        0
1456.79/1457.39	c 1457s |      21 |  1689103 |  1493745 |     2726   1050 |        0 |        0
1458.89/1459.45	c 1459s |      21 |  1690812 |  1495245 |     2726   1051 |        0 |        0
1460.99/1461.52	c 1461s |      21 |  1692830 |  1497045 |     2726   1052 |        0 |        0
1462.98/1463.54	c 1463s |      21 |  1694734 |  1498745 |     2726   1053 |        0 |        0
1465.08/1465.62	c 1465s |      21 |  1696478 |  1500345 |     2726   1054 |        0 |        0
1465.38/1465.98	c 1465s |      22 |  1696775 |  1500622 |     2726   1054 |        0 |        0
1467.48/1468.00	c 1467s |      22 |  1700197 |  1503322 |     2726   1056 |        0 |        0
1469.49/1470.09	c 1470s |      22 |  1702674 |  1505522 |     2726   1057 |        0 |        0
1471.59/1472.12	c 1472s |      22 |  1704883 |  1507522 |     2726   1058 |        0 |        0
1473.59/1474.18	c 1474s |      22 |  1706921 |  1509422 |     2726   1059 |        0 |        0
1475.69/1476.24	c 1476s |      22 |  1709147 |  1511422 |     2726   1060 |        0 |        0
1477.68/1478.26	c 1478s |      22 |  1711347 |  1513422 |     2726   1061 |        0 |        0
1479.78/1480.34	c 1480s |      22 |  1713640 |  1515522 |     2726   1063 |        0 |        0
1481.79/1482.35	c 1482s |      22 |  1716109 |  1517722 |     2726   1064 |        0 |        0
1483.89/1484.42	c 1484s |      22 |  1718427 |  1519822 |     2726   1065 |        0 |        0
1485.89/1486.43	c 1486s |      22 |  1720631 |  1521822 |     2726   1066 |        0 |        0
1487.99/1488.53	c 1488s |      22 |  1722836 |  1523822 |     2726   1067 |        0 |        0
1490.09/1490.64	c 1490s |      22 |  1724814 |  1525622 |     2726   1068 |        0 |        0
1492.19/1492.74	c 1492s |      22 |  1726955 |  1527522 |     2726   1069 |        0 |        0
1494.19/1494.77	c 1494s |      22 |  1728776 |  1529122 |     2726   1070 |        0 |        0
1496.29/1496.83	c 1496s |      22 |  1730992 |  1531122 |     2726   1071 |        0 |        0
1498.29/1498.87	c 1498s |      22 |  1732947 |  1532922 |     2726   1072 |        0 |        0
1500.39/1500.97	c 1500s |      22 |  1735048 |  1534822 |     2726   1074 |        0 |        0
1502.48/1503.03	c 1503s |      22 |  1737211 |  1536722 |     2726   1075 |        0 |        0
1504.48/1505.09	c 1505s |      22 |  1739426 |  1538722 |     2726   1076 |        0 |        0
1506.59/1507.17	c 1507s |      22 |  1741681 |  1540722 |     2726   1077 |        0 |        0
1508.69/1509.21	c 1509s |      22 |  1743674 |  1542522 |     2726   1078 |        0 |        0
1510.69/1511.29	c 1511s |      22 |  1745914 |  1544522 |     2726   1079 |        0 |        0
1512.79/1513.37	c 1513s |      22 |  1748122 |  1546522 |     2726   1080 |        0 |        0
1514.88/1515.42	c 1515s |      22 |  1750117 |  1548322 |     2726   1081 |        0 |        0
1516.88/1517.43	c 1517s |      22 |  1752331 |  1550322 |     2726   1082 |        0 |        0
1518.88/1519.49	c 1519s |      22 |  1754575 |  1552322 |     2726   1083 |        0 |        0
1521.08/1521.67	c 1521s |      22 |  1756917 |  1554422 |     2726   1085 |        0 |        0
1523.18/1523.74	c 1523s |      22 |  1758858 |  1556222 |     2726   1086 |        0 |        0
1525.18/1525.76	c 1525s |      22 |  1761100 |  1558222 |     2726   1087 |        0 |        0
1527.27/1527.85	c 1527s |      22 |  1762952 |  1559922 |     2726   1088 |        0 |        0
1529.27/1529.89	c 1529s |      22 |  1765130 |  1561822 |     2726   1089 |        0 |        0
1531.37/1531.97	c 1531s |      22 |  1767395 |  1563822 |     2726   1090 |        0 |        0
1533.38/1533.97	c 1533s |      22 |  1769428 |  1565622 |     2726   1091 |        0 |        0
1535.38/1535.99	c 1535s |      22 |  1771390 |  1567422 |     2726   1092 |        0 |        0
1537.48/1538.05	c 1538s |      22 |  1773396 |  1569222 |     2726   1093 |        0 |        0
1539.49/1540.09	c 1540s |      22 |  1775511 |  1571122 |     2726   1094 |        0 |        0
1541.58/1542.14	c 1542s |      22 |  1777335 |  1572822 |     2726   1095 |        0 |        0
1543.58/1544.19	c 1544s |      22 |  1779579 |  1574722 |     2726   1096 |        0 |        0
1545.68/1546.21	c 1546s |      22 |  1781594 |  1576522 |     2726   1097 |        0 |        0
1547.68/1548.23	c 1548s |      22 |  1783554 |  1578322 |     2726   1098 |        0 |        0
1549.68/1550.28	c 1550s |      22 |  1785522 |  1580122 |     2726   1099 |        0 |        0
1551.77/1552.35	c 1552s |      22 |  1787470 |  1581922 |     2726   1100 |        0 |        0
1553.78/1554.37	c 1554s |      22 |  1789689 |  1583922 |     2726   1101 |        0 |        0
1555.77/1556.39	c 1556s |      22 |  1792034 |  1586022 |     2726   1102 |        0 |        0
1557.87/1558.47	c 1558s |      22 |  1794111 |  1587922 |     2726   1103 |        0 |        0
1559.98/1560.57	c 1560s |      22 |  1796132 |  1589722 |     2726   1104 |        0 |        0
1562.18/1562.70	c 1562s |      22 |  1797985 |  1591422 |     2726   1105 |        0 |        0
1564.18/1564.77	c 1564s |      22 |  1800285 |  1593422 |     2726   1106 |        0 |        0
1566.28/1566.82	c 1566s |      22 |  1802416 |  1595322 |     2726   1108 |        0 |        0
1568.27/1568.85	c 1568s |      22 |  1804488 |  1597222 |     2726   1109 |        0 |        0
1570.38/1570.91	c 1570s |      22 |  1806575 |  1599122 |     2726   1110 |        0 |        0
1572.37/1572.96	c 1572s |      22 |  1808686 |  1601022 |     2726   1111 |        0 |        0
1574.47/1575.03	c 1575s |      22 |  1810530 |  1602722 |     2726   1112 |        0 |        0
1576.48/1577.05	c 1577s |      22 |  1812322 |  1604322 |     2726   1113 |        0 |        0
1578.48/1579.07	c 1579s |      22 |  1814478 |  1606222 |     2726   1114 |        0 |        0
1580.57/1581.16	c 1581s |      22 |  1816729 |  1608222 |     2726   1115 |        0 |        0
1582.57/1583.19	c 1583s |      22 |  1819058 |  1610222 |     2726   1116 |        0 |        0
1584.58/1585.20	c 1585s |      22 |  1821330 |  1612222 |     2726   1117 |        0 |        0
1586.67/1587.21	c 1587s |      22 |  1823558 |  1614222 |     2726   1118 |        0 |        0
1588.77/1589.31	c 1589s |      22 |  1825779 |  1616222 |     2726   1119 |        0 |        0
1590.77/1591.32	c 1591s |      22 |  1827851 |  1618122 |     2726   1120 |        0 |        0
1592.76/1593.36	c 1593s |      22 |  1829821 |  1619922 |     2726   1121 |        0 |        0
1594.77/1595.37	c 1595s |      22 |  1831897 |  1621822 |     2726   1122 |        0 |        0
1596.97/1597.51	c 1597s |      22 |  1833933 |  1623622 |     2726   1124 |        0 |        0
1598.98/1599.58	c 1599s |      22 |  1836422 |  1625822 |     2726   1125 |        0 |        0
1600.97/1601.58	c 1601s |      22 |  1838428 |  1627622 |     2726   1126 |        0 |        0
1603.07/1603.63	c 1603s |      22 |  1840529 |  1629522 |     2726   1127 |        0 |        0
1605.07/1605.69	c 1605s |      22 |  1842589 |  1631422 |     2726   1128 |        0 |        0
1607.16/1607.78	c 1607s |      22 |  1844569 |  1633222 |     2726   1129 |        0 |        0
1609.16/1609.79	c 1609s |      22 |  1846691 |  1635122 |     2726   1130 |        0 |        0
1611.26/1611.84	c 1611s |      22 |  1848712 |  1636922 |     2726   1131 |        0 |        0
1613.27/1613.85	c 1613s |      22 |  1850959 |  1638922 |     2726   1132 |        0 |        0
1615.37/1615.91	c 1615s |      22 |  1853081 |  1640822 |     2726   1133 |        0 |        0
1617.36/1617.95	c 1617s |      22 |  1855200 |  1642722 |     2726   1134 |        0 |        0
1619.46/1620.01	c 1619s |      22 |  1857286 |  1644622 |     2726   1135 |        0 |        0
1621.46/1622.08	c 1622s |      22 |  1859372 |  1646522 |     2726   1136 |        0 |        0
1623.56/1624.18	c 1624s |      22 |  1861364 |  1648322 |     2726   1137 |        0 |        0
1625.66/1626.29	c 1626s |      22 |  1863603 |  1650322 |     2726   1139 |        0 |        0
1627.76/1628.33	c 1628s |      22 |  1865473 |  1652022 |     2726   1139 |        0 |        0
1629.77/1630.39	c 1630s |      22 |  1867175 |  1653522 |     2726   1140 |        0 |        0
1631.87/1632.45	c 1632s |      22 |  1869624 |  1655622 |     2726   1141 |        0 |        0
1633.86/1634.47	c 1634s |      22 |  1871493 |  1657322 |     2726   1142 |        0 |        0
1635.96/1636.53	c 1636s |      22 |  1873735 |  1659322 |     2726   1144 |        0 |        0
1637.96/1638.57	c 1638s |      22 |  1875973 |  1661322 |     2726   1145 |        0 |        0
1639.96/1640.58	c 1640s |      22 |  1878160 |  1663322 |     2726   1146 |        0 |        0
1641.97/1642.59	c 1642s |      22 |  1880230 |  1665222 |     2726   1147 |        0 |        0
1644.07/1644.61	c 1644s |      22 |  1882332 |  1667122 |     2726   1148 |        0 |        0
1646.17/1646.71	c 1646s |      22 |  1884576 |  1669022 |     2726   1149 |        0 |        0
1648.26/1648.84	c 1648s |      22 |  1886617 |  1670822 |     2726   1150 |        0 |        0
1650.36/1650.93	c 1650s |      22 |  1888628 |  1672622 |     2726   1151 |        0 |        0
1652.46/1653.04	c 1653s |      22 |  1890621 |  1674422 |     2726   1152 |        0 |        0
1654.56/1655.10	c 1655s |      22 |  1892636 |  1676222 |     2726   1153 |        0 |        0
1656.56/1657.16	c 1657s |      22 |  1894628 |  1678022 |     2726   1154 |        0 |        0
1658.66/1659.23	c 1659s |      22 |  1896590 |  1679822 |     2726   1155 |        0 |        0
1660.66/1661.26	c 1661s |      22 |  1898591 |  1681622 |     2726   1156 |        0 |        0
1662.67/1663.28	c 1663s |      22 |  1900911 |  1683622 |     2726   1157 |        0 |        0
1664.76/1665.39	c 1665s |      22 |  1903247 |  1685722 |     2726   1158 |        0 |        0
1666.86/1667.40	c 1667s |      22 |  1905282 |  1687522 |     2726   1159 |        0 |        0
1668.96/1669.52	c 1669s |      22 |  1907453 |  1689422 |     2726   1161 |        0 |        0
1671.06/1671.62	c 1671s |      22 |  1909444 |  1691222 |     2726   1162 |        0 |        0
1673.15/1673.72	c 1673s |      22 |  1911733 |  1693222 |     2726   1163 |        0 |        0
1675.25/1675.81	c 1675s |      22 |  1913968 |  1695222 |     2726   1164 |        0 |        0
1677.25/1677.83	c 1677s |      22 |  1915926 |  1697022 |     2726   1165 |        0 |        0
1679.35/1679.93	c 1679s |      22 |  1917803 |  1698722 |     2726   1166 |        0 |        0
1681.36/1681.94	c 1681s |      22 |  1920066 |  1700722 |     2726   1167 |        0 |        0
1683.35/1683.98	c 1683s |      22 |  1922336 |  1702722 |     2726   1168 |        0 |        0
1685.45/1686.01	c 1685s |      22 |  1924347 |  1704522 |     2726   1169 |        0 |        0
1687.46/1688.03	c 1688s |      22 |  1926482 |  1706422 |     2726   1170 |        0 |        0
1689.46/1690.07	c 1690s |      22 |  1928770 |  1708422 |     2726   1171 |        0 |        0
1691.56/1692.18	c 1692s |      22 |  1930904 |  1710322 |     2726   1172 |        0 |        0
1693.66/1694.23	c 1694s |      22 |  1932892 |  1712122 |     2726   1173 |        0 |        0
1695.76/1696.32	c 1696s |      22 |  1934964 |  1713922 |     2726   1174 |        0 |        0
1697.86/1698.48	c 1698s |      22 |  1937464 |  1716122 |     2726   1176 |        0 |        0
1699.95/1700.51	c 1700s |      22 |  1939518 |  1717922 |     2726   1177 |        0 |        0
1701.95/1702.57	c 1702s |      22 |  1941690 |  1719822 |     2726   1178 |        0 |        0
1704.05/1704.62	c 1704s |      22 |  1943628 |  1721522 |     2726   1179 |        0 |        0
1706.05/1706.68	c 1706s |      22 |  1945633 |  1723322 |     2726   1180 |        0 |        0
1708.16/1708.76	c 1708s |      22 |  1947375 |  1724922 |     2726   1181 |        0 |        0
1710.26/1710.80	c 1710s |      22 |  1949354 |  1726722 |     2726   1182 |        0 |        0
1712.35/1712.90	c 1712s |      22 |  1951405 |  1728522 |     2726   1183 |        0 |        0
1714.36/1714.99	c 1714s |      22 |  1953884 |  1730722 |     2726   1184 |        0 |        0
1716.45/1717.03	c 1717s |      22 |  1955925 |  1732522 |     2726   1185 |        0 |        0
1718.45/1719.07	c 1719s |      22 |  1957666 |  1734122 |     2726   1186 |        0 |        0
1720.55/1721.12	c 1721s |      22 |  1959557 |  1735822 |     2726   1187 |        0 |        0
1722.55/1723.18	c 1723s |      22 |  1961345 |  1737422 |     2726   1188 |        0 |        0
1724.65/1725.27	c 1725s |      22 |  1963270 |  1739222 |     2726   1189 |        0 |        0
1726.75/1727.30	c 1727s |      22 |  1965166 |  1740922 |     2726   1189 |        0 |        0
1728.76/1729.33	c 1729s |      22 |  1967151 |  1742722 |     2726   1191 |        0 |        0
1730.86/1731.43	c 1731s |      22 |  1969089 |  1744422 |     2726   1191 |        0 |        0
1732.85/1733.49	c 1733s |      22 |  1971009 |  1746122 |     2726   1192 |        0 |        0
1734.95/1735.55	c 1735s |      22 |  1973173 |  1748022 |     2726   1193 |        0 |        0
1737.05/1737.62	c 1737s |      22 |  1975072 |  1749722 |     2726   1194 |        0 |        0
1739.15/1739.71	c 1739s |      22 |  1977072 |  1751522 |     2726   1195 |        0 |        0
1741.15/1741.79	c 1741s |      22 |  1979220 |  1753422 |     2726   1196 |        0 |        0
1743.25/1743.83	c 1743s |      22 |  1981306 |  1755222 |     2726   1198 |        0 |        0
1745.35/1745.92	c 1745s |      22 |  1983433 |  1757122 |     2726   1199 |        0 |        0
1747.35/1747.96	c 1747s |      22 |  1985392 |  1758922 |     2726   1200 |        0 |        0
1749.35/1749.98	c 1749s |      22 |  1987402 |  1760722 |     2726   1201 |        0 |        0
1751.45/1752.09	c 1752s |      22 |  1989514 |  1762622 |     2726   1202 |        0 |        0
1753.55/1754.11	c 1754s |      22 |  1991563 |  1764422 |     2726   1203 |        0 |        0
1755.55/1756.15	c 1756s |      22 |  1993921 |  1766522 |     2726   1204 |        0 |        0
1757.54/1758.18	c 1758s |      22 |  1996006 |  1768422 |     2726   1205 |        0 |        0
1759.64/1760.28	c 1760s |      22 |  1998217 |  1770422 |     2726   1206 |        0 |        0
1761.75/1762.33	c 1762s |      22 |  2000161 |  1772222 |     2726   1207 |        0 |        0
1763.74/1764.37	c 1764s |      22 |  2002158 |  1774022 |     2726   1208 |        0 |        0
1765.84/1766.47	c 1766s |      22 |  2004308 |  1775922 |     2726   1209 |        0 |        0
1767.94/1768.55	c 1768s |      22 |  2006425 |  1777822 |     2726   1210 |        0 |        0
1770.04/1770.65	c 1770s |      22 |  2008443 |  1779622 |     2726   1211 |        0 |        0
1772.14/1772.74	c 1772s |      22 |  2010215 |  1781222 |     2726   1212 |        0 |        0
1774.24/1774.80	c 1774s |      22 |  2011902 |  1782722 |     2726   1213 |        0 |        0
1776.34/1776.92	c 1776s |      22 |  2013510 |  1784122 |     2726   1214 |        0 |        0
1778.34/1778.93	c 1778s |      22 |  2014947 |  1785422 |     2726   1215 |        0 |        0
1780.45/1781.02	c 1780s |      22 |  2016808 |  1787122 |     2726   1215 |        0 |        0
1782.55/1783.13	c 1783s |      22 |  2018801 |  1788922 |     2726   1216 |        0 |        0
1784.54/1785.15	c 1785s |      22 |  2020813 |  1790622 |     2726   1217 |        0 |        0
1786.74/1787.30	c 1787s |      22 |  2023009 |  1792522 |     2726   1219 |        0 |        0
1788.74/1789.39	c 1789s |      22 |  2025037 |  1794322 |     2726   1220 |        0 |        0
1790.84/1791.46	c 1791s |      22 |  2026916 |  1796022 |     2726   1221 |        0 |        0
1792.94/1793.59	c 1793s |      22 |  2028996 |  1797822 |     2726   1222 |        0 |        0
1795.04/1795.66	c 1795s |      22 |  2031082 |  1799622 |     2726   1223 |        0 |        0
1797.14/1797.73	c 1797s |      22 |  2033036 |  1801322 |     2726   1223 |        0 |        0
1799.24/1799.83	c 1799s |      22 |  2034857 |  1802922 |     2726   1224 |        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-4078766-1465240133/watcher-4078766-1465240133 -o /tmp/evaluation-result-4078766-1465240133/solver-4078766-1465240133 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078766-1465240133.opb 

pid=6767
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.04 2.05 2.02 3/179 6770
/proc/meminfo: memFree=30459688/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=692668 CPUtime=0 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 2580 0 0 0 0 0 0 0 20 0 4 0 105948014 709292032 2941 33554432000 4194304 16246674 140736836289744 140736836289168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 173935 2949 441 2943 0 170829 0
[pid=6770/tid=6771] ppid=6767 vsize=711100 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 728166400 3013 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 733409280 3029 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105948015 737603584 3045 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100194 s]
/proc/loadavg: 2.04 2.05 2.02 3/179 6770
/proc/meminfo: memFree=30459688/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 32765 0 0 0 6 3 0 0 20 0 4 0 105948014 1247350784 33114 33554432000 4194304 16246674 140736836289744 140736836289168 12659233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 304529 33126 704 2943 0 301423 0
[pid=6770/tid=6771] ppid=6767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1247350784 33133 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1247350784 33139 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105948015 1247350784 33143 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200523 s]
/proc/loadavg: 2.04 2.05 2.02 3/179 6770
/proc/meminfo: memFree=30459688/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 68386 0 0 0 11 8 0 0 20 0 4 0 105948014 1247350784 68735 33554432000 4194304 16246674 140736836289744 140736836289168 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 304529 68757 704 2943 0 301423 0
[pid=6770/tid=6771] ppid=6767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1247350784 68771 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1247350784 68785 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105948015 1247350784 68799 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300486 s]
/proc/loadavg: 2.04 2.05 2.02 3/179 6770
/proc/meminfo: memFree=30459688/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 104046 0 0 0 16 13 0 0 20 0 4 0 105948014 1247350784 104396 33554432000 4194304 16246674 140736836289744 140736836289168 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 304529 104418 712 2943 0 301423 0
[pid=6770/tid=6771] ppid=6767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1247350784 104432 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1247350784 104448 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105948015 1247350784 104462 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700413 s]
/proc/loadavg: 2.04 2.05 2.02 3/179 6770
/proc/meminfo: memFree=30459688/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 245879 0 0 0 37 32 0 0 20 0 4 0 105948014 1249447936 246208 33554432000 4194304 16246674 140736836289744 140736836289056 13928602 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 305041 246208 788 2943 0 301935 0
[pid=6770/tid=6771] ppid=6767 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1249447936 246208 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1249447936 246208 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1249447936 246208 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50042 s]
/proc/loadavg: 2.04 2.05 2.02 3/183 6774
/proc/meminfo: memFree=29399748/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 267589 0 0 0 114 35 0 0 20 0 4 0 105948014 1338576896 267918 33554432000 4194304 16246674 140736836289744 140736836289056 5546252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 326801 267918 789 2943 0 323695 0
[pid=6770/tid=6771] ppid=6767 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1338576896 267918 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1338576896 267918 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1338576896 267918 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10042 s]
/proc/loadavg: 2.04 2.05 2.02 3/183 6774
/proc/meminfo: memFree=29387976/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 267697 0 0 0 274 35 0 0 20 0 4 0 105948014 1338576896 268026 33554432000 4194304 16246674 140736836289744 140736836271616 13949753 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 326801 268026 789 2943 0 323695 0
[pid=6770/tid=6771] ppid=6767 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1338576896 268026 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1338576896 268026 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1338576896 268026 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.04 2.05 2.02 3/183 6774
/proc/meminfo: memFree=29386364/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 268084 0 0 0 594 35 0 0 20 0 4 0 105948014 1339625472 268413 33554432000 4194304 16246674 140736836289744 140736836271616 5546023 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 327057 268413 789 2943 0 323951 0
[pid=6770/tid=6771] ppid=6767 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1339625472 268413 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1339625472 268413 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1339625472 268413 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.11 2.06 2.03 3/183 6774
/proc/meminfo: memFree=29387028/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 268084 0 0 0 1234 35 0 0 20 0 4 0 105948014 1339625472 268413 33554432000 4194304 16246674 140736836289744 140736836272744 13191512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 327057 268413 789 2943 0 323951 0
[pid=6770/tid=6771] ppid=6767 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1339625472 268413 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1339625472 268413 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1339625472 268413 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.09 2.06 2.02 3/183 6774
/proc/meminfo: memFree=29386112/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 268596 0 0 0 2513 36 0 0 20 0 4 0 105948014 1341722624 268925 33554432000 4194304 16246674 140736836289744 140736836272744 5722604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 327569 268925 789 2943 0 324463 0
[pid=6770/tid=6771] ppid=6767 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1341722624 268925 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1341722624 268925 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1341722624 268925 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1004 s]
/proc/loadavg: 2.06 2.05 2.02 3/183 6774
/proc/meminfo: memFree=29385956/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 268596 0 0 0 5071 37 0 0 20 0 4 0 105948014 1341722624 268925 33554432000 4194304 16246674 140736836289744 140736836271616 6010609 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 327569 268925 789 2943 0 324463 0
[pid=6770/tid=6771] ppid=6767 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1341722624 268925 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1341722624 268925 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1341722624 268925 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.06 2.06 2.02 3/184 6779
/proc/meminfo: memFree=29386056/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 268596 0 0 0 10189 39 0 0 20 0 4 0 105948014 1341722624 268925 33554432000 4194304 16246674 140736836289744 140736836271616 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 327569 268925 789 2943 0 324463 0
[pid=6770/tid=6771] ppid=6767 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1341722624 268925 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1341722624 268925 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1341722624 268925 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.04 2.08 2.06 3/184 6906
/proc/meminfo: memFree=29664336/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1317444 CPUtime=1301.81 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 270840 0 0 0 130108 73 0 0 20 0 4 0 105948014 1349062656 270722 33554432000 4194304 16246674 140736836289744 140736836271616 5717780 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 329361 270722 791 2943 0 326255 0
[pid=6770/tid=6771] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/183 6907
/proc/meminfo: memFree=29664140/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1317444 CPUtime=1361.81 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 270840 0 0 0 136105 76 0 0 20 0 4 0 105948014 1349062656 270722 33554432000 4194304 16246674 140736836289744 140736836271616 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 329361 270722 791 2943 0 326255 0
[pid=6770/tid=6771] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/183 6908
/proc/meminfo: memFree=29663716/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1317444 CPUtime=1421.8 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 270840 0 0 0 142103 77 0 0 20 0 4 0 105948014 1349062656 270722 33554432000 4194304 16246674 140736836289744 140736836271616 12478249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 329361 270722 791 2943 0 326255 0
[pid=6770/tid=6771] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/183 6909
/proc/meminfo: memFree=29663436/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1317444 CPUtime=1481.79 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 270840 0 0 0 148100 79 0 0 20 0 4 0 105948014 1349062656 270722 33554432000 4194304 16246674 140736836289744 140736836271616 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 329361 270722 791 2943 0 326255 0
[pid=6770/tid=6771] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1349062656 270722 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1317444

[startup+1542.31 s]
/proc/loadavg: 2.10 2.07 2.05 3/183 6910
/proc/meminfo: memFree=29663804/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1317444 CPUtime=1541.79 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 270841 0 0 0 154098 81 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 140736836272744 5545894 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 329361 270723 792 2943 0 326255 0
[pid=6770/tid=6771] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.04 3/183 6912
/proc/meminfo: memFree=29663380/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1317444 CPUtime=1601.77 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 270841 0 0 0 160093 84 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 140736836271616 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 329361 270723 792 2943 0 326255 0
[pid=6770/tid=6771] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.10 2.07 2.05 3/183 6913
/proc/meminfo: memFree=29663148/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1317444 CPUtime=1661.76 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 270841 0 0 0 166091 85 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 140736836288840 13963936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 329361 270723 792 2943 0 326255 0
[pid=6770/tid=6771] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.09 2.07 2.05 3/183 6914
/proc/meminfo: memFree=29663052/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1317444 CPUtime=1721.75 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 270841 0 0 0 172088 87 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 140736836288920 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 329361 270723 792 2943 0 326255 0
[pid=6770/tid=6771] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/183 6915
/proc/meminfo: memFree=29663260/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1317444 CPUtime=1781.74 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 270841 0 0 0 178087 87 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 140736836271616 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 329361 270723 792 2943 0 326255 0
[pid=6770/tid=6771] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.10 2.07 2.04 3/183 6915
/proc/meminfo: memFree=29663024/32872528 swapFree=11372/178980
[pid=6770] ppid=6767 vsize=1317444 CPUtime=1800.04 cores=0,2,4,6
/proc/6770/stat : 6770 (toysat) R 6767 6770 4590 0 -1 4202496 270841 0 0 0 179917 87 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 140736836271616 4222002 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6770/statm: 329361 270723 792 2943 0 326255 0
[pid=6770/tid=6771] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (toysat) S 6767 6770 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648716221680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6770/tid=6772] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (toysat) S 6767 6770 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105948014 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648705731824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6770/tid=6773] ppid=6767 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (toysat) S 6767 6770 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105948015 1349062656 270723 33554432000 4194304 16246674 140736836289744 139648695258288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 6770 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.61
CPU time (s): 1800.05
CPU user time (s): 1799.18
CPU system time (s): 0.875866
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 0.875866
maximum resident set size= 1082892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270841
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= 462
involuntary context switches= 2056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52131 second user time and 6.99694 second system time

The end

Begin job on node105 at 2016-06-06 21:08:53
IDJOB=4078766
IDBENCH=2583
IDSOLVER=2542
FILE ID=node105/4078766-1465240133
RUNJOBID= node105-1465220657-4606
PBS_JOBID= 19843223
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078766-1465240133/watcher-4078766-1465240133 -o /tmp/evaluation-result-4078766-1465240133/solver-4078766-1465240133 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078766-1465240133.opb

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

MD5SUM BENCH= 583fb36c9cf948cc03f361dd87435bdd
RANDOM SEED=893819114

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30460324 kB
Buffers:           40468 kB
Cached:           128828 kB
SwapCached:         1756 kB
Active:          1456508 kB
Inactive:          72820 kB
Active(anon):    1360508 kB
Inactive(anon):     1504 kB
Active(file):      96000 kB
Inactive(file):    71316 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098460 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1636280 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             568604 kB
SReclaimable:      12300 kB
SUnreclaim:       556304 kB
KernelStack:        1520 kB
PageTables:         6884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1682976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node105 at 2016-06-06 21:38:54