0.00/0.00	c 2016-06-18T06:30:30+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-4101521-1466224229.opb"]
0.00/0.01	c use --random-gen="1666848102 2076683257 678823040 4254794382 3754279069 4171165568 2541494475 2996005107 1419161220 3153661457 1224745066 1600712728 2204119947 2057210908 3733679931 561724656 1073464416 191542042 138368251 580532238 51954848 2605930515 761590753 2709588611 412729954 2450688794 87327420 2200246237 1428490964 3518604654 3118550872 2059351709 2836416146 2198809906 2275081025 2621161535 2177677722 2593852959 719744922 1236327202 612741606 3466960105 1918690332 756824298 1240810371 4206600786 720240710 3034148630 2597352862 1786533459 2743569976 3395919548 2379024055 2684903717 3550431572 2281360504 2419507805 15971717 1688452676 529435626 3649246674 1530963319 1868038826 3358568575 259338370 1646073207 3130214675 1425561958 1555058202 1646533911 1844860483 1652785045 1915549885 1042707581 4104275394 3811029466 1109867785 3091414929 1610723729 1977606696 1682468279 1056511958 3255808081 524509845 3516596317 334579591 2833137225 1658813102 2869015198 563901356 290080061 322159301 3603062692 1460959405 4044349839 1891185450 1615921665 2699468861 1068467671 1656907701 2415647542 4195128564 3912034951 2284914341 3484525880 3356021791 1010944700 1173111826 4095047541 935674837 17823332 3631642018 719773756 2450468767 4204261428 2388560571 3668413155 2420630239 3210919284 286744613 4007359429 4075724200 818696573 1176548309 1744599416 1510023866 1986681530 1289157259 1161240817 1437278333 2745993722 3680341926 1559125084 1996015961 4000669725 1265829305 2590764769 3165649228 3787473696 365831285 2294695232 3912482713 4284591575 508050181 2206528739 2344689972 3380677943 3933430954 2438092344 235629919 1324415187 1271960131 1265797059 2916155983 86154083 470041454 1085146163 3006489542 3530990501 1303613457 267829697 1890984414 2750352855 4255171420 3863039071 2082359276 3574086918 2311065086 609357342 718016053 1197657623 1986898526 3095355705 802360950 2793523701 3705150626 1130213686 2121001586 2359035604 1651366472 1040866982 3550726504 1903044314 1009719406 1449068707 2897522937 3398949045 1294100461 3838195251 2885853291 1265698823 3144537990 1057552957 1345483470 2042195701 1060731820 993107728 1555200111 948648967 1661225206 3121941966 388060261 2368417635 1749770953 953324892 3677865620 209928940 1938321715 2159410358 1889088924 2933609082 3658926517 3228719535 1060180999 4115978520 1115035722 132805730 1952043505 165482056 3965535534 4002734172 3480518250 3042840641 3769208561 4173383570 3292801257 682537714 771401632 2743984912 3929007728 314446922 2089603083 1884689665 1476435708 1820356299 550712192 2195658791 1086538222 3804381269 831236072 3044544713 751518152 36027355 1776556863 3291687645 226577333 2940548485 852857978 3509588542 2673991535 2448611032 1634323290 185777539 603628205 3987308353 2952516600 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1705
0.00/0.02	c #constraints 98
0.09/0.17	c BCD2: Hardening is enabled.
0.09/0.17	c BCD2: BiasedSearch is enabled.
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |      609      0 |      928 |        0
0.19/0.26	c  0.1s |       1 |      225 |      100 |      609      0 |      928 |        8
0.19/0.29	c  0.1s |       2 |      442 |      250 |      670      0 |      928 |        8
0.29/0.36	c  0.2s |       3 |      825 |      475 |      738      0 |      928 |        8
0.39/0.49	c  0.3s |       4 |     1529 |      813 |      812      0 |      928 |        8
0.69/0.80	c  0.6s |       5 |     2291 |     1320 |      894      0 |      928 |        8
0.89/0.98	c  0.8s |       6 |     3725 |     2081 |     1083      1 |      928 |        8
1.20/1.29	c  1.1s |       7 |     6209 |     3223 |     1192      2 |      928 |        8
1.59/1.68	c  1.5s |       8 |     8934 |     4936 |     1312      3 |      928 |        8
2.09/2.15	c  2.0s |       9 |    12713 |     7506 |     1444      5 |      928 |        8
3.30/3.37	c  3.2s |      10 |    17139 |    11361 |     1589      8 |      928 |        8
5.29/5.37	c  5.2s |      10 |    27574 |    15061 |     1589     11 |      928 |        8
6.39/6.46	c  6.3s |      11 |    36241 |    17144 |     1748     12 |      928 |        8
8.49/8.51	c  8.3s |      11 |    43792 |    22244 |     1748     16 |      928 |        8
9.89/9.97	c  9.8s |      12 |    50558 |    25819 |     1923     18 |      928 |        8
11.99/12.00	c 11.8s |      12 |    61959 |    32719 |     1923     22 |      928 |        8
13.98/14.07	c 13.9s |      12 |    71943 |    37919 |     1923     26 |      928 |        8
14.39/14.44	c 14.3s |      13 |    72935 |    38832 |     2116     26 |      928 |        8
16.38/16.46	c 16.3s |      13 |    94579 |    43432 |     2116     29 |      928 |        8
18.38/18.46	c 18.3s |      13 |   114505 |    47932 |     2116     31 |      928 |        8
20.38/20.47	c 20.3s |      13 |   131153 |    52132 |     2116     34 |      928 |        8
22.38/22.49	c 22.3s |      13 |   148371 |    56132 |     2116     36 |      928 |        8
23.58/23.61	c 23.4s |      14 |   159292 |    58352 |     2328     37 |      928 |        8
25.59/25.63	c 25.5s |      14 |   172288 |    66352 |     2328     42 |      928 |        8
27.69/27.70	c 27.5s |      14 |   182968 |    72852 |     2328     46 |      928 |        8
29.59/29.70	c 29.5s |      14 |   197887 |    80152 |     2328     51 |      928 |        8
31.69/31.72	c 31.6s |      15 |   211185 |    87632 |     2561     55 |      928 |        8
33.69/33.74	c 33.6s |      15 |   223509 |    96332 |     2561     60 |      928 |        8
35.69/35.76	c 35.6s |      15 |   230772 |   102432 |     2561     63 |      928 |        8
37.69/37.79	c 37.6s |      15 |   239143 |   109132 |     2561     66 |      928 |        8
39.79/39.81	c 39.6s |      15 |   244755 |   113132 |     2561     68 |      928 |        8
41.79/41.85	c 41.7s |      15 |   249842 |   116532 |     2561     70 |      928 |        8
43.78/43.85	c 43.7s |      15 |   255634 |   120132 |     2561     72 |      928 |        8
45.78/45.87	c 45.7s |      15 |   261829 |   124232 |     2561     74 |      928 |        8
47.88/47.90	c 47.7s |      15 |   267372 |   128532 |     2561     76 |      928 |        8
49.28/49.36	c 49.2s |      16 |   271063 |   131552 |     2818     77 |      928 |        8
51.28/51.36	c 51.2s |      16 |   286084 |   136752 |     2818     80 |      928 |        8
53.28/53.37	c 53.2s |      16 |   297604 |   142452 |     2818     83 |      928 |        8
55.28/55.39	c 55.2s |      16 |   310356 |   151152 |     2818     87 |      928 |        8
57.38/57.41	c 57.2s |      16 |   323987 |   158652 |     2818     91 |      928 |        8
59.39/59.46	c 59.3s |      16 |   335048 |   164852 |     2818     94 |      928 |        8
61.38/61.48	c 61.3s |      16 |   342785 |   169452 |     2818     96 |      928 |        8
63.48/63.53	c 63.4s |      16 |   349653 |   173552 |     2818     98 |      928 |        8
65.48/65.54	c 65.4s |      16 |   357401 |   177852 |     2818    100 |      928 |        8
67.48/67.57	c 67.4s |      16 |   365566 |   181852 |     2818    102 |      928 |        8
69.58/69.61	c 69.4s |      16 |   374082 |   186452 |     2818    104 |      928 |        8
71.58/71.66	c 71.5s |      16 |   382708 |   191252 |     2818    106 |      928 |        8
73.57/73.69	c 73.5s |      16 |   390448 |   195852 |     2818    108 |      928 |        8
74.27/74.33	c 74.2s |      17 |   393185 |   197432 |     3100    109 |      928 |        8
76.27/76.34	c 76.2s |      17 |   405053 |   207032 |     3100    114 |      928 |        8
78.27/78.35	c 78.2s |      17 |   413364 |   214632 |     3100    117 |      928 |        8
80.28/80.39	c 80.2s |      17 |   419889 |   220732 |     3100    120 |      928 |        8
82.37/82.40	c 82.2s |      17 |   426917 |   226532 |     3100    123 |      928 |        8
84.37/84.41	c 84.2s |      17 |   433618 |   232232 |     3100    125 |      928 |        8
86.37/86.43	c 86.3s |      17 |   439083 |   237032 |     3100    128 |      928 |        8
88.37/88.49	c 88.3s |      17 |   444173 |   241632 |     3100    130 |      928 |        8
90.38/90.49	c 90.3s |      17 |   449489 |   246432 |     3100    132 |      928 |        8
92.49/92.53	c 92.4s |      17 |   454213 |   250932 |     3100    134 |      928 |        8
94.48/94.56	c 94.4s |      17 |   460014 |   255932 |     3100    136 |      928 |        8
96.48/96.56	c 96.4s |      17 |   466304 |   261232 |     3100    138 |      928 |        8
98.48/98.57	c 98.4s |      17 |   471718 |   266032 |     3100    140 |      928 |        8
100.58/100.60	c  100s |      17 |   477168 |   270732 |     3100    142 |      928 |        8
102.58/102.64	c  102s |      17 |   482357 |   275332 |     3100    144 |      928 |        8
104.58/104.67	c  104s |      17 |   487857 |   280232 |     3100    146 |      928 |        8
106.58/106.67	c  106s |      17 |   493580 |   285132 |     3100    148 |      928 |        8
108.57/108.68	c  108s |      17 |   499110 |   289832 |     3100    151 |      928 |        8
110.57/110.69	c  110s |      17 |   505065 |   295032 |     3411    153 |      928 |        8
111.18/111.21	c  111s |      18 |   506387 |   296252 |     3411    153 |      928 |        8
113.17/113.25	c  113s |      18 |   516682 |   300352 |     3411    155 |      928 |        8
115.17/115.26	c  115s |      18 |   524852 |   304052 |     3411    156 |      928 |        8
117.17/117.27	c  117s |      18 |   532497 |   307452 |     3411    158 |      928 |        8
119.17/119.28	c  119s |      18 |   541108 |   310952 |     3411    159 |      928 |        8
121.27/121.33	c  121s |      18 |   549065 |   314452 |     3411    161 |      928 |        8
123.28/123.33	c  123s |      18 |   556434 |   317852 |     3411    162 |      928 |        8
125.38/125.46	c  125s |      18 |   563273 |   321052 |     3411    164 |      928 |        8
127.47/127.52	c  127s |      18 |   570440 |   324352 |     3411    165 |      928 |        8
129.47/129.56	c  129s |      18 |   578020 |   327752 |     3411    166 |      928 |        8
131.47/131.58	c  131s |      18 |   586018 |   331052 |     3411    168 |      928 |        8
133.57/133.62	c  133s |      18 |   593320 |   334352 |     3411    169 |      928 |        8
135.57/135.66	c  135s |      18 |   600443 |   337652 |     3411    170 |      928 |        8
137.57/137.69	c  137s |      18 |   608456 |   341152 |     3411    172 |      928 |        8
139.67/139.73	c  139s |      18 |   616305 |   344452 |     3411    173 |      928 |        8
141.66/141.78	c  141s |      18 |   624025 |   347852 |     3411    175 |      928 |        8
143.76/143.82	c  143s |      18 |   632954 |   351352 |     3411    176 |      928 |        8
145.76/145.85	c  145s |      18 |   639860 |   354652 |     3411    178 |      928 |        8
147.76/147.85	c  147s |      18 |   646496 |   357852 |     3411    179 |      928 |        8
149.86/149.90	c  149s |      18 |   653866 |   361152 |     3411    180 |      928 |        8
151.97/152.02	c  151s |      18 |   661303 |   364252 |     3411    182 |      928 |        8
153.98/154.03	c  153s |      18 |   669564 |   367852 |     3411    183 |      928 |        8
155.97/156.09	c  155s |      18 |   677201 |   371152 |     3411    184 |      928 |        8
158.07/158.11	c  157s |      18 |   684546 |   374352 |     3411    186 |      928 |        8
160.07/160.13	c  159s |      18 |   691463 |   377652 |     3411    187 |      928 |        8
162.07/162.14	c  161s |      18 |   699390 |   380952 |     3411    189 |      928 |        8
164.07/164.15	c  163s |      18 |   707684 |   384352 |     3411    190 |      928 |        8
166.07/166.16	c  165s |      18 |   715623 |   387652 |     3411    191 |      928 |        8
168.07/168.16	c  167s |      18 |   723169 |   390552 |     3411    193 |      928 |        8
170.06/170.19	c  170s |      18 |   730119 |   393452 |     3411    194 |      928 |        8
172.16/172.25	c  172s |      18 |   737170 |   396852 |     3411    195 |      928 |        8
174.26/174.31	c  174s |      18 |   744821 |   400252 |     3411    197 |      928 |        8
176.26/176.31	c  176s |      18 |   751789 |   403452 |     3411    198 |      928 |        8
178.27/178.36	c  178s |      18 |   759153 |   406652 |     3411    199 |      928 |        8
180.26/180.38	c  180s |      18 |   767722 |   410052 |     3411    201 |      928 |        8
182.36/182.43	c  182s |      18 |   775486 |   413452 |     3411    202 |      928 |        8
184.36/184.44	c  184s |      18 |   784735 |   417552 |     3411    204 |      928 |        8
186.36/186.47	c  186s |      18 |   790644 |   422352 |     3411    206 |      928 |        8
188.46/188.51	c  188s |      18 |   798899 |   426552 |     3411    208 |      928 |        8
190.46/190.54	c  190s |      18 |   807609 |   430452 |     3411    209 |      928 |        8
192.46/192.57	c  192s |      18 |   815221 |   434252 |     3411    211 |      928 |        8
194.56/194.60	c  194s |      18 |   821960 |   438252 |     3411    212 |      928 |        8
196.56/196.62	c  196s |      18 |   827424 |   441752 |     3753    214 |      928 |        8
197.97/198.05	c  197s |      19 |   831999 |   444482 |     3753    215 |      928 |        8
199.96/200.06	c  199s |      19 |   841191 |   451082 |     3753    218 |      928 |        8
202.06/202.12	c  201s |      19 |   854900 |   457182 |     3753    220 |      928 |        8
204.06/204.12	c  203s |      19 |   867064 |   465182 |     3753    223 |      928 |        8
206.06/206.14	c  205s |      19 |   877018 |   472582 |     3753    226 |      928 |        8
208.06/208.15	c  207s |      19 |   887464 |   480282 |     3753    230 |      928 |        8
210.07/210.15	c  209s |      19 |   896502 |   487382 |     3753    233 |      928 |        8
212.06/212.17	c  212s |      19 |   905368 |   494682 |     3753    236 |      928 |        8
214.06/214.17	c  214s |      19 |   913971 |   501782 |     3753    238 |      928 |        8
216.06/216.18	c  216s |      19 |   922289 |   508782 |     3753    241 |      928 |        8
218.16/218.21	c  218s |      19 |   929265 |   515282 |     3753    244 |      928 |        8
220.16/220.24	c  220s |      19 |   935708 |   521282 |     3753    246 |      928 |        8
222.16/222.26	c  222s |      19 |   946002 |   528282 |     3753    249 |      928 |        8
224.25/224.31	c  224s |      19 |   955210 |   533982 |     3753    252 |      928 |        8
226.25/226.31	c  226s |      19 |   967432 |   541482 |     3753    255 |      928 |        8
228.25/228.32	c  228s |      19 |   977815 |   548282 |     3753    257 |      928 |        8
230.25/230.32	c  230s |      19 |   984809 |   553382 |     3753    260 |      928 |        8
232.25/232.33	c  232s |      19 |   992625 |   560282 |     3753    262 |      928 |        8
234.26/234.33	c  234s |      19 |  1000010 |   567182 |     3753    265 |      928 |        8
236.25/236.34	c  236s |      19 |  1005953 |   572982 |     3753    268 |      928 |        8
238.25/238.34	c  238s |      19 |  1013143 |   579782 |     3753    270 |      928 |        8
240.25/240.35	c  240s |      19 |  1021207 |   586482 |     3753    273 |      928 |        8
242.25/242.37	c  242s |      19 |  1032253 |   593582 |     3753    276 |      928 |        8
244.35/244.43	c  244s |      19 |  1042493 |   599982 |     3753    279 |      928 |        8
246.36/246.45	c  246s |      19 |  1052239 |   606282 |     3753    281 |      928 |        8
248.36/248.47	c  248s |      19 |  1060024 |   612082 |     3753    284 |      928 |        8
250.36/250.47	c  250s |      19 |  1066407 |   618182 |     3753    286 |      928 |        8
252.45/252.52	c  252s |      19 |  1072677 |   624182 |     3753    288 |      928 |        8
254.45/254.54	c  254s |      19 |  1078839 |   629982 |     3753    291 |      928 |        8
256.45/256.56	c  256s |      19 |  1085378 |   635982 |     3753    293 |      928 |        8
258.46/258.57	c  258s |      19 |  1092110 |   642282 |     3753    296 |      928 |        8
260.55/260.64	c  260s |      19 |  1098987 |   648782 |     3753    299 |      928 |        8
262.55/262.68	c  262s |      19 |  1106135 |   655582 |     3753    301 |      928 |        8
264.65/264.70	c  264s |      19 |  1112239 |   661382 |     3753    304 |      928 |        8
266.55/266.61	c  266s |      20 |  1117832 |   666827 |     4129    306 |      928 |        8
268.55/268.65	c  268s |      20 |  1124031 |   671627 |     4129    307 |      928 |        8
270.56/270.67	c  270s |      20 |  1130751 |   675827 |     4129    309 |      928 |        8
272.65/272.72	c  272s |      20 |  1136940 |   680327 |     4129    311 |      928 |        8
274.65/274.73	c  274s |      20 |  1144136 |   684527 |     4129    312 |      928 |        8
276.65/276.77	c  276s |      20 |  1150707 |   688527 |     4129    314 |      928 |        8
278.65/278.78	c  278s |      20 |  1156021 |   692327 |     4129    315 |      928 |        8
280.65/280.79	c  280s |      20 |  1161240 |   696327 |     4129    316 |      928 |        8
282.75/282.81	c  282s |      20 |  1167569 |   700527 |     4129    318 |      928 |        8
284.74/284.85	c  284s |      20 |  1172900 |   704527 |     4129    319 |      928 |        8
286.74/286.89	c  286s |      20 |  1178733 |   708927 |     4129    321 |      928 |        8
288.84/288.91	c  288s |      20 |  1184441 |   712827 |     4129    322 |      928 |        8
290.84/290.94	c  290s |      20 |  1190060 |   717027 |     4129    324 |      928 |        8
292.84/292.98	c  292s |      20 |  1195607 |   721127 |     4129    325 |      928 |        8
294.85/295.00	c  294s |      20 |  1201036 |   725227 |     4129    327 |      928 |        8
296.84/297.00	c  296s |      20 |  1206967 |   729627 |     4129    328 |      928 |        8
298.94/299.03	c  298s |      20 |  1212666 |   733927 |     4129    330 |      928 |        8
300.94/301.09	c  300s |      20 |  1218092 |   737927 |     4129    332 |      928 |        8
303.04/303.13	c  302s |      20 |  1224041 |   742227 |     4129    333 |      928 |        8
305.04/305.16	c  304s |      20 |  1230006 |   746727 |     4129    335 |      928 |        8
307.05/307.17	c  306s |      20 |  1236390 |   751527 |     4129    336 |      928 |        8
309.15/309.23	c  309s |      20 |  1241535 |   755527 |     4129    338 |      928 |        8
311.15/311.26	c  311s |      20 |  1246608 |   759727 |     4129    339 |      928 |        8
313.15/313.26	c  313s |      20 |  1251507 |   763627 |     4129    341 |      928 |        8
315.24/315.31	c  315s |      20 |  1257620 |   768127 |     4129    343 |      928 |        8
317.24/317.31	c  317s |      20 |  1262774 |   772327 |     4129    344 |      928 |        8
319.24/319.35	c  319s |      20 |  1269338 |   776827 |     4129    346 |      928 |        8
321.25/321.39	c  321s |      20 |  1274843 |   781427 |     4129    347 |      928 |        8
323.24/323.40	c  323s |      20 |  1280413 |   785727 |     4129    349 |      928 |        8
325.34/325.43	c  325s |      20 |  1285779 |   789727 |     4129    350 |      928 |        8
327.34/327.44	c  327s |      20 |  1291464 |   794227 |     4129    352 |      928 |        8
329.44/329.50	c  329s |      20 |  1296445 |   798327 |     4129    354 |      928 |        8
331.44/331.51	c  331s |      20 |  1301880 |   802727 |     4129    355 |      928 |        8
333.44/333.54	c  333s |      20 |  1307159 |   807027 |     4129    357 |      928 |        8
335.45/335.57	c  335s |      20 |  1312667 |   811427 |     4129    358 |      928 |        8
337.44/337.59	c  337s |      20 |  1318218 |   815427 |     4129    360 |      928 |        8
339.54/339.60	c  339s |      20 |  1324579 |   820027 |     4129    361 |      928 |        8
341.54/341.61	c  341s |      20 |  1329880 |   823927 |     4129    363 |      928 |        8
343.54/343.62	c  343s |      20 |  1334856 |   828027 |     4129    364 |      928 |        8
345.54/345.63	c  345s |      20 |  1341351 |   832627 |     4129    366 |      928 |        8
347.54/347.69	c  347s |      20 |  1347391 |   836827 |     4129    368 |      928 |        8
349.64/349.71	c  349s |      20 |  1353820 |   841427 |     4129    369 |      928 |        8
351.64/351.74	c  351s |      20 |  1359298 |   845527 |     4129    371 |      928 |        8
353.64/353.75	c  353s |      20 |  1364085 |   849427 |     4129    372 |      928 |        8
355.63/355.76	c  355s |      20 |  1368961 |   853127 |     4129    374 |      928 |        8
357.73/357.80	c  357s |      20 |  1374252 |   857027 |     4129    375 |      928 |        8
359.74/359.83	c  359s |      20 |  1379253 |   860927 |     4129    376 |      928 |        8
361.73/361.85	c  361s |      20 |  1384341 |   864827 |     4129    378 |      928 |        8
363.83/363.90	c  363s |      20 |  1389894 |   869127 |     4129    379 |      928 |        8
365.83/365.94	c  365s |      20 |  1394158 |   872327 |     4129    381 |      928 |        8
367.83/367.99	c  367s |      20 |  1399453 |   876427 |     4129    382 |      928 |        8
369.93/370.06	c  369s |      20 |  1404612 |   880627 |     4129    384 |      928 |        8
371.93/372.07	c  371s |      20 |  1410123 |   885127 |     4129    385 |      928 |        8
374.04/374.11	c  373s |      20 |  1415422 |   889227 |     4129    387 |      928 |        8
376.03/376.16	c  375s |      20 |  1421047 |   893627 |     4129    388 |      928 |        8
378.03/378.19	c  378s |      20 |  1425765 |   897427 |     4129    390 |      928 |        8
380.13/380.21	c  380s |      20 |  1431182 |   902027 |     4129    391 |      928 |        8
382.13/382.26	c  382s |      20 |  1436417 |   905927 |     4129    393 |      928 |        8
384.23/384.30	c  384s |      20 |  1441778 |   910127 |     4129    394 |      928 |        8
386.23/386.31	c  386s |      20 |  1447151 |   913827 |     4129    396 |      928 |        8
388.23/388.36	c  388s |      20 |  1452902 |   917927 |     4129    397 |      928 |        8
390.33/390.41	c  390s |      20 |  1458077 |   921727 |     4129    399 |      928 |        8
392.33/392.44	c  392s |      20 |  1463741 |   926227 |     4129    400 |      928 |        8
394.42/394.50	c  394s |      20 |  1468594 |   929927 |     4129    402 |      928 |        8
396.42/396.52	c  396s |      20 |  1474087 |   934227 |     4129    403 |      928 |        8
398.43/398.54	c  398s |      20 |  1478376 |   937627 |     4129    404 |      928 |        8
400.44/400.59	c  400s |      20 |  1483961 |   941727 |     4129    406 |      928 |        8
402.54/402.62	c  402s |      20 |  1489169 |   945727 |     4129    407 |      928 |        8
404.53/404.62	c  404s |      20 |  1494778 |   950027 |     4129    409 |      928 |        8
406.53/406.65	c  406s |      20 |  1499888 |   954227 |     4129    410 |      928 |        8
408.52/408.67	c  408s |      20 |  1505089 |   958127 |     4129    412 |      928 |        8
410.52/410.69	c  410s |      20 |  1510058 |   962227 |     4129    413 |      928 |        8
412.62/412.71	c  412s |      20 |  1515160 |   966027 |     4129    415 |      928 |        8
414.63/414.74	c  414s |      20 |  1521108 |   970227 |     4129    416 |      928 |        8
416.62/416.78	c  416s |      20 |  1526389 |   974327 |     4129    418 |      928 |        8
418.72/418.82	c  418s |      20 |  1532064 |   978527 |     4129    419 |      928 |        8
420.72/420.82	c  420s |      20 |  1536793 |   981927 |     4129    420 |      928 |        8
422.72/422.84	c  422s |      20 |  1543390 |   986027 |     4129    422 |      928 |        8
424.72/424.87	c  424s |      20 |  1549797 |   989827 |     4129    423 |      928 |        8
426.72/426.87	c  426s |      20 |  1555578 |   994127 |     4542    425 |      928 |        8
428.82/428.93	c  428s |      20 |  1560632 |   998327 |     4542    426 |      928 |        8
429.92/430.10	c  429s |      21 |  1563435 |  1000345 |     4542    427 |      928 |        8
432.02/432.11	c  431s |      21 |  1579364 |  1006645 |     4542    429 |      928 |        8
434.01/434.13	c  433s |      21 |  1588995 |  1011845 |     4542    431 |      928 |        8
436.01/436.14	c  435s |      21 |  1595138 |  1016545 |     4542    433 |      928 |        8
438.01/438.14	c  437s |      21 |  1603286 |  1022645 |     4542    435 |      928 |        8
440.02/440.16	c  439s |      21 |  1610183 |  1026645 |     4542    436 |      928 |        8
442.12/442.21	c  442s |      21 |  1620331 |  1030945 |     4542    437 |      928 |        8
444.21/444.30	c  444s |      21 |  1631160 |  1034245 |     4542    439 |      928 |        8
446.21/446.30	c  446s |      21 |  1639565 |  1038245 |     4542    440 |      928 |        8
448.21/448.37	c  448s |      21 |  1645299 |  1041845 |     4542    441 |      928 |        8
450.21/450.38	c  450s |      21 |  1651625 |  1044945 |     4542    442 |      928 |        8
452.31/452.41	c  452s |      21 |  1661400 |  1049345 |     4542    444 |      928 |        8
454.31/454.43	c  454s |      21 |  1670097 |  1053245 |     4542    445 |      928 |        8
456.30/456.49	c  456s |      21 |  1679190 |  1057045 |     4542    447 |      928 |        8
458.40/458.53	c  458s |      21 |  1684113 |  1060545 |     4542    448 |      928 |        8
460.40/460.56	c  460s |      21 |  1688325 |  1063645 |     4542    449 |      928 |        8
462.40/462.59	c  462s |      21 |  1694466 |  1067045 |     4542    450 |      928 |        8
464.50/464.63	c  464s |      21 |  1703888 |  1070645 |     4542    451 |      928 |        8
466.50/466.65	c  466s |      21 |  1712061 |  1073445 |     4542    452 |      928 |        8
468.51/468.69	c  468s |      21 |  1719464 |  1076245 |     4542    453 |      928 |        8
470.60/470.74	c  470s |      21 |  1728793 |  1079445 |     4542    454 |      928 |        8
472.60/472.79	c  472s |      21 |  1736583 |  1082745 |     4542    455 |      928 |        8
474.70/474.80	c  474s |      21 |  1744731 |  1087145 |     4542    457 |      928 |        8
476.70/476.83	c  476s |      21 |  1752569 |  1091845 |     4542    459 |      928 |        8
478.70/478.84	c  478s |      21 |  1759735 |  1096045 |     4542    460 |      928 |        8
480.70/480.85	c  480s |      21 |  1766286 |  1099845 |     4542    461 |      928 |        8
482.80/482.91	c  482s |      21 |  1774477 |  1103245 |     4542    462 |      928 |        8
484.80/484.95	c  484s |      21 |  1782487 |  1106445 |     4542    464 |      928 |        8
486.80/486.99	c  486s |      21 |  1788961 |  1109945 |     4542    465 |      928 |        8
488.89/489.03	c  488s |      21 |  1797152 |  1113345 |     4542    466 |      928 |        8
490.89/491.05	c  490s |      21 |  1804505 |  1117345 |     4542    467 |      928 |        8
492.89/493.09	c  492s |      21 |  1811927 |  1121145 |     4542    469 |      928 |        8
495.00/495.10	c  494s |      21 |  1819233 |  1124645 |     4542    470 |      928 |        8
496.99/497.12	c  496s |      21 |  1827813 |  1128945 |     4542    471 |      928 |        8
498.99/499.13	c  498s |      21 |  1835104 |  1133045 |     4542    473 |      928 |        8
500.99/501.15	c  500s |      21 |  1843187 |  1136645 |     4542    474 |      928 |        8
502.99/503.19	c  503s |      21 |  1849386 |  1141045 |     4542    475 |      928 |        8
505.09/505.22	c  505s |      21 |  1856435 |  1144845 |     4542    477 |      928 |        8
507.09/507.25	c  507s |      21 |  1864040 |  1148445 |     4542    478 |      928 |        8
509.19/509.33	c  509s |      21 |  1869906 |  1152745 |     4542    480 |      928 |        8
511.19/511.36	c  511s |      21 |  1876595 |  1156745 |     4542    481 |      928 |        8
513.19/513.37	c  513s |      21 |  1883899 |  1160345 |     4542    482 |      928 |        8
515.18/515.39	c  515s |      21 |  1892402 |  1163745 |     4542    483 |      928 |        8
517.28/517.43	c  517s |      21 |  1898942 |  1167345 |     4542    485 |      928 |        8
519.28/519.43	c  519s |      21 |  1904989 |  1171445 |     4542    486 |      928 |        8
521.29/521.48	c  521s |      21 |  1914125 |  1176345 |     4542    488 |      928 |        8
523.38/523.50	c  523s |      21 |  1920506 |  1180045 |     4542    489 |      928 |        8
525.38/525.53	c  525s |      21 |  1926600 |  1183745 |     4542    490 |      928 |        8
527.38/527.55	c  527s |      21 |  1933713 |  1187545 |     4542    491 |      928 |        8
529.38/529.58	c  529s |      21 |  1941515 |  1190745 |     4542    493 |      928 |        8
531.58/531.72	c  531s |      21 |  1948537 |  1194045 |     4542    494 |      928 |        8
533.58/533.74	c  533s |      21 |  1956571 |  1197245 |     4542    495 |      928 |        8
535.58/535.78	c  535s |      21 |  1963755 |  1200445 |     4542    496 |      928 |        8
537.67/537.83	c  537s |      21 |  1969666 |  1203945 |     4542    497 |      928 |        8
539.67/539.85	c  539s |      21 |  1975218 |  1207345 |     4542    498 |      928 |        8
541.67/541.87	c  541s |      21 |  1983323 |  1210645 |     4542    499 |      928 |        8
543.97/544.14	c  543s |      21 |  1991137 |  1213845 |     4542    501 |      928 |        8
545.97/546.16	c  545s |      21 |  1999373 |  1217045 |     4542    502 |      928 |        8
547.97/548.18	c  548s |      21 |  2005490 |  1220545 |     4542    503 |      928 |        8
550.07/550.21	c  550s |      21 |  2009837 |  1223845 |     4542    504 |      928 |        8
552.08/552.23	c  552s |      21 |  2013588 |  1226745 |     4542    505 |      928 |        8
554.07/554.25	c  554s |      21 |  2017133 |  1229745 |     4542    506 |      928 |        8
556.06/556.29	c  556s |      21 |  2022331 |  1232645 |     4542    507 |      928 |        8
558.16/558.31	c  558s |      21 |  2029495 |  1236545 |     4542    508 |      928 |        8
560.16/560.35	c  560s |      21 |  2037668 |  1239945 |     4542    510 |      928 |        8
562.27/562.42	c  562s |      21 |  2045311 |  1243045 |     4542    511 |      928 |        8
564.28/564.44	c  564s |      21 |  2052748 |  1246045 |     4542    512 |      928 |        8
566.27/566.49	c  566s |      21 |  2060092 |  1248945 |     4542    513 |      928 |        8
568.37/568.50	c  568s |      21 |  2067641 |  1251945 |     4542    514 |      928 |        8
570.37/570.53	c  570s |      21 |  2074518 |  1255045 |     4542    515 |      928 |        8
572.37/572.58	c  572s |      21 |  2079148 |  1258345 |     4542    516 |      928 |        8
574.46/574.61	c  574s |      21 |  2086325 |  1261645 |     4542    517 |      928 |        8
576.46/576.61	c  576s |      21 |  2094953 |  1265045 |     4542    518 |      928 |        8
578.47/578.62	c  578s |      21 |  2102601 |  1267945 |     4542    519 |      928 |        8
580.46/580.64	c  580s |      21 |  2110684 |  1270945 |     4542    520 |      928 |        8
582.46/582.67	c  582s |      21 |  2118894 |  1274045 |     4542    521 |      928 |        8
584.56/584.70	c  584s |      21 |  2126369 |  1277045 |     4542    522 |      928 |        8
586.56/586.75	c  586s |      21 |  2133887 |  1279945 |     4542    523 |      928 |        8
588.56/588.78	c  588s |      21 |  2141276 |  1282845 |     4542    524 |      928 |        8
590.67/590.84	c  590s |      21 |  2148572 |  1285745 |     4542    525 |      928 |        8
592.66/592.85	c  592s |      21 |  2154752 |  1289045 |     4542    526 |      928 |        8
594.85/595.04	c  594s |      21 |  2159615 |  1292045 |     4542    528 |      928 |        8
596.85/597.04	c  596s |      21 |  2165444 |  1297345 |     4542    529 |      928 |        8
598.85/599.06	c  598s |      21 |  2168652 |  1300445 |     4542    530 |      928 |        8
600.85/601.08	c  600s |      21 |  2174435 |  1305345 |     4542    532 |      928 |        8
602.85/603.08	c  602s |      21 |  2179052 |  1309845 |     4542    534 |      928 |        8
604.96/605.12	c  604s |      21 |  2182766 |  1313045 |     4542    535 |      928 |        8
606.95/607.14	c  606s |      21 |  2187327 |  1316945 |     4542    536 |      928 |        8
608.95/609.16	c  608s |      21 |  2192846 |  1321445 |     4542    538 |      928 |        8
610.95/611.17	c  611s |      21 |  2199191 |  1325745 |     4542    539 |      928 |        8
612.95/613.19	c  613s |      21 |  2205065 |  1330345 |     4542    541 |      928 |        8
615.04/615.22	c  615s |      21 |  2211246 |  1334745 |     4542    542 |      928 |        8
617.05/617.28	c  617s |      21 |  2216287 |  1339445 |     4542    544 |      928 |        8
619.15/619.31	c  619s |      21 |  2221919 |  1344045 |     4542    545 |      928 |        8
621.14/621.32	c  621s |      21 |  2225694 |  1347645 |     4542    547 |      928 |        8
623.14/623.35	c  623s |      21 |  2229490 |  1351245 |     4542    548 |      928 |        8
625.14/625.39	c  625s |      21 |  2233868 |  1355445 |     4542    549 |      928 |        8
627.24/627.42	c  627s |      21 |  2237607 |  1359045 |     4542    551 |      928 |        8
629.24/629.42	c  629s |      21 |  2241488 |  1362645 |     4542    552 |      928 |        8
631.24/631.43	c  631s |      21 |  2245786 |  1366745 |     4542    553 |      928 |        8
633.24/633.45	c  633s |      21 |  2249547 |  1370345 |     4542    555 |      928 |        8
635.23/635.46	c  635s |      21 |  2255773 |  1376245 |     4542    557 |      928 |        8
637.23/637.47	c  637s |      21 |  2260926 |  1380845 |     4542    558 |      928 |        8
639.23/639.47	c  639s |      21 |  2265572 |  1384845 |     4542    560 |      928 |        8
641.33/641.50	c  641s |      21 |  2271530 |  1389745 |     4542    561 |      928 |        8
643.34/643.51	c  643s |      21 |  2277327 |  1394345 |     4542    563 |      928 |        8
645.32/645.58	c  645s |      21 |  2283844 |  1399645 |     4542    565 |      928 |        8
647.42/647.61	c  647s |      21 |  2290536 |  1405145 |     4542    567 |      928 |        8
649.42/649.65	c  649s |      21 |  2296456 |  1409945 |     4542    568 |      928 |        8
651.42/651.66	c  651s |      21 |  2302264 |  1414745 |     4542    570 |      928 |        8
653.42/653.68	c  653s |      21 |  2308957 |  1420345 |     4542    572 |      928 |        8
655.53/655.71	c  655s |      21 |  2315118 |  1425445 |     4542    574 |      928 |        8
657.52/657.72	c  657s |      21 |  2321100 |  1430445 |     4542    575 |      928 |        8
659.53/659.72	c  659s |      21 |  2327502 |  1435545 |     4542    577 |      928 |        8
661.53/661.75	c  661s |      21 |  2333854 |  1440845 |     4542    579 |      928 |        8
663.52/663.78	c  663s |      21 |  2339903 |  1445845 |     4542    581 |      928 |        8
665.62/665.81	c  665s |      21 |  2345757 |  1450645 |     4542    582 |      928 |        8
667.63/667.83	c  667s |      21 |  2352091 |  1455845 |     4542    584 |      928 |        8
669.62/669.84	c  669s |      21 |  2358947 |  1461345 |     4542    586 |      928 |        8
671.72/671.92	c  671s |      21 |  2365108 |  1466545 |     4542    588 |      928 |        8
673.71/673.94	c  673s |      21 |  2371445 |  1471545 |     4542    589 |      928 |        8
675.71/675.97	c  675s |      21 |  2377247 |  1476145 |     4542    591 |      928 |        8
677.71/677.98	c  677s |      21 |  2383298 |  1481245 |     4542    593 |      928 |        8
679.72/679.99	c  679s |      21 |  2389030 |  1486045 |     4542    594 |      928 |        8
681.71/681.99	c  681s |      21 |  2394970 |  1490745 |     4997    596 |      928 |        8
683.81/684.02	c  683s |      21 |  2400574 |  1495345 |     4997    597 |      928 |        8
685.81/686.04	c  685s |      21 |  2406539 |  1500245 |     4997    599 |      928 |        8
685.91/686.19	c  686s |      22 |  2406991 |  1500622 |     4997    599 |      928 |        8
688.01/688.22	c  688s |      22 |  2413789 |  1505322 |     4997    601 |      929 |        8
690.01/690.26	c  690s |      22 |  2421581 |  1509522 |     4997    602 |      929 |        8
692.01/692.26	c  692s |      22 |  2436580 |  1514022 |     4997    603 |      929 |        8
694.01/694.28	c  694s |      22 |  2450541 |  1519622 |     4997    605 |      929 |        8
696.11/696.33	c  696s |      22 |  2462117 |  1524522 |     4997    607 |      929 |        8
698.10/698.36	c  698s |      22 |  2472968 |  1529922 |     4997    608 |      929 |        8
700.10/700.36	c  700s |      22 |  2482574 |  1534122 |     4997    610 |      929 |        8
702.10/702.38	c  702s |      22 |  2494991 |  1539422 |     4997    611 |      929 |        8
704.20/704.41	c  704s |      22 |  2505772 |  1544422 |     4997    613 |      929 |        8
706.20/706.43	c  706s |      22 |  2516855 |  1549622 |     4997    615 |      929 |        8
708.30/708.53	c  708s |      22 |  2526266 |  1554022 |     4997    616 |      929 |        8
710.30/710.58	c  710s |      22 |  2536081 |  1558822 |     4997    618 |      929 |        8
712.30/712.58	c  712s |      22 |  2547192 |  1564222 |     4997    619 |      929 |        8
714.30/714.59	c  714s |      22 |  2558677 |  1569722 |     4997    621 |      929 |        8
716.40/716.63	c  716s |      22 |  2567820 |  1574522 |     4997    623 |      929 |        8
718.40/718.64	c  718s |      22 |  2579587 |  1580022 |     4997    624 |      929 |        8
720.40/720.67	c  720s |      22 |  2589567 |  1585322 |     4997    626 |      929 |        8
722.40/722.69	c  722s |      22 |  2600501 |  1590722 |     4997    628 |      929 |        8
724.49/724.71	c  724s |      22 |  2611811 |  1596222 |     4997    629 |      929 |        8
726.49/726.74	c  726s |      22 |  2621804 |  1601022 |     4997    631 |      929 |        8
728.49/728.75	c  728s |      22 |  2633069 |  1606422 |     4997    633 |      929 |        8
730.49/730.76	c  730s |      22 |  2643565 |  1611322 |     4997    634 |      929 |        8
732.50/732.80	c  732s |      22 |  2654171 |  1616222 |     4997    636 |      929 |        8
734.59/734.81	c  734s |      22 |  2666153 |  1621422 |     4997    637 |      929 |        8
736.58/736.82	c  736s |      22 |  2677943 |  1626422 |     4997    639 |      929 |        8
738.78/739.06	c  738s |      22 |  2688512 |  1631622 |     4997    641 |      929 |        8
740.78/741.09	c  740s |      22 |  2700751 |  1637122 |     4997    642 |      929 |        8
742.88/743.12	c  742s |      22 |  2710702 |  1641622 |     4997    644 |      929 |        8
744.88/745.13	c  744s |      22 |  2721939 |  1646822 |     4997    645 |      929 |        8
746.89/747.16	c  746s |      22 |  2732236 |  1651522 |     4997    647 |      929 |        8
748.89/749.17	c  748s |      22 |  2743086 |  1656522 |     4997    648 |      929 |        8
750.88/751.19	c  751s |      22 |  2754354 |  1661622 |     4997    650 |      929 |        8
752.98/753.23	c  753s |      22 |  2764939 |  1666322 |     4997    652 |      929 |        8
754.98/755.24	c  755s |      22 |  2775156 |  1670922 |     4997    653 |      929 |        8
757.18/757.50	c  757s |      22 |  2786308 |  1675922 |     4997    655 |      929 |        8
759.28/759.50	c  759s |      22 |  2797416 |  1681222 |     4997    656 |      929 |        8
761.28/761.51	c  761s |      22 |  2806942 |  1685622 |     4997    658 |      929 |        8
763.28/763.53	c  763s |      22 |  2818408 |  1690622 |     4997    659 |      929 |        8
765.28/765.55	c  765s |      22 |  2829186 |  1695822 |     4997    661 |      929 |        8
767.27/767.58	c  767s |      22 |  2840370 |  1701022 |     4997    662 |      929 |        8
769.27/769.59	c  769s |      22 |  2851081 |  1706022 |     4997    664 |      929 |        8
771.27/771.60	c  771s |      22 |  2861031 |  1710622 |     4997    666 |      929 |        8
773.37/773.62	c  773s |      22 |  2871349 |  1715422 |     4997    667 |      929 |        8
775.37/775.67	c  775s |      22 |  2882637 |  1720522 |     4997    669 |      929 |        8
777.37/777.69	c  777s |      22 |  2893206 |  1725122 |     4997    670 |      929 |        8
779.47/779.72	c  779s |      22 |  2905040 |  1730322 |     4997    672 |      929 |        8
781.47/781.74	c  781s |      22 |  2917043 |  1735822 |     4997    673 |      929 |        8
783.47/783.76	c  783s |      22 |  2928365 |  1740822 |     4997    675 |      929 |        8
785.46/785.78	c  785s |      22 |  2939491 |  1745722 |     4997    677 |      929 |        8
787.56/787.81	c  787s |      22 |  2949762 |  1750422 |     4997    678 |      929 |        8
789.57/789.83	c  789s |      22 |  2960105 |  1755422 |     4997    680 |      929 |        8
791.56/791.83	c  791s |      22 |  2969216 |  1759522 |     4997    681 |      929 |        8
793.56/793.86	c  793s |      22 |  2980004 |  1764322 |     4997    682 |      929 |        8
795.65/795.98	c  795s |      22 |  2991298 |  1769322 |     4997    684 |      929 |        8
797.65/797.99	c  797s |      22 |  3002042 |  1774322 |     4997    686 |      929 |        8
799.75/800.01	c  799s |      22 |  3014304 |  1780122 |     4997    687 |      929 |        8
801.76/802.02	c  801s |      22 |  3023725 |  1784422 |     4997    689 |      929 |        8
803.75/804.04	c  803s |      22 |  3033988 |  1789122 |     4997    690 |      929 |        8
805.75/806.07	c  805s |      22 |  3044757 |  1794222 |     4997    692 |      929 |        8
807.85/808.10	c  807s |      22 |  3054593 |  1798422 |     4997    693 |      929 |        8
809.85/810.13	c  809s |      22 |  3064639 |  1803322 |     4997    695 |      929 |        8
811.85/812.15	c  811s |      22 |  3074315 |  1808422 |     4997    696 |      929 |        8
813.86/814.18	c  814s |      22 |  3083619 |  1813322 |     4997    698 |      929 |        8
815.96/816.21	c  816s |      22 |  3094002 |  1818422 |     4997    700 |      929 |        8
817.95/818.23	c  818s |      22 |  3102866 |  1822822 |     4997    701 |      929 |        8
819.95/820.25	c  820s |      22 |  3111275 |  1827522 |     4997    702 |      929 |        8
821.95/822.25	c  822s |      22 |  3121867 |  1832322 |     4997    704 |      929 |        8
823.94/824.29	c  824s |      22 |  3131709 |  1837122 |     4997    705 |      929 |        8
826.04/826.31	c  826s |      22 |  3140889 |  1841622 |     4997    707 |      929 |        8
828.05/828.31	c  828s |      22 |  3151201 |  1846022 |     4997    708 |      929 |        8
830.04/830.33	c  830s |      22 |  3160381 |  1850122 |     4997    710 |      929 |        8
832.04/832.39	c  832s |      22 |  3169365 |  1854222 |     4997    711 |      929 |        8
834.14/834.41	c  834s |      22 |  3180138 |  1859122 |     4997    712 |      929 |        8
836.24/836.59	c  836s |      22 |  3187827 |  1862622 |     4997    714 |      929 |        8
838.34/838.60	c  838s |      22 |  3199228 |  1868122 |     4997    715 |      929 |        8
840.34/840.62	c  840s |      22 |  3209281 |  1873222 |     4997    717 |      929 |        8
842.34/842.68	c  842s |      22 |  3219486 |  1878322 |     4997    719 |      929 |        8
844.33/844.69	c  844s |      22 |  3228496 |  1882922 |     4997    720 |      929 |        8
846.43/846.71	c  846s |      22 |  3238267 |  1887822 |     4997    722 |      929 |        8
848.43/848.71	c  848s |      22 |  3247533 |  1892322 |     4997    723 |      929 |        8
850.43/850.74	c  850s |      22 |  3253767 |  1896022 |     4997    724 |      929 |        8
852.44/852.80	c  852s |      22 |  3264456 |  1900922 |     4997    726 |      929 |        8
854.44/854.80	c  854s |      22 |  3272343 |  1905122 |     4997    727 |      929 |        8
856.53/856.82	c  856s |      22 |  3280979 |  1909222 |     4997    728 |      929 |        8
858.53/858.86	c  858s |      22 |  3290564 |  1913522 |     4997    730 |      929 |        8
860.53/860.88	c  860s |      22 |  3300044 |  1917722 |     4997    731 |      929 |        8
862.63/862.91	c  862s |      22 |  3309183 |  1922422 |     4997    732 |      929 |        8
864.63/864.93	c  864s |      22 |  3318729 |  1927222 |     4997    734 |      929 |        8
866.63/866.99	c  866s |      22 |  3329660 |  1932122 |     4997    736 |      929 |        8
868.73/869.00	c  868s |      22 |  3338457 |  1936322 |     4997    737 |      929 |        8
870.72/871.01	c  870s |      22 |  3345527 |  1940222 |     4997    738 |      929 |        8
872.72/873.03	c  872s |      22 |  3355150 |  1944822 |     4997    740 |      929 |        8
874.72/875.06	c  874s |      22 |  3364056 |  1948922 |     4997    741 |      929 |        8
876.72/877.06	c  876s |      22 |  3375527 |  1954022 |     4997    742 |      929 |        8
878.72/879.07	c  878s |      22 |  3385920 |  1958722 |     4997    744 |      929 |        8
880.82/881.12	c  880s |      22 |  3397296 |  1963522 |     4997    745 |      929 |        8
882.82/883.12	c  882s |      22 |  3407227 |  1967922 |     4997    747 |      929 |        8
884.81/885.14	c  884s |      22 |  3416857 |  1972222 |     4997    748 |      929 |        8
886.82/887.19	c  887s |      22 |  3425372 |  1976522 |     4997    750 |      929 |        8
888.92/889.22	c  889s |      22 |  3434920 |  1981222 |     4997    751 |      929 |        8
890.92/891.24	c  891s |      22 |  3444755 |  1985622 |     4997    752 |      929 |        8
892.92/893.25	c  893s |      22 |  3454609 |  1989922 |     4997    754 |      929 |        8
894.91/895.28	c  895s |      22 |  3465475 |  1994922 |     4997    755 |      929 |        8
897.01/897.32	c  897s |      22 |  3475008 |  1999322 |     4997    757 |      929 |        8
899.01/899.35	c  899s |      22 |  3485485 |  2004022 |     4997    758 |      929 |        8
901.10/901.42	c  901s |      22 |  3495494 |  2008322 |     4997    760 |      929 |        8
903.10/903.47	c  903s |      22 |  3505800 |  2013322 |     4997    761 |      929 |        8
905.11/905.48	c  905s |      22 |  3515079 |  2017822 |     4997    763 |      929 |        8
907.21/907.52	c  907s |      22 |  3524151 |  2022222 |     4997    764 |      929 |        8
909.20/909.53	c  909s |      22 |  3534532 |  2026922 |     4997    766 |      929 |        8
911.20/911.54	c  911s |      22 |  3543733 |  2031322 |     4997    767 |      929 |        8
913.21/913.55	c  913s |      22 |  3551718 |  2035122 |     4997    768 |      929 |        8
915.20/915.57	c  915s |      22 |  3560097 |  2039622 |     4997    770 |      929 |        8
917.21/917.59	c  917s |      22 |  3567016 |  2044222 |     4997    771 |      929 |        8
919.31/919.64	c  919s |      22 |  3573321 |  2048422 |     4997    772 |      929 |        8
921.30/921.66	c  921s |      22 |  3582530 |  2052722 |     4997    774 |      929 |        8
923.30/923.69	c  923s |      22 |  3591520 |  2057022 |     4997    775 |      929 |        8
925.40/925.72	c  925s |      22 |  3598969 |  2061122 |     4997    776 |      929 |        8
927.50/927.86	c  927s |      22 |  3610066 |  2065922 |     4997    778 |      929 |        8
929.49/929.89	c  929s |      22 |  3620123 |  2070322 |     4997    779 |      929 |        8
931.59/931.99	c  931s |      22 |  3628978 |  2074422 |     4997    781 |      929 |        8
933.70/934.02	c  933s |      22 |  3638576 |  2078922 |     4997    782 |      929 |        8
935.69/936.05	c  935s |      22 |  3647686 |  2083122 |     4997    783 |      929 |        8
937.69/938.06	c  937s |      22 |  3655679 |  2087222 |     4997    785 |      929 |        8
939.79/940.10	c  939s |      22 |  3666072 |  2092022 |     4997    786 |      929 |        8
941.89/942.25	c  942s |      22 |  3676369 |  2097022 |     4997    788 |      929 |        8
943.88/944.27	c  944s |      22 |  3686403 |  2101922 |     4997    789 |      929 |        8
945.98/946.30	c  946s |      22 |  3694761 |  2106222 |     4997    791 |      929 |        8
947.99/948.35	c  948s |      22 |  3703556 |  2110522 |     4997    792 |      929 |        8
949.98/950.35	c  950s |      22 |  3712703 |  2114922 |     4997    793 |      929 |        8
951.98/952.35	c  952s |      22 |  3722077 |  2119522 |     4997    795 |      929 |        8
953.97/954.37	c  954s |      22 |  3732372 |  2124122 |     4997    796 |      929 |        8
955.97/956.37	c  956s |      22 |  3741432 |  2128422 |     4997    798 |      929 |        8
958.07/958.40	c  958s |      22 |  3750971 |  2133022 |     4997    799 |      929 |        8
960.08/960.41	c  960s |      22 |  3759305 |  2137122 |     4997    800 |      929 |        8
962.08/962.44	c  962s |      22 |  3769015 |  2141722 |     4997    802 |      929 |        8
964.07/964.46	c  964s |      22 |  3779226 |  2146422 |     4997    803 |      929 |        8
966.07/966.49	c  966s |      22 |  3788973 |  2151222 |     4997    805 |      929 |        8
968.17/968.50	c  968s |      22 |  3800655 |  2155922 |     4997    806 |      929 |        8
970.17/970.50	c  970s |      22 |  3812184 |  2160322 |     4997    808 |      929 |        8
972.17/972.52	c  972s |      22 |  3822987 |  2165622 |     4997    809 |      929 |        8
974.16/974.54	c  974s |      22 |  3830910 |  2169822 |     4997    811 |      929 |        8
976.16/976.58	c  976s |      22 |  3841501 |  2174622 |     4997    812 |      929 |        8
978.26/978.60	c  978s |      22 |  3851154 |  2179022 |     4997    814 |      929 |        8
980.36/980.72	c  980s |      22 |  3862310 |  2184122 |     4997    815 |      929 |        8
982.36/982.75	c  982s |      22 |  3870866 |  2188322 |     4997    817 |      929 |        8
984.36/984.78	c  984s |      22 |  3881555 |  2193122 |     4997    818 |      929 |        8
986.36/986.79	c  986s |      22 |  3892014 |  2197722 |     4997    820 |      929 |        8
988.35/988.79	c  988s |      22 |  3902491 |  2202422 |     4997    821 |      929 |        8
990.45/990.83	c  990s |      22 |  3912576 |  2207522 |     4997    823 |      929 |        8
992.45/992.83	c  992s |      22 |  3922146 |  2212122 |     4997    824 |      929 |        8
994.45/994.87	c  994s |      22 |  3932004 |  2216522 |     4997    826 |      929 |        8
996.55/996.90	c  996s |      22 |  3941291 |  2220922 |     4997    827 |      929 |        8
998.55/998.92	c  998s |      22 |  3951519 |  2225622 |     4997    828 |      929 |        8
1000.55/1000.96	c 1000s |      22 |  3960092 |  2229522 |     4997    830 |      929 |        8
1002.55/1002.99	c 1002s |      22 |  3969709 |  2234122 |     4997    831 |      929 |        8
1004.65/1005.02	c 1004s |      22 |  3979646 |  2238922 |     5497    832 |      929 |        8
1006.65/1007.04	c 1006s |      22 |  3989998 |  2243622 |     5497    834 |      929 |        8
1008.65/1009.04	c 1008s |      22 |  3998776 |  2248222 |     5497    835 |      929 |        8
1009.75/1010.16	c 1009s |      23 |  4005346 |  2251038 |     5497    836 |      929 |        8
1011.76/1012.17	c 1012s |      23 |  4010252 |  2254538 |     5497    837 |      929 |        8
1013.74/1014.20	c 1014s |      23 |  4013994 |  2257738 |     5497    838 |      929 |        8
1015.84/1016.21	c 1016s |      23 |  4016899 |  2260338 |     5497    839 |      929 |        8
1017.84/1018.22	c 1018s |      23 |  4020946 |  2263438 |     5497    840 |      929 |        8
1019.84/1020.28	c 1020s |      23 |  4025509 |  2266838 |     5497    840 |      929 |        8
1021.94/1022.33	c 1022s |      23 |  4029681 |  2270038 |     5497    841 |      929 |        8
1023.94/1024.38	c 1024s |      23 |  4033298 |  2273238 |     5497    842 |      929 |        8
1026.05/1026.42	c 1026s |      23 |  4036818 |  2276338 |     5497    843 |      929 |        8
1028.04/1028.45	c 1028s |      23 |  4040399 |  2279238 |     5497    844 |      929 |        8
1030.24/1030.61	c 1030s |      23 |  4048208 |  2283738 |     5497    845 |      929 |        8
1032.24/1032.62	c 1032s |      23 |  4054339 |  2287438 |     5497    846 |      929 |        8
1034.24/1034.65	c 1034s |      23 |  4060894 |  2291238 |     5497    848 |      929 |        8
1036.24/1036.68	c 1036s |      23 |  4065894 |  2294838 |     5497    849 |      929 |        8
1038.34/1038.71	c 1038s |      23 |  4070159 |  2298238 |     5497    850 |      929 |        8
1040.34/1040.76	c 1040s |      23 |  4073738 |  2301338 |     5497    851 |      929 |        8
1042.44/1042.82	c 1042s |      23 |  4078775 |  2304638 |     5497    852 |      929 |        8
1044.43/1044.87	c 1044s |      23 |  4084317 |  2308038 |     5497    853 |      929 |        8
1046.43/1046.87	c 1046s |      23 |  4091813 |  2311838 |     5497    854 |      929 |        8
1048.53/1048.90	c 1048s |      23 |  4099182 |  2316138 |     5497    855 |      929 |        8
1050.73/1051.12	c 1050s |      23 |  4105005 |  2320038 |     5497    856 |      929 |        8
1052.73/1053.15	c 1052s |      23 |  4111070 |  2324238 |     5497    857 |      929 |        8
1054.73/1055.16	c 1054s |      23 |  4116916 |  2327938 |     5497    858 |      929 |        8
1056.74/1057.19	c 1057s |      23 |  4123339 |  2332238 |     5497    860 |      929 |        8
1058.83/1059.21	c 1059s |      23 |  4130222 |  2336538 |     5497    861 |      929 |        8
1060.83/1061.25	c 1061s |      23 |  4136561 |  2340738 |     5497    862 |      929 |        8
1062.84/1063.27	c 1063s |      23 |  4142436 |  2344238 |     5497    863 |      929 |        8
1064.84/1065.29	c 1065s |      23 |  4148595 |  2348138 |     5497    864 |      929 |        8
1066.84/1067.30	c 1067s |      23 |  4155620 |  2352338 |     5497    866 |      929 |        8
1068.94/1069.32	c 1069s |      23 |  4162245 |  2356338 |     5497    867 |      929 |        8
1070.94/1071.33	c 1071s |      23 |  4169106 |  2360638 |     5497    868 |      929 |        8
1072.93/1073.35	c 1073s |      23 |  4174696 |  2364138 |     5497    869 |      929 |        8
1074.93/1075.39	c 1075s |      23 |  4181161 |  2368138 |     5497    870 |      929 |        8
1077.03/1077.42	c 1077s |      23 |  4187242 |  2372338 |     5497    871 |      929 |        8
1079.03/1079.45	c 1079s |      23 |  4193314 |  2376138 |     5497    873 |      929 |        8
1081.13/1081.50	c 1081s |      23 |  4199544 |  2380238 |     5497    874 |      929 |        8
1083.14/1083.51	c 1083s |      23 |  4205494 |  2383938 |     5497    875 |      929 |        8
1085.13/1085.55	c 1085s |      23 |  4211760 |  2388238 |     5497    876 |      929 |        8
1087.13/1087.56	c 1087s |      23 |  4217849 |  2392038 |     5497    877 |      929 |        8
1089.13/1089.56	c 1089s |      23 |  4223975 |  2395938 |     5497    878 |      929 |        8
1091.23/1091.63	c 1091s |      23 |  4230311 |  2399838 |     5497    879 |      929 |        8
1093.23/1093.65	c 1093s |      23 |  4237082 |  2403938 |     5497    881 |      929 |        8
1095.23/1095.67	c 1095s |      23 |  4243478 |  2408338 |     5497    882 |      929 |        8
1097.23/1097.69	c 1097s |      23 |  4249416 |  2411638 |     5497    883 |      929 |        8
1099.33/1099.70	c 1099s |      23 |  4255680 |  2415738 |     5497    884 |      929 |        8
1101.32/1101.75	c 1101s |      23 |  4261908 |  2419738 |     5497    885 |      929 |        8
1103.32/1103.76	c 1103s |      23 |  4268113 |  2423838 |     5497    887 |      929 |        8
1105.32/1105.77	c 1105s |      23 |  4274428 |  2427738 |     5497    888 |      929 |        8
1107.33/1107.79	c 1107s |      23 |  4280874 |  2431638 |     5497    889 |      929 |        8
1109.42/1109.80	c 1109s |      23 |  4286703 |  2435238 |     5497    890 |      929 |        8
1111.42/1111.82	c 1111s |      23 |  4293136 |  2439138 |     5497    891 |      929 |        8
1113.42/1113.85	c 1113s |      23 |  4299480 |  2442838 |     5497    892 |      929 |        8
1115.42/1115.85	c 1115s |      23 |  4305685 |  2446938 |     5497    893 |      929 |        8
1117.42/1117.86	c 1117s |      23 |  4311306 |  2450538 |     5497    894 |      929 |        8
1119.43/1119.88	c 1119s |      23 |  4317305 |  2454538 |     5497    896 |      929 |        8
1121.42/1121.88	c 1121s |      23 |  4322653 |  2458138 |     5497    897 |      929 |        8
1123.52/1123.90	c 1123s |      23 |  4328971 |  2462038 |     5497    898 |      929 |        8
1125.52/1125.95	c 1125s |      23 |  4335378 |  2466038 |     5497    899 |      929 |        8
1127.53/1127.99	c 1127s |      23 |  4340771 |  2469738 |     5497    900 |      929 |        8
1129.63/1130.01	c 1129s |      23 |  4346360 |  2473338 |     5497    901 |      929 |        8
1131.64/1132.02	c 1131s |      23 |  4352201 |  2477338 |     5497    902 |      929 |        8
1133.63/1134.04	c 1133s |      23 |  4358918 |  2480938 |     5497    903 |      929 |        8
1135.63/1136.07	c 1135s |      23 |  4365234 |  2485038 |     5497    905 |      929 |        8
1137.63/1138.09	c 1137s |      23 |  4370969 |  2488938 |     5497    906 |      929 |        8
1139.72/1140.13	c 1139s |      23 |  4377504 |  2493238 |     5497    907 |      929 |        8
1141.72/1142.15	c 1141s |      23 |  4383227 |  2496838 |     5497    908 |      929 |        8
1143.73/1144.19	c 1144s |      23 |  4388959 |  2500638 |     5497    909 |      929 |        8
1145.72/1146.19	c 1146s |      23 |  4394748 |  2504238 |     5497    910 |      929 |        8
1147.82/1148.21	c 1148s |      23 |  4400259 |  2508038 |     5497    911 |      929 |        8
1149.82/1150.26	c 1150s |      23 |  4406665 |  2512038 |     5497    912 |      929 |        8
1151.92/1152.34	c 1152s |      23 |  4412311 |  2515638 |     5497    914 |      929 |        8
1153.92/1154.34	c 1154s |      23 |  4418511 |  2519838 |     5497    915 |      929 |        8
1155.92/1156.38	c 1156s |      23 |  4425127 |  2523838 |     5497    916 |      929 |        8
1158.03/1158.41	c 1158s |      23 |  4431386 |  2527838 |     5497    917 |      929 |        8
1160.02/1160.45	c 1160s |      23 |  4437239 |  2531538 |     5497    918 |      929 |        8
1162.02/1162.45	c 1162s |      23 |  4443442 |  2535538 |     5497    919 |      929 |        8
1164.02/1164.48	c 1164s |      23 |  4449309 |  2539438 |     5497    920 |      929 |        8
1166.02/1166.49	c 1166s |      23 |  4455144 |  2543238 |     5497    922 |      929 |        8
1168.12/1168.50	c 1168s |      23 |  4461114 |  2547038 |     5497    923 |      929 |        8
1170.12/1170.57	c 1170s |      23 |  4468135 |  2551438 |     5497    924 |      929 |        8
1172.11/1172.59	c 1172s |      23 |  4473981 |  2555138 |     5497    925 |      929 |        8
1174.21/1174.62	c 1174s |      23 |  4480427 |  2559238 |     5497    926 |      929 |        8
1176.21/1176.64	c 1176s |      23 |  4486518 |  2563138 |     5497    927 |      929 |        8
1178.21/1178.68	c 1178s |      23 |  4492303 |  2566738 |     5497    929 |      929 |        8
1180.31/1180.72	c 1180s |      23 |  4497999 |  2570638 |     5497    930 |      929 |        8
1182.51/1182.95	c 1182s |      23 |  4503335 |  2574238 |     5497    931 |      929 |        8
1184.51/1184.98	c 1184s |      23 |  4509884 |  2578238 |     5497    932 |      929 |        8
1186.62/1187.03	c 1186s |      23 |  4515748 |  2582238 |     5497    933 |      929 |        8
1188.61/1189.07	c 1188s |      23 |  4522571 |  2586138 |     5497    934 |      929 |        8
1190.81/1191.22	c 1191s |      23 |  4528282 |  2589938 |     5497    935 |      929 |        8
1192.81/1193.23	c 1193s |      23 |  4533816 |  2593838 |     5497    936 |      929 |        8
1194.81/1195.27	c 1195s |      23 |  4539180 |  2597438 |     5497    938 |      929 |        8
1196.81/1197.27	c 1197s |      23 |  4544927 |  2601038 |     5497    939 |      929 |        8
1198.81/1199.28	c 1199s |      23 |  4550992 |  2604938 |     5497    940 |      929 |        8
1200.92/1201.31	c 1201s |      23 |  4557245 |  2608838 |     5497    941 |      929 |        8
1202.91/1203.35	c 1203s |      23 |  4563901 |  2613038 |     5497    942 |      929 |        8
1204.92/1205.39	c 1205s |      23 |  4569360 |  2616638 |     5497    943 |      929 |        8
1207.01/1207.44	c 1207s |      23 |  4575378 |  2620638 |     5497    944 |      929 |        8
1209.01/1209.48	c 1209s |      23 |  4581372 |  2624838 |     5497    946 |      929 |        8
1211.11/1211.53	c 1211s |      23 |  4587564 |  2628838 |     5497    947 |      929 |        8
1213.11/1213.56	c 1213s |      23 |  4594158 |  2633038 |     5497    948 |      929 |        8
1215.12/1215.57	c 1215s |      23 |  4600457 |  2637238 |     5497    949 |      929 |        8
1217.21/1217.61	c 1217s |      23 |  4606224 |  2640938 |     5497    950 |      929 |        8
1219.21/1219.62	c 1219s |      23 |  4611453 |  2644438 |     5497    951 |      929 |        8
1221.21/1221.64	c 1221s |      23 |  4616937 |  2648138 |     5497    952 |      929 |        8
1223.21/1223.67	c 1223s |      23 |  4622604 |  2651738 |     5497    953 |      929 |        8
1225.31/1225.73	c 1225s |      23 |  4628310 |  2655438 |     5497    955 |      929 |        8
1227.31/1227.75	c 1227s |      23 |  4635183 |  2659538 |     5497    956 |      929 |        8
1229.31/1229.76	c 1229s |      23 |  4641922 |  2663438 |     5497    957 |      929 |        8
1231.31/1231.79	c 1231s |      23 |  4647686 |  2667038 |     5497    958 |      929 |        8
1233.40/1233.84	c 1233s |      23 |  4653900 |  2671038 |     5497    959 |      929 |        8
1235.51/1235.92	c 1235s |      23 |  4659255 |  2674738 |     5497    960 |      929 |        8
1237.51/1237.93	c 1237s |      23 |  4664713 |  2678238 |     5497    961 |      929 |        8
1239.51/1239.94	c 1239s |      23 |  4671053 |  2682238 |     5497    962 |      929 |        8
1241.52/1241.98	c 1241s |      23 |  4676847 |  2686038 |     5497    964 |      929 |        8
1243.61/1244.01	c 1243s |      23 |  4682953 |  2689838 |     5497    965 |      929 |        8
1245.61/1246.05	c 1245s |      23 |  4688616 |  2693838 |     5497    966 |      929 |        8
1247.61/1248.06	c 1247s |      23 |  4694903 |  2697938 |     5497    967 |      929 |        8
1249.61/1250.08	c 1249s |      23 |  4701403 |  2702338 |     5497    968 |      929 |        8
1251.71/1252.14	c 1251s |      23 |  4707804 |  2706238 |     5497    970 |      929 |        8
1253.71/1254.18	c 1254s |      23 |  4714413 |  2710238 |     5497    971 |      929 |        8
1255.91/1256.32	c 1256s |      23 |  4720549 |  2714238 |     5497    972 |      929 |        8
1257.91/1258.36	c 1258s |      23 |  4726863 |  2718538 |     5497    973 |      929 |        8
1259.91/1260.39	c 1260s |      23 |  4732761 |  2722238 |     5497    974 |      929 |        8
1261.91/1262.39	c 1262s |      23 |  4739135 |  2726038 |     5497    975 |      929 |        8
1264.00/1264.43	c 1264s |      23 |  4745419 |  2730238 |     5497    977 |      929 |        8
1266.00/1266.47	c 1266s |      23 |  4752114 |  2734338 |     5497    978 |      929 |        8
1268.01/1268.49	c 1268s |      23 |  4758902 |  2738638 |     5497    979 |      929 |        8
1270.11/1270.54	c 1270s |      23 |  4765307 |  2742638 |     5497    980 |      929 |        8
1272.10/1272.56	c 1272s |      23 |  4771554 |  2746838 |     5497    981 |      929 |        8
1274.10/1274.59	c 1274s |      23 |  4777376 |  2750638 |     5497    983 |      929 |        8
1276.20/1276.61	c 1276s |      23 |  4783172 |  2754338 |     5497    984 |      929 |        8
1278.20/1278.64	c 1278s |      23 |  4789275 |  2758438 |     5497    985 |      929 |        8
1280.20/1280.64	c 1280s |      23 |  4795155 |  2762138 |     5497    986 |      929 |        8
1282.21/1282.66	c 1282s |      23 |  4801110 |  2766038 |     5497    987 |      929 |        8
1284.20/1284.67	c 1284s |      23 |  4807326 |  2769938 |     5497    988 |      929 |        8
1286.20/1286.69	c 1286s |      23 |  4813370 |  2773738 |     5497    989 |      929 |        8
1288.30/1288.71	c 1288s |      23 |  4819509 |  2777638 |     5497    990 |      929 |        8
1290.30/1290.73	c 1290s |      23 |  4825898 |  2781738 |     5497    992 |      929 |        8
1292.30/1292.78	c 1292s |      23 |  4831905 |  2785738 |     5497    993 |      929 |        8
1294.40/1294.80	c 1294s |      23 |  4838609 |  2789838 |     5497    994 |      929 |        8
1296.40/1296.84	c 1296s |      23 |  4845133 |  2793938 |     5497    995 |      929 |        8
1298.49/1298.90	c 1298s |      23 |  4851204 |  2798238 |     5497    997 |      929 |        8
1300.49/1300.90	c 1300s |      23 |  4856365 |  2801538 |     5497    997 |      929 |        8
1302.49/1302.94	c 1302s |      23 |  4862835 |  2805538 |     5497    999 |      929 |        8
1304.49/1304.98	c 1304s |      23 |  4869088 |  2809838 |     5497   1000 |      929 |        8
1306.51/1306.99	c 1306s |      23 |  4874602 |  2813638 |     5497   1001 |      929 |        8
1308.61/1309.02	c 1308s |      23 |  4880408 |  2817338 |     5497   1002 |      929 |        8
1310.60/1311.04	c 1310s |      23 |  4886481 |  2820938 |     5497   1003 |      929 |        8
1312.60/1313.06	c 1312s |      23 |  4893137 |  2824538 |     5497   1004 |      929 |        8
1314.60/1315.08	c 1314s |      23 |  4898959 |  2828638 |     5497   1005 |      929 |        8
1316.70/1317.14	c 1316s |      23 |  4904464 |  2832138 |     5497   1006 |      929 |        8
1318.70/1319.17	c 1319s |      23 |  4912358 |  2835938 |     5497   1008 |      929 |        8
1320.70/1321.19	c 1321s |      23 |  4920349 |  2841538 |     5497   1009 |      929 |        8
1322.80/1323.23	c 1323s |      23 |  4927472 |  2845938 |     5497   1011 |      929 |        8
1324.80/1325.28	c 1325s |      23 |  4933337 |  2850038 |     5497   1012 |      929 |        8
1326.80/1327.28	c 1327s |      23 |  4939683 |  2854138 |     5497   1013 |      929 |        8
1328.90/1329.31	c 1329s |      23 |  4945563 |  2857838 |     5497   1014 |      929 |        8
1330.89/1331.32	c 1331s |      23 |  4951250 |  2861638 |     5497   1015 |      929 |        8
1332.90/1333.35	c 1333s |      23 |  4957026 |  2865338 |     5497   1016 |      929 |        8
1334.89/1335.38	c 1335s |      23 |  4962905 |  2869238 |     5497   1017 |      929 |        8
1336.89/1337.39	c 1337s |      23 |  4969162 |  2873038 |     5497   1019 |      929 |        8
1338.99/1339.40	c 1339s |      23 |  4975723 |  2876938 |     5497   1020 |      929 |        8
1340.99/1341.43	c 1341s |      23 |  4981337 |  2880838 |     5497   1021 |      929 |        8
1342.99/1343.44	c 1343s |      23 |  4987532 |  2884738 |     5497   1022 |      929 |        8
1345.00/1345.44	c 1345s |      23 |  4993868 |  2888738 |     5497   1023 |      929 |        8
1346.99/1347.47	c 1347s |      23 |  4999424 |  2892538 |     5497   1024 |      929 |        8
1348.99/1349.49	c 1349s |      23 |  5005593 |  2896638 |     5497   1025 |      929 |        8
1351.09/1351.56	c 1351s |      23 |  5011243 |  2900338 |     5497   1027 |      929 |        8
1353.09/1353.59	c 1353s |      23 |  5017020 |  2904238 |     5497   1028 |      929 |        8
1355.19/1355.62	c 1355s |      23 |  5023222 |  2908138 |     5497   1029 |      929 |        8
1357.19/1357.62	c 1357s |      23 |  5029956 |  2912538 |     5497   1030 |      929 |        8
1359.19/1359.65	c 1359s |      23 |  5036042 |  2916438 |     5497   1031 |      929 |        8
1361.19/1361.67	c 1361s |      23 |  5041573 |  2920238 |     5497   1032 |      929 |        8
1363.29/1363.72	c 1363s |      23 |  5047634 |  2923938 |     5497   1033 |      929 |        8
1365.29/1365.72	c 1365s |      23 |  5053982 |  2928038 |     5497   1035 |      929 |        8
1367.29/1367.76	c 1367s |      23 |  5060586 |  2932238 |     5497   1036 |      929 |        8
1369.38/1369.80	c 1369s |      23 |  5066313 |  2936038 |     5497   1037 |      929 |        8
1371.39/1371.81	c 1371s |      23 |  5072392 |  2939738 |     5497   1038 |      929 |        8
1373.38/1373.83	c 1373s |      23 |  5079196 |  2944038 |     5497   1039 |      929 |        8
1375.48/1375.91	c 1375s |      23 |  5085031 |  2948238 |     5497   1041 |      929 |        8
1377.48/1377.93	c 1377s |      23 |  5091089 |  2952138 |     5497   1042 |      929 |        8
1379.48/1379.95	c 1379s |      23 |  5097472 |  2956038 |     5497   1043 |      929 |        8
1381.48/1381.99	c 1381s |      23 |  5103702 |  2960138 |     5497   1044 |      929 |        8
1383.58/1384.03	c 1383s |      23 |  5109819 |  2963838 |     5497   1045 |      929 |        8
1385.60/1386.06	c 1385s |      23 |  5115306 |  2967538 |     5497   1046 |      929 |        8
1387.59/1388.08	c 1387s |      23 |  5120900 |  2971238 |     5497   1047 |      929 |        8
1389.79/1390.22	c 1390s |      23 |  5127342 |  2975638 |     5497   1049 |      929 |        8
1391.79/1392.26	c 1392s |      23 |  5133609 |  2979738 |     5497   1050 |      929 |        8
1393.79/1394.27	c 1394s |      23 |  5138992 |  2983438 |     5497   1051 |      929 |        8
1395.89/1396.30	c 1396s |      23 |  5144390 |  2986938 |     5497   1052 |      929 |        8
1397.89/1398.34	c 1398s |      23 |  5149604 |  2990538 |     5497   1053 |      929 |        8
1399.89/1400.37	c 1400s |      23 |  5156218 |  2994538 |     5497   1054 |      929 |        8
1401.89/1402.38	c 1402s |      23 |  5162280 |  2998638 |     5497   1055 |      929 |        8
1403.89/1404.39	c 1404s |      23 |  5168450 |  3002438 |     5497   1057 |      929 |        8
1406.08/1406.56	c 1406s |      23 |  5174502 |  3006338 |     5497   1058 |      929 |        8
1408.08/1408.59	c 1408s |      23 |  5181241 |  3010738 |     5497   1059 |      929 |        8
1410.18/1410.60	c 1410s |      23 |  5186910 |  3014538 |     5497   1060 |      929 |        8
1412.18/1412.61	c 1412s |      23 |  5193133 |  3018638 |     5497   1061 |      929 |        8
1414.19/1414.65	c 1414s |      23 |  5198860 |  3021938 |     5497   1062 |      929 |        8
1416.18/1416.68	c 1416s |      23 |  5205285 |  3025938 |     5497   1063 |      929 |        8
1418.18/1418.69	c 1418s |      23 |  5210870 |  3029738 |     5497   1065 |      929 |        8
1420.58/1421.07	c 1420s |      23 |  5216273 |  3033338 |     5497   1066 |      929 |        8
1422.58/1423.07	c 1422s |      23 |  5222821 |  3037238 |     5497   1067 |      929 |        8
1424.68/1425.11	c 1424s |      23 |  5229797 |  3041238 |     5497   1068 |      929 |        8
1426.68/1427.12	c 1426s |      23 |  5236164 |  3045038 |     5497   1069 |      929 |        8
1428.68/1429.17	c 1429s |      23 |  5241925 |  3049038 |     5497   1070 |      929 |        8
1430.79/1431.21	c 1431s |      23 |  5247189 |  3052538 |     5497   1071 |      929 |        8
1432.78/1433.23	c 1433s |      23 |  5252995 |  3056538 |     5497   1072 |      929 |        8
1434.78/1435.24	c 1435s |      23 |  5257942 |  3059938 |     5497   1073 |      929 |        8
1436.78/1437.25	c 1437s |      23 |  5263651 |  3063638 |     5497   1075 |      929 |        8
1438.78/1439.27	c 1439s |      23 |  5269572 |  3067438 |     5497   1076 |      929 |        8
1440.88/1441.30	c 1441s |      23 |  5275363 |  3071538 |     5497   1077 |      929 |        8
1442.98/1443.42	c 1443s |      23 |  5281048 |  3075238 |     5497   1078 |      929 |        8
1444.98/1445.44	c 1445s |      23 |  5286759 |  3079038 |     5497   1079 |      929 |        8
1447.28/1447.79	c 1447s |      23 |  5292645 |  3082838 |     5497   1080 |      929 |        8
1449.38/1449.82	c 1449s |      23 |  5299258 |  3086838 |     5497   1081 |      929 |        8
1451.37/1451.86	c 1451s |      23 |  5305384 |  3091138 |     5497   1083 |      929 |        8
1453.37/1453.88	c 1453s |      23 |  5311487 |  3094838 |     5497   1084 |      929 |        8
1455.47/1455.91	c 1455s |      23 |  5317784 |  3099238 |     5497   1085 |      929 |        8
1457.47/1457.94	c 1457s |      23 |  5323922 |  3103238 |     5497   1086 |      929 |        8
1459.47/1459.95	c 1459s |      23 |  5330141 |  3107338 |     5497   1087 |      929 |        8
1461.48/1461.98	c 1461s |      23 |  5336052 |  3111338 |     5497   1089 |      929 |        8
1463.47/1463.99	c 1463s |      23 |  5342009 |  3115338 |     5497   1090 |      929 |        8
1465.57/1466.01	c 1465s |      23 |  5348546 |  3119638 |     5497   1091 |      929 |        8
1467.57/1468.06	c 1467s |      23 |  5354898 |  3123938 |     5497   1092 |      929 |        8
1469.57/1470.06	c 1469s |      23 |  5360664 |  3127538 |     5497   1093 |      929 |        8
1471.57/1472.08	c 1471s |      23 |  5366259 |  3130938 |     5497   1094 |      929 |        8
1473.57/1474.09	c 1473s |      23 |  5372495 |  3135138 |     5497   1096 |      929 |        8
1475.67/1476.11	c 1475s |      23 |  5378786 |  3139338 |     5497   1097 |      929 |        8
1477.67/1478.19	c 1478s |      23 |  5384493 |  3143038 |     5497   1098 |      929 |        8
1479.77/1480.22	c 1480s |      23 |  5390236 |  3146838 |     5497   1099 |      929 |        8
1481.77/1482.25	c 1482s |      23 |  5396554 |  3150838 |     5497   1100 |      929 |        8
1483.77/1484.26	c 1484s |      23 |  5402558 |  3154838 |     5497   1101 |      929 |        8
1485.78/1486.28	c 1486s |      23 |  5409041 |  3158838 |     5497   1102 |      929 |        8
1487.88/1488.31	c 1488s |      23 |  5415041 |  3162738 |     5497   1104 |      929 |        8
1489.87/1490.31	c 1490s |      23 |  5421417 |  3166738 |     5497   1105 |      929 |        8
1491.87/1492.35	c 1492s |      23 |  5427926 |  3170938 |     5497   1106 |      929 |        8
1493.87/1494.37	c 1494s |      23 |  5434076 |  3175038 |     5497   1107 |      929 |        8
1495.87/1496.38	c 1496s |      23 |  5439846 |  3178738 |     5497   1108 |      929 |        8
1497.97/1498.43	c 1498s |      23 |  5446269 |  3182838 |     5497   1110 |      929 |        8
1500.08/1500.58	c 1500s |      23 |  5451789 |  3186438 |     5497   1111 |      929 |        8
1502.07/1502.60	c 1502s |      23 |  5458109 |  3190538 |     5497   1112 |      929 |        8
1504.17/1504.60	c 1504s |      23 |  5463976 |  3194238 |     5497   1113 |      929 |        8
1506.17/1506.60	c 1506s |      23 |  5469164 |  3197738 |     5497   1114 |      929 |        8
1508.17/1508.63	c 1508s |      23 |  5475418 |  3201638 |     5497   1115 |      929 |        8
1510.17/1510.69	c 1510s |      23 |  5481638 |  3205838 |     5497   1116 |      929 |        8
1512.27/1512.70	c 1512s |      23 |  5487644 |  3209438 |     5497   1117 |      929 |        8
1514.17/1514.70	c 1514s |      23 |  5493538 |  3213138 |     5497   1118 |      929 |        8
1516.47/1516.92	c 1516s |      23 |  5499192 |  3216838 |     5497   1120 |      929 |        8
1518.46/1518.96	c 1518s |      23 |  5505983 |  3220938 |     5497   1121 |      929 |        8
1520.46/1520.97	c 1520s |      23 |  5512110 |  3225038 |     5497   1122 |      929 |        8
1522.56/1523.01	c 1522s |      23 |  5518632 |  3229338 |     5497   1123 |      929 |        8
1524.56/1525.03	c 1524s |      23 |  5524485 |  3233038 |     5497   1124 |      929 |        8
1526.56/1527.05	c 1526s |      23 |  5530640 |  3236538 |     5497   1125 |      929 |        8
1528.57/1529.06	c 1528s |      23 |  5536601 |  3240538 |     5497   1126 |      929 |        8
1530.66/1531.10	c 1530s |      23 |  5542784 |  3244338 |     5497   1128 |      929 |        8
1532.66/1533.12	c 1532s |      23 |  5549046 |  3248238 |     5497   1129 |      929 |        8
1534.66/1535.15	c 1534s |      23 |  5554874 |  3251938 |     5497   1130 |      929 |        8
1536.66/1537.18	c 1537s |      23 |  5560710 |  3255738 |     5497   1131 |      929 |        8
1538.76/1539.22	c 1539s |      23 |  5566193 |  3259438 |     5497   1132 |      929 |        8
1540.76/1541.24	c 1541s |      23 |  5571747 |  3263038 |     5497   1133 |      929 |        8
1542.76/1543.28	c 1543s |      23 |  5577713 |  3266838 |     5497   1134 |      929 |        8
1544.86/1545.32	c 1545s |      23 |  5583821 |  3270938 |     5497   1135 |      929 |        8
1546.86/1547.35	c 1547s |      23 |  5590024 |  3274838 |     5497   1137 |      929 |        8
1548.86/1549.36	c 1549s |      23 |  5596174 |  3278638 |     5497   1138 |      929 |        8
1550.86/1551.36	c 1551s |      23 |  5601751 |  3282138 |     5497   1139 |      929 |        8
1552.96/1553.40	c 1553s |      23 |  5607436 |  3285738 |     5497   1140 |      929 |        8
1554.96/1555.43	c 1555s |      23 |  5614062 |  3289438 |     5497   1141 |      929 |        8
1556.95/1557.46	c 1557s |      23 |  5620714 |  3293738 |     5497   1142 |      929 |        8
1558.95/1559.46	c 1559s |      23 |  5626963 |  3297738 |     5497   1143 |      929 |        8
1561.05/1561.51	c 1561s |      23 |  5633443 |  3301738 |     5497   1144 |      929 |        8
1563.05/1563.58	c 1563s |      23 |  5639680 |  3305338 |     5497   1146 |      929 |        8
1565.16/1565.63	c 1565s |      23 |  5645540 |  3309138 |     5497   1147 |      929 |        8
1567.17/1567.66	c 1567s |      23 |  5651493 |  3313138 |     5497   1148 |      929 |        8
1569.16/1569.68	c 1569s |      23 |  5657653 |  3317138 |     5497   1149 |      929 |        8
1571.16/1571.68	c 1571s |      23 |  5663560 |  3321138 |     5497   1150 |      929 |        8
1573.26/1573.71	c 1573s |      23 |  5669821 |  3325138 |     5497   1151 |      929 |        8
1575.26/1575.73	c 1575s |      23 |  5675159 |  3328838 |     5497   1152 |      929 |        8
1577.26/1577.74	c 1577s |      23 |  5680779 |  3332638 |     5497   1154 |      929 |        8
1579.27/1579.77	c 1579s |      23 |  5686737 |  3336338 |     5497   1155 |      929 |        8
1581.26/1581.78	c 1581s |      23 |  5693495 |  3340638 |     5497   1156 |      929 |        8
1583.26/1583.79	c 1583s |      23 |  5699451 |  3344438 |     5497   1157 |      929 |        8
1585.36/1585.81	c 1585s |      23 |  5705689 |  3348838 |     5497   1158 |      929 |        8
1587.35/1587.84	c 1587s |      23 |  5711522 |  3352838 |     6047   1159 |      929 |        8
1589.35/1589.85	c 1589s |      23 |  5717129 |  3356638 |     6047   1160 |      929 |        8
1591.36/1591.87	c 1591s |      23 |  5722944 |  3360138 |     6047   1161 |      929 |        8
1593.46/1593.91	c 1593s |      23 |  5728797 |  3363938 |     6047   1162 |      929 |        8
1595.45/1595.95	c 1595s |      23 |  5734869 |  3367638 |     6047   1163 |      929 |        8
1597.45/1597.98	c 1597s |      23 |  5740569 |  3371438 |     6047   1164 |      929 |        8
1599.55/1600.00	c 1599s |      23 |  5745618 |  3375038 |     6047   1165 |      929 |        8
1600.55/1601.04	c 1600s |      24 |  5748214 |  3376662 |     6047   1166 |      929 |        8
1602.66/1603.12	c 1602s |      24 |  5752793 |  3379362 |     6047   1167 |      929 |        8
1604.66/1605.16	c 1604s |      24 |  5756308 |  3382062 |     6047   1167 |      929 |        8
1606.66/1607.19	c 1607s |      24 |  5759992 |  3384562 |     6047   1168 |      929 |        8
1608.76/1609.22	c 1609s |      24 |  5763038 |  3386962 |     6047   1169 |      929 |        8
1610.76/1611.26	c 1611s |      24 |  5766211 |  3389162 |     6047   1169 |      929 |        8
1612.95/1613.41	c 1613s |      24 |  5769157 |  3391162 |     6047   1170 |      929 |        8
1614.95/1615.42	c 1615s |      24 |  5772638 |  3393662 |     6047   1170 |      929 |        8
1616.95/1617.49	c 1617s |      24 |  5775744 |  3395862 |     6047   1171 |      929 |        8
1619.05/1619.56	c 1619s |      24 |  5779364 |  3398262 |     6047   1172 |      929 |        8
1621.06/1621.58	c 1621s |      24 |  5782428 |  3400562 |     6047   1172 |      929 |        8
1623.16/1623.63	c 1623s |      24 |  5785844 |  3402962 |     6047   1173 |      929 |        8
1625.15/1625.67	c 1625s |      24 |  5789050 |  3405362 |     6047   1174 |      929 |        8
1627.25/1627.72	c 1627s |      24 |  5792675 |  3407862 |     6047   1174 |      929 |        8
1629.25/1629.75	c 1629s |      24 |  5795634 |  3410062 |     6047   1175 |      929 |        8
1631.35/1631.83	c 1631s |      24 |  5799187 |  3412562 |     6047   1175 |      929 |        8
1633.35/1633.85	c 1633s |      24 |  5801949 |  3414662 |     6047   1176 |      929 |        8
1635.45/1635.90	c 1635s |      24 |  5805121 |  3416962 |     6047   1177 |      929 |        8
1637.55/1638.03	c 1637s |      24 |  5808207 |  3419262 |     6047   1177 |      929 |        8
1639.54/1640.09	c 1639s |      24 |  5811136 |  3421462 |     6047   1178 |      929 |        8
1641.64/1642.10	c 1641s |      24 |  5814381 |  3423762 |     6047   1178 |      929 |        8
1643.64/1644.12	c 1643s |      24 |  5817726 |  3426262 |     6047   1179 |      929 |        8
1645.64/1646.18	c 1646s |      24 |  5820977 |  3428762 |     6047   1180 |      929 |        8
1647.84/1648.36	c 1648s |      24 |  5823962 |  3431062 |     6047   1180 |      929 |        8
1649.94/1650.44	c 1650s |      24 |  5827410 |  3433562 |     6047   1181 |      929 |        8
1652.04/1652.50	c 1652s |      24 |  5830417 |  3435862 |     6047   1182 |      929 |        8
1654.05/1654.52	c 1654s |      24 |  5833514 |  3438062 |     6047   1182 |      929 |        8
1656.04/1656.54	c 1656s |      24 |  5836566 |  3440462 |     6047   1183 |      929 |        8
1658.04/1658.54	c 1658s |      24 |  5840098 |  3442962 |     6047   1184 |      929 |        8
1660.04/1660.60	c 1660s |      24 |  5842972 |  3445062 |     6047   1184 |      929 |        8
1662.14/1662.61	c 1662s |      24 |  5846134 |  3447462 |     6047   1185 |      929 |        8
1664.14/1664.64	c 1664s |      24 |  5849149 |  3449762 |     6047   1185 |      929 |        8
1666.14/1666.65	c 1666s |      24 |  5852172 |  3451962 |     6047   1186 |      929 |        8
1668.14/1668.65	c 1668s |      24 |  5855599 |  3454362 |     6047   1187 |      929 |        8
1670.24/1670.71	c 1670s |      24 |  5858463 |  3456462 |     6047   1187 |      929 |        8
1672.24/1672.78	c 1672s |      24 |  5861428 |  3458662 |     6047   1188 |      929 |        8
1674.24/1674.79	c 1674s |      24 |  5864455 |  3460962 |     6047   1188 |      929 |        8
1676.34/1676.86	c 1676s |      24 |  5867293 |  3463162 |     6047   1189 |      929 |        8
1678.34/1678.89	c 1678s |      24 |  5870845 |  3465662 |     6047   1190 |      929 |        8
1680.45/1680.93	c 1680s |      24 |  5873401 |  3467662 |     6047   1190 |      929 |        8
1682.44/1682.97	c 1682s |      24 |  5876409 |  3469862 |     6047   1191 |      929 |        8
1684.44/1684.99	c 1684s |      24 |  5880009 |  3472362 |     6047   1192 |      929 |        8
1686.54/1687.04	c 1686s |      24 |  5884011 |  3475062 |     6047   1192 |      929 |        8
1688.54/1689.09	c 1688s |      24 |  5887067 |  3477462 |     6047   1193 |      929 |        8
1690.64/1691.11	c 1690s |      24 |  5889795 |  3479262 |     6047   1193 |      929 |        8
1692.64/1693.17	c 1693s |      24 |  5893194 |  3481762 |     6047   1194 |      929 |        8
1694.65/1695.19	c 1695s |      24 |  5895944 |  3483862 |     6047   1195 |      929 |        8
1696.74/1697.28	c 1697s |      24 |  5899269 |  3486362 |     6047   1195 |      929 |        8
1698.84/1699.31	c 1699s |      24 |  5902491 |  3488762 |     6047   1196 |      929 |        8
1700.84/1701.36	c 1701s |      24 |  5905548 |  3491062 |     6047   1197 |      929 |        8
1702.94/1703.40	c 1703s |      24 |  5908496 |  3493062 |     6047   1197 |      929 |        8
1704.94/1705.43	c 1705s |      24 |  5911710 |  3495462 |     6047   1198 |      929 |        8
1707.04/1707.58	c 1707s |      24 |  5915471 |  3498262 |     6047   1199 |      929 |        8
1709.14/1709.64	c 1709s |      24 |  5918929 |  3500462 |     6047   1199 |      929 |        8
1711.14/1711.65	c 1711s |      24 |  5922153 |  3502762 |     6047   1200 |      929 |        8
1713.13/1713.66	c 1713s |      24 |  5925255 |  3505062 |     6047   1200 |      929 |        8
1715.23/1715.74	c 1715s |      24 |  5928797 |  3507462 |     6047   1201 |      929 |        8
1717.23/1717.79	c 1717s |      24 |  5932651 |  3509962 |     6047   1202 |      929 |        8
1719.33/1719.84	c 1719s |      24 |  5935676 |  3512062 |     6047   1202 |      929 |        8
1721.33/1721.87	c 1721s |      24 |  5938766 |  3514462 |     6047   1203 |      929 |        8
1723.34/1723.89	c 1723s |      24 |  5942161 |  3516862 |     6047   1204 |      929 |        8
1725.44/1725.93	c 1725s |      24 |  5944861 |  3518962 |     6047   1204 |      929 |        8
1727.43/1727.95	c 1727s |      24 |  5947853 |  3521162 |     6047   1205 |      929 |        8
1729.53/1730.00	c 1729s |      24 |  5951449 |  3523662 |     6047   1205 |      929 |        8
1731.53/1732.05	c 1731s |      24 |  5955114 |  3526362 |     6047   1206 |      929 |        8
1733.53/1734.05	c 1733s |      24 |  5958411 |  3528662 |     6047   1207 |      929 |        8
1735.63/1736.11	c 1735s |      24 |  5961880 |  3531262 |     6047   1207 |      929 |        8
1737.64/1738.14	c 1737s |      24 |  5964858 |  3533562 |     6047   1208 |      929 |        8
1739.63/1740.16	c 1739s |      24 |  5968143 |  3535962 |     6047   1209 |      929 |        8
1741.94/1742.42	c 1742s |      24 |  5971481 |  3538362 |     6047   1209 |      929 |        8
1743.93/1744.44	c 1744s |      24 |  5974270 |  3540362 |     6047   1210 |      929 |        8
1745.93/1746.44	c 1746s |      24 |  5977276 |  3542662 |     6047   1210 |      929 |        8
1747.93/1748.45	c 1748s |      24 |  5980710 |  3545062 |     6047   1211 |      929 |        8
1750.03/1750.51	c 1750s |      24 |  5983486 |  3547262 |     6047   1212 |      929 |        8
1752.03/1752.55	c 1752s |      24 |  5986626 |  3549662 |     6047   1212 |      929 |        8
1754.03/1754.56	c 1754s |      24 |  5989742 |  3551862 |     6047   1213 |      929 |        8
1756.13/1756.61	c 1756s |      24 |  5993133 |  3554262 |     6047   1214 |      929 |        8
1758.12/1758.62	c 1758s |      24 |  5996386 |  3556762 |     6047   1214 |      929 |        8
1760.12/1760.64	c 1760s |      24 |  5999761 |  3559162 |     6047   1215 |      929 |        8
1762.22/1762.72	c 1762s |      24 |  6003096 |  3561662 |     6047   1216 |      929 |        8
1764.22/1764.75	c 1764s |      24 |  6006299 |  3564062 |     6047   1216 |      929 |        8
1766.23/1766.77	c 1766s |      24 |  6009099 |  3566162 |     6047   1217 |      929 |        8
1768.33/1768.82	c 1768s |      24 |  6012581 |  3568562 |     6047   1217 |      929 |        8
1770.32/1770.88	c 1770s |      24 |  6015865 |  3570762 |     6047   1218 |      929 |        8
1772.32/1772.89	c 1772s |      24 |  6019413 |  3573162 |     6047   1219 |      929 |        8
1774.42/1774.97	c 1774s |      24 |  6023167 |  3575662 |     6047   1219 |      929 |        8
1776.63/1777.14	c 1776s |      24 |  6026660 |  3577862 |     6047   1220 |      929 |        8
1778.73/1779.20	c 1779s |      24 |  6030427 |  3580362 |     6047   1221 |      929 |        8
1780.73/1781.24	c 1781s |      24 |  6033748 |  3582662 |     6047   1221 |      929 |        8
1782.74/1783.25	c 1783s |      24 |  6037230 |  3585162 |     6047   1222 |      929 |        8
1785.23/1785.74	c 1785s |      24 |  6040789 |  3587562 |     6047   1223 |      929 |        8
1787.23/1787.79	c 1787s |      24 |  6044111 |  3589962 |     6047   1223 |      929 |        8
1789.33/1789.85	c 1789s |      24 |  6047575 |  3592362 |     6047   1224 |      929 |        8
1791.43/1791.91	c 1791s |      24 |  6051003 |  3594562 |     6047   1224 |      929 |        8
1793.42/1793.91	c 1793s |      24 |  6054830 |  3597062 |     6047   1225 |      929 |        8
1795.42/1795.94	c 1795s |      24 |  6058242 |  3599462 |     6047   1226 |      929 |        8
1797.42/1797.99	c 1797s |      24 |  6061758 |  3601862 |     6047   1226 |      929 |        8
1799.52/1800.01	c 1799s |      24 |  6064721 |  3603962 |     6047   1227 |      929 |        8

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

