0.00/0.00	c 2016-06-17T00:33:13+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-4097093-1466116393.opb"]
0.00/0.01	c use --random-gen="778749980 2607945685 3192004514 1205875710 1978710738 2208265430 1172242318 4105777266 1244116472 2324992707 3787623667 790451356 3208574047 1646779410 2271493593 2827132438 163611524 454217441 3386350996 3258574675 1303376192 2572727363 3416435178 3506162881 715924231 4148079483 2261966443 1255544631 577839513 3719818481 723462700 850602110 3312703146 1502732972 1926809493 1669179008 3955308335 3404499796 708079600 3395976950 51561477 3134917940 2437413301 4011084735 1410561436 2552306236 578680599 2140011700 3985956180 290087040 1212473127 3796757603 3675037617 478643990 2672603624 1888712184 505484001 3457236831 3722459623 2227041852 1310362600 603653610 3214757074 2450006387 965399632 3303292602 2806623771 3088217092 2767575053 797375657 1005538399 1646551614 1245019351 982168195 1126412249 3764691498 960875550 1396587771 2992582574 2422098424 3937524911 2696294752 1466124466 317086388 3954868921 3566683515 2346750436 3107079976 1898563793 2334736990 56599337 147284526 2441314594 2947818128 1195187394 2780165740 4056022985 1682156934 2550158341 290430393 30872348 3826139427 3081816256 260664694 1368418424 798103801 429881059 3269640528 230068009 1583538580 3161698498 1260496035 1828415255 807260017 2024134282 1679309725 16000199 1774401098 1102708092 2006290976 2351255461 2361846281 68868165 48231074 2059871820 165884227 2315381893 1290237065 4064357469 1124703919 3021394662 3346319346 3404014567 1006534765 4197150859 484631478 3333468062 1459153861 1595765949 2310327102 3307083268 2922067756 1219123989 1022384583 4204471542 3442655161 3029167882 328127847 3864496172 2933265329 319248327 1374603513 3628493718 4084260894 2879219137 56704702 418659117 1762796569 4001438272 2582627640 3636710325 4171594900 1205461527 918498474 3483379421 3303165847 1440703879 2216815936 3957705944 676086752 3356008400 2187669429 2998129365 387526535 589658253 3309250004 1312697287 4288124091 3616667609 3311038540 1530557273 2134490633 431682587 3700843417 3918564545 372162660 2028145649 2170516555 1047778063 2671574754 2998431346 316049270 2654392979 2418346230 3689857520 457681507 1153318489 2792366440 2995318971 1533677699 2661856422 3830526983 170154274 223994479 1784196863 2968335405 569213128 3444675901 3350183358 2627042992 3293902771 2406414093 3495853043 580552046 1506254818 2881436513 1041430787 4214537966 3591210132 416741329 458534901 1732953984 3604069615 597184036 1940404688 1560506427 4205748389 3830069454 2830561108 4162794203 4140514953 3137703007 1749741465 2393983314 1588040348 3604545868 4023036347 4273173751 3965315308 3429092377 1276494363 3465046948 31093739 1122916490 1595640187 982978392 3843540194 377972511 1122386759 3023930661 3956845476 328330195 1883760251 1859869359 2943625344 2385649491 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1260
0.00/0.06	c #constraints 5990
0.08/0.13	c Solving starts ...
0.08/0.13	c ============================[ Search Statistics ]============================
0.08/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.13	c =============================================================================
0.08/0.13	c  0.0s |       0 |        0 |        0 |     2415      0 |        5 |        0
0.08/0.18	c  0.0s |       1 |      141 |      100 |     2415      0 |        5 |      278
0.19/0.24	c  0.1s |       2 |      323 |      250 |     2657      0 |        5 |      278
0.29/0.32	c  0.2s |       3 |      592 |      475 |     2923      0 |        5 |      278
0.39/0.48	c  0.3s |       4 |     1001 |      813 |     3216      0 |        5 |      278
0.69/0.74	c  0.6s |       5 |     1569 |     1320 |     3538      0 |        5 |      278
0.98/1.09	c  1.0s |       6 |     2424 |     2081 |     4282      0 |        5 |      278
1.49/1.57	c  1.4s |       7 |     3800 |     3223 |     4711      0 |        5 |      278
2.29/2.37	c  2.2s |       8 |     5870 |     4936 |     5183      0 |        5 |      278
3.59/3.66	c  3.5s |       9 |     8989 |     7506 |     5702      1 |        5 |      278
5.49/5.55	c  5.4s |      10 |    13399 |    11361 |     6273      2 |        5 |      278
7.48/7.55	c  7.4s |      10 |    19201 |    15961 |     6273      4 |        5 |      278
7.98/8.05	c  7.9s |      11 |    20630 |    17144 |     6901      4 |        5 |      278
9.99/10.06	c  9.9s |      11 |    25875 |    21444 |     6901      5 |        5 |      278
11.88/11.95	c 11.8s |      12 |    31221 |    25819 |     7592      6 |        5 |      278
13.88/13.95	c 13.8s |      12 |    36436 |    29919 |     7592      7 |        5 |      278
15.88/15.98	c 15.8s |      12 |    41627 |    34319 |     7592      8 |        5 |      278
17.98/18.02	c 17.9s |      12 |    46708 |    38619 |     8352     10 |        5 |      278
17.98/18.09	c 18.0s |      13 |    46949 |    38832 |     8352     10 |        5 |      278
20.09/20.13	c 20.0s |      13 |    52148 |    43132 |     8352     10 |        5 |      278
22.19/22.20	c 22.1s |      13 |    57332 |    47532 |     8352     12 |        5 |      278
24.20/24.26	c 24.1s |      13 |    62610 |    51832 |     8352     13 |        5 |      278
26.18/26.30	c 26.2s |      13 |    67815 |    56332 |     8352     14 |        5 |      278
27.18/27.26	c 27.1s |      14 |    70245 |    58352 |     9188     14 |        5 |      278
29.18/29.27	c 29.1s |      14 |    74729 |    62052 |     9188     15 |        5 |      278
31.28/31.31	c 31.2s |      14 |    79517 |    66252 |     9188     16 |        5 |      278
33.28/33.35	c 33.2s |      14 |    83901 |    70052 |     9188     16 |        5 |      278
35.29/35.35	c 35.2s |      14 |    88477 |    74052 |     9188     17 |        5 |      278
37.28/37.35	c 37.2s |      14 |    92953 |    78052 |     9188     18 |        5 |      278
39.28/39.36	c 39.2s |      14 |    97379 |    81652 |     9188     19 |        5 |      278
41.28/41.38	c 41.2s |      14 |   102483 |    85952 |     9188     20 |        5 |      278
42.09/42.12	c 42.0s |      15 |   104396 |    87632 |    10107     20 |        5 |      278
44.09/44.15	c 44.0s |      15 |   108698 |    91232 |    10107     21 |        5 |      278
46.09/46.18	c 46.0s |      15 |   113207 |    95132 |    10107     21 |        5 |      278
48.18/48.20	c 48.1s |      15 |   117503 |    98932 |    10107     22 |        5 |      278
50.18/50.25	c 50.1s |      15 |   121969 |   102932 |    10107     23 |        5 |      278
52.18/52.26	c 52.1s |      15 |   125634 |   106132 |    10107     24 |        5 |      278
54.18/54.29	c 54.2s |      15 |   129912 |   109732 |    10107     24 |        5 |      278
56.28/56.31	c 56.2s |      15 |   134311 |   113532 |    10107     25 |        5 |      278
58.29/58.33	c 58.2s |      15 |   138659 |   117232 |    10107     26 |        5 |      278
60.28/60.37	c 60.2s |      15 |   142875 |   120932 |    10107     26 |        5 |      278
62.38/62.41	c 62.3s |      15 |   147048 |   124632 |    10107     27 |        5 |      278
64.38/64.45	c 64.3s |      15 |   150962 |   128032 |    10107     28 |        5 |      278
66.38/66.48	c 66.4s |      15 |   154633 |   131332 |    11118     28 |        5 |      278
66.58/66.64	c 66.5s |      16 |   154858 |   131552 |    11118     28 |        5 |      278
68.58/68.69	c 68.6s |      16 |   158751 |   134752 |    11118     29 |        5 |      278
70.68/70.70	c 70.6s |      16 |   162651 |   138052 |    11118     30 |        5 |      278
72.69/72.72	c 72.6s |      16 |   167168 |   142052 |    11118     30 |        5 |      278
74.68/74.73	c 74.6s |      16 |   171456 |   145852 |    11118     31 |        5 |      278
76.68/76.77	c 76.6s |      16 |   175528 |   149452 |    11118     32 |        5 |      278
78.78/78.82	c 78.7s |      16 |   179506 |   152952 |    11118     32 |        5 |      278
81.18/81.20	c 81.1s |      16 |   181544 |   154852 |    11118     33 |        5 |      278
83.18/83.24	c 83.1s |      16 |   186010 |   158852 |    11118     33 |        5 |      278
85.18/85.26	c 85.1s |      16 |   190104 |   162352 |    11118     34 |        5 |      278
87.18/87.29	c 87.2s |      16 |   193734 |   165552 |    11118     34 |        5 |      278
89.28/89.34	c 89.2s |      16 |   197998 |   169152 |    11118     35 |        5 |      278
91.28/91.37	c 91.2s |      16 |   201966 |   172552 |    11118     36 |        5 |      278
93.38/93.43	c 93.3s |      16 |   206312 |   176352 |    11118     36 |        5 |      278
95.38/95.48	c 95.3s |      16 |   210341 |   179952 |    11118     37 |        5 |      278
97.38/97.48	c 97.3s |      16 |   213823 |   183152 |    11118     38 |        5 |      278
99.37/99.49	c 99.4s |      16 |   217645 |   186452 |    11118     38 |        5 |      278
101.48/101.50	c  101s |      16 |   221692 |   190052 |    11118     39 |        5 |      278
103.48/103.55	c  103s |      16 |   225762 |   193652 |    11118     39 |        5 |      278
105.48/105.57	c  105s |      16 |   229566 |   197052 |    12230     40 |        5 |      278
105.77/105.80	c  105s |      17 |   229983 |   197432 |    12230     40 |        5 |      278
107.78/107.83	c  107s |      17 |   233547 |   200332 |    12230     40 |        5 |      278
109.77/109.84	c  109s |      17 |   238078 |   204032 |    12230     41 |        5 |      278
111.97/112.01	c  111s |      17 |   242259 |   207632 |    12230     42 |        5 |      278
113.97/114.04	c  113s |      17 |   246292 |   211132 |    12230     42 |        5 |      278
115.97/116.07	c  115s |      17 |   250014 |   214332 |    12230     43 |        5 |      278
118.07/118.11	c  117s |      17 |   254149 |   217932 |    12230     43 |        5 |      278
120.07/120.16	c  120s |      17 |   257126 |   220232 |    12230     44 |        5 |      278
122.08/122.19	c  122s |      17 |   261681 |   223932 |    12230     44 |        5 |      278
124.17/124.23	c  124s |      17 |   266275 |   227732 |    12230     45 |        5 |      278
126.17/126.27	c  126s |      17 |   270452 |   231232 |    12230     45 |        5 |      278
128.27/128.32	c  128s |      17 |   274719 |   234932 |    12230     46 |        5 |      278
130.27/130.35	c  130s |      17 |   279111 |   238632 |    12230     47 |        5 |      278
132.37/132.41	c  132s |      17 |   283768 |   242732 |    12230     47 |        5 |      278
134.37/134.46	c  134s |      17 |   287681 |   246232 |    12230     48 |        5 |      278
136.37/136.49	c  136s |      17 |   291068 |   249132 |    12230     48 |        5 |      278
138.47/138.50	c  138s |      17 |   295102 |   252632 |    12230     49 |        5 |      278
140.47/140.51	c  140s |      17 |   299036 |   256132 |    12230     49 |        5 |      278
142.47/142.53	c  142s |      17 |   302825 |   259432 |    12230     50 |        5 |      278
144.47/144.59	c  144s |      17 |   306780 |   262832 |    12230     50 |        5 |      278
146.57/146.60	c  146s |      17 |   310697 |   266332 |    12230     51 |        5 |      278
148.57/148.60	c  148s |      17 |   314257 |   269432 |    12230     52 |        5 |      278
150.57/150.64	c  150s |      17 |   318254 |   273032 |    12230     52 |        5 |      278
152.56/152.64	c  152s |      17 |   321612 |   276132 |    12230     53 |        5 |      278
154.56/154.65	c  154s |      17 |   323694 |   277932 |    12230     53 |        5 |      278
156.56/156.68	c  156s |      17 |   328141 |   281632 |    12230     53 |        5 |      278
158.66/158.73	c  158s |      17 |   332355 |   285232 |    12230     54 |        5 |      278
160.67/160.74	c  160s |      17 |   336171 |   288432 |    12230     55 |        5 |      278
162.66/162.77	c  162s |      17 |   340498 |   292232 |    12230     55 |        5 |      278
164.66/164.79	c  164s |      17 |   344933 |   295932 |    13454     56 |        5 |      278
164.86/164.94	c  164s |      18 |   345294 |   296252 |    13454     56 |        5 |      278
166.86/166.95	c  166s |      18 |   348402 |   298952 |    13454     56 |        5 |      278
168.86/168.95	c  168s |      18 |   351777 |   301952 |    13454     57 |        5 |      278
170.86/171.00	c  170s |      18 |   355501 |   305352 |    13454     57 |        5 |      278
172.96/173.03	c  172s |      18 |   358827 |   308352 |    13454     57 |        5 |      278
174.96/175.08	c  174s |      18 |   362220 |   311452 |    13454     58 |        5 |      278
177.06/177.12	c  176s |      18 |   365484 |   314452 |    13454     58 |        5 |      278
179.16/179.26	c  179s |      18 |   367949 |   316652 |    13454     59 |        5 |      278
181.26/181.31	c  181s |      18 |   372124 |   320252 |    13454     59 |        5 |      278
183.26/183.33	c  183s |      18 |   375712 |   323452 |    13454     60 |        5 |      278
185.35/185.44	c  185s |      18 |   379232 |   326552 |    13454     60 |        5 |      278
187.46/187.51	c  187s |      18 |   382489 |   329352 |    13454     61 |        5 |      278
189.46/189.57	c  189s |      18 |   386352 |   332652 |    13454     61 |        5 |      278
191.55/191.63	c  191s |      18 |   389793 |   335652 |    13454     62 |        5 |      278
193.56/193.63	c  193s |      18 |   393674 |   339152 |    13454     62 |        5 |      278
195.55/195.64	c  195s |      18 |   397666 |   342452 |    13454     62 |        5 |      278
197.66/197.73	c  197s |      18 |   401033 |   345252 |    13454     63 |        5 |      278
199.66/199.74	c  199s |      18 |   404630 |   348352 |    13454     63 |        5 |      278
201.66/201.79	c  201s |      18 |   408432 |   351652 |    13454     64 |        5 |      278
203.76/203.84	c  203s |      18 |   412237 |   354852 |    13454     64 |        5 |      278
205.77/205.87	c  205s |      18 |   415557 |   357852 |    13454     65 |        5 |      278
207.87/207.91	c  207s |      18 |   418579 |   360452 |    13454     65 |        5 |      278
209.86/209.95	c  209s |      18 |   422135 |   363452 |    13454     66 |        5 |      278
211.96/212.00	c  211s |      18 |   426077 |   366952 |    13454     66 |        5 |      278
213.96/214.00	c  213s |      18 |   429174 |   369752 |    13454     67 |        5 |      278
215.96/216.04	c  215s |      18 |   432565 |   372852 |    13454     67 |        5 |      278
218.06/218.11	c  217s |      18 |   435881 |   375752 |    13454     67 |        5 |      278
220.06/220.12	c  219s |      18 |   439646 |   379052 |    13454     68 |        5 |      278
222.06/222.15	c  222s |      18 |   443094 |   382152 |    13454     68 |        5 |      278
224.16/224.22	c  224s |      18 |   446429 |   385252 |    13454     69 |        5 |      278
226.16/226.25	c  226s |      18 |   448909 |   387452 |    13454     69 |        5 |      278
228.36/228.41	c  228s |      18 |   452187 |   390252 |    13454     70 |        5 |      278
230.36/230.46	c  230s |      18 |   455862 |   393552 |    13454     70 |        5 |      278
232.35/232.48	c  232s |      18 |   459028 |   396352 |    13454     70 |        5 |      278
234.45/234.52	c  234s |      18 |   462166 |   399052 |    13454     71 |        5 |      278
236.46/236.59	c  236s |      18 |   465669 |   402152 |    13454     71 |        5 |      278
238.55/238.66	c  238s |      18 |   468521 |   404652 |    13454     72 |        5 |      278
240.55/240.67	c  240s |      18 |   471537 |   407352 |    13454     72 |        5 |      278
242.55/242.69	c  242s |      18 |   474997 |   410352 |    13454     72 |        5 |      278
244.65/244.73	c  244s |      18 |   478587 |   413552 |    13454     73 |        5 |      278
246.65/246.73	c  246s |      18 |   481599 |   416252 |    13454     73 |        5 |      278
248.75/248.80	c  248s |      18 |   484594 |   419052 |    13454     74 |        5 |      278
250.76/250.82	c  250s |      18 |   487623 |   421752 |    13454     74 |        5 |      278
252.75/252.86	c  252s |      18 |   490512 |   424352 |    13454     75 |        5 |      278
254.85/254.92	c  254s |      18 |   494166 |   427652 |    13454     75 |        5 |      278
256.85/256.95	c  256s |      18 |   496998 |   430252 |    13454     75 |        5 |      278
258.85/258.99	c  258s |      18 |   500145 |   433152 |    13454     76 |        5 |      278
260.85/260.99	c  260s |      18 |   503172 |   435952 |    13454     76 |        5 |      278
262.96/263.01	c  262s |      18 |   506615 |   438752 |    13454     77 |        5 |      278
265.05/265.14	c  265s |      18 |   509279 |   441052 |    13454     77 |        5 |      278
267.05/267.18	c  267s |      18 |   513048 |   444352 |    14800     77 |        5 |      278
267.15/267.28	c  267s |      19 |   513187 |   444482 |    14800     77 |        5 |      278
269.15/269.28	c  269s |      19 |   516459 |   447082 |    14800     78 |        5 |      278
271.25/271.34	c  271s |      19 |   520498 |   450582 |    14800     78 |        5 |      278
273.25/273.36	c  273s |      19 |   524266 |   453582 |    14800     78 |        5 |      278
275.25/275.37	c  275s |      19 |   528271 |   456982 |    14800     79 |        5 |      278
277.25/277.37	c  277s |      19 |   532126 |   460282 |    14800     79 |        5 |      278
279.45/279.57	c  279s |      19 |   534661 |   462482 |    14800     80 |        5 |      278
281.45/281.58	c  281s |      19 |   538525 |   465982 |    14800     80 |        5 |      278
283.54/283.61	c  283s |      19 |   541986 |   468982 |    14800     81 |        5 |      278
285.55/285.62	c  285s |      19 |   545616 |   472182 |    14800     81 |        5 |      278
287.55/287.67	c  287s |      19 |   548840 |   475082 |    14800     81 |        5 |      278
289.65/289.74	c  289s |      19 |   551854 |   477782 |    14800     82 |        5 |      278
291.74/291.86	c  291s |      19 |   554558 |   480182 |    14800     82 |        5 |      278
293.84/293.93	c  293s |      19 |   558094 |   483182 |    14800     82 |        5 |      278
295.85/295.99	c  295s |      19 |   562094 |   486582 |    14800     83 |        5 |      278
297.94/298.03	c  297s |      19 |   566187 |   490182 |    14800     83 |        5 |      278
299.94/300.07	c  299s |      19 |   569015 |   492682 |    14800     84 |        5 |      278
302.04/302.11	c  301s |      19 |   572721 |   495782 |    14800     84 |        5 |      278
304.04/304.13	c  303s |      19 |   576251 |   498782 |    14800     85 |        5 |      278
306.04/306.17	c  306s |      19 |   580279 |   502282 |    14800     85 |        5 |      278
308.54/308.69	c  308s |      19 |   584004 |   505482 |    14800     85 |        5 |      278
310.64/310.72	c  310s |      19 |   587547 |   508382 |    14800     86 |        5 |      278
312.64/312.74	c  312s |      19 |   591547 |   511682 |    14800     86 |        5 |      278
314.65/314.76	c  314s |      19 |   594919 |   514582 |    14800     87 |        5 |      278
316.64/316.79	c  316s |      19 |   598489 |   517782 |    14800     87 |        5 |      278
318.74/318.83	c  318s |      19 |   602052 |   520782 |    14800     87 |        5 |      278
320.74/320.85	c  320s |      19 |   605920 |   524182 |    14800     88 |        5 |      278
322.84/322.92	c  322s |      19 |   609492 |   527282 |    14800     88 |        5 |      278
325.64/325.76	c  325s |      19 |   611077 |   528682 |    14800     89 |        5 |      278
327.64/327.78	c  327s |      19 |   615218 |   532282 |    14800     89 |        5 |      278
329.63/329.80	c  329s |      19 |   618718 |   535382 |    14800     89 |        5 |      278
331.73/331.84	c  331s |      19 |   622272 |   538582 |    14800     90 |        5 |      278
333.73/333.90	c  333s |      19 |   625649 |   541582 |    14800     90 |        5 |      278
335.83/335.95	c  335s |      19 |   628857 |   544382 |    14800     91 |        5 |      278
337.93/338.01	c  337s |      19 |   632302 |   547482 |    14800     91 |        5 |      278
339.94/340.08	c  339s |      19 |   634599 |   549382 |    14800     91 |        5 |      278
342.04/342.12	c  341s |      19 |   637998 |   552282 |    14800     92 |        5 |      278
344.03/344.14	c  344s |      19 |   641228 |   555082 |    14800     92 |        5 |      278
346.03/346.18	c  346s |      19 |   644740 |   558082 |    14800     92 |        5 |      278
348.23/348.39	c  348s |      19 |   648008 |   560982 |    14800     93 |        5 |      278
350.33/350.45	c  350s |      19 |   651281 |   563782 |    14800     93 |        5 |      278
352.33/352.47	c  352s |      19 |   654952 |   566882 |    14800     94 |        5 |      278
354.33/354.48	c  354s |      19 |   659040 |   570382 |    14800     94 |        5 |      278
356.44/356.52	c  356s |      19 |   662621 |   573482 |    14800     94 |        5 |      278
358.43/358.57	c  358s |      19 |   665620 |   575982 |    14800     95 |        5 |      278
360.43/360.59	c  360s |      19 |   669276 |   579182 |    14800     95 |        5 |      278
362.53/362.61	c  362s |      19 |   672908 |   582382 |    14800     96 |        5 |      278
364.53/364.66	c  364s |      19 |   676326 |   585482 |    14800     96 |        5 |      278
366.53/366.67	c  366s |      19 |   679313 |   588182 |    14800     96 |        5 |      278
368.63/368.72	c  368s |      19 |   682453 |   591082 |    14800     97 |        5 |      278
370.63/370.76	c  370s |      19 |   685574 |   593982 |    14800     97 |        5 |      278
372.63/372.79	c  372s |      19 |   688452 |   596482 |    14800     98 |        5 |      278
374.63/374.79	c  374s |      19 |   691775 |   599382 |    14800     98 |        5 |      278
376.93/377.01	c  376s |      19 |   692648 |   600182 |    14800     98 |        5 |      278
378.94/379.07	c  378s |      19 |   695966 |   603182 |    14800     98 |        5 |      278
381.04/381.11	c  380s |      19 |   698692 |   605682 |    14800     99 |        5 |      278
383.03/383.13	c  382s |      19 |   701643 |   608382 |    14800     99 |        5 |      278
385.04/385.16	c  385s |      19 |   704380 |   610882 |    14800     99 |        5 |      278
387.14/387.21	c  387s |      19 |   707532 |   613782 |    14800    100 |        5 |      278
389.13/389.26	c  389s |      19 |   710420 |   616282 |    14800    100 |        5 |      278
391.23/391.32	c  391s |      19 |   713259 |   618882 |    14800    101 |        5 |      278
393.33/393.42	c  393s |      19 |   716341 |   621682 |    14800    101 |        5 |      278
395.33/395.47	c  395s |      19 |   719431 |   624482 |    14800    101 |        5 |      278
397.43/397.52	c  397s |      19 |   722561 |   627182 |    14800    102 |        5 |      278
399.43/399.56	c  399s |      19 |   725206 |   629382 |    14800    102 |        5 |      278
401.54/401.62	c  401s |      19 |   728612 |   632382 |    14800    102 |        5 |      278
403.53/403.64	c  403s |      19 |   731987 |   635382 |    14800    103 |        5 |      278
405.53/405.66	c  405s |      19 |   734991 |   638082 |    14800    103 |        5 |      278
407.63/407.72	c  407s |      19 |   738072 |   640782 |    14800    103 |        5 |      278
409.63/409.74	c  409s |      19 |   741186 |   643582 |    14800    104 |        5 |      278
411.63/411.76	c  411s |      19 |   744608 |   646582 |    14800    104 |        5 |      278
414.73/414.80	c  414s |      19 |   747602 |   649182 |    14800    105 |        5 |      278
416.72/416.83	c  416s |      19 |   750280 |   651382 |    14800    105 |        5 |      278
418.73/418.88	c  418s |      19 |   754642 |   655082 |    14800    105 |        5 |      278
420.73/420.89	c  420s |      19 |   758283 |   658182 |    14800    106 |        5 |      278
422.82/422.92	c  422s |      19 |   762211 |   661582 |    14800    106 |        5 |      278
424.82/424.93	c  424s |      19 |   765622 |   664582 |    16281    106 |        5 |      278
426.22/426.32	c  426s |      20 |   768168 |   666827 |    16281    107 |        5 |      278
428.22/428.37	c  428s |      20 |   770702 |   668927 |    16281    107 |        5 |      278
430.22/430.39	c  430s |      20 |   774149 |   671827 |    16281    107 |        5 |      278
432.33/432.45	c  432s |      20 |   777445 |   674627 |    16281    108 |        5 |      278
434.32/434.48	c  434s |      20 |   780664 |   677427 |    16281    108 |        5 |      278
436.32/436.49	c  436s |      20 |   784088 |   680327 |    16281    108 |        5 |      278
438.42/438.53	c  438s |      20 |   787523 |   683327 |    16281    109 |        5 |      278
440.42/440.54	c  440s |      20 |   790822 |   686227 |    16281    109 |        5 |      278
442.42/442.57	c  442s |      20 |   794048 |   689027 |    16281    109 |        5 |      278
444.52/444.63	c  444s |      20 |   798035 |   692327 |    16281    110 |        5 |      278
446.53/446.64	c  446s |      20 |   801634 |   695427 |    16281    110 |        5 |      278
448.62/448.70	c  448s |      20 |   804105 |   697527 |    16281    110 |        5 |      278
450.62/450.72	c  450s |      20 |   807402 |   700327 |    16281    111 |        5 |      278
452.62/452.75	c  452s |      20 |   811132 |   703527 |    16281    111 |        5 |      278
454.62/454.76	c  454s |      20 |   814373 |   706327 |    16281    112 |        5 |      278
456.71/456.81	c  456s |      20 |   818006 |   709527 |    16281    112 |        5 |      278
458.72/458.85	c  458s |      20 |   821078 |   712327 |    16281    112 |        5 |      278
460.72/460.90	c  460s |      20 |   824135 |   714927 |    16281    113 |        5 |      278
462.81/462.91	c  462s |      20 |   827610 |   717927 |    16281    113 |        5 |      278
464.81/464.91	c  464s |      20 |   830606 |   720527 |    16281    113 |        5 |      278
466.81/466.92	c  466s |      20 |   833056 |   722527 |    16281    114 |        5 |      278
468.91/469.01	c  468s |      20 |   836887 |   725827 |    16281    114 |        5 |      278
470.91/471.01	c  470s |      20 |   840311 |   728927 |    16281    114 |        5 |      278
472.92/473.03	c  472s |      20 |   843772 |   731927 |    16281    115 |        5 |      278
475.12/475.21	c  475s |      20 |   847716 |   735327 |    16281    115 |        5 |      278
477.11/477.23	c  477s |      20 |   850979 |   738127 |    16281    115 |        5 |      278
479.12/479.28	c  479s |      20 |   854605 |   741327 |    16281    116 |        5 |      278
481.22/481.33	c  481s |      20 |   858136 |   744427 |    16281    116 |        5 |      278
483.22/483.33	c  483s |      20 |   861125 |   747127 |    16281    116 |        5 |      278
485.22/485.36	c  485s |      20 |   864618 |   750327 |    16281    117 |        5 |      278
487.22/487.37	c  487s |      20 |   868230 |   753527 |    16281    117 |        5 |      278
489.32/489.41	c  489s |      20 |   871213 |   756227 |    16281    118 |        5 |      278
491.32/491.45	c  491s |      20 |   874678 |   759427 |    16281    118 |        5 |      278
493.32/493.49	c  493s |      20 |   877956 |   762427 |    16281    118 |        5 |      278
495.71/495.82	c  495s |      20 |   878525 |   762927 |    16281    118 |        5 |      278
497.71/497.85	c  497s |      20 |   882245 |   766027 |    16281    119 |        5 |      278
499.71/499.87	c  499s |      20 |   886030 |   769227 |    16281    119 |        5 |      278
502.01/502.10	c  501s |      20 |   889378 |   772127 |    16281    120 |        5 |      278
504.01/504.11	c  503s |      20 |   893430 |   775627 |    16281    120 |        5 |      278
506.02/506.16	c  506s |      20 |   897220 |   778927 |    16281    120 |        5 |      278
508.22/508.32	c  508s |      20 |   901012 |   782227 |    16281    121 |        5 |      278
510.21/510.35	c  510s |      20 |   904521 |   785327 |    16281    121 |        5 |      278
512.21/512.35	c  512s |      20 |   906318 |   786827 |    16281    121 |        5 |      278
514.21/514.35	c  514s |      20 |   909940 |   790027 |    16281    122 |        5 |      278
516.31/516.40	c  516s |      20 |   913852 |   793527 |    16281    122 |        5 |      278
518.31/518.44	c  518s |      20 |   916938 |   796327 |    16281    122 |        5 |      278
520.32/520.48	c  520s |      20 |   920440 |   799227 |    16281    123 |        5 |      278
522.31/522.50	c  522s |      20 |   923873 |   802227 |    16281    123 |        5 |      278
524.41/524.53	c  524s |      20 |   926747 |   804727 |    16281    123 |        5 |      278
526.41/526.59	c  526s |      20 |   929976 |   807627 |    16281    124 |        5 |      278
528.51/528.64	c  528s |      20 |   932506 |   809927 |    16281    124 |        5 |      278
530.51/530.66	c  530s |      20 |   935700 |   812727 |    16281    124 |        5 |      278
532.61/532.72	c  532s |      20 |   938912 |   815627 |    16281    125 |        5 |      278
534.61/534.73	c  534s |      20 |   942316 |   818627 |    16281    125 |        5 |      278
536.61/536.75	c  536s |      20 |   945496 |   821327 |    16281    126 |        5 |      278
538.61/538.75	c  538s |      20 |   947774 |   823327 |    16281    126 |        5 |      278
540.61/540.75	c  540s |      20 |   951100 |   826327 |    16281    126 |        5 |      278
542.61/542.78	c  542s |      20 |   954573 |   829327 |    16281    126 |        5 |      278
544.71/544.81	c  544s |      20 |   958175 |   832427 |    16281    127 |        5 |      278
546.71/546.83	c  546s |      20 |   961463 |   835327 |    16281    127 |        5 |      278
548.70/548.87	c  548s |      20 |   963780 |   837427 |    16281    127 |        5 |      278
550.81/550.92	c  550s |      20 |   967193 |   840327 |    16281    128 |        5 |      278
552.81/552.95	c  552s |      20 |   970636 |   843427 |    16281    128 |        5 |      278
554.90/555.08	c  554s |      20 |   973385 |   845927 |    16281    129 |        5 |      278
556.90/557.09	c  556s |      20 |   976702 |   848827 |    16281    129 |        5 |      278
559.00/559.11	c  558s |      20 |   979816 |   851527 |    16281    129 |        5 |      278
561.01/561.19	c  561s |      20 |   982499 |   853927 |    16281    129 |        5 |      278
563.11/563.25	c  563s |      20 |   985676 |   856827 |    16281    130 |        5 |      278
565.20/565.31	c  565s |      20 |   988695 |   859427 |    16281    130 |        5 |      278
567.20/567.37	c  567s |      20 |   991270 |   861727 |    16281    130 |        5 |      278
569.20/569.38	c  569s |      20 |   994072 |   864227 |    16281    131 |        5 |      278
571.60/571.75	c  571s |      20 |   996611 |   866527 |    16281    131 |        5 |      278
573.70/573.80	c  573s |      20 |  1000269 |   869727 |    16281    131 |        5 |      278
575.70/575.88	c  575s |      20 |  1003560 |   872627 |    16281    132 |        5 |      278
577.70/577.89	c  577s |      20 |  1006926 |   875627 |    16281    132 |        5 |      278
579.80/579.91	c  579s |      20 |  1009912 |   878227 |    16281    132 |        5 |      278
581.80/581.96	c  581s |      20 |  1012865 |   880827 |    16281    133 |        5 |      278
583.90/584.01	c  583s |      20 |  1016414 |   883927 |    16281    133 |        5 |      278
585.90/586.05	c  585s |      20 |  1019045 |   886227 |    16281    133 |        5 |      278
588.00/588.12	c  587s |      20 |  1022097 |   888727 |    16281    134 |        5 |      278
589.99/590.17	c  590s |      20 |  1025884 |   891927 |    16281    134 |        5 |      278
592.09/592.21	c  592s |      20 |  1029311 |   894927 |    16281    134 |        5 |      278
594.09/594.22	c  594s |      20 |  1032732 |   897827 |    16281    135 |        5 |      278
596.10/596.26	c  596s |      20 |  1036245 |   900927 |    16281    135 |        5 |      278
598.09/598.26	c  598s |      20 |  1038799 |   902927 |    16281    135 |        5 |      278
600.09/600.29	c  600s |      20 |  1042201 |   905827 |    16281    136 |        5 |      278
602.19/602.35	c  602s |      20 |  1046035 |   909127 |    16281    136 |        5 |      278
604.19/604.38	c  604s |      20 |  1049517 |   911827 |    16281    137 |        5 |      278
606.29/606.40	c  606s |      20 |  1053516 |   915227 |    16281    137 |        5 |      278
608.30/608.42	c  608s |      20 |  1056937 |   918227 |    16281    137 |        5 |      278
610.29/610.46	c  610s |      20 |  1060441 |   921227 |    16281    138 |        5 |      278
612.29/612.46	c  612s |      20 |  1064223 |   924527 |    16281    138 |        5 |      278
614.29/614.47	c  614s |      20 |  1067327 |   927327 |    16281    138 |        5 |      278
616.40/616.54	c  616s |      20 |  1068906 |   928727 |    16281    139 |        5 |      278
618.50/618.60	c  618s |      20 |  1072869 |   932027 |    16281    139 |        5 |      278
620.50/620.61	c  620s |      20 |  1076580 |   935227 |    16281    139 |        5 |      278
622.50/622.64	c  622s |      20 |  1080414 |   938527 |    16281    140 |        5 |      278
624.50/624.68	c  624s |      20 |  1084329 |   941927 |    16281    140 |        5 |      278
626.60/626.71	c  626s |      20 |  1087604 |   944827 |    16281    141 |        5 |      278
628.59/628.71	c  628s |      20 |  1090626 |   947427 |    16281    141 |        5 |      278
630.59/630.74	c  630s |      20 |  1094782 |   950927 |    16281    141 |        5 |      278
632.59/632.75	c  632s |      20 |  1098413 |   954027 |    16281    142 |        5 |      278
634.60/634.77	c  634s |      20 |  1102059 |   957227 |    16281    142 |        5 |      278
636.69/636.83	c  636s |      20 |  1105609 |   960327 |    16281    142 |        5 |      278
638.69/638.86	c  638s |      20 |  1109602 |   963927 |    16281    143 |        5 |      278
640.69/640.87	c  640s |      20 |  1113100 |   967027 |    16281    143 |        5 |      278
642.69/642.87	c  642s |      20 |  1116477 |   970027 |    16281    144 |        5 |      278
644.79/644.97	c  644s |      20 |  1120017 |   973227 |    16281    144 |        5 |      278
647.99/648.15	c  648s |      20 |  1120679 |   973827 |    16281    144 |        5 |      278
649.99/650.17	c  650s |      20 |  1124274 |   976827 |    16281    144 |        5 |      278
652.09/652.21	c  652s |      20 |  1127897 |   979927 |    16281    145 |        5 |      278
654.09/654.25	c  654s |      20 |  1131735 |   983227 |    16281    145 |        5 |      278
656.08/656.28	c  656s |      20 |  1135695 |   986527 |    16281    146 |        5 |      278
658.48/658.65	c  658s |      20 |  1139831 |   990127 |    16281    146 |        5 |      278
660.48/660.67	c  660s |      20 |  1143157 |   993027 |    16281    146 |        5 |      278
662.58/662.70	c  662s |      20 |  1146213 |   995727 |    17910    147 |        5 |      278
664.58/664.76	c  664s |      20 |  1150169 |   999227 |    17910    147 |        5 |      278
665.28/665.49	c  665s |      21 |  1151417 |  1000345 |    17910    147 |        5 |      278
668.70/668.84	c  668s |      21 |  1154247 |  1002745 |    17910    147 |        5 |      278
670.69/670.85	c  670s |      21 |  1157150 |  1005345 |    17910    148 |        5 |      278
672.69/672.86	c  672s |      21 |  1160692 |  1008545 |    17910    148 |        5 |      278
674.69/674.89	c  674s |      21 |  1163599 |  1011045 |    17910    148 |        5 |      278
676.69/676.89	c  676s |      21 |  1166431 |  1013545 |    17910    148 |        5 |      278
678.79/678.91	c  678s |      21 |  1169385 |  1016045 |    17910    149 |        5 |      278
680.79/680.93	c  680s |      21 |  1172660 |  1018845 |    17910    149 |        5 |      278
682.79/682.94	c  682s |      21 |  1175488 |  1021245 |    17910    149 |        5 |      278
684.79/684.99	c  684s |      21 |  1179060 |  1024345 |    17910    150 |        5 |      278
686.89/687.05	c  686s |      21 |  1182950 |  1027645 |    17910    150 |        5 |      278
688.89/689.09	c  688s |      21 |  1186492 |  1030745 |    17910    150 |        5 |      278
690.99/691.13	c  690s |      21 |  1190202 |  1033945 |    17910    151 |        5 |      278
693.08/693.25	c  693s |      21 |  1193656 |  1037045 |    17910    151 |        5 |      278
695.09/695.30	c  695s |      21 |  1196893 |  1039945 |    17910    151 |        5 |      278
697.19/697.35	c  697s |      21 |  1200146 |  1042645 |    17910    152 |        5 |      278
699.28/699.42	c  699s |      21 |  1203007 |  1045245 |    17910    152 |        5 |      278
701.28/701.45	c  701s |      21 |  1205678 |  1047645 |    17910    152 |        5 |      278
703.38/703.57	c  703s |      21 |  1208200 |  1049845 |    17910    153 |        5 |      278
705.48/705.63	c  705s |      21 |  1211534 |  1052745 |    17910    153 |        5 |      278
707.48/707.69	c  707s |      21 |  1215061 |  1055745 |    17910    153 |        5 |      278
709.49/709.69	c  709s |      21 |  1218131 |  1058445 |    17910    153 |        5 |      278
712.37/712.58	c  712s |      21 |  1219274 |  1059445 |    17910    154 |        5 |      278
714.48/714.63	c  714s |      21 |  1220512 |  1060445 |    17910    154 |        5 |      278
716.47/716.65	c  716s |      21 |  1224796 |  1063945 |    17910    154 |        5 |      278
718.47/718.66	c  718s |      21 |  1228543 |  1067045 |    17910    154 |        5 |      278
720.49/720.69	c  720s |      21 |  1232048 |  1070045 |    17910    155 |        5 |      278
722.59/722.72	c  722s |      21 |  1235693 |  1073045 |    17910    155 |        5 |      278
724.58/724.73	c  724s |      21 |  1239050 |  1075945 |    17910    155 |        5 |      278
726.58/726.75	c  726s |      21 |  1242411 |  1078845 |    17910    156 |        5 |      278
728.58/728.78	c  728s |      21 |  1245714 |  1081745 |    17910    156 |        5 |      278
730.58/730.79	c  730s |      21 |  1248854 |  1084545 |    17910    156 |        5 |      278
732.68/732.84	c  732s |      21 |  1252201 |  1087545 |    17910    157 |        5 |      278
734.98/735.15	c  735s |      21 |  1254992 |  1090045 |    17910    157 |        5 |      278
736.99/737.17	c  737s |      21 |  1256331 |  1091145 |    17910    157 |        5 |      278
739.08/739.21	c  739s |      21 |  1259659 |  1094045 |    17910    157 |        5 |      278
741.18/741.31	c  741s |      21 |  1262589 |  1096645 |    17910    158 |        5 |      278
743.18/743.36	c  743s |      21 |  1266161 |  1099745 |    17910    158 |        5 |      278
745.28/745.44	c  745s |      21 |  1269172 |  1102445 |    17910    158 |        5 |      278
747.28/747.45	c  747s |      21 |  1271875 |  1104945 |    17910    159 |        5 |      278
749.28/749.47	c  749s |      21 |  1274026 |  1106845 |    17910    159 |        5 |      278
751.28/751.48	c  751s |      21 |  1277307 |  1109745 |    17910    159 |        5 |      278
753.38/753.53	c  753s |      21 |  1280355 |  1112445 |    17910    159 |        5 |      278
755.38/755.59	c  755s |      21 |  1283686 |  1115345 |    17910    160 |        5 |      278
757.47/757.66	c  757s |      21 |  1286899 |  1118145 |    17910    160 |        5 |      278
759.57/759.71	c  759s |      21 |  1290067 |  1120945 |    17910    160 |        5 |      278
761.57/761.74	c  761s |      21 |  1292678 |  1123345 |    17910    161 |        5 |      278
763.67/763.80	c  763s |      21 |  1295957 |  1126345 |    17910    161 |        5 |      278
765.67/765.83	c  765s |      21 |  1296178 |  1126545 |    17910    161 |        5 |      278
767.68/767.85	c  767s |      21 |  1297697 |  1127845 |    17910    161 |        5 |      278
769.67/769.88	c  769s |      21 |  1300659 |  1130445 |    17910    161 |        5 |      278
771.77/771.93	c  771s |      21 |  1303494 |  1133045 |    17910    162 |        5 |      278
773.77/773.99	c  773s |      21 |  1306686 |  1135945 |    17910    162 |        5 |      278
775.87/776.02	c  775s |      21 |  1309561 |  1138545 |    17910    162 |        5 |      278
777.87/778.08	c  777s |      21 |  1312072 |  1140845 |    17910    163 |        5 |      278
779.97/780.14	c  780s |      21 |  1315309 |  1143745 |    17910    163 |        5 |      278
781.98/782.20	c  782s |      21 |  1318078 |  1146245 |    17910    163 |        5 |      278
784.07/784.26	c  784s |      21 |  1319717 |  1147745 |    17910    163 |        5 |      278
786.07/786.27	c  786s |      21 |  1322167 |  1149845 |    17910    164 |        5 |      278
788.17/788.32	c  788s |      21 |  1325155 |  1152445 |    17910    164 |        5 |      278
790.17/790.34	c  790s |      21 |  1327896 |  1154745 |    17910    164 |        5 |      278
792.17/792.35	c  792s |      21 |  1330835 |  1157345 |    17910    164 |        5 |      278
794.17/794.37	c  794s |      21 |  1333549 |  1159645 |    17910    165 |        5 |      278
796.27/796.42	c  796s |      21 |  1336923 |  1162545 |    17910    165 |        5 |      278
798.26/798.45	c  798s |      21 |  1340172 |  1165345 |    17910    165 |        5 |      278
800.36/800.50	c  800s |      21 |  1343104 |  1167745 |    17910    166 |        5 |      278
802.36/802.54	c  802s |      21 |  1345452 |  1169845 |    17910    166 |        5 |      278
804.37/804.57	c  804s |      21 |  1348094 |  1172245 |    17910    166 |        5 |      278
806.37/806.57	c  806s |      21 |  1350855 |  1174645 |    17910    166 |        5 |      278
808.37/808.59	c  808s |      21 |  1353141 |  1176745 |    17910    167 |        5 |      278
810.47/810.64	c  810s |      21 |  1356328 |  1179445 |    17910    167 |        5 |      278
812.47/812.66	c  812s |      21 |  1358785 |  1181745 |    17910    167 |        5 |      278
814.57/814.74	c  814s |      21 |  1359371 |  1182245 |    17910    167 |        5 |      278
816.57/816.79	c  816s |      21 |  1361890 |  1184545 |    17910    167 |        5 |      278
818.77/818.99	c  818s |      21 |  1364530 |  1186845 |    17910    168 |        5 |      278
820.87/821.01	c  820s |      21 |  1367614 |  1189645 |    17910    168 |        5 |      278
822.86/823.05	c  822s |      21 |  1370327 |  1192045 |    17910    168 |        5 |      278
824.87/825.10	c  824s |      21 |  1373021 |  1194345 |    17910    168 |        5 |      278
826.97/827.14	c  827s |      21 |  1375845 |  1196845 |    17910    169 |        5 |      278
829.06/829.22	c  829s |      21 |  1378490 |  1199245 |    17910    169 |        5 |      278
831.06/831.27	c  831s |      21 |  1381180 |  1201645 |    17910    169 |        5 |      278
833.06/833.28	c  833s |      21 |  1383627 |  1203845 |    17910    170 |        5 |      278
835.16/835.33	c  835s |      21 |  1387028 |  1206845 |    17910    170 |        5 |      278
839.96/840.18	c  840s |      21 |  1389037 |  1208645 |    17910    170 |        5 |      278
842.06/842.26	c  842s |      21 |  1392533 |  1211545 |    17910    170 |        5 |      278
844.06/844.28	c  844s |      21 |  1395779 |  1214345 |    17910    171 |        5 |      278
846.06/846.29	c  846s |      21 |  1399138 |  1217245 |    17910    171 |        5 |      278
848.16/848.30	c  848s |      21 |  1401960 |  1219745 |    17910    171 |        5 |      278
850.16/850.31	c  850s |      21 |  1404558 |  1222045 |    17910    172 |        5 |      278
852.16/852.33	c  852s |      21 |  1408244 |  1225045 |    17910    172 |        5 |      278
854.16/854.39	c  854s |      21 |  1411309 |  1227645 |    17910    172 |        5 |      278
856.26/856.43	c  856s |      21 |  1413577 |  1229645 |    17910    172 |        5 |      278
858.26/858.45	c  858s |      21 |  1416286 |  1232045 |    17910    173 |        5 |      278
860.36/860.58	c  860s |      21 |  1419976 |  1235245 |    17910    173 |        5 |      278
862.45/862.63	c  862s |      21 |  1423326 |  1238045 |    17910    173 |        5 |      278
864.46/864.67	c  864s |      21 |  1426083 |  1240445 |    17910    174 |        5 |      278
866.45/866.68	c  866s |      21 |  1429561 |  1243345 |    17910    174 |        5 |      278
868.66/868.81	c  868s |      21 |  1432576 |  1246045 |    17910    174 |        5 |      278
870.65/870.83	c  870s |      21 |  1435300 |  1248445 |    17910    174 |        5 |      278
873.05/873.27	c  873s |      21 |  1438463 |  1251145 |    17910    175 |        5 |      278
875.15/875.35	c  875s |      21 |  1441687 |  1253845 |    17910    175 |        5 |      278
877.15/877.38	c  877s |      21 |  1444769 |  1256445 |    17910    175 |        5 |      278
879.25/879.42	c  879s |      21 |  1447535 |  1258845 |    17910    176 |        5 |      278
881.25/881.49	c  881s |      21 |  1451428 |  1262245 |    17910    176 |        5 |      278
883.26/883.49	c  883s |      21 |  1454712 |  1265145 |    17910    176 |        5 |      278
885.46/885.67	c  885s |      21 |  1456928 |  1267045 |    17910    177 |        5 |      278
887.45/887.68	c  887s |      21 |  1460378 |  1269845 |    17910    177 |        5 |      278
889.55/889.72	c  889s |      21 |  1463847 |  1272845 |    17910    177 |        5 |      278
891.55/891.76	c  891s |      21 |  1467069 |  1275645 |    17910    177 |        5 |      278
893.65/893.82	c  893s |      21 |  1470481 |  1278645 |    17910    178 |        5 |      278
895.65/895.86	c  895s |      21 |  1474221 |  1281745 |    17910    178 |        5 |      278
897.75/897.93	c  897s |      21 |  1476902 |  1284045 |    17910    178 |        5 |      278
899.75/899.97	c  899s |      21 |  1479912 |  1286645 |    17910    179 |        5 |      278
901.85/902.02	c  901s |      21 |  1483554 |  1289845 |    17910    179 |        5 |      278
903.85/904.06	c  903s |      21 |  1486793 |  1292645 |    17910    179 |        5 |      278
905.95/906.12	c  905s |      21 |  1490030 |  1295445 |    17910    180 |        5 |      278
907.95/908.13	c  907s |      21 |  1493613 |  1298545 |    17910    180 |        5 |      278
909.95/910.13	c  909s |      21 |  1496582 |  1301145 |    17910    180 |        5 |      278
911.95/912.19	c  912s |      21 |  1499258 |  1303545 |    17910    181 |        5 |      278
915.44/915.64	c  915s |      21 |  1502929 |  1306745 |    17910    181 |        5 |      278
917.44/917.68	c  917s |      21 |  1504562 |  1308145 |    17910    181 |        5 |      278
919.55/919.76	c  919s |      21 |  1507728 |  1310945 |    17910    181 |        5 |      278
921.65/921.80	c  921s |      21 |  1510862 |  1313745 |    17910    182 |        5 |      278
923.64/923.87	c  923s |      21 |  1514327 |  1316845 |    17910    182 |        5 |      278
925.64/925.88	c  925s |      21 |  1517337 |  1319545 |    17910    182 |        5 |      278
927.74/927.94	c  927s |      21 |  1520053 |  1322045 |    17910    183 |        5 |      278
929.74/929.95	c  929s |      21 |  1523141 |  1324845 |    17910    183 |        5 |      278
931.74/931.98	c  931s |      21 |  1525600 |  1327045 |    17910    183 |        5 |      278
933.85/934.04	c  933s |      21 |  1528270 |  1329445 |    17910    183 |        5 |      278
935.84/936.09	c  935s |      21 |  1530798 |  1331745 |    17910    184 |        5 |      278
937.95/938.13	c  937s |      21 |  1533861 |  1334545 |    17910    184 |        5 |      278
939.95/940.18	c  940s |      21 |  1536695 |  1337145 |    17910    184 |        5 |      278
942.05/942.20	c  942s |      21 |  1539122 |  1339345 |    17910    184 |        5 |      278
944.05/944.22	c  944s |      21 |  1542063 |  1341945 |    17910    185 |        5 |      278
946.05/946.26	c  946s |      21 |  1544969 |  1344545 |    17910    185 |        5 |      278
948.05/948.28	c  948s |      21 |  1547743 |  1347045 |    17910    185 |        5 |      278
950.35/950.57	c  950s |      21 |  1549482 |  1348545 |    17910    186 |        5 |      278
952.45/952.62	c  952s |      21 |  1552774 |  1351445 |    17910    186 |        5 |      278
954.45/954.63	c  954s |      21 |  1555834 |  1354145 |    17910    186 |        5 |      278
956.45/956.69	c  956s |      21 |  1558314 |  1356345 |    17910    186 |        5 |      278
958.55/958.71	c  958s |      21 |  1561140 |  1358845 |    17910    187 |        5 |      278
960.55/960.77	c  960s |      21 |  1564355 |  1361645 |    17910    187 |        5 |      278
962.64/962.80	c  962s |      21 |  1567413 |  1364345 |    17910    187 |        5 |      278
964.94/965.14	c  965s |      21 |  1568360 |  1365145 |    17910    187 |        5 |      278
967.04/967.27	c  967s |      21 |  1570918 |  1367345 |    17910    188 |        5 |      278
969.14/969.31	c  969s |      21 |  1574489 |  1370445 |    17910    188 |        5 |      278
971.15/971.31	c  971s |      21 |  1577780 |  1373245 |    17910    188 |        5 |      278
973.14/973.35	c  973s |      21 |  1581044 |  1376045 |    17910    189 |        5 |      278
975.14/975.38	c  975s |      21 |  1584731 |  1379245 |    17910    189 |        5 |      278
977.24/977.44	c  977s |      21 |  1588090 |  1382245 |    17910    189 |        5 |      278
979.34/979.52	c  979s |      21 |  1590880 |  1384645 |    17910    190 |        5 |      278
981.34/981.55	c  981s |      21 |  1594060 |  1387345 |    17910    190 |        5 |      278
983.44/983.62	c  983s |      21 |  1597560 |  1390545 |    17910    190 |        5 |      278
985.44/985.63	c  985s |      21 |  1600563 |  1393245 |    17910    190 |        5 |      278
987.44/987.64	c  987s |      21 |  1603682 |  1395945 |    17910    191 |        5 |      278
989.44/989.65	c  989s |      21 |  1606813 |  1398745 |    17910    191 |        5 |      278
991.54/991.71	c  991s |      21 |  1609850 |  1401445 |    17910    191 |        5 |      278
993.54/993.73	c  993s |      21 |  1612846 |  1404145 |    17910    192 |        5 |      278
995.54/995.79	c  995s |      21 |  1616042 |  1407045 |    17910    192 |        5 |      278
997.64/997.88	c  997s |      21 |  1619153 |  1409845 |    17910    192 |        5 |      278
1000.73/1000.92	c 1000s |      21 |  1620722 |  1411145 |    17910    192 |        5 |      278
1002.73/1002.93	c 1002s |      21 |  1623443 |  1413545 |    17910    193 |        5 |      278
1004.73/1004.99	c 1004s |      21 |  1626553 |  1416245 |    17910    193 |        5 |      278
1006.83/1007.00	c 1006s |      21 |  1629640 |  1418945 |    17910    193 |        5 |      278
1008.83/1009.03	c 1008s |      21 |  1632044 |  1421145 |    17910    194 |        5 |      278
1010.84/1011.06	c 1010s |      21 |  1635210 |  1423745 |    17910    194 |        5 |      278
1012.83/1013.09	c 1012s |      21 |  1637709 |  1425945 |    17910    194 |        5 |      278
1014.83/1015.09	c 1014s |      21 |  1640181 |  1428145 |    17910    194 |        5 |      278
1016.93/1017.10	c 1016s |      21 |  1642528 |  1430245 |    17910    195 |        5 |      278
1018.93/1019.13	c 1018s |      21 |  1645568 |  1432945 |    17910    195 |        5 |      278
1020.93/1021.16	c 1021s |      21 |  1648892 |  1435745 |    17910    195 |        5 |      278
1022.94/1023.17	c 1023s |      21 |  1651476 |  1437845 |    17910    195 |        5 |      278
1025.04/1025.23	c 1025s |      21 |  1653967 |  1439945 |    17910    196 |        5 |      278
1027.03/1027.24	c 1027s |      21 |  1656548 |  1442245 |    17910    196 |        5 |      278
1029.13/1029.33	c 1029s |      21 |  1659157 |  1444545 |    17910    196 |        5 |      278
1031.23/1031.43	c 1031s |      21 |  1661383 |  1446545 |    17910    196 |        5 |      278
1033.33/1033.56	c 1033s |      21 |  1663311 |  1448045 |    17910    197 |        5 |      278
1035.33/1035.59	c 1035s |      21 |  1666258 |  1450445 |    17910    197 |        5 |      278
1037.43/1037.60	c 1037s |      21 |  1669879 |  1453145 |    17910    197 |        5 |      278
1039.43/1039.68	c 1039s |      21 |  1672676 |  1455445 |    17910    197 |        5 |      278
1041.53/1041.73	c 1041s |      21 |  1675291 |  1457445 |    17910    198 |        5 |      278
1043.63/1043.80	c 1043s |      21 |  1677894 |  1459745 |    17910    198 |        5 |      278
1045.63/1045.82	c 1045s |      21 |  1680379 |  1461945 |    17910    198 |        5 |      278
1047.63/1047.86	c 1047s |      21 |  1682558 |  1463745 |    17910    198 |        5 |      278
1049.73/1049.97	c 1049s |      21 |  1684708 |  1465645 |    17910    198 |        5 |      278
1052.03/1052.21	c 1052s |      21 |  1686634 |  1467345 |    17910    199 |        5 |      278
1054.02/1054.24	c 1054s |      21 |  1689518 |  1469945 |    17910    199 |        5 |      278
1056.02/1056.26	c 1056s |      21 |  1692113 |  1472345 |    17910    199 |        5 |      278
1058.13/1058.31	c 1058s |      21 |  1694258 |  1474345 |    17910    199 |        5 |      278
1060.12/1060.36	c 1060s |      21 |  1696068 |  1476045 |    17910    200 |        5 |      278
1062.12/1062.39	c 1062s |      21 |  1698968 |  1478545 |    17910    200 |        5 |      278
1064.32/1064.54	c 1064s |      21 |  1701459 |  1480645 |    17910    200 |        5 |      278
1066.42/1066.60	c 1066s |      21 |  1703554 |  1482445 |    17910    200 |        5 |      278
1068.42/1068.63	c 1068s |      21 |  1705713 |  1484345 |    17910    201 |        5 |      278
1070.43/1070.68	c 1070s |      21 |  1708807 |  1487145 |    17910    201 |        5 |      278
1072.53/1072.76	c 1072s |      21 |  1712072 |  1489945 |    19701    201 |        5 |      278
1074.54/1074.78	c 1074s |      21 |  1714890 |  1492345 |    19701    201 |        5 |      278
1076.63/1076.86	c 1076s |      21 |  1717483 |  1494645 |    19701    201 |        5 |      278
1078.63/1078.87	c 1078s |      21 |  1719477 |  1496245 |    19701    202 |        5 |      278
1080.73/1080.92	c 1080s |      21 |  1723230 |  1499345 |    19701    202 |        5 |      278
1081.73/1081.92	c 1081s |      22 |  1724716 |  1500622 |    19701    202 |        5 |      278
1083.83/1084.01	c 1083s |      22 |  1725792 |  1501522 |    19701    202 |        5 |      278
1085.83/1086.07	c 1085s |      22 |  1729311 |  1504522 |    19701    202 |        5 |      278
1087.83/1088.08	c 1087s |      22 |  1732663 |  1507322 |    19701    203 |        5 |      278
1089.83/1090.10	c 1089s |      22 |  1736336 |  1510522 |    19701    203 |        5 |      278
1091.93/1092.18	c 1092s |      22 |  1739557 |  1513322 |    19701    203 |        5 |      278
1093.92/1094.18	c 1094s |      22 |  1741889 |  1515422 |    19701    204 |        5 |      278
1096.02/1096.22	c 1096s |      22 |  1745515 |  1518422 |    19701    204 |        5 |      278
1098.02/1098.28	c 1098s |      22 |  1749190 |  1521522 |    19701    204 |        5 |      278
1100.12/1100.30	c 1100s |      22 |  1752089 |  1524022 |    19701    204 |        5 |      278
1102.32/1102.54	c 1102s |      22 |  1754488 |  1526022 |    19701    205 |        5 |      278
1104.33/1104.56	c 1104s |      22 |  1758625 |  1529522 |    19701    205 |        5 |      278
1106.32/1106.57	c 1106s |      22 |  1761955 |  1532422 |    19701    205 |        5 |      278
1108.42/1108.64	c 1108s |      22 |  1764759 |  1534922 |    19701    206 |        5 |      278
1110.52/1110.71	c 1110s |      22 |  1768452 |  1538222 |    19701    206 |        5 |      278
1112.52/1112.76	c 1112s |      22 |  1771325 |  1540822 |    19701    206 |        5 |      278
1114.52/1114.78	c 1114s |      22 |  1774429 |  1543522 |    19701    206 |        5 |      278
1117.02/1117.20	c 1117s |      22 |  1776146 |  1545022 |    19701    207 |        5 |      278
1119.02/1119.22	c 1119s |      22 |  1779410 |  1547822 |    19701    207 |        5 |      278
1121.02/1121.27	c 1121s |      22 |  1782752 |  1550722 |    19701    207 |        5 |      278
1123.02/1123.28	c 1123s |      22 |  1785956 |  1553522 |    19701    207 |        5 |      278
1125.12/1125.31	c 1125s |      22 |  1789144 |  1556322 |    19701    208 |        5 |      278
1127.22/1127.42	c 1127s |      22 |  1792653 |  1559422 |    19701    208 |        5 |      278
1129.22/1129.42	c 1129s |      22 |  1795911 |  1562322 |    19701    208 |        5 |      278
1131.22/1131.48	c 1131s |      22 |  1798698 |  1564822 |    19701    208 |        5 |      278
1133.32/1133.55	c 1133s |      22 |  1801665 |  1567522 |    19701    209 |        5 |      278
1136.42/1136.61	c 1136s |      22 |  1802440 |  1568222 |    19701    209 |        5 |      278
1138.42/1138.65	c 1138s |      22 |  1804517 |  1570022 |    19701    209 |        5 |      278
1140.41/1140.66	c 1140s |      22 |  1808199 |  1573222 |    19701    209 |        5 |      278
1142.41/1142.67	c 1142s |      22 |  1810928 |  1575522 |    19701    210 |        5 |      278
1144.51/1144.71	c 1144s |      22 |  1814418 |  1578322 |    19701    210 |        5 |      278
1146.51/1146.78	c 1146s |      22 |  1817831 |  1581222 |    19701    210 |        5 |      278
1148.61/1148.86	c 1148s |      22 |  1820606 |  1583722 |    19701    210 |        5 |      278
1150.61/1150.86	c 1150s |      22 |  1823380 |  1586122 |    19701    211 |        5 |      278
1152.72/1152.92	c 1152s |      22 |  1826775 |  1589022 |    19701    211 |        5 |      278
1154.71/1154.98	c 1154s |      22 |  1830170 |  1591822 |    19701    211 |        5 |      278
1156.71/1156.98	c 1156s |      22 |  1832832 |  1594122 |    19701    211 |        5 |      278
1158.81/1159.00	c 1158s |      22 |  1835607 |  1596422 |    19701    212 |        5 |      278
1160.81/1161.04	c 1160s |      22 |  1839406 |  1599722 |    19701    212 |        5 |      278
1162.81/1163.05	c 1162s |      22 |  1842609 |  1602522 |    19701    212 |        5 |      278
1164.82/1165.07	c 1164s |      22 |  1845414 |  1605022 |    19701    213 |        5 |      278
1166.81/1167.08	c 1166s |      22 |  1849023 |  1608222 |    19701    213 |        5 |      278
1168.91/1169.11	c 1168s |      22 |  1852570 |  1611222 |    19701    213 |        5 |      278
1170.91/1171.18	c 1171s |      22 |  1855663 |  1613922 |    19701    213 |        5 |      278
1172.91/1173.19	c 1173s |      22 |  1858112 |  1616122 |    19701    214 |        5 |      278
1175.01/1175.20	c 1175s |      22 |  1861625 |  1619322 |    19701    214 |        5 |      278
1177.01/1177.23	c 1177s |      22 |  1864599 |  1621922 |    19701    214 |        5 |      278
1179.21/1179.44	c 1179s |      22 |  1867616 |  1624522 |    19701    215 |        5 |      278
1181.21/1181.45	c 1181s |      22 |  1871108 |  1627622 |    19701    215 |        5 |      278
1183.21/1183.46	c 1183s |      22 |  1874102 |  1630222 |    19701    215 |        5 |      278
1185.31/1185.55	c 1185s |      22 |  1877026 |  1632722 |    19701    215 |        5 |      278
1187.31/1187.58	c 1187s |      22 |  1879397 |  1634822 |    19701    216 |        5 |      278
1190.51/1190.71	c 1190s |      22 |  1882081 |  1637222 |    19701    216 |        5 |      278
1192.51/1192.76	c 1192s |      22 |  1885343 |  1640022 |    19701    216 |        5 |      278
1194.51/1194.76	c 1194s |      22 |  1888392 |  1642522 |    19701    216 |        5 |      278
1196.51/1196.79	c 1196s |      22 |  1891147 |  1644922 |    19701    217 |        5 |      278
1198.50/1198.79	c 1198s |      22 |  1894915 |  1648022 |    19701    217 |        5 |      278
1200.60/1200.87	c 1200s |      22 |  1898328 |  1651022 |    19701    217 |        5 |      278
1202.70/1202.91	c 1202s |      22 |  1900727 |  1653122 |    19701    217 |        5 |      278
1204.70/1204.93	c 1204s |      22 |  1903707 |  1655722 |    19701    218 |        5 |      278
1206.70/1206.98	c 1206s |      22 |  1907431 |  1658922 |    19701    218 |        5 |      278
1208.71/1209.00	c 1208s |      22 |  1910361 |  1661522 |    19701    218 |        5 |      278
1210.80/1211.06	c 1210s |      22 |  1913110 |  1663922 |    19701    218 |        5 |      278
1212.90/1213.11	c 1212s |      22 |  1916427 |  1666822 |    19701    219 |        5 |      278
1214.90/1215.13	c 1214s |      22 |  1919488 |  1669522 |    19701    219 |        5 |      278
1216.90/1217.15	c 1217s |      22 |  1922443 |  1672122 |    19701    219 |        5 |      278
1219.81/1220.09	c 1219s |      22 |  1923591 |  1673122 |    19701    219 |        5 |      278
1221.91/1222.12	c 1221s |      22 |  1926258 |  1675422 |    19701    220 |        5 |      278
1223.91/1224.12	c 1223s |      22 |  1929618 |  1678422 |    19701    220 |        5 |      278
1226.00/1226.20	c 1226s |      22 |  1932858 |  1681322 |    19701    220 |        5 |      278
1228.00/1228.21	c 1228s |      22 |  1935606 |  1683822 |    19701    220 |        5 |      278
1230.00/1230.23	c 1230s |      22 |  1938304 |  1686322 |    19701    221 |        5 |      278
1232.00/1232.26	c 1232s |      22 |  1941140 |  1688922 |    19701    221 |        5 |      278
1234.01/1234.30	c 1234s |      22 |  1943876 |  1691422 |    19701    221 |        5 |      278
1236.10/1236.34	c 1236s |      22 |  1946269 |  1693522 |    19701    221 |        5 |      278
1238.10/1238.37	c 1238s |      22 |  1949058 |  1696022 |    19701    222 |        5 |      278
1240.20/1240.43	c 1240s |      22 |  1952160 |  1698822 |    19701    222 |        5 |      278
1242.20/1242.46	c 1242s |      22 |  1954538 |  1701022 |    19701    222 |        5 |      278
1244.20/1244.49	c 1244s |      22 |  1956802 |  1703122 |    19701    222 |        5 |      278
1246.30/1246.52	c 1246s |      22 |  1959455 |  1705422 |    19701    223 |        5 |      278
1248.31/1248.55	c 1248s |      22 |  1961198 |  1706922 |    19701    223 |        5 |      278
1250.40/1250.62	c 1250s |      22 |  1964570 |  1709922 |    19701    223 |        5 |      278
1252.40/1252.63	c 1252s |      22 |  1967239 |  1712322 |    19701    223 |        5 |      278
1254.50/1254.73	c 1254s |      22 |  1969533 |  1714322 |    19701    224 |        5 |      278
1256.50/1256.75	c 1256s |      22 |  1972588 |  1717022 |    19701    224 |        5 |      278
1258.60/1258.80	c 1258s |      22 |  1975757 |  1719722 |    19701    224 |        5 |      278
1260.60/1260.89	c 1260s |      22 |  1978605 |  1722222 |    19701    224 |        5 |      278
1262.80/1263.00	c 1262s |      22 |  1981078 |  1724322 |    19701    225 |        5 |      278
1264.80/1265.01	c 1264s |      22 |  1981882 |  1725022 |    19701    225 |        5 |      278
1266.80/1267.05	c 1266s |      22 |  1984552 |  1727222 |    19701    225 |        5 |      278
1268.79/1269.08	c 1268s |      22 |  1988158 |  1730322 |    19701    225 |        5 |      278
1270.89/1271.15	c 1271s |      22 |  1991432 |  1733122 |    19701    225 |        5 |      278
1272.99/1273.28	c 1273s |      22 |  1994628 |  1735822 |    19701    226 |        5 |      278
1275.09/1275.30	c 1275s |      22 |  1998438 |  1739022 |    19701    226 |        5 |      278
1277.09/1277.31	c 1277s |      22 |  2001934 |  1742022 |    19701    226 |        5 |      278
1279.10/1279.34	c 1279s |      22 |  2004975 |  1744622 |    19701    227 |        5 |      278
1281.19/1281.41	c 1281s |      22 |  2008636 |  1747922 |    19701    227 |        5 |      278
1283.19/1283.44	c 1283s |      22 |  2009897 |  1749022 |    19701    227 |        5 |      278
1285.19/1285.47	c 1285s |      22 |  2012800 |  1751422 |    19701    227 |        5 |      278
1287.29/1287.56	c 1287s |      22 |  2015408 |  1753722 |    19701    228 |        5 |      278
1289.29/1289.58	c 1289s |      22 |  2018673 |  1756522 |    19701    228 |        5 |      278
1291.39/1291.63	c 1291s |      22 |  2022060 |  1759422 |    19701    228 |        5 |      278
1293.40/1293.67	c 1293s |      22 |  2025263 |  1762322 |    19701    228 |        5 |      278
1295.49/1295.71	c 1295s |      22 |  2028438 |  1765122 |    19701    229 |        5 |      278
1297.49/1297.74	c 1297s |      22 |  2030837 |  1767122 |    19701    229 |        5 |      278
1299.49/1299.76	c 1299s |      22 |  2034305 |  1770122 |    19701    229 |        5 |      278
1301.59/1301.82	c 1301s |      22 |  2037544 |  1772922 |    19701    229 |        5 |      278
1303.69/1303.92	c 1303s |      22 |  2040676 |  1775722 |    19701    230 |        5 |      278
1305.69/1305.98	c 1305s |      22 |  2044146 |  1778722 |    19701    230 |        5 |      278
1307.79/1308.01	c 1307s |      22 |  2047027 |  1781222 |    19701    230 |        5 |      278
1309.79/1310.05	c 1309s |      22 |  2049783 |  1783622 |    19701    231 |        5 |      278
1313.48/1313.77	c 1313s |      22 |  2050120 |  1783922 |    19701    231 |        5 |      278
1315.58/1315.81	c 1315s |      22 |  2053675 |  1787022 |    19701    231 |        5 |      278
1317.59/1317.88	c 1317s |      22 |  2057053 |  1789922 |    19701    231 |        5 |      278
1319.68/1319.91	c 1319s |      22 |  2059706 |  1792322 |    19701    231 |        5 |      278
1321.68/1321.93	c 1321s |      22 |  2062579 |  1794822 |    19701    232 |        5 |      278
1323.68/1323.98	c 1323s |      22 |  2065693 |  1797622 |    19701    232 |        5 |      278
1325.78/1326.04	c 1325s |      22 |  2068545 |  1800122 |    19701    232 |        5 |      278
1327.78/1328.07	c 1327s |      22 |  2071153 |  1802422 |    19701    232 |        5 |      278
1330.49/1330.71	c 1330s |      22 |  2072493 |  1803622 |    19701    233 |        5 |      278
1332.49/1332.73	c 1332s |      22 |  2076186 |  1806722 |    19701    233 |        5 |      278
1334.49/1334.74	c 1334s |      22 |  2079497 |  1809622 |    19701    233 |        5 |      278
1336.59/1336.82	c 1336s |      22 |  2082626 |  1812322 |    19701    233 |        5 |      278
1338.60/1338.85	c 1338s |      22 |  2085619 |  1815022 |    19701    234 |        5 |      278
1340.70/1340.92	c 1340s |      22 |  2088205 |  1817322 |    19701    234 |        5 |      278
1342.69/1342.99	c 1342s |      22 |  2091295 |  1820022 |    19701    234 |        5 |      278
1344.79/1345.05	c 1344s |      22 |  2094272 |  1822622 |    19701    234 |        5 |      278
1346.89/1347.19	c 1347s |      22 |  2097524 |  1825522 |    19701    235 |        5 |      278
1348.99/1349.23	c 1349s |      22 |  2100485 |  1828122 |    19701    235 |        5 |      278
1350.99/1351.28	c 1351s |      22 |  2103379 |  1830722 |    19701    235 |        5 |      278
1352.99/1353.30	c 1353s |      22 |  2106211 |  1833222 |    19701    235 |        5 |      278
1355.09/1355.34	c 1355s |      22 |  2109332 |  1836022 |    19701    236 |        5 |      278
1357.19/1357.40	c 1357s |      22 |  2112540 |  1838922 |    19701    236 |        5 |      278
1359.39/1359.65	c 1359s |      22 |  2113938 |  1840222 |    19701    236 |        5 |      278
1361.49/1361.73	c 1361s |      22 |  2116776 |  1842722 |    19701    236 |        5 |      278
1363.58/1363.80	c 1363s |      22 |  2119769 |  1845422 |    19701    237 |        5 |      278
1365.58/1365.82	c 1365s |      22 |  2122315 |  1847722 |    19701    237 |        5 |      278
1367.58/1367.84	c 1367s |      22 |  2125192 |  1850222 |    19701    237 |        5 |      278
1369.68/1369.92	c 1369s |      22 |  2127843 |  1852622 |    19701    237 |        5 |      278
1371.68/1371.99	c 1371s |      22 |  2130404 |  1854922 |    19701    238 |        5 |      278
1373.79/1374.03	c 1373s |      22 |  2133198 |  1857422 |    19701    238 |        5 |      278
1375.78/1376.04	c 1375s |      22 |  2135863 |  1859822 |    19701    238 |        5 |      278
1377.78/1378.06	c 1377s |      22 |  2138097 |  1861922 |    19701    238 |        5 |      278
1379.88/1380.12	c 1379s |      22 |  2140627 |  1864222 |    19701    239 |        5 |      278
1381.88/1382.18	c 1382s |      22 |  2143572 |  1866922 |    19701    239 |        5 |      278
1385.18/1385.41	c 1385s |      22 |  2144173 |  1867422 |    19701    239 |        5 |      278
1387.18/1387.45	c 1387s |      22 |  2145524 |  1868522 |    19701    239 |        5 |      278
1389.19/1389.45	c 1389s |      22 |  2148778 |  1871222 |    19701    239 |        5 |      278
1391.18/1391.45	c 1391s |      22 |  2151364 |  1873422 |    19701    240 |        5 |      278
1393.18/1393.49	c 1393s |      22 |  2154865 |  1876522 |    19701    240 |        5 |      278
1395.18/1395.49	c 1395s |      22 |  2158087 |  1879222 |    19701    240 |        5 |      278
1397.28/1397.50	c 1397s |      22 |  2161045 |  1881822 |    19701    240 |        5 |      278
1399.28/1399.52	c 1399s |      22 |  2163967 |  1884322 |    19701    241 |        5 |      278
1401.28/1401.55	c 1401s |      22 |  2167591 |  1887422 |    19701    241 |        5 |      278
1403.38/1403.60	c 1403s |      22 |  2171002 |  1890422 |    19701    241 |        5 |      278
1405.58/1405.86	c 1405s |      22 |  2173949 |  1892922 |    19701    242 |        5 |      278
1407.57/1407.86	c 1407s |      22 |  2176573 |  1895322 |    19701    242 |        5 |      278
1409.57/1409.88	c 1409s |      22 |  2179705 |  1898122 |    19701    242 |        5 |      278
1411.57/1411.89	c 1411s |      22 |  2182624 |  1900622 |    19701    242 |        5 |      278
1413.67/1413.96	c 1413s |      22 |  2185374 |  1903022 |    19701    243 |        5 |      278
1415.87/1416.12	c 1415s |      22 |  2186268 |  1903822 |    19701    243 |        5 |      278
1417.87/1418.13	c 1417s |      22 |  2188378 |  1905522 |    19701    243 |        5 |      278
1419.88/1420.17	c 1420s |      22 |  2191874 |  1908522 |    19701    243 |        5 |      278
1421.97/1422.23	c 1422s |      22 |  2194800 |  1911122 |    19701    243 |        5 |      278
1423.97/1424.26	c 1424s |      22 |  2197436 |  1913422 |    19701    244 |        5 |      278
1425.97/1426.28	c 1426s |      22 |  2200670 |  1916222 |    19701    244 |        5 |      278
1427.97/1428.28	c 1428s |      22 |  2203777 |  1918922 |    19701    244 |        5 |      278
1430.07/1430.32	c 1430s |      22 |  2206722 |  1921522 |    19701    244 |        5 |      278
1432.08/1432.38	c 1432s |      22 |  2209536 |  1924022 |    19701    245 |        5 |      278
1434.07/1434.39	c 1434s |      22 |  2212695 |  1926822 |    19701    245 |        5 |      278
1436.17/1436.41	c 1436s |      22 |  2215642 |  1929422 |    19701    245 |        5 |      278
1438.17/1438.46	c 1438s |      22 |  2216920 |  1930522 |    19701    245 |        5 |      278
1440.47/1440.77	c 1440s |      22 |  2219448 |  1932722 |    19701    246 |        5 |      278
1442.57/1442.81	c 1442s |      22 |  2223229 |  1936122 |    19701    246 |        5 |      278
1444.57/1444.87	c 1444s |      22 |  2226101 |  1938722 |    19701    246 |        5 |      278
1446.67/1446.90	c 1446s |      22 |  2228860 |  1941222 |    19701    246 |        5 |      278
1448.67/1448.97	c 1448s |      22 |  2230736 |  1942922 |    19701    247 |        5 |      278
1450.67/1450.99	c 1450s |      22 |  2233546 |  1945522 |    19701    247 |        5 |      278
1452.77/1453.01	c 1452s |      22 |  2236187 |  1947922 |    19701    247 |        5 |      278
1454.76/1455.07	c 1454s |      22 |  2238865 |  1950222 |    19701    247 |        5 |      278
1456.76/1457.08	c 1456s |      22 |  2241422 |  1952422 |    19701    247 |        5 |      278
1459.47/1459.72	c 1459s |      22 |  2242519 |  1953422 |    19701    248 |        5 |      278
1461.57/1461.83	c 1461s |      22 |  2242631 |  1953522 |    19701    248 |        5 |      278
1463.57/1463.89	c 1463s |      22 |  2246081 |  1956522 |    19701    248 |        5 |      278
1465.67/1465.92	c 1465s |      22 |  2248953 |  1959122 |    19701    248 |        5 |      278
1467.67/1467.99	c 1467s |      22 |  2251508 |  1961422 |    19701    248 |        5 |      278
1469.77/1470.03	c 1469s |      22 |  2253981 |  1963522 |    19701    249 |        5 |      278
1471.77/1472.04	c 1471s |      22 |  2256955 |  1966122 |    19701    249 |        5 |      278
1473.77/1474.09	c 1473s |      22 |  2259329 |  1968322 |    19701    249 |        5 |      278
1475.87/1476.18	c 1476s |      22 |  2261634 |  1970422 |    19701    249 |        5 |      278
1477.97/1478.21	c 1478s |      22 |  2263607 |  1972222 |    19701    249 |        5 |      278
1479.97/1480.28	c 1480s |      22 |  2265829 |  1974222 |    19701    250 |        5 |      278
1482.07/1482.32	c 1482s |      22 |  2268605 |  1976722 |    19701    250 |        5 |      278
1484.06/1484.35	c 1484s |      22 |  2271001 |  1978922 |    19701    250 |        5 |      278
1486.17/1486.41	c 1486s |      22 |  2272681 |  1980322 |    19701    250 |        5 |      278
1488.36/1488.63	c 1488s |      22 |  2274964 |  1982322 |    19701    251 |        5 |      278
1490.37/1490.64	c 1490s |      22 |  2278048 |  1985022 |    19701    251 |        5 |      278
1492.47/1492.71	c 1492s |      22 |  2281325 |  1987922 |    19701    251 |        5 |      278
1494.46/1494.77	c 1494s |      22 |  2284166 |  1990422 |    19701    251 |        5 |      278
1496.56/1496.81	c 1496s |      22 |  2287085 |  1993022 |    19701    252 |        5 |      278
1498.56/1498.82	c 1498s |      22 |  2289732 |  1995422 |    19701    252 |        5 |      278
1500.56/1500.83	c 1500s |      22 |  2292737 |  1998022 |    19701    252 |        5 |      278
1502.96/1503.22	c 1503s |      22 |  2295018 |  2000022 |    19701    252 |        5 |      278
1504.96/1505.27	c 1505s |      22 |  2296987 |  2001722 |    19701    252 |        5 |      278
1506.96/1507.29	c 1507s |      22 |  2299730 |  2004122 |    19701    253 |        5 |      278
1509.06/1509.31	c 1509s |      22 |  2303033 |  2007022 |    19701    253 |        5 |      278
1511.06/1511.34	c 1511s |      22 |  2305924 |  2009522 |    19701    253 |        5 |      278
1513.06/1513.36	c 1513s |      22 |  2308650 |  2011922 |    19701    253 |        5 |      278
1515.15/1515.42	c 1515s |      22 |  2311149 |  2014122 |    19701    254 |        5 |      278
1517.15/1517.43	c 1517s |      22 |  2313991 |  2016722 |    19701    254 |        5 |      278
1519.25/1519.51	c 1519s |      22 |  2316769 |  2019222 |    19701    254 |        5 |      278
1521.25/1521.54	c 1521s |      22 |  2319306 |  2021522 |    19701    254 |        5 |      278
1523.26/1523.59	c 1523s |      22 |  2322300 |  2024222 |    19701    255 |        5 |      278
1525.65/1525.98	c 1525s |      22 |  2323173 |  2025022 |    19701    255 |        5 |      278
1527.75/1528.03	c 1527s |      22 |  2326049 |  2027622 |    19701    255 |        5 |      278
1529.75/1530.05	c 1529s |      22 |  2328742 |  2029922 |    19701    255 |        5 |      278
1531.84/1532.19	c 1532s |      22 |  2331296 |  2032122 |    19701    256 |        5 |      278
1533.94/1534.22	c 1534s |      22 |  2333900 |  2034422 |    19701    256 |        5 |      278
1535.94/1536.27	c 1536s |      22 |  2336506 |  2036822 |    19701    256 |        5 |      278
1537.94/1538.29	c 1538s |      22 |  2338792 |  2038922 |    19701    256 |        5 |      278
1540.04/1540.40	c 1540s |      22 |  2340846 |  2040822 |    19701    256 |        5 |      278
1542.14/1542.46	c 1542s |      22 |  2342842 |  2042622 |    19701    257 |        5 |      278
1544.24/1544.52	c 1544s |      22 |  2345209 |  2044822 |    19701    257 |        5 |      278
1546.24/1546.52	c 1546s |      22 |  2347724 |  2047122 |    19701    257 |        5 |      278
1548.24/1548.53	c 1548s |      22 |  2350089 |  2049222 |    19701    257 |        5 |      278
1550.33/1550.60	c 1550s |      22 |  2352100 |  2051022 |    19701    257 |        5 |      278
1554.14/1554.48	c 1554s |      22 |  2353694 |  2052222 |    19701    258 |        5 |      278
1556.24/1556.55	c 1556s |      22 |  2355646 |  2053922 |    19701    258 |        5 |      278
1558.54/1558.83	c 1558s |      22 |  2358543 |  2056422 |    19701    258 |        5 |      278
1560.53/1560.88	c 1560s |      22 |  2361862 |  2059322 |    19701    258 |        5 |      278
1562.53/1562.89	c 1562s |      22 |  2364486 |  2061722 |    19701    258 |        5 |      278
1564.63/1564.93	c 1564s |      22 |  2366513 |  2063522 |    19701    259 |        5 |      278
1566.73/1567.01	c 1566s |      22 |  2369178 |  2065722 |    19701    259 |        5 |      278
1568.73/1569.06	c 1568s |      22 |  2371474 |  2067722 |    19701    259 |        5 |      278
1570.83/1571.10	c 1570s |      22 |  2373569 |  2069522 |    19701    259 |        5 |      278
1572.84/1573.16	c 1573s |      22 |  2375671 |  2071322 |    19701    259 |        5 |      278
1574.83/1575.17	c 1575s |      22 |  2377839 |  2073122 |    19701    260 |        5 |      278
1576.83/1577.19	c 1577s |      22 |  2380589 |  2075422 |    19701    260 |        5 |      278
1578.93/1579.27	c 1579s |      22 |  2383568 |  2077722 |    19701    260 |        5 |      278
1581.02/1581.30	c 1581s |      22 |  2385900 |  2079622 |    19701    260 |        5 |      278
1583.12/1583.40	c 1583s |      22 |  2388244 |  2081422 |    19701    260 |        5 |      278
1585.22/1585.52	c 1585s |      22 |  2390361 |  2083122 |    19701    261 |        5 |      278
1587.22/1587.57	c 1587s |      22 |  2393113 |  2085422 |    19701    261 |        5 |      278
1589.33/1589.62	c 1589s |      22 |  2395488 |  2087522 |    19701    261 |        5 |      278
1591.32/1591.68	c 1591s |      22 |  2397769 |  2089522 |    19701    261 |        5 |      278
1593.42/1593.75	c 1593s |      22 |  2400091 |  2091522 |    19701    261 |        5 |      278
1595.42/1595.79	c 1595s |      22 |  2402531 |  2093622 |    19701    262 |        5 |      278
1597.52/1597.86	c 1597s |      22 |  2405476 |  2096122 |    19701    262 |        5 |      278
1599.62/1599.92	c 1599s |      22 |  2408301 |  2098522 |    19701    262 |        5 |      278
1601.61/1601.93	c 1601s |      22 |  2410387 |  2100322 |    19701    262 |        5 |      278
1603.62/1604.00	c 1603s |      22 |  2412483 |  2102122 |    19701    263 |        5 |      278
1605.72/1606.09	c 1605s |      22 |  2415009 |  2104322 |    19701    263 |        5 |      278
1607.81/1608.19	c 1608s |      22 |  2417411 |  2106422 |    19701    263 |        5 |      278
1609.91/1610.22	c 1610s |      22 |  2419494 |  2108122 |    19701    263 |        5 |      278
1611.91/1612.28	c 1612s |      22 |  2422039 |  2110222 |    19701    263 |        5 |      278
1614.01/1614.30	c 1614s |      22 |  2424356 |  2112122 |    19701    264 |        5 |      278
1616.01/1616.37	c 1616s |      22 |  2427099 |  2114422 |    19701    264 |        5 |      278
1618.11/1618.41	c 1618s |      22 |  2429684 |  2116622 |    19701    264 |        5 |      278
1620.20/1620.50	c 1620s |      22 |  2431909 |  2118522 |    19701    264 |        5 |      278
1622.21/1622.56	c 1622s |      22 |  2434199 |  2120422 |    19701    264 |        5 |      278
1624.41/1624.73	c 1624s |      22 |  2435874 |  2121822 |    19701    265 |        5 |      278
1626.40/1626.75	c 1626s |      22 |  2438654 |  2124122 |    19701    265 |        5 |      278
1628.40/1628.78	c 1628s |      22 |  2441344 |  2126322 |    19701    265 |        5 |      278
1630.50/1630.82	c 1630s |      22 |  2443345 |  2128022 |    19701    265 |        5 |      278
1632.50/1632.82	c 1632s |      22 |  2445460 |  2129822 |    19701    265 |        5 |      278
1635.20/1635.50	c 1635s |      22 |  2447423 |  2131522 |    19701    265 |        5 |      278
1637.20/1637.56	c 1637s |      22 |  2450717 |  2134322 |    19701    266 |        5 |      278
1639.30/1639.64	c 1639s |      22 |  2453448 |  2136522 |    19701    266 |        5 |      278
1641.29/1641.68	c 1641s |      22 |  2456098 |  2138522 |    19701    266 |        5 |      278
1643.49/1643.87	c 1643s |      22 |  2457726 |  2139822 |    19701    266 |        5 |      278
1645.59/1645.99	c 1645s |      22 |  2459907 |  2141522 |    19701    266 |        5 |      278
1647.70/1648.01	c 1647s |      22 |  2462337 |  2143522 |    19701    267 |        5 |      278
1649.70/1650.01	c 1649s |      22 |  2464356 |  2145222 |    19701    267 |        5 |      278
1651.69/1652.07	c 1651s |      22 |  2467346 |  2147622 |    19701    267 |        5 |      278
1653.79/1654.17	c 1654s |      22 |  2470045 |  2149922 |    19701    267 |        5 |      278
1655.80/1656.19	c 1656s |      22 |  2472089 |  2151722 |    19701    268 |        5 |      278
1657.89/1658.26	c 1658s |      22 |  2474855 |  2154322 |    19701    268 |        5 |      278
1659.99/1660.35	c 1660s |      22 |  2477226 |  2156522 |    19701    268 |        5 |      278
1661.99/1662.39	c 1662s |      22 |  2479882 |  2158622 |    19701    268 |        5 |      278
1664.10/1664.46	c 1664s |      22 |  2482293 |  2160522 |    19701    268 |        5 |      278
1666.09/1666.49	c 1666s |      22 |  2484312 |  2162222 |    19701    269 |        5 |      278
1668.19/1668.51	c 1668s |      22 |  2487393 |  2164622 |    19701    269 |        5 |      278
1670.29/1670.63	c 1670s |      22 |  2490005 |  2166822 |    19701    269 |        5 |      278
1672.28/1672.69	c 1672s |      22 |  2492554 |  2168922 |    19701    269 |        5 |      278
1674.38/1674.72	c 1674s |      22 |  2494944 |  2170822 |    19701    269 |        5 |      278
1676.38/1676.73	c 1676s |      22 |  2496883 |  2172422 |    19701    270 |        5 |      278
1678.39/1678.75	c 1678s |      22 |  2500332 |  2175422 |    19701    270 |        5 |      278
1680.49/1680.83	c 1680s |      22 |  2503203 |  2177922 |    19701    270 |        5 |      278
1682.48/1682.85	c 1682s |      22 |  2505504 |  2179922 |    19701    270 |        5 |      278
1684.48/1684.85	c 1684s |      22 |  2507547 |  2181622 |    19701    271 |        5 |      278
1686.58/1686.94	c 1686s |      22 |  2510274 |  2184022 |    19701    271 |        5 |      278
1688.68/1689.03	c 1688s |      22 |  2512710 |  2186222 |    19701    271 |        5 |      278
1690.78/1691.13	c 1690s |      22 |  2514648 |  2188022 |    19701    271 |        5 |      278
1692.88/1693.26	c 1693s |      22 |  2516487 |  2189722 |    19701    271 |        5 |      278
1694.98/1695.33	c 1695s |      22 |  2518177 |  2191322 |    19701    271 |        5 |      278
1696.98/1697.39	c 1697s |      22 |  2520260 |  2193222 |    19701    272 |        5 |      278
1699.08/1699.44	c 1699s |      22 |  2522560 |  2195222 |    19701    272 |        5 |      278
1701.07/1701.45	c 1701s |      22 |  2524369 |  2196822 |    19701    272 |        5 |      278
1703.17/1703.50	c 1703s |      22 |  2527119 |  2199322 |    19701    272 |        5 |      278
1705.17/1705.57	c 1705s |      22 |  2529557 |  2201422 |    19701    273 |        5 |      278
1707.27/1707.62	c 1707s |      22 |  2532597 |  2204222 |    19701    273 |        5 |      278
1709.27/1709.65	c 1709s |      22 |  2535475 |  2206722 |    19701    273 |        5 |      278
1711.27/1711.66	c 1711s |      22 |  2537940 |  2208922 |    19701    273 |        5 |      278
1713.36/1713.71	c 1713s |      22 |  2540173 |  2210922 |    19701    273 |        5 |      278
1715.36/1715.72	c 1715s |      22 |  2543022 |  2213522 |    19701    274 |        5 |      278
1717.46/1717.80	c 1717s |      22 |  2545309 |  2215622 |    19701    274 |        5 |      278
1719.46/1719.85	c 1719s |      22 |  2547807 |  2217922 |    19701    274 |        5 |      278
1721.56/1721.92	c 1721s |      22 |  2550509 |  2220322 |    19701    274 |        5 |      278
1723.56/1723.95	c 1723s |      22 |  2552905 |  2222522 |    19701    275 |        5 |      278
1725.66/1726.03	c 1725s |      22 |  2556159 |  2225022 |    19701    275 |        5 |      278
1727.76/1728.11	c 1727s |      22 |  2558923 |  2227122 |    19701    275 |        5 |      278
1729.76/1730.17	c 1730s |      22 |  2561346 |  2229222 |    19701    275 |        5 |      278
1731.75/1732.20	c 1732s |      22 |  2563465 |  2231122 |    19701    275 |        5 |      278
1733.85/1734.20	c 1734s |      22 |  2566093 |  2233322 |    19701    276 |        5 |      278
1735.85/1736.21	c 1736s |      22 |  2568672 |  2235522 |    21672    276 |        5 |      278
1737.85/1738.29	c 1738s |      22 |  2571153 |  2237422 |    21672    276 |        5 |      278
1739.86/1740.29	c 1740s |      22 |  2573797 |  2239622 |    21672    276 |        5 |      278
1741.95/1742.37	c 1742s |      22 |  2576365 |  2241822 |    21672    276 |        5 |      278
1744.05/1744.41	c 1744s |      22 |  2578332 |  2243522 |    21672    277 |        5 |      278
1746.05/1746.47	c 1746s |      22 |  2580876 |  2245622 |    21672    277 |        5 |      278
1748.05/1748.49	c 1748s |      22 |  2583455 |  2247822 |    21672    277 |        5 |      278
1750.14/1750.51	c 1750s |      22 |  2585585 |  2249722 |    21672    277 |        5 |      278
1751.44/1751.88	c 1751s |      23 |  2587086 |  2251038 |    21672    277 |        5 |      278
1753.54/1753.93	c 1753s |      23 |  2589858 |  2253338 |    21672    277 |        5 |      278
1755.54/1755.99	c 1755s |      23 |  2591984 |  2255138 |    21672    278 |        5 |      278
1757.64/1758.00	c 1757s |      23 |  2595318 |  2258038 |    21672    278 |        5 |      278
1759.65/1760.05	c 1759s |      23 |  2598034 |  2260438 |    21672    278 |        5 |      278
1761.74/1762.12	c 1761s |      23 |  2600582 |  2262638 |    21672    278 |        5 |      278
1763.84/1764.21	c 1764s |      23 |  2602837 |  2264638 |    21672    278 |        5 |      278
1765.94/1766.32	c 1766s |      23 |  2604581 |  2266138 |    21672    279 |        5 |      278
1768.04/1768.41	c 1768s |      23 |  2607643 |  2268838 |    21672    279 |        5 |      278
1770.04/1770.42	c 1770s |      23 |  2610080 |  2270938 |    21672    279 |        5 |      278
1772.04/1772.47	c 1772s |      23 |  2612798 |  2273238 |    21672    279 |        5 |      278
1774.05/1774.49	c 1774s |      23 |  2615189 |  2275138 |    21672    279 |        5 |      278
1776.04/1776.50	c 1776s |      23 |  2616741 |  2276438 |    21672    280 |        5 |      278
1778.14/1778.52	c 1778s |      23 |  2618189 |  2277638 |    21672    280 |        5 |      278
1780.13/1780.52	c 1780s |      23 |  2620910 |  2280038 |    21672    280 |        5 |      278
1782.23/1782.62	c 1782s |      23 |  2623672 |  2282438 |    21672    280 |        5 |      278
1784.33/1784.71	c 1784s |      23 |  2626113 |  2284538 |    21672    280 |        5 |      278
1786.33/1786.77	c 1786s |      23 |  2628445 |  2286638 |    21672    280 |        5 |      278
1788.43/1788.81	c 1788s |      23 |  2630707 |  2288638 |    21672    281 |        5 |      278
1790.44/1790.87	c 1790s |      23 |  2634192 |  2291538 |    21672    281 |        5 |      278
1792.53/1792.95	c 1792s |      23 |  2637137 |  2293938 |    21672    281 |        5 |      278
1794.63/1795.00	c 1794s |      23 |  2639484 |  2295838 |    21672    281 |        5 |      278
1796.63/1797.09	c 1796s |      23 |  2641980 |  2297838 |    21672    281 |        5 |      278
1798.73/1799.17	c 1799s |      23 |  2644548 |  2299938 |    21672    282 |        5 |      278

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

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.58 3.39 3/177 19601
/proc/meminfo: memFree=29386180/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 2658 0 0 0 0 0 0 0 20 0 4 0 13686200 730263552 2507 33554432000 4194304 16246674 140735810462336 140735810461760 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 178799 2518 441 2943 0 175693 0
[pid=19601/tid=19602] ppid=19598 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 747040768 2576 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 752283648 2595 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13686200 756477952 2611 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.19 2.58 3.39 3/177 19601
/proc/meminfo: memFree=29386180/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1221188 CPUtime=0.08 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 22745 0 0 0 6 2 0 0 20 0 4 0 13686200 1250496512 22532 33554432000 4194304 16246674 140735810462336 140735810461648 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 305297 22532 834 2943 0 302191 0
[pid=19601/tid=19602] ppid=19598 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1250496512 22532 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1250496512 22532 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13686200 1250496512 22532 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200627 s]
/proc/loadavg: 2.19 2.58 3.39 3/177 19601
/proc/meminfo: memFree=29386180/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 40751 0 0 0 13 6 0 0 20 0 4 0 13686200 1250496512 40539 33554432000 4194304 16246674 140735810462336 140735810461648 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 305297 40553 876 2943 0 302191 0
[pid=19601/tid=19602] ppid=19598 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1250496512 40560 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1250496512 40568 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13686200 1250496512 40570 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300466 s]
/proc/loadavg: 2.19 2.58 3.39 3/177 19601
/proc/meminfo: memFree=29386180/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 61779 0 0 0 20 9 0 0 20 0 4 0 13686200 1250496512 61567 33554432000 4194304 16246674 140735810462336 140735810461648 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 305297 61578 876 2943 0 302191 0
[pid=19601/tid=19602] ppid=19598 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1250496512 61583 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1250496512 61591 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13686200 1250496512 61598 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700408 s]
/proc/loadavg: 2.19 2.58 3.39 3/177 19601
/proc/meminfo: memFree=29386180/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 143751 0 0 0 47 22 0 0 20 0 4 0 13686200 1250496512 143538 33554432000 4194304 16246674 140735810462336 140735810445336 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 305297 143544 876 2943 0 302191 0
[pid=19601/tid=19602] ppid=19598 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1250496512 143552 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1250496512 143559 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13686200 1250496512 143563 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50043 s]
/proc/loadavg: 2.17 2.57 3.38 3/181 19605
/proc/meminfo: memFree=28496812/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 266313 0 0 0 110 39 0 0 20 0 4 0 13686200 1332285440 266100 33554432000 4194304 16246674 140735810462336 140735810461648 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 325265 266100 879 2943 0 322159 0
[pid=19601/tid=19602] ppid=19598 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1332285440 266100 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1332285440 266100 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1332285440 266100 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10041 s]
/proc/loadavg: 2.17 2.57 3.38 3/181 19605
/proc/meminfo: memFree=28322468/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 267885 0 0 0 270 39 0 0 20 0 4 0 13686200 1338576896 267672 33554432000 4194304 16246674 140735810462336 140735810445336 5822803 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 326801 267672 881 2943 0 323695 0
[pid=19601/tid=19602] ppid=19598 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1338576896 267672 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1338576896 267672 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1338576896 267672 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.16 2.56 3.37 3/181 19605
/proc/meminfo: memFree=28316016/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 267997 0 0 0 590 39 0 0 20 0 4 0 13686200 1339625472 267784 33554432000 4194304 16246674 140735810462336 140735810444224 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 327057 267784 885 2943 0 323951 0
[pid=19601/tid=19602] ppid=19598 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1339625472 267784 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1339625472 267784 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1339625472 267784 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.15 2.55 3.37 3/181 19605
/proc/meminfo: memFree=28312532/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 269011 0 0 0 1229 39 0 0 20 0 4 0 13686200 1342771200 268798 33554432000 4194304 16246674 140735810462336 140735810444224 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 327825 268798 885 2943 0 324719 0
[pid=19601/tid=19602] ppid=19598 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1342771200 268798 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1342771200 268798 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1342771200 268798 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.20 2.55 3.36 3/181 19605
/proc/meminfo: memFree=28312740/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1311300 CPUtime=25.49 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 269012 0 0 0 2509 40 0 0 20 0 4 0 13686200 1342771200 268799 33554432000 4194304 16246674 140735810462336 140735810444224 5675648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 327825 268799 886 2943 0 324719 0
[pid=19601/tid=19602] ppid=19598 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1342771200 268799 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1342771200 268799 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1342771200 268799 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.20 2.51 3.32 3/181 19605
/proc/meminfo: memFree=28295388/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1328708 CPUtime=51.08 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 273364 0 0 0 5067 41 0 0 20 0 4 0 13686200 1360596992 273151 33554432000 4194304 16246674 140735810462336 140735810444224 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 332177 273151 886 2943 0 329071 0
[pid=19601/tid=19602] ppid=19598 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1360596992 273151 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1360596992 273151 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1360596992 273151 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1328708