pid=3554
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.52 2.42 2.30 3/180 3557
/proc/meminfo: memFree=28948088/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 2857 0 0 0 0 0 0 0 20 0 4 0 24470079 783740928 3729 33554432000 4194304 16246674 140736037186400 140736037185824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 191855 3739 441 2943 0 188749 0
[pid=3557/tid=3558] ppid=3554 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 801566720 3800 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=786876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 805761024 3816 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=791996 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24470079 811003904 3834 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.52 2.42 2.30 3/180 3557
/proc/meminfo: memFree=28948088/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 33517 0 0 0 4 5 0 0 20 0 4 0 24470079 1247350784 34379 33554432000 4194304 16246674 140736037186400 140736037185824 12449399 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 304529 34395 654 2943 0 301423 0
[pid=3557/tid=3558] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 34406 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 34417 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 34428 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200533 s]
/proc/loadavg: 2.52 2.42 2.30 3/180 3557
/proc/meminfo: memFree=28948088/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 53755 0 0 0 11 8 0 0 20 0 4 0 24470079 1247350784 54614 33554432000 4194304 16246674 140736037186400 140736037185824 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 304529 54614 756 2943 0 301423 0
[pid=3557/tid=3558] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 54614 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 54614 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 54615 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300432 s]
/proc/loadavg: 2.52 2.42 2.30 3/180 3557
/proc/meminfo: memFree=28948088/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 62748 0 0 0 20 9 0 0 20 0 4 0 24470079 1247350784 63608 33554432000 4194304 16246674 140736037186400 140736037185824 5829366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 304529 63612 757 2943 0 301423 0
[pid=3557/tid=3558] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 63615 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 63617 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 63620 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700414 s]
/proc/loadavg: 2.52 2.42 2.30 3/180 3557
/proc/meminfo: memFree=28948088/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 98426 0 0 0 55 14 0 0 20 0 4 0 24470079 1247350784 99286 33554432000 4194304 16246674 140736037186400 140736037185824 6010521 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 304529 99292 757 2943 0 301423 0
[pid=3557/tid=3558] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 99299 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 99304 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 99304 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.52 2.42 2.30 3/184 3561
/proc/meminfo: memFree=28318496/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 221870 0 0 0 118 31 0 0 20 0 4 0 24470079 1247350784 222730 33554432000 4194304 16246674 140736037186400 140736037169400 12478189 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 304529 222742 759 2943 0 301423 0
[pid=3557/tid=3558] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 222751 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 222758 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24470079 1247350784 222759 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10043 s]
/proc/loadavg: 2.52 2.42 2.30 3/184 3561
/proc/meminfo: memFree=28020028/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1300036 CPUtime=3.09 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 266045 0 0 0 272 37 0 0 20 0 4 0 24470079 1331236864 266881 33554432000 4194304 16246674 140736037186400 140736037168320 5711697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 325009 266881 828 2943 0 321903 0
[pid=3557/tid=3558] ppid=3554 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1331236864 266881 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1331236864 266881 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1331236864 266881 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1300036

[startup+6.30043 s]
/proc/loadavg: 2.72 2.46 2.31 3/184 3561
/proc/meminfo: memFree=27873524/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 267871 0 0 0 592 37 0 0 20 0 4 0 24470079 1338576896 268707 33554432000 4194304 16246674 140736037186400 140736037169400 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 326801 268707 829 2943 0 323695 0
[pid=3557/tid=3558] ppid=3554 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1338576896 268707 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1338576896 268707 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1338576896 268707 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.66 2.45 2.31 3/184 3561
/proc/meminfo: memFree=27866916/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 269663 0 0 0 1232 37 0 0 20 0 4 0 24470079 1345916928 270499 33554432000 4194304 16246674 140736037186400 140736037168320 13950232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 328593 270499 829 2943 0 325487 0
[pid=3557/tid=3558] ppid=3554 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1345916928 270499 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1345916928 270499 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1345916928 270499 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.51 2.43 2.30 4/184 3561
/proc/meminfo: memFree=27865508/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1316420 CPUtime=25.49 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 270101 0 0 0 2511 38 0 0 20 0 4 0 24470079 1348014080 270937 33554432000 4194304 16246674 140736037186400 140736037169400 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 329105 270937 831 2943 0 325999 0
[pid=3557/tid=3558] ppid=3554 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1348014080 270937 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1348014080 270937 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1348014080 270937 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.47 2.42 2.30 3/183 3561
/proc/meminfo: memFree=27865272/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1316420 CPUtime=51.08 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 270179 0 0 0 5070 38 0 0 20 0 4 0 24470079 1348014080 271015 33554432000 4194304 16246674 140736037186400 140736037169400 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 329105 271015 832 2943 0 325999 0
[pid=3557/tid=3558] ppid=3554 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1348014080 271015 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1348014080 271015 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1348014080 271015 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.301 s]
/proc/loadavg: 2.36 2.40 2.30 3/183 3562
/proc/meminfo: memFree=27855116/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1326660 CPUtime=102.28 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 272739 0 0 0 10189 39 0 0 20 0 4 0 24470079 1358499840 273575 33554432000 4194304 16246674 140736037186400 140736037168320 5545872 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 331665 273575 832 2943 0 328559 0
[pid=3557/tid=3558] ppid=3554 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1358499840 273575 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1358499840 273575 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1358499840 273575 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1326660


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