[startup+102.3 s]
/proc/loadavg: 2.18 2.46 3.26 4/181 19606
/proc/meminfo: memFree=28249176/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1357380 CPUtime=102.28 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 280532 0 0 0 10186 42 0 0 20 0 4 0 13686200 1389957120 280319 33554432000 4194304 16246674 140735810462336 140735810444224 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 339345 280319 886 2943 0 336239 0
[pid=19601/tid=19602] ppid=19598 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1389957120 280319 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1389957120 280319 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1389957120 280319 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380


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

/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1375812

[startup+1302.3 s]
/proc/loadavg: 2.19 2.21 2.48 3/181 19636
/proc/meminfo: memFree=28205560/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1375812 CPUtime=1302.09 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 285140 0 0 0 130157 52 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140735810444224 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 343953 284927 886 2943 0 340847 0
[pid=19601/tid=19602] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1375812

[startup+1362.3 s]
/proc/loadavg: 2.21 2.22 2.46 3/181 19637
/proc/meminfo: memFree=28205104/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1375812 CPUtime=1362.09 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 285140 0 0 0 136156 53 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140735810444224 5808212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 343953 284927 886 2943 0 340847 0
[pid=19601/tid=19602] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 1375812

[startup+1422.3 s]
/proc/loadavg: 2.19 2.21 2.44 4/181 19638
/proc/meminfo: memFree=28205252/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1375812 CPUtime=1422.08 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 285140 0 0 0 142155 53 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140735810444224 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 343953 284927 886 2943 0 340847 0
[pid=19601/tid=19602] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1375812