/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.29 2.26 2.26 3/182 3641
/proc/meminfo: memFree=27863440/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1335876 CPUtime=1361.89 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 275407 0 0 0 136127 62 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140736037168320 13760208 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 333969 275883 833 2943 0 330863 0
[pid=3557/tid=3558] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.21 2.24 2.25 3/183 3643
/proc/meminfo: memFree=27861920/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1335876 CPUtime=1421.89 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 275407 0 0 0 142126 63 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140736037168320 5711888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 333969 275883 833 2943 0 330863 0
[pid=3557/tid=3558] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.33 2.27 2.26 3/183 3645
/proc/meminfo: memFree=27862116/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1335876 CPUtime=1481.87 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 275407 0 0 0 148123 64 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140736037168320 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 333969 275883 833 2943 0 330863 0
[pid=3557/tid=3558] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1335876

[startup+1542.31 s]
/proc/loadavg: 2.23 2.25 2.25 3/183 3646
/proc/meminfo: memFree=27862400/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1335876 CPUtime=1541.86 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 275407 0 0 0 154122 64 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140736037168320 5711338 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 333969 275883 833 2943 0 330863 0
[pid=3557/tid=3558] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.18 2.23 2.25 3/183 3647
/proc/meminfo: memFree=27862248/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1335876 CPUtime=1601.86 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 275407 0 0 0 160120 66 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140736037185576 13760120 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 333969 275883 833 2943 0 330863 0
[pid=3557/tid=3558] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.21 2.23 2.25 4/183 3648
/proc/meminfo: memFree=27861844/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1335876 CPUtime=1661.84 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 275407 0 0 0 166118 66 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140736037168320 5712760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 333969 275883 833 2943 0 330863 0
[pid=3557/tid=3558] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.22 2.23 2.24 3/183 3649
/proc/meminfo: memFree=27861048/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1335876 CPUtime=1721.83 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 275407 0 0 0 172116 67 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140736037168320 13759937 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 333969 275883 833 2943 0 330863 0
[pid=3557/tid=3558] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.29 2.25 2.25 3/184 3654
/proc/meminfo: memFree=27860976/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1335876 CPUtime=1781.83 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 275407 0 0 0 178115 68 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140736037168320 13780568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 333969 275883 833 2943 0 330863 0
[pid=3557/tid=3558] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.35 2.26 2.25 3/184 3655
/proc/meminfo: memFree=27860840/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1335876 CPUtime=1800.02 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 275407 0 0 0 179934 68 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140736037168320 5712482 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 333969 275883 833 2943 0 330863 0
[pid=3557/tid=3558] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1335876

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