[startup+1482.3 s]
/proc/loadavg: 2.17 2.20 2.42 3/181 19639
/proc/meminfo: memFree=28194368/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1375812 CPUtime=1482.07 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 285140 0 0 0 148153 54 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140735810444224 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 343953 284927 886 2943 0 340847 0
[pid=19601/tid=19602] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 284927 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 1375812

[startup+1542.31 s]
/proc/loadavg: 2.11 2.17 2.40 4/181 19641
/proc/meminfo: memFree=28193228/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1375812 CPUtime=1542.04 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 285173 0 0 0 154150 54 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140735810444224 13923792 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 343953 285183 886 2943 0 340847 0
[pid=19601/tid=19602] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1375812

[startup+1602.3 s]
/proc/loadavg: 2.30 2.20 2.39 4/181 19642
/proc/meminfo: memFree=28193016/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1375812 CPUtime=1602.01 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 285206 0 0 0 160146 55 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140735810444224 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 343953 285183 886 2943 0 340847 0
[pid=19601/tid=19602] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1375812

[startup+1662.3 s]
/proc/loadavg: 2.28 2.21 2.38 3/182 19646
/proc/meminfo: memFree=28192892/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1375812 CPUtime=1661.99 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 285241 0 0 0 166143 56 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140735810444224 5672213 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 343953 285183 886 2943 0 340847 0
[pid=19601/tid=19602] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1375812