[startup+1800.5 s]
/proc/loadavg: 2.35 2.26 2.25 3/184 3655
/proc/meminfo: memFree=27860840/32872528 swapFree=17888/1798212
[pid=3557] ppid=3554 vsize=1335876 CPUtime=1800.02 cores=1,3,5,7
/proc/3557/stat : 3557 (toysat) R 3554 3557 579 0 -1 4202496 275407 0 0 0 179934 68 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140736037168320 5712482 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3557/statm: 333969 275883 833 2943 0 330863 0
[pid=3557/tid=3558] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3558/stat : 3558 (toysat) S 3554 3557 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044601896176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3557/tid=3559] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3559/stat : 3559 (toysat) S 3554 3557 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044522204400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3557/tid=3560] ppid=3554 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/3557/task/3560/stat : 3560 (toysat) S 3554 3557 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24470079 1367937024 275883 33554432000 4194304 16246674 140736037186400 140044511730864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1335876

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.684895
maximum resident set size= 1103532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275407
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= 376
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.71628 second user time and 6.84196 second system time

The end

Begin job on node123 at 2016-06-18 06:30:29
IDJOB=4101521
IDBENCH=1761
IDSOLVER=2542
FILE ID=node123/4101521-1466224229
RUNJOBID= node123-1466206081-596
PBS_JOBID= 19918154
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101521-1466224229/watcher-4101521-1466224229 -o /tmp/evaluation-result-4101521-1466224229/solver-4101521-1466224229 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101521-1466224229.opb

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

MD5SUM BENCH= d6a4c3ac1d0b6ea0e8794ac4dcbcb530
RANDOM SEED=836373333

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.791
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:        28948996 kB
Buffers:          117164 kB
Cached:           173336 kB
SwapCached:         1648 kB
Active:          1191440 kB
Inactive:         194364 kB
Active(anon):    1096460 kB
Inactive(anon):     1152 kB
Active(file):      94980 kB
Inactive(file):   193212 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             16364 kB
Writeback:             0 kB
AnonPages:       2892956 kB
Mapped:            10556 kB
Shmem:                 0 kB
Slab:             602900 kB
SReclaimable:      46664 kB
SUnreclaim:       556236 kB
KernelStack:        1464 kB
PageTables:         9744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3035428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1875968 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= 71604 MiB
End job on node123 at 2016-06-18 07:00:30