[startup+1722.3 s]
/proc/loadavg: 2.30 2.23 2.37 3/182 19718
/proc/meminfo: memFree=28243804/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1375812 CPUtime=1721.96 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 285280 0 0 0 172140 56 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140735810444224 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 343953 285183 886 2943 0 340847 0
[pid=19601/tid=19602] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1375812

[startup+1782.3 s]
/proc/loadavg: 2.44 2.28 2.37 4/181 19719
/proc/meminfo: memFree=28243348/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1375812 CPUtime=1781.94 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 285306 0 0 0 178137 57 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140735810445336 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 343953 285183 886 2943 0 340847 0
[pid=19601/tid=19602] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1375812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.49 2.29 2.38 3/181 19721
/proc/meminfo: memFree=28243188/32872528 swapFree=1315980/1463148
[pid=19601] ppid=19598 vsize=1375812 CPUtime=1800.03 cores=1,3,5,7
/proc/19601/stat : 19601 (toysat) R 19598 19601 14504 0 -1 4202496 285313 0 0 0 179946 57 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140735810444224 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19601/statm: 343953 285183 886 2943 0 340847 0
[pid=19601/tid=19602] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19602/stat : 19602 (toysat) S 19598 19601 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432789974256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19601/tid=19603] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19603/stat : 19603 (toysat) S 19598 19601 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432779484400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19601/tid=19604] ppid=19598 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/19601/task/19604/stat : 19604 (toysat) S 19598 19601 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13686200 1408831488 285183 33554432000 4194304 16246674 140735810462336 140432769010864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1375812

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 19601 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.44
CPU time (s): 1800.07
CPU user time (s): 1799.47
CPU system time (s): 0.603908
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 1375812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.603908
maximum resident set size= 1140732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285313
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= 189
involuntary context switches= 1847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6872 second user time and 14.5558 second system time

The end

Begin job on node121 at 2016-06-17 00:33:13
IDJOB=4097093
IDBENCH=107708
IDSOLVER=2542
FILE ID=node121/4097093-1466116393
RUNJOBID= node121-1466116252-18782
PBS_JOBID= 19904064
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= a6f3e0a3137619fe97f7ba651df5f596
RANDOM SEED=658428785

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29386824 kB
Buffers:           50068 kB
Cached:           171448 kB
SwapCached:         2484 kB
Active:          1215516 kB
Inactive:         100564 kB
Active(anon):    1094776 kB
Inactive(anon):     1896 kB
Active(file):     120740 kB
Inactive(file):    98668 kB
Unevictable:     1463148 kB
Mlocked:         1315980 kB
SwapTotal:      67108856 kB
SwapFree:       67099892 kB
Dirty:             16536 kB
Writeback:             0 kB
AnonPages:       2556144 kB
Mapped:            10580 kB
Shmem:                 0 kB
Slab:             570512 kB
SReclaimable:      14220 kB
SUnreclaim:       556292 kB
KernelStack:        1464 kB
PageTables:         8408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2688056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71688 MiB
End job on node121 at 2016-06-17 01:03:13