0.00/0.00	c 2016-06-15T20:01:50+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-4088700-1466013710.opb"]
0.00/0.01	c use --random-gen="2348572809 1489505781 4024232781 3178707790 2347565096 4048397832 2047944336 1747403279 49099243 1752596827 554980990 729725549 2553434359 1482844637 3837131533 3243827867 2160645602 1869939498 2545265924 371699439 1525117586 3586532459 3907811087 3928117016 1308635750 1189759210 4165804386 3286280705 4154044134 697905938 3196454339 2884369892 3265154737 275406699 457895225 3482044928 2350404186 729707593 2622595050 1063044867 770598531 2960577442 3877135582 136671139 2818842419 1644670820 126844967 4078991448 1854078958 2954298050 2629651054 289455157 4134183670 1729182911 4293521904 3007133694 2547509006 949402924 196744531 1593320833 1464904798 1460832941 2111442848 319221096 2077627750 3585445607 27887800 2993978762 2810171234 4086198092 3409502863 2299555138 3932826734 2443648136 1998674575 3956572001 3957560396 1614506747 569388133 2585110537 1239760808 2777411966 1147762998 3820673252 4186521807 2087414744 164353175 3146194960 3396863182 2961339002 2903147276 4098990656 3969747106 2771716616 2314297929 2401698370 1370717462 3651520794 1470613368 3049645362 2957470016 862886007 3532643795 474411288 2272001115 2960757213 3422780679 1749237814 2693111956 29674223 864727129 1114677454 1973945475 4285619514 4279405504 776761514 3441170743 826166614 2949521689 3122429587 3487483036 1265081574 4217583944 2002929109 1957087025 1096144282 2968594426 283984542 2238033794 1247707805 363605898 1535145395 3892297254 3737651291 522426135 3942198995 2610486371 4187283186 552631237 3948319861 3067912167 2981728263 1550114775 2999793621 4271493161 219003746 1719608571 3311073469 3217935297 1100755277 2709595845 1719094471 2569901959 314849234 2647151494 3620899628 1433917137 2464516838 1539794312 2259319048 1630334527 25886666 1745707138 1098993742 3499819648 133985901 901726693 2787229341 1469325330 2282996554 3499241101 3533497985 1620773795 1761219024 1726999494 4051203543 364791665 2897857035 3586848906 399971682 2857945906 3928819976 1578077078 2339414517 2996153055 437785232 2206829003 1459349598 14985939 665569812 3131572537 1783366430 3886713589 1069790024 356798914 1062001271 2805519578 3231910290 3555747809 1562186155 764729047 543210326 2287123184 2187852872 2835066286 1261293120 3957582840 414562224 1806962038 2579902895 1436268887 2889066450 2452699226 1654710592 1868772056 1290630997 2115545745 1602088962 2015204242 3038391815 3549779248 2031256906 3041780050 1587600028 4099150082 113822508 3087045879 2878540305 1314750040 958919855 2273288598 3338796469 1600917286 2171305290 2282432193 1942591566 1620888050 2348681183 534531236 2377886557 3473589633 980999799 2375726838 911464221 3670494386 3036504771 561552307 1011639566 2168091860 674934710 2669764942 1197034338 1640006462 3982343525 242901469 1317659747 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1501
0.00/0.02	c #constraints 751
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |     1001      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      833 |      100 |     1001      0 |        0 |        0
0.00/0.07	c  0.0s |       2 |     1706 |      250 |     1102      0 |        0 |        0
0.00/0.09	c  0.0s |       3 |     2817 |      475 |     1213      0 |        0 |        0
0.08/0.12	c  0.1s |       4 |     3796 |      813 |     1335      0 |        0 |        0
0.08/0.16	c  0.1s |       5 |     4972 |     1320 |     1469      0 |        0 |        0
0.19/0.24	c  0.2s |       6 |     6412 |     2081 |     1778      1 |        0 |        0
0.29/0.38	c  0.3s |       7 |     8789 |     3223 |     1956      2 |        0 |        0
0.48/0.59	c  0.6s |       8 |    11081 |     4936 |     2152      3 |        0 |        0
0.89/0.92	c  0.9s |       9 |    14761 |     7506 |     2368      4 |        0 |        0
1.29/1.30	c  1.3s |      10 |    21367 |    11361 |     2605      6 |        0 |        0
1.99/2.06	c  2.0s |      11 |    29836 |    17144 |     2866     10 |        0 |        0
2.89/2.96	c  2.9s |      12 |    41714 |    25819 |     3153     16 |        0 |        0
4.39/4.43	c  4.4s |      13 |    61465 |    38832 |     3469     22 |        0 |        0
6.39/6.44	c  6.4s |      13 |    77318 |    51432 |     3469     29 |        0 |        0
7.29/7.34	c  7.3s |      14 |    88106 |    58352 |     3816     32 |        0 |        0
9.29/9.34	c  9.3s |      14 |   110321 |    72752 |     3816     38 |        0 |        0
11.29/11.36	c 11.3s |      14 |   129862 |    86552 |     3816     44 |        0 |        0
11.39/11.48	c 11.4s |      15 |   131226 |    87632 |     4198     44 |        0 |        0
13.39/13.49	c 13.4s |      15 |   152526 |   101332 |     4198     50 |        0 |        0
15.39/15.50	c 15.5s |      15 |   172673 |   115332 |     4198     55 |        0 |        0
17.49/17.51	c 17.5s |      15 |   195261 |   131032 |     4618     61 |        0 |        0
17.49/17.59	c 17.5s |      16 |   195963 |   131552 |     4618     61 |        0 |        0
19.59/19.60	c 19.6s |      16 |   211632 |   143452 |     4618     65 |        0 |        0
21.58/21.61	c 21.6s |      16 |   227508 |   155252 |     4618     70 |        0 |        0
23.58/23.63	c 23.6s |      16 |   244248 |   167852 |     4618     74 |        0 |        0
25.58/25.64	c 25.6s |      16 |   263815 |   182352 |     4618     79 |        0 |        0
27.59/27.64	c 27.6s |      17 |   284460 |   197432 |     5080     85 |        0 |        0
29.58/29.67	c 29.6s |      17 |   299791 |   210132 |     5080     89 |        0 |        0
31.58/31.67	c 31.6s |      17 |   310036 |   218932 |     5080     92 |        0 |        0
33.59/33.67	c 33.6s |      17 |   322997 |   229532 |     5080     96 |        0 |        0
35.59/35.69	c 35.6s |      17 |   337700 |   241332 |     5080    100 |        0 |        0
37.59/37.69	c 37.7s |      17 |   358908 |   257232 |     5080    105 |        0 |        0
39.58/39.70	c 39.7s |      17 |   381252 |   273432 |     5080    111 |        0 |        0
41.68/41.71	c 41.7s |      17 |   402255 |   288832 |     5080    116 |        0 |        0
42.88/42.91	c 42.9s |      18 |   412109 |   296252 |     5588    119 |        0 |        0
44.88/44.93	c 44.9s |      18 |   428872 |   307752 |     5588    122 |        0 |        0
46.88/46.93	c 46.9s |      18 |   444729 |   318752 |     5588    126 |        0 |        0
48.88/48.94	c 48.9s |      18 |   461747 |   330852 |     5588    129 |        0 |        0
50.88/50.95	c 50.9s |      18 |   481801 |   344952 |     5588    134 |        0 |        0
52.89/52.97	c 52.9s |      18 |   503328 |   360152 |     5588    139 |        0 |        0
54.88/54.99	c 54.9s |      18 |   526300 |   376352 |     5588    144 |        0 |        0
56.98/57.00	c 57.0s |      18 |   548701 |   392452 |     5588    148 |        0 |        0
58.98/59.00	c 59.0s |      18 |   567119 |   405552 |     5588    153 |        0 |        0
60.98/61.01	c 61.0s |      18 |   584655 |   417852 |     5588    156 |        0 |        0
62.98/63.01	c 63.0s |      18 |   601082 |   430152 |     5588    160 |        0 |        0
64.78/64.83	c 64.8s |      19 |   621544 |   444482 |     6147    165 |        0 |        0
66.77/66.84	c 66.8s |      19 |   641853 |   458782 |     6147    169 |        0 |        0
68.78/68.85	c 68.8s |      19 |   652425 |   467782 |     6147    171 |        0 |        0
70.77/70.85	c 70.8s |      19 |   664209 |   477082 |     6147    174 |        0 |        0
72.78/72.86	c 72.8s |      19 |   677965 |   487682 |     6147    177 |        0 |        0
74.77/74.88	c 74.8s |      19 |   691844 |   498582 |     6147    180 |        0 |        0
76.87/76.90	c 76.9s |      19 |   710372 |   511982 |     6147    184 |        0 |        0
78.87/78.92	c 78.9s |      19 |   725504 |   523882 |     6147    188 |        0 |        0
80.87/80.92	c 80.9s |      19 |   740539 |   535882 |     6147    191 |        0 |        0
82.88/82.93	c 82.9s |      19 |   755580 |   547582 |     6147    194 |        0 |        0
84.89/84.94	c 84.9s |      19 |   778280 |   563982 |     6147    199 |        0 |        0
86.88/86.94	c 86.9s |      19 |   797584 |   578482 |     6147    203 |        0 |        0
88.88/88.95	c 88.9s |      19 |   807223 |   586482 |     6147    206 |        0 |        0
90.88/90.97	c 90.9s |      19 |   816171 |   593982 |     6147    208 |        0 |        0
92.88/92.97	c 92.9s |      19 |   825091 |   601682 |     6147    210 |        0 |        0
94.98/95.01	c 95.0s |      19 |   836572 |   610682 |     6147    213 |        0 |        0
96.98/97.04	c 97.0s |      19 |   851660 |   622382 |     6147    216 |        0 |        0
98.98/99.06	c 99.0s |      19 |   867026 |   634282 |     6147    219 |        0 |        0
100.98/101.07	c  101s |      19 |   881246 |   645382 |     6147    222 |        0 |        0
102.98/103.08	c  103s |      19 |   893677 |   655682 |     6147    225 |        0 |        0
104.88/104.97	c  104s |      20 |   907929 |   666827 |     6762    228 |        0 |        0
106.88/106.98	c  106s |      20 |   927631 |   680627 |     6762    232 |        0 |        0
108.98/109.00	c  108s |      20 |   945325 |   693627 |     6762    236 |        0 |        0
110.97/111.01	c  110s |      20 |   962471 |   706827 |     6762    239 |        0 |        0
112.97/113.02	c  112s |      20 |   984476 |   722627 |     6762    243 |        0 |        0
114.97/115.03	c  114s |      20 |  1004406 |   737327 |     6762    247 |        0 |        0
116.97/117.05	c  117s |      20 |  1025520 |   752927 |     6762    251 |        0 |        0
118.98/119.05	c  119s |      20 |  1044745 |   767127 |     6762    255 |        0 |        0
120.97/121.05	c  121s |      20 |  1063779 |   781227 |     6762    259 |        0 |        0
122.97/123.06	c  123s |      20 |  1079675 |   793227 |     6762    262 |        0 |        0
125.07/125.11	c  125s |      20 |  1091682 |   803327 |     6762    265 |        0 |        0
127.07/127.12	c  127s |      20 |  1105979 |   814627 |     6762    268 |        0 |        0
129.07/129.12	c  129s |      20 |  1120637 |   825827 |     6762    271 |        0 |        0
131.08/131.13	c  131s |      20 |  1134117 |   836327 |     6762    273 |        0 |        0
133.07/133.14	c  133s |      20 |  1149108 |   847827 |     6762    276 |        0 |        0
135.07/135.17	c  135s |      20 |  1163592 |   859127 |     6762    279 |        0 |        0
137.07/137.18	c  137s |      20 |  1176114 |   869127 |     6762    282 |        0 |        0
139.17/139.20	c  139s |      20 |  1185605 |   877127 |     6762    284 |        0 |        0
141.17/141.21	c  141s |      20 |  1198712 |   887227 |     6762    287 |        0 |        0
143.17/143.22	c  143s |      20 |  1215044 |   899627 |     6762    290 |        0 |        0
145.16/145.22	c  145s |      20 |  1231598 |   912127 |     6762    293 |        0 |        0
147.16/147.23	c  147s |      20 |  1252201 |   926927 |     6762    297 |        0 |        0
149.16/149.24	c  149s |      20 |  1271646 |   941427 |     6762    301 |        0 |        0
151.16/151.25	c  151s |      20 |  1286742 |   952927 |     6762    304 |        0 |        0
153.16/153.25	c  153s |      20 |  1303791 |   965527 |     6762    308 |        0 |        0
155.17/155.26	c  155s |      20 |  1319131 |   977327 |     6762    311 |        0 |        0
157.16/157.26	c  157s |      20 |  1334626 |   989627 |     6762    314 |        0 |        0
158.96/159.09	c  159s |      21 |  1348345 |  1000345 |     7439    316 |        0 |        0
161.06/161.11	c  161s |      21 |  1360197 |  1009145 |     7439    319 |        0 |        0
163.06/163.13	c  163s |      21 |  1375644 |  1020445 |     7439    321 |        0 |        0
165.07/165.14	c  165s |      21 |  1389554 |  1031345 |     7439    324 |        0 |        0
167.06/167.14	c  167s |      21 |  1404046 |  1042745 |     7439    327 |        0 |        0
169.06/169.15	c  169s |      21 |  1418438 |  1054045 |     7439    329 |        0 |        0
171.07/171.15	c  171s |      21 |  1431701 |  1064345 |     7439    332 |        0 |        0
173.07/173.16	c  173s |      21 |  1448878 |  1077345 |     7439    335 |        0 |        0
175.07/175.17	c  175s |      21 |  1465982 |  1090245 |     7439    338 |        0 |        0
177.07/177.17	c  177s |      21 |  1481865 |  1101745 |     7439    341 |        0 |        0
179.07/179.18	c  179s |      21 |  1501730 |  1116545 |     7439    345 |        0 |        0
181.07/181.19	c  181s |      21 |  1520341 |  1130445 |     7439    348 |        0 |        0
183.17/183.20	c  183s |      21 |  1536349 |  1143245 |     7439    352 |        0 |        0
185.16/185.24	c  185s |      21 |  1550862 |  1154545 |     7439    354 |        0 |        0
187.17/187.24	c  187s |      21 |  1561059 |  1162745 |     7439    356 |        0 |        0
189.16/189.25	c  189s |      21 |  1573928 |  1172345 |     7439    359 |        0 |        0
191.16/191.25	c  191s |      21 |  1588753 |  1183845 |     7439    362 |        0 |        0
193.16/193.26	c  193s |      21 |  1604472 |  1196245 |     7439    365 |        0 |        0
195.16/195.26	c  195s |      21 |  1621875 |  1209445 |     7439    368 |        0 |        0
197.26/197.32	c  197s |      21 |  1636000 |  1220045 |     7439    371 |        0 |        0
199.27/199.34	c  199s |      21 |  1649376 |  1230345 |     7439    373 |        0 |        0
201.26/201.35	c  201s |      21 |  1667846 |  1244045 |     7439    377 |        0 |        0
203.26/203.35	c  203s |      21 |  1683388 |  1255945 |     7439    379 |        0 |        0
205.26/205.36	c  205s |      21 |  1693907 |  1264645 |     7439    382 |        0 |        0
207.26/207.37	c  207s |      21 |  1703930 |  1272745 |     7439    384 |        0 |        0
209.26/209.38	c  209s |      21 |  1722661 |  1286445 |     7439    387 |        0 |        0
211.26/211.39	c  211s |      21 |  1732329 |  1294445 |     7439    389 |        0 |        0
213.25/213.39	c  213s |      21 |  1740818 |  1301745 |     7439    391 |        0 |        0
215.25/215.40	c  215s |      21 |  1752398 |  1310945 |     7439    393 |        0 |        0
217.35/217.40	c  217s |      21 |  1763791 |  1319945 |     7439    395 |        0 |        0
219.35/219.41	c  219s |      21 |  1777061 |  1329945 |     7439    398 |        0 |        0
221.35/221.41	c  221s |      21 |  1792092 |  1341745 |     7439    401 |        0 |        0
223.36/223.43	c  223s |      21 |  1805582 |  1352645 |     7439    403 |        0 |        0
225.35/225.44	c  225s |      21 |  1820640 |  1363745 |     7439    406 |        0 |        0
227.35/227.45	c  227s |      21 |  1833521 |  1374045 |     7439    409 |        0 |        0
229.35/229.46	c  229s |      21 |  1848430 |  1385545 |     7439    412 |        0 |        0
231.35/231.46	c  231s |      21 |  1864165 |  1396645 |     7439    414 |        0 |        0
233.36/233.47	c  233s |      21 |  1877176 |  1407045 |     7439    417 |        0 |        0
235.35/235.47	c  235s |      21 |  1890152 |  1417445 |     7439    419 |        0 |        0
237.35/237.50	c  237s |      21 |  1905548 |  1429245 |     7439    422 |        0 |        0
239.45/239.50	c  239s |      21 |  1921058 |  1440845 |     7439    425 |        0 |        0
241.46/241.50	c  241s |      21 |  1934301 |  1451645 |     7439    428 |        0 |        0
243.46/243.50	c  243s |      21 |  1941993 |  1458245 |     7439    430 |        0 |        0
245.46/245.52	c  245s |      21 |  1953069 |  1466245 |     7439    432 |        0 |        0
247.46/247.52	c  247s |      21 |  1971323 |  1479945 |     7439    435 |        0 |        0
249.46/249.53	c  249s |      21 |  1988567 |  1492645 |     8183    438 |        0 |        0
250.55/250.61	c  250s |      22 |  1999940 |  1500622 |     8183    440 |        0 |        0
252.55/252.61	c  252s |      22 |  2015812 |  1511722 |     8183    442 |        0 |        0
254.55/254.62	c  254s |      22 |  2032677 |  1524122 |     8183    445 |        0 |        0
256.55/256.62	c  256s |      22 |  2050463 |  1537222 |     8183    448 |        0 |        0
258.56/258.63	c  258s |      22 |  2071270 |  1551822 |     8183    451 |        0 |        0
260.55/260.63	c  260s |      22 |  2085534 |  1561422 |     8183    453 |        0 |        0
262.55/262.64	c  262s |      22 |  2103565 |  1574922 |     8183    456 |        0 |        0
264.55/264.65	c  264s |      22 |  2116364 |  1584922 |     8183    458 |        0 |        0
266.55/266.66	c  266s |      22 |  2134566 |  1597722 |     8183    461 |        0 |        0
268.56/268.66	c  268s |      22 |  2149553 |  1608722 |     8183    463 |        0 |        0
270.55/270.67	c  270s |      22 |  2167735 |  1621022 |     8183    466 |        0 |        0
272.55/272.67	c  272s |      22 |  2186486 |  1634822 |     8183    469 |        0 |        0
274.55/274.68	c  274s |      22 |  2199667 |  1645222 |     8183    471 |        0 |        0
276.55/276.68	c  276s |      22 |  2218647 |  1658322 |     8183    474 |        0 |        0
278.55/278.68	c  278s |      22 |  2233026 |  1668922 |     8183    476 |        0 |        0
280.55/280.69	c  280s |      22 |  2244694 |  1678022 |     8183    478 |        0 |        0
282.65/282.70	c  282s |      22 |  2259443 |  1689022 |     8183    481 |        0 |        0
284.65/284.71	c  284s |      22 |  2274491 |  1700522 |     8183    483 |        0 |        0
286.65/286.71	c  286s |      22 |  2291856 |  1713222 |     8183    486 |        0 |        0
288.65/288.77	c  288s |      22 |  2304921 |  1723622 |     8183    489 |        0 |        0
290.65/290.79	c  290s |      22 |  2321954 |  1735622 |     8183    491 |        0 |        0
292.65/292.80	c  292s |      22 |  2340247 |  1748922 |     8183    494 |        0 |        0
294.74/294.81	c  294s |      22 |  2352855 |  1758722 |     8183    496 |        0 |        0
296.74/296.81	c  296s |      22 |  2366868 |  1769122 |     8183    498 |        0 |        0
298.74/298.85	c  298s |      22 |  2383725 |  1781622 |     8183    501 |        0 |        0
300.74/300.86	c  300s |      22 |  2401257 |  1794722 |     8183    504 |        0 |        0
302.84/302.92	c  302s |      22 |  2416399 |  1806022 |     8183    507 |        0 |        0
304.85/304.93	c  304s |      22 |  2431676 |  1817322 |     8183    509 |        0 |        0
306.84/306.96	c  306s |      22 |  2446278 |  1828022 |     8183    511 |        0 |        0
308.84/308.97	c  308s |      22 |  2461839 |  1839722 |     8183    514 |        0 |        0
310.84/310.99	c  310s |      22 |  2474331 |  1849422 |     8183    516 |        0 |        0
312.94/313.00	c  312s |      22 |  2485484 |  1858022 |     8183    518 |        0 |        0
314.94/315.01	c  314s |      22 |  2501216 |  1869522 |     8183    520 |        0 |        0
316.94/317.02	c  316s |      22 |  2515406 |  1880122 |     8183    523 |        0 |        0
318.94/319.02	c  318s |      22 |  2530749 |  1891722 |     8183    525 |        0 |        0
320.94/321.03	c  320s |      22 |  2545657 |  1902922 |     8183    528 |        0 |        0
322.94/323.03	c  322s |      22 |  2560611 |  1914122 |     8183    530 |        0 |        0
324.94/325.03	c  324s |      22 |  2575525 |  1925422 |     8183    532 |        0 |        0
326.94/327.06	c  327s |      22 |  2587778 |  1935122 |     8183    535 |        0 |        0
328.94/329.07	c  329s |      22 |  2603936 |  1946922 |     8183    537 |        0 |        0
330.94/331.08	c  331s |      22 |  2618919 |  1958022 |     8183    540 |        0 |        0
333.03/333.10	c  333s |      22 |  2630827 |  1967522 |     8183    542 |        0 |        0
335.03/335.10	c  335s |      22 |  2647656 |  1979722 |     8183    544 |        0 |        0
337.03/337.10	c  337s |      22 |  2663446 |  1991322 |     8183    547 |        0 |        0
339.03/339.11	c  339s |      22 |  2677418 |  2001322 |     8183    549 |        0 |        0
341.05/341.12	c  341s |      22 |  2695153 |  2013622 |     8183    552 |        0 |        0
343.04/343.13	c  343s |      22 |  2706672 |  2022322 |     8183    554 |        0 |        0
345.04/345.15	c  345s |      22 |  2722654 |  2033822 |     8183    556 |        0 |        0
347.04/347.16	c  347s |      22 |  2737407 |  2044722 |     8183    559 |        0 |        0
349.04/349.17	c  349s |      22 |  2750938 |  2055122 |     8183    561 |        0 |        0
351.05/351.18	c  351s |      22 |  2770006 |  2069022 |     8183    564 |        0 |        0
353.04/353.20	c  353s |      22 |  2787063 |  2081522 |     8183    567 |        0 |        0
355.14/355.21	c  355s |      22 |  2807031 |  2095922 |     8183    570 |        0 |        0
357.14/357.21	c  357s |      22 |  2822839 |  2107922 |     8183    572 |        0 |        0
359.14/359.22	c  359s |      22 |  2835294 |  2117922 |     8183    575 |        0 |        0
361.14/361.24	c  361s |      22 |  2847787 |  2127522 |     8183    577 |        0 |        0
363.14/363.25	c  363s |      22 |  2862149 |  2138722 |     8183    579 |        0 |        0
365.14/365.27	c  365s |      22 |  2878282 |  2151322 |     8183    582 |        0 |        0
367.14/367.28	c  367s |      22 |  2894976 |  2164022 |     8183    585 |        0 |        0
369.13/369.29	c  369s |      22 |  2911111 |  2176222 |     8183    587 |        0 |        0
371.14/371.29	c  371s |      22 |  2930831 |  2190622 |     8183    591 |        0 |        0
373.23/373.30	c  373s |      22 |  2947382 |  2202822 |     8183    593 |        0 |        0
375.24/375.32	c  375s |      22 |  2957651 |  2211222 |     8183    595 |        0 |        0
377.23/377.33	c  377s |      22 |  2970982 |  2221222 |     8183    597 |        0 |        0
379.23/379.35	c  379s |      22 |  2981826 |  2229422 |     8183    599 |        0 |        0
381.23/381.38	c  381s |      22 |  2999396 |  2241922 |     9002    602 |        0 |        0
382.63/382.76	c  382s |      23 |  3011767 |  2251038 |     9002    603 |        0 |        0
384.63/384.76	c  384s |      23 |  3026374 |  2262338 |     9002    606 |        0 |        0
386.63/386.76	c  386s |      23 |  3040705 |  2273538 |     9002    608 |        0 |        0
388.63/388.78	c  388s |      23 |  3050057 |  2281538 |     9002    610 |        0 |        0
390.73/390.88	c  390s |      23 |  3061503 |  2290638 |     9002    612 |        0 |        0
392.74/392.88	c  392s |      23 |  3074149 |  2300938 |     9002    614 |        0 |        0
394.83/394.91	c  394s |      23 |  3086364 |  2310338 |     9002    616 |        0 |        0
396.83/396.92	c  396s |      23 |  3101754 |  2322438 |     9002    618 |        0 |        0
398.83/398.93	c  398s |      23 |  3116954 |  2334138 |     9002    620 |        0 |        0
400.83/400.94	c  400s |      23 |  3132262 |  2345738 |     9002    623 |        0 |        0
402.83/402.95	c  402s |      23 |  3145456 |  2356138 |     9002    625 |        0 |        0
404.93/405.07	c  405s |      23 |  3156210 |  2364538 |     9002    627 |        0 |        0
406.93/407.08	c  407s |      23 |  3169501 |  2374238 |     9002    629 |        0 |        0
408.92/409.09	c  409s |      23 |  3188230 |  2387338 |     9002    631 |        0 |        0
411.02/411.11	c  411s |      23 |  3207473 |  2401138 |     9002    634 |        0 |        0
413.02/413.11	c  413s |      23 |  3223595 |  2412938 |     9002    637 |        0 |        0
415.02/415.14	c  415s |      23 |  3234452 |  2421938 |     9002    639 |        0 |        0
417.03/417.15	c  417s |      23 |  3241586 |  2428038 |     9002    640 |        0 |        0
419.02/419.15	c  419s |      23 |  3256862 |  2439438 |     9002    642 |        0 |        0
421.12/421.24	c  421s |      23 |  3270566 |  2450138 |     9002    644 |        0 |        0
423.12/423.25	c  423s |      23 |  3288710 |  2463538 |     9002    647 |        0 |        0
425.12/425.27	c  425s |      23 |  3303832 |  2475138 |     9002    649 |        0 |        0
427.22/427.30	c  427s |      23 |  3315685 |  2484538 |     9002    651 |        0 |        0
429.22/429.31	c  429s |      23 |  3323659 |  2490938 |     9002    653 |        0 |        0
431.23/431.31	c  431s |      23 |  3334837 |  2499138 |     9002    654 |        0 |        0
433.22/433.32	c  433s |      23 |  3348534 |  2509238 |     9002    656 |        0 |        0
435.22/435.32	c  435s |      23 |  3366126 |  2522238 |     9002    659 |        0 |        0
437.22/437.33	c  437s |      23 |  3384144 |  2535438 |     9002    662 |        0 |        0
439.22/439.33	c  439s |      23 |  3401192 |  2548238 |     9002    664 |        0 |        0
441.22/441.34	c  441s |      23 |  3419505 |  2561038 |     9002    667 |        0 |        0
443.22/443.34	c  443s |      23 |  3431222 |  2569938 |     9002    669 |        0 |        0
445.22/445.36	c  445s |      23 |  3441616 |  2578238 |     9002    670 |        0 |        0
447.22/447.36	c  447s |      23 |  3452450 |  2586538 |     9002    672 |        0 |        0
449.22/449.39	c  449s |      23 |  3465710 |  2597238 |     9002    674 |        0 |        0
451.32/451.40	c  451s |      23 |  3476868 |  2605838 |     9002    676 |        0 |        0
453.33/453.40	c  453s |      23 |  3485593 |  2613138 |     9002    678 |        0 |        0
455.32/455.41	c  455s |      23 |  3496972 |  2621938 |     9002    679 |        0 |        0
457.32/457.41	c  457s |      23 |  3506907 |  2629838 |     9002    681 |        0 |        0
459.32/459.42	c  459s |      23 |  3521176 |  2640038 |     9002    683 |        0 |        0
461.32/461.43	c  461s |      23 |  3535717 |  2650938 |     9002    685 |        0 |        0
463.32/463.43	c  463s |      23 |  3551846 |  2662238 |     9002    688 |        0 |        0
465.33/465.43	c  465s |      23 |  3568276 |  2674938 |     9002    690 |        0 |        0
467.32/467.44	c  467s |      23 |  3583505 |  2686038 |     9002    693 |        0 |        0
469.32/469.44	c  469s |      23 |  3600983 |  2699438 |     9002    695 |        0 |        0
471.32/471.46	c  471s |      23 |  3612060 |  2708238 |     9002    697 |        0 |        0
473.32/473.48	c  473s |      23 |  3623430 |  2717638 |     9002    699 |        0 |        0
475.33/475.48	c  475s |      23 |  3634046 |  2726038 |     9002    701 |        0 |        0
477.32/477.49	c  477s |      23 |  3648656 |  2736838 |     9002    703 |        0 |        0
479.42/479.52	c  479s |      23 |  3662002 |  2747038 |     9002    705 |        0 |        0
481.42/481.53	c  481s |      23 |  3677457 |  2758938 |     9002    707 |        0 |        0
483.42/483.54	c  483s |      23 |  3690755 |  2769138 |     9002    710 |        0 |        0
485.42/485.55	c  485s |      23 |  3702620 |  2778438 |     9002    711 |        0 |        0
487.42/487.56	c  487s |      23 |  3716382 |  2788638 |     9002    713 |        0 |        0
489.52/489.62	c  489s |      23 |  3731586 |  2800138 |     9002    716 |        0 |        0
491.52/491.63	c  491s |      23 |  3744864 |  2810238 |     9002    718 |        0 |        0
493.51/493.65	c  493s |      23 |  3754152 |  2817338 |     9002    719 |        0 |        0
495.51/495.66	c  495s |      23 |  3763827 |  2825138 |     9002    721 |        0 |        0
497.51/497.68	c  497s |      23 |  3772195 |  2831738 |     9002    722 |        0 |        0
499.52/499.68	c  499s |      23 |  3781840 |  2839138 |     9002    724 |        0 |        0
501.51/501.69	c  501s |      23 |  3797299 |  2850438 |     9002    726 |        0 |        0
503.51/503.69	c  503s |      23 |  3808103 |  2858738 |     9002    728 |        0 |        0
505.61/505.71	c  505s |      23 |  3821615 |  2868538 |     9002    730 |        0 |        0
507.61/507.71	c  507s |      23 |  3835796 |  2879038 |     9002    732 |        0 |        0
509.61/509.72	c  509s |      23 |  3846291 |  2887238 |     9002    734 |        0 |        0
511.62/511.72	c  511s |      23 |  3863888 |  2899638 |     9002    736 |        0 |        0
513.61/513.74	c  513s |      23 |  3880176 |  2911538 |     9002    739 |        0 |        0
515.61/515.75	c  515s |      23 |  3897879 |  2924638 |     9002    741 |        0 |        0
517.61/517.77	c  517s |      23 |  3916513 |  2938038 |     9002    744 |        0 |        0
519.61/519.79	c  519s |      23 |  3931159 |  2948838 |     9002    746 |        0 |        0
521.71/521.81	c  521s |      23 |  3943184 |  2958338 |     9002    748 |        0 |        0
523.71/523.82	c  523s |      23 |  3955626 |  2967938 |     9002    750 |        0 |        0
525.70/525.83	c  525s |      23 |  3970399 |  2978838 |     9002    752 |        0 |        0
527.71/527.83	c  527s |      23 |  3986233 |  2990438 |     9002    755 |        0 |        0
529.71/529.83	c  529s |      23 |  4005678 |  3004438 |     9002    757 |        0 |        0
531.71/531.85	c  531s |      23 |  4019412 |  3015338 |     9002    760 |        0 |        0
533.71/533.86	c  533s |      23 |  4032209 |  3025238 |     9002    762 |        0 |        0
535.72/535.87	c  535s |      23 |  4047860 |  3037038 |     9002    764 |        0 |        0
537.71/537.88	c  537s |      23 |  4061803 |  3047538 |     9002    766 |        0 |        0
539.71/539.89	c  539s |      23 |  4073733 |  3057038 |     9002    768 |        0 |        0
541.71/541.89	c  541s |      23 |  4087102 |  3067238 |     9002    770 |        0 |        0
543.81/543.90	c  543s |      23 |  4101296 |  3077838 |     9002    772 |        0 |        0
545.81/545.92	c  545s |      23 |  4114003 |  3087038 |     9002    774 |        0 |        0
547.81/547.93	c  547s |      23 |  4128402 |  3097838 |     9002    776 |        0 |        0
549.80/549.95	c  549s |      23 |  4139791 |  3106538 |     9002    778 |        0 |        0
551.80/551.96	c  551s |      23 |  4158854 |  3120938 |     9002    781 |        0 |        0
553.80/553.96	c  553s |      23 |  4174622 |  3132938 |     9002    783 |        0 |        0
555.80/555.97	c  555s |      23 |  4192149 |  3145838 |     9002    786 |        0 |        0
557.81/557.98	c  557s |      23 |  4208734 |  3158338 |     9002    789 |        0 |        0
559.80/559.99	c  559s |      23 |  4222585 |  3168938 |     9002    791 |        0 |        0
561.90/562.01	c  561s |      23 |  4235066 |  3178538 |     9002    793 |        0 |        0
563.90/564.01	c  563s |      23 |  4249184 |  3189038 |     9002    795 |        0 |        0
565.90/566.02	c  565s |      23 |  4264338 |  3200138 |     9002    797 |        0 |        0
567.90/568.04	c  567s |      23 |  4279397 |  3211238 |     9002    800 |        0 |        0
569.90/570.05	c  570s |      23 |  4295789 |  3223638 |     9002    802 |        0 |        0
571.90/572.06	c  572s |      23 |  4305070 |  3231338 |     9002    804 |        0 |        0
573.90/574.07	c  574s |      23 |  4318575 |  3241838 |     9002    806 |        0 |        0
576.00/576.14	c  576s |      23 |  4330689 |  3251138 |     9002    808 |        0 |        0
578.01/578.14	c  578s |      23 |  4345666 |  3261838 |     9002    810 |        0 |        0
580.00/580.15	c  580s |      23 |  4361252 |  3273138 |     9002    812 |        0 |        0
582.01/582.16	c  582s |      23 |  4375898 |  3284138 |     9002    814 |        0 |        0
584.00/584.17	c  584s |      23 |  4389077 |  3294538 |     9002    816 |        0 |        0
586.00/586.19	c  586s |      23 |  4397915 |  3301638 |     9002    818 |        0 |        0
588.10/588.22	c  588s |      23 |  4411371 |  3311238 |     9002    820 |        0 |        0
590.10/590.23	c  590s |      23 |  4426731 |  3322838 |     9002    822 |        0 |        0
592.10/592.23	c  592s |      23 |  4437204 |  3331038 |     9002    824 |        0 |        0
594.11/594.24	c  594s |      23 |  4446105 |  3338538 |     9002    825 |        0 |        0
596.10/596.26	c  596s |      23 |  4462427 |  3349938 |     9002    828 |        0 |        0
598.10/598.26	c  598s |      23 |  4483220 |  3363838 |     9903    830 |        0 |        0
600.10/600.28	c  600s |      23 |  4497697 |  3374738 |     9903    832 |        0 |        0
600.61/600.80	c  600s |      24 |  4499991 |  3376662 |     9903    832 |        0 |        0
602.70/602.81	c  602s |      24 |  4517588 |  3389062 |     9903    835 |        0 |        0
604.70/604.83	c  604s |      24 |  4532047 |  3399662 |     9903    837 |        0 |        0
606.70/606.83	c  606s |      24 |  4549121 |  3410062 |     9903    839 |        0 |        0
608.70/608.84	c  608s |      24 |  4567116 |  3421462 |     9903    841 |        0 |        0
610.70/610.87	c  610s |      24 |  4587048 |  3435762 |     9903    844 |        0 |        0
612.70/612.88	c  612s |      24 |  4604886 |  3448762 |     9903    846 |        0 |        0
614.69/614.89	c  614s |      24 |  4616877 |  3458162 |     9903    848 |        0 |        0
616.79/616.90	c  616s |      24 |  4635279 |  3471462 |     9903    850 |        0 |        0
618.79/618.91	c  618s |      24 |  4648379 |  3481362 |     9903    852 |        0 |        0
620.79/620.92	c  620s |      24 |  4665930 |  3494162 |     9903    854 |        0 |        0
622.79/622.94	c  622s |      24 |  4681961 |  3506162 |     9903    856 |        0 |        0
624.80/624.94	c  624s |      24 |  4696475 |  3516962 |     9903    858 |        0 |        0
626.79/626.95	c  626s |      24 |  4712504 |  3528762 |     9903    861 |        0 |        0
628.79/628.95	c  628s |      24 |  4726917 |  3539462 |     9903    863 |        0 |        0
630.79/630.97	c  630s |      24 |  4739746 |  3549462 |     9903    864 |        0 |        0
632.79/632.99	c  632s |      24 |  4751183 |  3558062 |     9903    866 |        0 |        0
634.89/635.00	c  634s |      24 |  4766592 |  3568462 |     9903    868 |        0 |        0
636.89/637.01	c  636s |      24 |  4781233 |  3579362 |     9903    870 |        0 |        0
638.89/639.02	c  638s |      24 |  4791522 |  3587562 |     9903    871 |        0 |        0
640.89/641.03	c  640s |      24 |  4803600 |  3596762 |     9903    873 |        0 |        0
642.89/643.04	c  642s |      24 |  4817636 |  3606862 |     9903    875 |        0 |        0
644.89/645.05	c  645s |      24 |  4827824 |  3614762 |     9903    876 |        0 |        0
646.89/647.05	c  647s |      24 |  4840440 |  3624662 |     9903    878 |        0 |        0
648.89/649.06	c  649s |      24 |  4856296 |  3636562 |     9903    881 |        0 |        0
650.89/651.07	c  651s |      24 |  4870150 |  3647462 |     9903    883 |        0 |        0
652.89/653.09	c  653s |      24 |  4887062 |  3659262 |     9903    885 |        0 |        0
654.89/655.09	c  655s |      24 |  4901650 |  3670462 |     9903    887 |        0 |        0
656.99/657.10	c  657s |      24 |  4916486 |  3681562 |     9903    889 |        0 |        0
659.00/659.11	c  659s |      24 |  4935431 |  3694962 |     9903    891 |        0 |        0
660.99/661.12	c  661s |      24 |  4952225 |  3707262 |     9903    894 |        0 |        0
662.99/663.12	c  663s |      24 |  4967176 |  3718262 |     9903    896 |        0 |        0
664.99/665.13	c  665s |      24 |  4977486 |  3726662 |     9903    897 |        0 |        0
666.99/667.13	c  667s |      24 |  4983262 |  3731662 |     9903    898 |        0 |        0
668.99/669.16	c  669s |      24 |  4990958 |  3737762 |     9903    899 |        0 |        0
671.00/671.17	c  671s |      24 |  5000247 |  3744862 |     9903    900 |        0 |        0
672.99/673.18	c  673s |      24 |  5008485 |  3751562 |     9903    902 |        0 |        0
674.99/675.18	c  675s |      24 |  5018609 |  3759362 |     9903    903 |        0 |        0
677.09/677.20	c  677s |      24 |  5028520 |  3767262 |     9903    905 |        0 |        0
679.09/679.21	c  679s |      24 |  5040348 |  3775862 |     9903    906 |        0 |        0
681.09/681.22	c  681s |      24 |  5056281 |  3788062 |     9903    908 |        0 |        0
683.09/683.22	c  683s |      24 |  5073776 |  3800762 |     9903    911 |        0 |        0
685.09/685.27	c  685s |      24 |  5086622 |  3810362 |     9903    913 |        0 |        0
687.09/687.28	c  687s |      24 |  5099348 |  3820162 |     9903    914 |        0 |        0
689.19/689.35	c  689s |      24 |  5107306 |  3826762 |     9903    916 |        0 |        0
691.18/691.35	c  691s |      24 |  5117136 |  3834062 |     9903    917 |        0 |        0
693.18/693.38	c  693s |      24 |  5135242 |  3847162 |     9903    919 |        0 |        0
695.19/695.38	c  695s |      24 |  5145193 |  3855062 |     9903    921 |        0 |        0
697.28/697.41	c  697s |      24 |  5157321 |  3864862 |     9903    923 |        0 |        0
699.28/699.42	c  699s |      24 |  5174951 |  3877762 |     9903    925 |        0 |        0
701.28/701.44	c  701s |      24 |  5189544 |  3888762 |     9903    927 |        0 |        0
703.28/703.46	c  703s |      24 |  5195864 |  3894362 |     9903    928 |        0 |        0
705.28/705.46	c  705s |      24 |  5202264 |  3899562 |     9903    929 |        0 |        0
707.29/707.47	c  707s |      24 |  5213320 |  3907862 |     9903    930 |        0 |        0
709.28/709.48	c  709s |      24 |  5220583 |  3914562 |     9903    932 |        0 |        0
711.38/711.50	c  711s |      24 |  5226339 |  3919562 |     9903    933 |        0 |        0
713.38/713.51	c  713s |      24 |  5236684 |  3927462 |     9903    934 |        0 |        0
715.38/715.52	c  715s |      24 |  5243994 |  3933762 |     9903    935 |        0 |        0
717.38/717.54	c  717s |      24 |  5255254 |  3942362 |     9903    937 |        0 |        0
719.39/719.54	c  719s |      24 |  5273219 |  3954962 |     9903    939 |        0 |        0
721.38/721.54	c  721s |      24 |  5282645 |  3963062 |     9903    941 |        0 |        0
723.38/723.56	c  723s |      24 |  5288808 |  3968162 |     9903    942 |        0 |        0
725.37/725.58	c  725s |      24 |  5305481 |  3979962 |     9903    944 |        0 |        0
727.37/727.59	c  727s |      24 |  5318896 |  3989762 |     9903    946 |        0 |        0
729.47/729.60	c  729s |      24 |  5334829 |  4001462 |     9903    948 |        0 |        0
731.37/731.60	c  731s |      24 |  5348294 |  4011962 |     9903    950 |        0 |        0
733.47/733.61	c  733s |      24 |  5365240 |  4023762 |     9903    952 |        0 |        0
735.47/735.62	c  735s |      24 |  5382123 |  4036162 |     9903    954 |        0 |        0
737.47/737.63	c  737s |      24 |  5401693 |  4050262 |     9903    957 |        0 |        0
739.47/739.65	c  739s |      24 |  5419039 |  4063162 |     9903    959 |        0 |        0
741.48/741.66	c  741s |      24 |  5433326 |  4073562 |     9903    961 |        0 |        0
743.47/743.68	c  743s |      24 |  5445418 |  4082662 |     9903    963 |        0 |        0
745.57/745.73	c  745s |      24 |  5458072 |  4092062 |     9903    965 |        0 |        0
747.57/747.74	c  747s |      24 |  5467618 |  4100162 |     9903    966 |        0 |        0
749.57/749.77	c  749s |      24 |  5477809 |  4108262 |     9903    968 |        0 |        0
751.56/751.79	c  751s |      24 |  5488468 |  4116862 |     9903    969 |        0 |        0
753.66/753.80	c  753s |      24 |  5504764 |  4128862 |     9903    971 |        0 |        0
755.56/755.80	c  755s |      24 |  5518830 |  4139362 |     9903    973 |        0 |        0
757.66/757.81	c  757s |      24 |  5533879 |  4149462 |     9903    975 |        0 |        0
759.66/759.83	c  759s |      24 |  5544284 |  4157362 |     9903    977 |        0 |        0
761.66/761.83	c  761s |      24 |  5556142 |  4166662 |     9903    978 |        0 |        0
763.65/763.85	c  763s |      24 |  5568905 |  4176462 |     9903    980 |        0 |        0
765.66/765.86	c  765s |      24 |  5578817 |  4183962 |     9903    981 |        0 |        0
767.65/767.87	c  767s |      24 |  5591489 |  4193462 |     9903    983 |        0 |        0
769.65/769.89	c  769s |      24 |  5599928 |  4200462 |     9903    984 |        0 |        0
771.65/771.89	c  771s |      24 |  5607107 |  4206062 |     9903    985 |        0 |        0
773.75/773.94	c  773s |      24 |  5613236 |  4211362 |     9903    986 |        0 |        0
775.85/776.01	c  775s |      24 |  5625094 |  4220862 |     9903    988 |        0 |        0
777.85/778.04	c  777s |      24 |  5636555 |  4229562 |     9903    990 |        0 |        0
779.86/780.04	c  779s |      24 |  5644823 |  4236062 |     9903    991 |        0 |        0
781.85/782.04	c  782s |      24 |  5657614 |  4245862 |     9903    993 |        0 |        0
783.85/784.05	c  784s |      24 |  5666519 |  4253362 |     9903    994 |        0 |        0
785.86/786.06	c  786s |      24 |  5678136 |  4262762 |     9903    996 |        0 |        0
787.86/788.08	c  788s |      24 |  5688905 |  4271462 |     9903    997 |        0 |        0
789.96/790.10	c  790s |      24 |  5696616 |  4277862 |     9903    999 |        0 |        0
791.96/792.11	c  792s |      24 |  5706949 |  4286262 |     9903   1000 |        0 |        0
793.95/794.13	c  794s |      24 |  5718558 |  4294862 |     9903   1002 |        0 |        0
795.95/796.14	c  796s |      24 |  5731443 |  4304762 |     9903   1004 |        0 |        0
797.95/798.15	c  798s |      24 |  5746723 |  4316162 |     9903   1006 |        0 |        0
799.95/800.15	c  800s |      24 |  5759878 |  4326762 |     9903   1008 |        0 |        0
801.95/802.18	c  802s |      24 |  5768497 |  4333962 |     9903   1009 |        0 |        0
803.94/804.18	c  804s |      24 |  5781175 |  4343362 |     9903   1011 |        0 |        0
806.04/806.21	c  806s |      24 |  5794567 |  4353562 |     9903   1013 |        0 |        0
808.04/808.24	c  808s |      24 |  5804939 |  4362062 |     9903   1014 |        0 |        0
810.04/810.25	c  810s |      24 |  5813328 |  4368762 |     9903   1015 |        0 |        0
812.04/812.25	c  812s |      24 |  5827581 |  4379862 |     9903   1017 |        0 |        0
814.05/814.26	c  814s |      24 |  5843342 |  4391462 |     9903   1019 |        0 |        0
816.04/816.27	c  816s |      24 |  5856465 |  4401562 |     9903   1021 |        0 |        0
818.04/818.28	c  818s |      24 |  5867546 |  4410262 |     9903   1023 |        0 |        0
820.04/820.29	c  820s |      24 |  5882705 |  4421862 |     9903   1025 |        0 |        0
822.03/822.29	c  822s |      24 |  5899104 |  4434262 |     9903   1027 |        0 |        0
824.13/824.32	c  824s |      24 |  5912686 |  4444462 |     9903   1029 |        0 |        0
826.14/826.32	c  826s |      24 |  5928961 |  4456162 |     9903   1031 |        0 |        0
828.13/828.34	c  828s |      24 |  5941727 |  4465962 |     9903   1033 |        0 |        0
830.13/830.35	c  830s |      24 |  5953952 |  4474762 |     9903   1035 |        0 |        0
832.14/832.35	c  832s |      24 |  5965545 |  4483862 |     9903   1036 |        0 |        0
834.14/834.35	c  834s |      24 |  5974557 |  4491362 |     9903   1038 |        0 |        0
836.14/836.36	c  836s |      24 |  5990772 |  4502862 |     9903   1040 |        0 |        0
838.14/838.37	c  838s |      24 |  6005564 |  4513762 |     9903   1042 |        0 |        0
840.13/840.38	c  840s |      24 |  6022490 |  4525762 |     9903   1044 |        0 |        0
842.23/842.41	c  842s |      24 |  6039040 |  4537962 |     9903   1046 |        0 |        0
844.23/844.43	c  844s |      24 |  6053707 |  4548762 |     9903   1048 |        0 |        0
846.23/846.44	c  846s |      24 |  6067566 |  4558862 |     9903   1050 |        0 |        0
848.23/848.44	c  848s |      24 |  6083224 |  4570162 |     9903   1052 |        0 |        0
850.23/850.44	c  850s |      24 |  6101508 |  4582862 |     9903   1055 |        0 |        0
852.22/852.45	c  852s |      24 |  6118141 |  4594762 |     9903   1057 |        0 |        0
854.22/854.45	c  854s |      24 |  6129421 |  4603862 |     9903   1059 |        0 |        0
856.22/856.46	c  856s |      24 |  6140988 |  4612862 |     9903   1060 |        0 |        0
858.22/858.47	c  858s |      24 |  6155997 |  4623762 |     9903   1062 |        0 |        0
860.23/860.47	c  860s |      24 |  6171274 |  4634262 |     9903   1064 |        0 |        0
862.21/862.50	c  862s |      24 |  6184602 |  4644362 |     9903   1066 |        0 |        0
864.31/864.50	c  864s |      24 |  6203490 |  4657362 |     9903   1068 |        0 |        0
866.31/866.50	c  866s |      24 |  6215273 |  4666462 |     9903   1070 |        0 |        0
868.31/868.52	c  868s |      24 |  6225240 |  4673862 |     9903   1072 |        0 |        0
870.31/870.52	c  870s |      24 |  6239740 |  4684462 |     9903   1073 |        0 |        0
872.31/872.52	c  872s |      24 |  6253956 |  4694762 |     9903   1075 |        0 |        0
874.30/874.55	c  874s |      24 |  6267588 |  4704862 |     9903   1077 |        0 |        0
876.30/876.56	c  876s |      24 |  6279489 |  4713462 |     9903   1079 |        0 |        0
878.30/878.56	c  878s |      24 |  6294520 |  4724762 |     9903   1081 |        0 |        0
880.30/880.57	c  880s |      24 |  6307349 |  4734362 |     9903   1083 |        0 |        0
882.30/882.58	c  882s |      24 |  6323389 |  4745962 |     9903   1085 |        0 |        0
884.30/884.59	c  884s |      24 |  6335857 |  4755762 |     9903   1087 |        0 |        0
886.30/886.59	c  886s |      24 |  6346281 |  4763562 |     9903   1088 |        0 |        0
888.40/888.60	c  888s |      24 |  6362278 |  4775262 |     9903   1090 |        0 |        0
890.40/890.62	c  890s |      24 |  6372346 |  4783262 |     9903   1092 |        0 |        0
892.49/892.74	c  892s |      24 |  6378781 |  4788662 |     9903   1093 |        0 |        0
894.49/894.75	c  894s |      24 |  6386062 |  4794662 |     9903   1094 |        0 |        0
896.50/896.77	c  896s |      24 |  6393083 |  4800262 |     9903   1095 |        0 |        0
898.49/898.78	c  898s |      24 |  6399825 |  4805962 |     9903   1096 |        0 |        0
900.49/900.79	c  900s |      24 |  6405624 |  4811062 |     9903   1097 |        0 |        0
902.60/902.80	c  902s |      24 |  6411448 |  4816062 |     9903   1098 |        0 |        0
904.70/904.90	c  904s |      24 |  6416731 |  4820762 |     9903   1099 |        0 |        0
906.90/907.10	c  907s |      24 |  6423891 |  4826562 |     9903   1100 |        0 |        0
908.89/909.11	c  909s |      24 |  6432915 |  4833762 |     9903   1101 |        0 |        0
910.89/911.11	c  911s |      24 |  6449502 |  4845162 |     9903   1103 |        0 |        0
912.90/913.12	c  913s |      24 |  6465135 |  4856562 |     9903   1105 |        0 |        0
914.89/915.13	c  915s |      24 |  6473301 |  4863262 |     9903   1106 |        0 |        0
916.89/917.13	c  917s |      24 |  6481728 |  4869562 |     9903   1108 |        0 |        0
918.89/919.14	c  919s |      24 |  6496715 |  4880962 |     9903   1110 |        0 |        0
920.89/921.15	c  921s |      24 |  6512885 |  4893462 |     9903   1112 |        0 |        0
922.89/923.16	c  923s |      24 |  6529396 |  4905462 |     9903   1114 |        0 |        0
924.99/925.20	c  925s |      24 |  6538665 |  4912862 |     9903   1116 |        0 |        0
926.98/927.21	c  927s |      24 |  6550656 |  4921762 |     9903   1117 |        0 |        0
928.98/929.22	c  929s |      24 |  6565871 |  4933162 |     9903   1119 |        0 |        0
930.98/931.23	c  931s |      24 |  6579937 |  4943662 |     9903   1121 |        0 |        0
932.98/933.24	c  933s |      24 |  6591356 |  4952362 |     9903   1123 |        0 |        0
934.98/935.25	c  935s |      24 |  6599825 |  4959362 |     9903   1124 |        0 |        0
936.97/937.25	c  937s |      24 |  6608456 |  4966062 |     9903   1125 |        0 |        0
938.97/939.26	c  939s |      24 |  6620120 |  4975262 |     9903   1127 |        0 |        0
940.97/941.28	c  941s |      24 |  6631560 |  4984162 |     9903   1129 |        0 |        0
943.07/943.30	c  943s |      24 |  6640035 |  4991062 |     9903   1130 |        0 |        0
945.07/945.30	c  945s |      24 |  6653336 |  5000562 |     9903   1132 |        0 |        0
947.08/947.31	c  947s |      24 |  6667228 |  5010662 |     9903   1134 |        0 |        0
949.08/949.31	c  949s |      24 |  6679297 |  5019962 |     9903   1135 |        0 |        0
951.07/951.33	c  951s |      24 |  6694610 |  5030862 |    10894   1137 |        0 |        0
953.07/953.33	c  953s |      24 |  6704641 |  5038562 |    10894   1138 |        0 |        0
955.07/955.34	c  955s |      24 |  6721470 |  5050162 |    10894   1140 |        0 |        0
957.07/957.36	c  957s |      24 |  6736242 |  5060962 |    10894   1142 |        0 |        0
957.98/958.30	c  958s |      25 |  6741680 |  5065098 |    10894   1143 |        0 |        0
960.07/960.31	c  960s |      25 |  6756986 |  5075998 |    10894   1145 |        0 |        0
962.06/962.34	c  962s |      25 |  6770425 |  5086298 |    10894   1147 |        0 |        0
964.06/964.35	c  964s |      25 |  6783397 |  5096698 |    10894   1148 |        0 |        0
966.06/966.36	c  966s |      25 |  6798499 |  5107398 |    10894   1150 |        0 |        0
968.06/968.38	c  968s |      25 |  6808539 |  5115898 |    10894   1152 |        0 |        0
970.07/970.39	c  970s |      25 |  6817513 |  5122898 |    10894   1153 |        0 |        0
972.16/972.43	c  972s |      25 |  6825743 |  5129298 |    10894   1154 |        0 |        0
974.16/974.45	c  974s |      25 |  6834614 |  5136198 |    10894   1155 |        0 |        0
976.16/976.46	c  976s |      25 |  6843578 |  5143198 |    10894   1156 |        0 |        0
978.16/978.46	c  978s |      25 |  6857036 |  5152898 |    10894   1158 |        0 |        0
980.16/980.46	c  980s |      25 |  6870577 |  5163198 |    10894   1160 |        0 |        0
982.16/982.48	c  982s |      25 |  6885205 |  5174698 |    10894   1162 |        0 |        0
984.15/984.49	c  984s |      25 |  6898619 |  5185098 |    10894   1164 |        0 |        0
986.15/986.49	c  986s |      25 |  6912440 |  5196098 |    10894   1166 |        0 |        0
988.15/988.49	c  988s |      25 |  6924707 |  5205798 |    10894   1167 |        0 |        0
990.25/990.51	c  990s |      25 |  6936506 |  5214998 |    10894   1169 |        0 |        0
992.25/992.55	c  992s |      25 |  6948173 |  5224598 |    10894   1171 |        0 |        0
994.26/994.55	c  994s |      25 |  6956864 |  5231498 |    10894   1172 |        0 |        0
996.25/996.58	c  996s |      25 |  6969736 |  5241298 |    10894   1173 |        0 |        0
998.35/998.63	c  998s |      25 |  6976652 |  5247298 |    10894   1174 |        0 |        0
1000.35/1000.63	c 1000s |      25 |  6989761 |  5257598 |    10894   1176 |        0 |        0
1002.35/1002.64	c 1002s |      25 |  7007358 |  5270498 |    10894   1178 |        0 |        0
1004.35/1004.66	c 1004s |      25 |  7021505 |  5281198 |    10894   1180 |        0 |        0
1006.35/1006.68	c 1006s |      25 |  7035419 |  5292198 |    10894   1182 |        0 |        0
1008.45/1008.71	c 1008s |      25 |  7050322 |  5303998 |    10894   1184 |        0 |        0
1010.44/1010.71	c 1010s |      25 |  7062389 |  5313498 |    10894   1186 |        0 |        0
1012.44/1012.79	c 1012s |      25 |  7073392 |  5322398 |    10894   1187 |        0 |        0
1014.54/1014.82	c 1014s |      25 |  7082752 |  5329498 |    10894   1189 |        0 |        0
1016.54/1016.83	c 1016s |      25 |  7097428 |  5340898 |    10894   1191 |        0 |        0
1018.54/1018.83	c 1018s |      25 |  7110519 |  5349698 |    10894   1192 |        0 |        0
1020.54/1020.88	c 1020s |      25 |  7118347 |  5356098 |    10894   1193 |        0 |        0
1022.53/1022.89	c 1022s |      25 |  7127199 |  5362498 |    10894   1194 |        0 |        0
1024.53/1024.89	c 1024s |      25 |  7138436 |  5371098 |    10894   1196 |        0 |        0
1026.53/1026.89	c 1026s |      25 |  7151267 |  5380698 |    10894   1197 |        0 |        0
1028.63/1028.93	c 1028s |      25 |  7161189 |  5388598 |    10894   1199 |        0 |        0
1030.64/1030.95	c 1030s |      25 |  7172696 |  5397198 |    10894   1200 |        0 |        0
1032.64/1032.98	c 1032s |      25 |  7184008 |  5405198 |    10894   1202 |        0 |        0
1034.64/1034.99	c 1034s |      25 |  7197639 |  5414398 |    10894   1203 |        0 |        0
1036.73/1037.00	c 1036s |      25 |  7211804 |  5424898 |    10894   1205 |        0 |        0
1038.73/1039.01	c 1038s |      25 |  7225658 |  5434898 |    10894   1207 |        0 |        0
1040.73/1041.01	c 1040s |      25 |  7236208 |  5442698 |    10894   1208 |        0 |        0
1042.73/1043.01	c 1042s |      25 |  7250949 |  5453298 |    10894   1210 |        0 |        0
1044.73/1045.02	c 1044s |      25 |  7267872 |  5465498 |    10894   1212 |        0 |        0
1046.73/1047.03	c 1046s |      25 |  7283948 |  5477198 |    10894   1214 |        0 |        0
1048.73/1049.03	c 1048s |      25 |  7299008 |  5488198 |    10894   1216 |        0 |        0
1050.73/1051.04	c 1050s |      25 |  7310779 |  5496798 |    10894   1217 |        0 |        0
1052.72/1053.05	c 1053s |      25 |  7322694 |  5505798 |    10894   1219 |        0 |        0
1054.73/1055.05	c 1055s |      25 |  7332985 |  5513798 |    10894   1220 |        0 |        0
1056.72/1057.08	c 1057s |      25 |  7345269 |  5522798 |    10894   1222 |        0 |        0
1058.72/1059.08	c 1059s |      25 |  7357167 |  5531898 |    10894   1223 |        0 |        0
1060.82/1061.10	c 1061s |      25 |  7366610 |  5539298 |    10894   1224 |        0 |        0
1062.81/1063.10	c 1063s |      25 |  7375941 |  5546498 |    10894   1226 |        0 |        0
1064.81/1065.11	c 1065s |      25 |  7391023 |  5557198 |    10894   1227 |        0 |        0
1066.82/1067.12	c 1067s |      25 |  7404787 |  5567798 |    10894   1229 |        0 |        0
1068.81/1069.12	c 1069s |      25 |  7416270 |  5575898 |    10894   1231 |        0 |        0
1070.81/1071.17	c 1071s |      25 |  7428908 |  5585198 |    10894   1232 |        0 |        0
1072.81/1073.18	c 1073s |      25 |  7446077 |  5597198 |    10894   1234 |        0 |        0
1074.80/1075.19	c 1075s |      25 |  7462558 |  5608798 |    10894   1236 |        0 |        0
1076.82/1077.19	c 1077s |      25 |  7479820 |  5621198 |    10894   1238 |        0 |        0
1078.81/1079.19	c 1079s |      25 |  7498932 |  5634398 |    10894   1241 |        0 |        0
1080.91/1081.21	c 1081s |      25 |  7515835 |  5646598 |    10894   1243 |        0 |        0
1082.91/1083.22	c 1083s |      25 |  7530439 |  5657898 |    10894   1245 |        0 |        0
1084.91/1085.23	c 1085s |      25 |  7542632 |  5667098 |    10894   1246 |        0 |        0
1086.91/1087.24	c 1087s |      25 |  7560652 |  5679798 |    10894   1248 |        0 |        0
1088.91/1089.25	c 1089s |      25 |  7578742 |  5692198 |    10894   1250 |        0 |        0
1090.90/1091.28	c 1091s |      25 |  7596472 |  5704298 |    10894   1252 |        0 |        0
1092.90/1093.28	c 1093s |      25 |  7611604 |  5714498 |    10894   1254 |        0 |        0
1095.00/1095.30	c 1095s |      25 |  7625012 |  5724598 |    10894   1256 |        0 |        0
1097.00/1097.31	c 1097s |      25 |  7642443 |  5737098 |    10894   1258 |        0 |        0
1099.00/1099.32	c 1099s |      25 |  7661308 |  5750498 |    10894   1260 |        0 |        0
1101.00/1101.33	c 1101s |      25 |  7677446 |  5762598 |    10894   1262 |        0 |        0
1102.99/1103.33	c 1103s |      25 |  7690164 |  5772398 |    10894   1264 |        0 |        0
1104.99/1105.34	c 1105s |      25 |  7703325 |  5781998 |    10894   1266 |        0 |        0
1106.99/1107.35	c 1107s |      25 |  7719710 |  5793698 |    10894   1268 |        0 |        0
1108.99/1109.35	c 1109s |      25 |  7738338 |  5806898 |    10894   1270 |        0 |        0
1110.99/1111.36	c 1111s |      25 |  7755181 |  5819098 |    10894   1272 |        0 |        0
1112.99/1113.37	c 1113s |      25 |  7771578 |  5831198 |    10894   1274 |        0 |        0
1115.09/1115.41	c 1115s |      25 |  7789618 |  5843998 |    10894   1276 |        0 |        0
1117.09/1117.46	c 1117s |      25 |  7807054 |  5856498 |    10894   1278 |        0 |        0
1119.08/1119.47	c 1119s |      25 |  7818553 |  5865498 |    10894   1280 |        0 |        0
1121.08/1121.48	c 1121s |      25 |  7836273 |  5878298 |    10894   1282 |        0 |        0
1123.08/1123.49	c 1123s |      25 |  7852957 |  5890298 |    10894   1284 |        0 |        0
1125.09/1125.50	c 1125s |      25 |  7869002 |  5902098 |    10894   1286 |        0 |        0
1127.18/1127.52	c 1127s |      25 |  7883116 |  5912398 |    10894   1288 |        0 |        0
1129.18/1129.53	c 1129s |      25 |  7902405 |  5925698 |    10894   1290 |        0 |        0
1131.18/1131.56	c 1131s |      25 |  7912050 |  5933698 |    10894   1291 |        0 |        0
1133.18/1133.58	c 1133s |      25 |  7919919 |  5940198 |    10894   1293 |        0 |        0
1135.18/1135.59	c 1135s |      25 |  7926319 |  5945598 |    10894   1293 |        0 |        0
1137.18/1137.60	c 1137s |      25 |  7935098 |  5952198 |    10894   1295 |        0 |        0
1139.27/1139.61	c 1139s |      25 |  7944351 |  5960098 |    10894   1296 |        0 |        0
1141.27/1141.61	c 1141s |      25 |  7954503 |  5967498 |    10894   1297 |        0 |        0
1143.27/1143.61	c 1143s |      25 |  7965456 |  5976298 |    10894   1299 |        0 |        0
1145.27/1145.62	c 1145s |      25 |  7972527 |  5982298 |    10894   1300 |        0 |        0
1147.27/1147.62	c 1147s |      25 |  7988526 |  5993698 |    10894   1302 |        0 |        0
1149.28/1149.62	c 1149s |      25 |  8000829 |  6002798 |    10894   1303 |        0 |        0
1151.27/1151.63	c 1151s |      25 |  8011852 |  6011198 |    10894   1305 |        0 |        0
1153.27/1153.64	c 1153s |      25 |  8031131 |  6024798 |    10894   1307 |        0 |        0
1155.27/1155.66	c 1155s |      25 |  8045728 |  6035298 |    10894   1309 |        0 |        0
1157.26/1157.66	c 1157s |      25 |  8057837 |  6044498 |    10894   1310 |        0 |        0
1159.27/1159.67	c 1159s |      25 |  8071007 |  6054498 |    10894   1312 |        0 |        0
1161.26/1161.69	c 1161s |      25 |  8081603 |  6062498 |    10894   1313 |        0 |        0
1163.37/1163.71	c 1163s |      25 |  8092903 |  6070898 |    10894   1315 |        0 |        0
1165.37/1165.71	c 1165s |      25 |  8105322 |  6079898 |    10894   1316 |        0 |        0
1167.37/1167.71	c 1167s |      25 |  8119545 |  6090198 |    10894   1318 |        0 |        0
1169.37/1169.71	c 1169s |      25 |  8131348 |  6099098 |    10894   1320 |        0 |        0
1171.37/1171.72	c 1171s |      25 |  8143518 |  6108398 |    10894   1321 |        0 |        0
1173.36/1173.72	c 1173s |      25 |  8154398 |  6116498 |    10894   1323 |        0 |        0
1175.36/1175.73	c 1175s |      25 |  8164055 |  6124198 |    10894   1324 |        0 |        0
1177.36/1177.74	c 1177s |      25 |  8177840 |  6133998 |    10894   1326 |        0 |        0
1179.36/1179.76	c 1179s |      25 |  8196862 |  6147498 |    10894   1328 |        0 |        0
1181.36/1181.76	c 1181s |      25 |  8208730 |  6156498 |    10894   1329 |        0 |        0
1183.36/1183.77	c 1183s |      25 |  8224851 |  6167898 |    10894   1331 |        0 |        0
1185.36/1185.79	c 1185s |      25 |  8238056 |  6177998 |    10894   1333 |        0 |        0
1187.36/1187.79	c 1187s |      25 |  8250445 |  6187598 |    10894   1335 |        0 |        0
1189.46/1189.81	c 1189s |      25 |  8263882 |  6197698 |    10894   1336 |        0 |        0
1191.45/1191.82	c 1191s |      25 |  8277819 |  6207998 |    10894   1338 |        0 |        0
1193.45/1193.83	c 1193s |      25 |  8285428 |  6214598 |    10894   1339 |        0 |        0
1195.46/1195.88	c 1195s |      25 |  8295998 |  6223398 |    10894   1341 |        0 |        0
1197.45/1197.88	c 1197s |      25 |  8307142 |  6231898 |    10894   1342 |        0 |        0
1199.55/1199.95	c 1199s |      25 |  8318171 |  6240198 |    10894   1344 |        0 |        0
1201.54/1201.96	c 1201s |      25 |  8332173 |  6250398 |    10894   1345 |        0 |        0
1203.54/1203.98	c 1203s |      25 |  8344914 |  6259698 |    10894   1347 |        0 |        0
1205.54/1205.98	c 1205s |      25 |  8362127 |  6271398 |    10894   1349 |        0 |        0
1207.55/1208.00	c 1207s |      25 |  8378022 |  6283698 |    10894   1351 |        0 |        0
1209.64/1210.01	c 1209s |      25 |  8395665 |  6296798 |    10894   1353 |        0 |        0
1211.64/1212.01	c 1211s |      25 |  8407994 |  6306098 |    10894   1355 |        0 |        0
1213.64/1214.03	c 1213s |      25 |  8421000 |  6316098 |    10894   1356 |        0 |        0
1215.64/1216.03	c 1215s |      25 |  8435050 |  6326398 |    10894   1358 |        0 |        0
1217.64/1218.04	c 1218s |      25 |  8451853 |  6338798 |    10894   1360 |        0 |        0
1219.64/1220.07	c 1220s |      25 |  8466326 |  6349398 |    10894   1362 |        0 |        0
1221.63/1222.07	c 1222s |      25 |  8481543 |  6359998 |    10894   1364 |        0 |        0
1223.64/1224.08	c 1224s |      25 |  8497140 |  6370798 |    10894   1366 |        0 |        0
1225.64/1226.09	c 1226s |      25 |  8515698 |  6384598 |    10894   1368 |        0 |        0
1227.64/1228.09	c 1228s |      25 |  8527692 |  6393498 |    10894   1370 |        0 |        0
1229.74/1230.10	c 1230s |      25 |  8539771 |  6402598 |    10894   1371 |        0 |        0
1231.74/1232.11	c 1232s |      25 |  8556671 |  6415398 |    10894   1373 |        0 |        0
1233.74/1234.12	c 1234s |      25 |  8567133 |  6423598 |    10894   1375 |        0 |        0
1235.74/1236.13	c 1236s |      25 |  8578798 |  6432298 |    10894   1376 |        0 |        0
1237.73/1238.16	c 1238s |      25 |  8593457 |  6443298 |    10894   1378 |        0 |        0
1239.73/1240.16	c 1240s |      25 |  8604235 |  6451698 |    10894   1380 |        0 |        0
1241.83/1242.20	c 1242s |      25 |  8618538 |  6462298 |    10894   1381 |        0 |        0
1243.84/1244.20	c 1244s |      25 |  8631227 |  6471998 |    10894   1383 |        0 |        0
1245.83/1246.22	c 1246s |      25 |  8646851 |  6483998 |    10894   1385 |        0 |        0
1247.83/1248.22	c 1248s |      25 |  8657345 |  6492198 |    10894   1386 |        0 |        0
1249.83/1250.24	c 1250s |      25 |  8670870 |  6502498 |    10894   1388 |        0 |        0
1251.83/1252.26	c 1252s |      25 |  8685336 |  6513798 |    10894   1390 |        0 |        0
1253.84/1254.26	c 1254s |      25 |  8698493 |  6523998 |    10894   1392 |        0 |        0
1255.83/1256.26	c 1256s |      25 |  8710162 |  6532498 |    10894   1393 |        0 |        0
1257.83/1258.29	c 1258s |      25 |  8722969 |  6542498 |    10894   1395 |        0 |        0
1259.93/1260.33	c 1260s |      25 |  8732703 |  6550298 |    10894   1396 |        0 |        0
1261.92/1262.34	c 1262s |      25 |  8744749 |  6559298 |    10894   1398 |        0 |        0
1263.92/1264.34	c 1264s |      25 |  8755604 |  6567898 |    10894   1399 |        0 |        0
1265.93/1266.36	c 1266s |      25 |  8766108 |  6576198 |    10894   1401 |        0 |        0
1267.92/1268.38	c 1268s |      25 |  8777213 |  6585198 |    10894   1402 |        0 |        0
1269.92/1270.38	c 1270s |      25 |  8784772 |  6591698 |    10894   1403 |        0 |        0
1272.02/1272.42	c 1272s |      25 |  8799351 |  6601998 |    10894   1405 |        0 |        0
1274.02/1274.44	c 1274s |      25 |  8811463 |  6611398 |    10894   1407 |        0 |        0
1276.02/1276.46	c 1276s |      25 |  8818941 |  6617498 |    10894   1408 |        0 |        0
1278.03/1278.46	c 1278s |      25 |  8834964 |  6629198 |    10894   1410 |        0 |        0
1280.02/1280.48	c 1280s |      25 |  8846098 |  6637898 |    10894   1411 |        0 |        0
1282.01/1282.48	c 1282s |      25 |  8857357 |  6646398 |    10894   1413 |        0 |        0
1284.11/1284.51	c 1284s |      25 |  8871698 |  6657398 |    10894   1414 |        0 |        0
1286.11/1286.51	c 1286s |      25 |  8882602 |  6665298 |    10894   1416 |        0 |        0
1288.11/1288.52	c 1288s |      25 |  8892677 |  6673598 |    10894   1417 |        0 |        0
1290.12/1290.53	c 1290s |      25 |  8905344 |  6683398 |    10894   1419 |        0 |        0
1292.11/1292.53	c 1292s |      25 |  8917550 |  6692198 |    10894   1420 |        0 |        0
1294.11/1294.55	c 1294s |      25 |  8930280 |  6702298 |    10894   1422 |        0 |        0
1296.11/1296.56	c 1296s |      25 |  8945079 |  6713398 |    10894   1424 |        0 |        0
1298.11/1298.57	c 1298s |      25 |  8956055 |  6722398 |    10894   1425 |        0 |        0
1300.11/1300.59	c 1300s |      25 |  8964204 |  6728998 |    10894   1427 |        0 |        0
1302.11/1302.60	c 1302s |      25 |  8974569 |  6737098 |    10894   1428 |        0 |        0
1304.20/1304.60	c 1304s |      25 |  8988373 |  6747198 |    10894   1430 |        0 |        0
1306.20/1306.61	c 1306s |      25 |  9001781 |  6757498 |    10894   1432 |        0 |        0
1308.20/1308.62	c 1308s |      25 |  9017249 |  6768798 |    10894   1433 |        0 |        0
1310.20/1310.64	c 1310s |      25 |  9031272 |  6778998 |    10894   1435 |        0 |        0
1312.20/1312.65	c 1312s |      25 |  9044144 |  6788498 |    10894   1437 |        0 |        0
1314.20/1314.65	c 1314s |      25 |  9059240 |  6799598 |    10894   1439 |        0 |        0
1316.19/1316.67	c 1316s |      25 |  9071734 |  6809498 |    10894   1440 |        0 |        0
1318.19/1318.68	c 1318s |      25 |  9081387 |  6816898 |    10894   1442 |        0 |        0
1320.19/1320.69	c 1320s |      25 |  9097216 |  6828498 |    10894   1444 |        0 |        0
1322.29/1322.71	c 1322s |      25 |  9109998 |  6838898 |    10894   1445 |        0 |        0
1324.29/1324.71	c 1324s |      25 |  9120594 |  6847598 |    10894   1447 |        0 |        0
1326.30/1326.73	c 1326s |      25 |  9134538 |  6858498 |    10894   1449 |        0 |        0
1328.30/1328.74	c 1328s |      25 |  9147768 |  6868498 |    10894   1450 |        0 |        0
1330.30/1330.76	c 1330s |      25 |  9159070 |  6877698 |    10894   1452 |        0 |        0
1332.29/1332.77	c 1332s |      25 |  9168167 |  6884598 |    10894   1453 |        0 |        0
1334.29/1334.78	c 1334s |      25 |  9178234 |  6892198 |    10894   1454 |        0 |        0
1336.30/1336.80	c 1336s |      25 |  9186949 |  6899198 |    10894   1456 |        0 |        0
1338.39/1338.80	c 1338s |      25 |  9203499 |  6911098 |    10894   1458 |        0 |        0
1340.39/1340.81	c 1340s |      25 |  9213445 |  6919098 |    10894   1459 |        0 |        0
1342.38/1342.82	c 1342s |      25 |  9220770 |  6925298 |    10894   1460 |        0 |        0
1344.38/1344.84	c 1344s |      25 |  9232736 |  6934198 |    10894   1461 |        0 |        0
1346.38/1346.86	c 1346s |      25 |  9242736 |  6942398 |    10894   1463 |        0 |        0
1348.39/1348.89	c 1348s |      25 |  9259144 |  6954198 |    10894   1465 |        0 |        0
1350.49/1350.94	c 1350s |      25 |  9271603 |  6963798 |    10894   1467 |        0 |        0
1352.48/1352.95	c 1352s |      25 |  9283341 |  6972798 |    10894   1468 |        0 |        0
1354.48/1354.96	c 1354s |      25 |  9301784 |  6986098 |    10894   1470 |        0 |        0
1356.47/1356.97	c 1356s |      25 |  9314913 |  6996698 |    10894   1472 |        0 |        0
1358.57/1359.02	c 1358s |      25 |  9324937 |  7004398 |    10894   1473 |        0 |        0
1360.58/1361.03	c 1360s |      25 |  9340226 |  7015498 |    10894   1475 |        0 |        0
1362.58/1363.05	c 1363s |      25 |  9350686 |  7023498 |    10894   1477 |        0 |        0
1364.57/1365.06	c 1365s |      25 |  9362256 |  7032598 |    10894   1478 |        0 |        0
1366.57/1367.08	c 1367s |      25 |  9374511 |  7042298 |    10894   1480 |        0 |        0
1368.57/1369.08	c 1369s |      25 |  9382894 |  7048998 |    10894   1481 |        0 |        0
1370.67/1371.10	c 1371s |      25 |  9393068 |  7057298 |    10894   1482 |        0 |        0
1372.67/1373.14	c 1373s |      25 |  9401654 |  7064198 |    10894   1484 |        0 |        0
1374.68/1375.15	c 1375s |      25 |  9413189 |  7072698 |    10894   1485 |        0 |        0
1376.67/1377.15	c 1377s |      25 |  9426199 |  7082398 |    10894   1487 |        0 |        0
1378.67/1379.16	c 1379s |      25 |  9439624 |  7092698 |    10894   1488 |        0 |        0
1380.67/1381.16	c 1381s |      25 |  9452828 |  7103198 |    10894   1490 |        0 |        0
1382.67/1383.17	c 1383s |      25 |  9464212 |  7112098 |    10894   1492 |        0 |        0
1384.68/1385.18	c 1385s |      25 |  9476405 |  7121398 |    10894   1493 |        0 |        0
1386.67/1387.19	c 1387s |      25 |  9491243 |  7131598 |    10894   1495 |        0 |        0
1388.67/1389.19	c 1389s |      25 |  9507907 |  7144098 |    10894   1497 |        0 |        0
1390.67/1391.19	c 1391s |      25 |  9520692 |  7154098 |    10894   1499 |        0 |        0
1392.77/1393.20	c 1393s |      25 |  9534013 |  7163798 |    10894   1500 |        0 |        0
1394.77/1395.22	c 1395s |      25 |  9546091 |  7172998 |    10894   1502 |        0 |        0
1396.77/1397.22	c 1397s |      25 |  9565156 |  7186298 |    10894   1504 |        0 |        0
1398.76/1399.23	c 1399s |      25 |  9576252 |  7195098 |    10894   1506 |        0 |        0
1400.76/1401.24	c 1401s |      25 |  9586289 |  7202798 |    10894   1507 |        0 |        0
1402.76/1403.25	c 1403s |      25 |  9604485 |  7215498 |    10894   1509 |        0 |        0
1404.76/1405.26	c 1405s |      25 |  9616492 |  7224298 |    10894   1511 |        0 |        0
1406.76/1407.27	c 1407s |      25 |  9628288 |  7233798 |    10894   1512 |        0 |        0
1408.77/1409.27	c 1409s |      25 |  9641213 |  7243798 |    10894   1514 |        0 |        0
1410.76/1411.27	c 1411s |      25 |  9658045 |  7255298 |    10894   1516 |        0 |        0
1412.76/1413.29	c 1413s |      25 |  9672960 |  7266698 |    10894   1518 |        0 |        0
1414.86/1415.31	c 1415s |      25 |  9690919 |  7279198 |    10894   1520 |        0 |        0
1416.86/1417.31	c 1417s |      25 |  9701000 |  7287798 |    10894   1521 |        0 |        0
1418.86/1419.33	c 1419s |      25 |  9710264 |  7294898 |    10894   1523 |        0 |        0
1420.87/1421.34	c 1421s |      25 |  9719086 |  7302298 |    10894   1524 |        0 |        0
1422.86/1423.35	c 1423s |      25 |  9728452 |  7309498 |    10894   1525 |        0 |        0
1424.86/1425.36	c 1425s |      25 |  9737622 |  7316198 |    10894   1526 |        0 |        0
1426.86/1427.36	c 1427s |      25 |  9750141 |  7325698 |    10894   1528 |        0 |        0
1428.86/1429.37	c 1429s |      25 |  9765671 |  7337598 |    10894   1530 |        0 |        0
1430.86/1431.39	c 1431s |      25 |  9781321 |  7349198 |    10894   1532 |        0 |        0
1432.86/1433.39	c 1433s |      25 |  9795801 |  7360098 |    10894   1534 |        0 |        0
1434.85/1435.39	c 1435s |      25 |  9806363 |  7368398 |    10894   1535 |        0 |        0
1436.95/1437.41	c 1437s |      25 |  9816311 |  7376698 |    10894   1537 |        0 |        0
1438.95/1439.43	c 1439s |      25 |  9825630 |  7383898 |    10894   1538 |        0 |        0
1440.95/1441.45	c 1441s |      25 |  9838831 |  7393998 |    10894   1539 |        0 |        0
1442.96/1443.46	c 1443s |      25 |  9847852 |  7400898 |    10894   1541 |        0 |        0
1444.95/1445.47	c 1445s |      25 |  9862417 |  7411998 |    10894   1543 |        0 |        0
1446.95/1447.49	c 1447s |      25 |  9874540 |  7421098 |    10894   1544 |        0 |        0
1448.95/1449.49	c 1449s |      25 |  9888088 |  7431498 |    10894   1546 |        0 |        0
1451.05/1451.52	c 1451s |      25 |  9897845 |  7439698 |    10894   1547 |        0 |        0
1453.05/1453.53	c 1453s |      25 |  9907642 |  7447498 |    10894   1549 |        0 |        0
1455.06/1455.59	c 1455s |      25 |  9917598 |  7455898 |    10894   1550 |        0 |        0
1457.05/1457.60	c 1457s |      25 |  9928761 |  7464898 |    10894   1552 |        0 |        0
1459.15/1459.61	c 1459s |      25 |  9942632 |  7475898 |    10894   1553 |        0 |        0
1461.15/1461.65	c 1461s |      25 |  9956766 |  7486398 |    10894   1555 |        0 |        0
1463.15/1463.68	c 1463s |      25 |  9970059 |  7497298 |    10894   1557 |        0 |        0
1465.15/1465.69	c 1465s |      25 |  9984076 |  7507998 |    10894   1559 |        0 |        0
1467.25/1467.70	c 1467s |      25 |  9998349 |  7518298 |    10894   1561 |        0 |        0
1469.25/1469.73	c 1469s |      25 | 10011803 |  7528398 |    10894   1562 |        0 |        0
1471.25/1471.73	c 1471s |      25 | 10028383 |  7540498 |    10894   1565 |        0 |        0
1473.25/1473.75	c 1473s |      25 | 10043314 |  7551498 |    11984   1566 |        0 |        0
1475.25/1475.77	c 1475s |      25 | 10058705 |  7562798 |    11984   1568 |        0 |        0
1477.25/1477.78	c 1477s |      25 | 10074040 |  7573798 |    11984   1570 |        0 |        0
1479.25/1479.79	c 1479s |      25 | 10088514 |  7584198 |    11984   1571 |        0 |        0
1481.24/1481.80	c 1481s |      25 | 10104990 |  7596298 |    11984   1573 |        0 |        0
1481.55/1482.09	c 1482s |      26 | 10106635 |  7597752 |    11984   1573 |        0 |        0
1483.55/1484.09	c 1484s |      26 | 10122891 |  7609352 |    11984   1575 |        0 |        0
1485.64/1486.11	c 1486s |      26 | 10135291 |  7618752 |    11984   1577 |        0 |        0
1487.64/1488.12	c 1488s |      26 | 10143889 |  7625852 |    11984   1578 |        0 |        0
1489.64/1490.13	c 1490s |      26 | 10152961 |  7632952 |    11984   1579 |        0 |        0
1491.64/1492.14	c 1492s |      26 | 10164484 |  7641552 |    11984   1581 |        0 |        0
1493.64/1494.16	c 1494s |      26 | 10177801 |  7651652 |    11984   1582 |        0 |        0
1495.65/1496.16	c 1496s |      26 | 10193043 |  7663352 |    11984   1584 |        0 |        0
1497.65/1498.17	c 1498s |      26 | 10207918 |  7674952 |    11984   1586 |        0 |        0
1499.65/1500.17	c 1500s |      26 | 10222548 |  7685852 |    11984   1588 |        0 |        0
1501.65/1502.19	c 1502s |      26 | 10232607 |  7694252 |    11984   1589 |        0 |        0
1503.75/1504.21	c 1504s |      26 | 10244925 |  7704052 |    11984   1591 |        0 |        0
1505.75/1506.21	c 1506s |      26 | 10260031 |  7715752 |    11984   1593 |        0 |        0
1507.76/1508.26	c 1508s |      26 | 10272932 |  7725852 |    11984   1594 |        0 |        0
1509.75/1510.28	c 1510s |      26 | 10287236 |  7736952 |    11984   1596 |        0 |        0
1511.75/1512.29	c 1512s |      26 | 10300360 |  7746852 |    11984   1598 |        0 |        0
1513.85/1514.30	c 1514s |      26 | 10311744 |  7755552 |    11984   1599 |        0 |        0
1515.85/1516.30	c 1516s |      26 | 10326665 |  7766852 |    11984   1601 |        0 |        0
1517.85/1518.30	c 1518s |      26 | 10339380 |  7776852 |    11984   1602 |        0 |        0
1519.85/1520.32	c 1520s |      26 | 10351826 |  7786452 |    11984   1604 |        0 |        0
1521.84/1522.33	c 1522s |      26 | 10365544 |  7796852 |    11984   1606 |        0 |        0
1523.84/1524.33	c 1524s |      26 | 10378302 |  7806452 |    11984   1607 |        0 |        0
1525.84/1526.33	c 1526s |      26 | 10392164 |  7817052 |    11984   1609 |        0 |        0
1527.84/1528.34	c 1528s |      26 | 10407311 |  7827852 |    11984   1611 |        0 |        0
1529.85/1530.35	c 1530s |      26 | 10421022 |  7838452 |    11984   1612 |        0 |        0
1531.84/1532.36	c 1532s |      26 | 10434348 |  7848152 |    11984   1614 |        0 |        0
1533.84/1534.37	c 1534s |      26 | 10447433 |  7858852 |    11984   1616 |        0 |        0
1535.84/1536.38	c 1536s |      26 | 10454105 |  7864752 |    11984   1617 |        0 |        0
1537.94/1538.47	c 1538s |      26 | 10463120 |  7872252 |    11984   1618 |        0 |        0
1539.94/1540.49	c 1540s |      26 | 10470603 |  7878552 |    11984   1619 |        0 |        0
1542.04/1542.50	c 1542s |      26 | 10478988 |  7885252 |    11984   1620 |        0 |        0
1544.04/1544.51	c 1544s |      26 | 10488978 |  7893252 |    11984   1621 |        0 |        0
1546.04/1546.54	c 1546s |      26 | 10500306 |  7901752 |    11984   1623 |        0 |        0
1548.04/1548.56	c 1548s |      26 | 10513792 |  7912352 |    11984   1624 |        0 |        0
1550.14/1550.64	c 1550s |      26 | 10523282 |  7919952 |    11984   1626 |        0 |        0
1552.13/1552.66	c 1552s |      26 | 10531020 |  7926152 |    11984   1627 |        0 |        0
1554.23/1554.78	c 1554s |      26 | 10537703 |  7932152 |    11984   1628 |        0 |        0
1556.34/1556.80	c 1556s |      26 | 10549621 |  7940852 |    11984   1629 |        0 |        0
1558.35/1558.81	c 1558s |      26 | 10557930 |  7947552 |    11984   1630 |        0 |        0
1560.34/1560.82	c 1560s |      26 | 10571189 |  7957252 |    11984   1632 |        0 |        0
1562.34/1562.83	c 1562s |      26 | 10583026 |  7966152 |    11984   1633 |        0 |        0
1564.34/1564.85	c 1564s |      26 | 10595848 |  7975352 |    11984   1634 |        0 |        0
1566.34/1566.87	c 1566s |      26 | 10609227 |  7985652 |    11984   1636 |        0 |        0
1568.35/1568.87	c 1568s |      26 | 10618524 |  7992952 |    11984   1637 |        0 |        0
1570.34/1570.88	c 1570s |      26 | 10631757 |  8003052 |    11984   1639 |        0 |        0
1572.44/1572.91	c 1572s |      26 | 10643592 |  8012452 |    11984   1641 |        0 |        0
1574.44/1574.92	c 1574s |      26 | 10653576 |  8020552 |    11984   1642 |        0 |        0
1576.44/1576.94	c 1576s |      26 | 10669688 |  8030952 |    11984   1643 |        0 |        0
1578.44/1578.96	c 1578s |      26 | 10681251 |  8039552 |    11984   1645 |        0 |        0
1580.44/1580.98	c 1580s |      26 | 10697528 |  8051052 |    11984   1646 |        0 |        0
1582.54/1583.05	c 1583s |      26 | 10710152 |  8059952 |    11984   1648 |        0 |        0
1584.54/1585.09	c 1585s |      26 | 10724821 |  8070952 |    11984   1650 |        0 |        0
1586.64/1587.12	c 1587s |      26 | 10733518 |  8077852 |    11984   1651 |        0 |        0
1588.64/1589.14	c 1589s |      26 | 10749355 |  8089352 |    11984   1652 |        0 |        0
1590.64/1591.15	c 1591s |      26 | 10761952 |  8098652 |    11984   1654 |        0 |        0
1592.63/1593.15	c 1593s |      26 | 10775158 |  8107752 |    11984   1655 |        0 |        0
1594.64/1595.17	c 1595s |      26 | 10791072 |  8118852 |    11984   1657 |        0 |        0
1596.63/1597.18	c 1597s |      26 | 10805002 |  8129152 |    11984   1659 |        0 |        0
1598.73/1599.20	c 1599s |      26 | 10818224 |  8139652 |    11984   1660 |        0 |        0
1600.73/1601.21	c 1601s |      26 | 10829990 |  8148752 |    11984   1662 |        0 |        0
1602.73/1603.21	c 1603s |      26 | 10846010 |  8160852 |    11984   1664 |        0 |        0
1604.73/1605.22	c 1605s |      26 | 10857934 |  8169852 |    11984   1665 |        0 |        0
1606.74/1607.23	c 1607s |      26 | 10869785 |  8178852 |    11984   1666 |        0 |        0
1608.73/1609.24	c 1609s |      26 | 10880350 |  8186352 |    11984   1668 |        0 |        0
1610.73/1611.26	c 1611s |      26 | 10897717 |  8199152 |    11984   1670 |        0 |        0
1612.73/1613.27	c 1613s |      26 | 10911911 |  8209752 |    11984   1671 |        0 |        0
1614.73/1615.29	c 1615s |      26 | 10926471 |  8219952 |    11984   1673 |        0 |        0
1616.83/1617.30	c 1617s |      26 | 10935039 |  8227152 |    11984   1674 |        0 |        0
1618.83/1619.31	c 1619s |      26 | 10942525 |  8233152 |    11984   1675 |        0 |        0
1620.83/1621.32	c 1621s |      26 | 10950258 |  8239452 |    11984   1676 |        0 |        0
1622.83/1623.35	c 1623s |      26 | 10956914 |  8245252 |    11984   1677 |        0 |        0
1624.93/1625.40	c 1625s |      26 | 10964342 |  8251452 |    11984   1678 |        0 |        0
1626.93/1627.42	c 1627s |      26 | 10972600 |  8258452 |    11984   1679 |        0 |        0
1628.93/1629.42	c 1629s |      26 | 10979863 |  8264452 |    11984   1680 |        0 |        0
1630.93/1631.42	c 1631s |      26 | 10990467 |  8272752 |    11984   1681 |        0 |        0
1632.93/1633.45	c 1633s |      26 | 11001064 |  8281552 |    11984   1682 |        0 |        0
1635.03/1635.50	c 1635s |      26 | 11012303 |  8290052 |    11984   1684 |        0 |        0
1637.03/1637.51	c 1637s |      26 | 11022981 |  8298652 |    11984   1685 |        0 |        0
1639.02/1639.52	c 1639s |      26 | 11033114 |  8306552 |    11984   1686 |        0 |        0
1641.02/1641.52	c 1641s |      26 | 11046042 |  8316252 |    11984   1688 |        0 |        0
1643.03/1643.57	c 1643s |      26 | 11060205 |  8327052 |    11984   1690 |        0 |        0
1645.02/1645.59	c 1645s |      26 | 11071120 |  8336352 |    11984   1691 |        0 |        0
1647.12/1647.60	c 1647s |      26 | 11082517 |  8345352 |    11984   1692 |        0 |        0
1649.22/1649.76	c 1649s |      26 | 11093234 |  8353752 |    11984   1694 |        0 |        0
1651.22/1651.78	c 1651s |      26 | 11105247 |  8363052 |    11984   1695 |        0 |        0
1653.32/1653.81	c 1653s |      26 | 11116031 |  8371552 |    11984   1696 |        0 |        0
1655.32/1655.82	c 1655s |      26 | 11127085 |  8379652 |    11984   1698 |        0 |        0
1657.33/1657.83	c 1657s |      26 | 11135779 |  8386852 |    11984   1699 |        0 |        0
1659.32/1659.85	c 1659s |      26 | 11149037 |  8396852 |    11984   1700 |        0 |        0
1661.32/1661.86	c 1661s |      26 | 11163383 |  8407552 |    11984   1702 |        0 |        0
1663.32/1663.87	c 1663s |      26 | 11172964 |  8415652 |    11984   1703 |        0 |        0
1665.32/1665.87	c 1665s |      26 | 11183713 |  8423752 |    11984   1705 |        0 |        0
1667.33/1667.88	c 1667s |      26 | 11196291 |  8433052 |    11984   1706 |        0 |        0
1669.32/1669.88	c 1669s |      26 | 11204877 |  8440252 |    11984   1707 |        0 |        0
1671.32/1671.89	c 1671s |      26 | 11217017 |  8449552 |    11984   1709 |        0 |        0
1673.32/1673.89	c 1673s |      26 | 11225369 |  8456252 |    11984   1710 |        0 |        0
1675.42/1675.91	c 1675s |      26 | 11240431 |  8467952 |    11984   1712 |        0 |        0
1677.42/1677.93	c 1677s |      26 | 11253267 |  8477452 |    11984   1713 |        0 |        0
1679.43/1679.94	c 1679s |      26 | 11262159 |  8485052 |    11984   1714 |        0 |        0
1681.42/1681.95	c 1681s |      26 | 11272933 |  8493052 |    11984   1716 |        0 |        0
1683.42/1683.96	c 1683s |      26 | 11287886 |  8504452 |    11984   1717 |        0 |        0
1685.42/1685.98	c 1685s |      26 | 11298658 |  8513252 |    11984   1719 |        0 |        0
1687.52/1688.05	c 1688s |      26 | 11308509 |  8520752 |    11984   1720 |        0 |        0
1689.52/1690.07	c 1690s |      26 | 11320193 |  8530352 |    11984   1721 |        0 |        0
1691.62/1692.16	c 1692s |      26 | 11328570 |  8537152 |    11984   1723 |        0 |        0
1693.63/1694.18	c 1694s |      26 | 11336277 |  8543552 |    11984   1724 |        0 |        0
1695.92/1696.41	c 1696s |      26 | 11345597 |  8551052 |    11984   1725 |        0 |        0
1697.92/1698.42	c 1698s |      26 | 11354344 |  8557452 |    11984   1726 |        0 |        0
1699.92/1700.43	c 1700s |      26 | 11367163 |  8567152 |    11984   1727 |        0 |        0
1701.92/1702.44	c 1702s |      26 | 11384230 |  8580152 |    11984   1729 |        0 |        0
1703.92/1704.45	c 1704s |      26 | 11396131 |  8589452 |    11984   1731 |        0 |        0
1705.92/1706.45	c 1706s |      26 | 11408694 |  8599252 |    11984   1732 |        0 |        0
1707.92/1708.46	c 1708s |      26 | 11422059 |  8609852 |    11984   1734 |        0 |        0
1709.91/1710.47	c 1710s |      26 | 11430950 |  8617152 |    11984   1735 |        0 |        0
1711.91/1712.48	c 1712s |      26 | 11444513 |  8627252 |    11984   1737 |        0 |        0
1713.91/1714.49	c 1714s |      26 | 11455645 |  8635852 |    11984   1738 |        0 |        0
1716.01/1716.54	c 1716s |      26 | 11467312 |  8644852 |    11984   1740 |        0 |        0
1718.01/1718.56	c 1718s |      26 | 11479274 |  8654352 |    11984   1741 |        0 |        0
1720.02/1720.56	c 1720s |      26 | 11490442 |  8662952 |    11984   1742 |        0 |        0
1722.01/1722.59	c 1722s |      26 | 11502932 |  8672652 |    11984   1744 |        0 |        0
1724.11/1724.61	c 1724s |      26 | 11518266 |  8684052 |    11984   1746 |        0 |        0
1726.11/1726.63	c 1726s |      26 | 11527499 |  8691652 |    11984   1747 |        0 |        0
1728.11/1728.64	c 1728s |      26 | 11534462 |  8697552 |    11984   1748 |        0 |        0
1730.21/1730.74	c 1730s |      26 | 11539480 |  8701952 |    11984   1749 |        0 |        0
1732.21/1732.78	c 1732s |      26 | 11544531 |  8706452 |    11984   1749 |        0 |        0
1734.22/1734.78	c 1734s |      26 | 11555682 |  8714652 |    11984   1750 |        0 |        0
1736.31/1736.81	c 1736s |      26 | 11570063 |  8725652 |    11984   1752 |        0 |        0
1738.31/1738.81	c 1738s |      26 | 11579550 |  8733252 |    11984   1753 |        0 |        0
1740.31/1740.83	c 1740s |      26 | 11594977 |  8744852 |    11984   1755 |        0 |        0
1742.31/1742.85	c 1742s |      26 | 11607433 |  8754552 |    11984   1757 |        0 |        0
1744.32/1744.86	c 1744s |      26 | 11622981 |  8765852 |    11984   1759 |        0 |        0
1746.31/1746.87	c 1746s |      26 | 11638073 |  8777652 |    11984   1760 |        0 |        0
1748.31/1748.87	c 1748s |      26 | 11656220 |  8790952 |    11984   1762 |        0 |        0
1750.31/1750.88	c 1750s |      26 | 11667195 |  8799952 |    11984   1764 |        0 |        0
1752.31/1752.89	c 1752s |      26 | 11674933 |  8806252 |    11984   1765 |        0 |        0
1754.41/1754.93	c 1754s |      26 | 11682214 |  8811952 |    11984   1766 |        0 |        0
1756.42/1756.96	c 1756s |      26 | 11689078 |  8817552 |    11984   1767 |        0 |        0
1758.41/1758.98	c 1758s |      26 | 11698874 |  8825552 |    11984   1768 |        0 |        0
1760.51/1761.00	c 1760s |      26 | 11712820 |  8835952 |    11984   1770 |        0 |        0
1762.51/1763.02	c 1762s |      26 | 11722277 |  8843852 |    11984   1771 |        0 |        0
1764.61/1765.18	c 1765s |      26 | 11731414 |  8851052 |    11984   1772 |        0 |        0
1766.61/1767.19	c 1767s |      26 | 11742158 |  8859352 |    11984   1773 |        0 |        0
1768.71/1769.20	c 1769s |      26 | 11751283 |  8866552 |    11984   1774 |        0 |        0
1770.71/1771.24	c 1771s |      26 | 11765584 |  8876852 |    11984   1776 |        0 |        0
1772.71/1773.25	c 1773s |      26 | 11781032 |  8888152 |    11984   1778 |        0 |        0
1774.71/1775.25	c 1775s |      26 | 11792576 |  8897452 |    11984   1779 |        0 |        0
1776.70/1777.27	c 1777s |      26 | 11804169 |  8906652 |    11984   1781 |        0 |        0
1778.70/1779.28	c 1779s |      26 | 11817724 |  8916752 |    11984   1782 |        0 |        0
1780.70/1781.29	c 1781s |      26 | 11831537 |  8926952 |    11984   1784 |        0 |        0
1782.81/1783.30	c 1783s |      26 | 11843751 |  8936552 |    11984   1785 |        0 |        0
1784.80/1785.30	c 1785s |      26 | 11855253 |  8945552 |    11984   1787 |        0 |        0
1786.80/1787.38	c 1787s |      26 | 11868751 |  8956252 |    11984   1789 |        0 |        0
1788.80/1789.39	c 1789s |      26 | 11877352 |  8963552 |    11984   1790 |        0 |        0
1791.00/1791.50	c 1791s |      26 | 11883703 |  8969252 |    11984   1791 |        0 |        0
1793.00/1793.51	c 1793s |      26 | 11896249 |  8979052 |    11984   1792 |        0 |        0
1795.00/1795.54	c 1795s |      26 | 11904487 |  8985952 |    11984   1793 |        0 |        0
1797.01/1797.58	c 1797s |      26 | 11911797 |  8991852 |    11984   1794 |        0 |        0
1799.01/1799.59	c 1799s |      26 | 11922807 |  9000052 |    11984   1795 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4088700-1466013710/watcher-4088700-1466013710 -o /tmp/evaluation-result-4088700-1466013710/solver-4088700-1466013710 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088700-1466013710.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.11 2.08 4/180 6683
/proc/meminfo: memFree=30440356/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=689596 CPUtime=0 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 2563 0 0 0 0 0 0 0 20 0 4 0 3416441 706146304 3435 33554432000 4194304 16246674 140737484731184 140737484730608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 172911 3446 441 2943 0 169805 0
[pid=6683/tid=6684] ppid=6680 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 723972096 3506 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=711100 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 728166400 3522 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3416442 733409280 3540 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.11 2.11 2.08 4/180 6683
/proc/meminfo: memFree=30440356/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 24399 0 0 0 5 3 0 0 20 0 4 0 3416441 1247350784 25261 33554432000 4194304 16246674 140737484731184 140737484730608 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 304529 25270 709 2943 0 301423 0
[pid=6683/tid=6684] ppid=6680 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1247350784 25275 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1247350784 25283 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3416442 1247350784 25289 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200511 s]
/proc/loadavg: 2.11 2.11 2.08 4/180 6683
/proc/meminfo: memFree=30440356/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 44862 0 0 0 13 6 0 0 20 0 4 0 3416441 1247350784 45723 33554432000 4194304 16246674 140737484731184 140737484730608 5708022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 304529 45736 709 2943 0 301423 0
[pid=6683/tid=6684] ppid=6680 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1247350784 45741 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1247350784 45747 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3416442 1247350784 45756 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300476 s]
/proc/loadavg: 2.11 2.11 2.08 4/180 6683
/proc/meminfo: memFree=30440356/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 65607 0 0 0 20 9 0 0 20 0 4 0 3416441 1247350784 66468 33554432000 4194304 16246674 140737484731184 140737484714184 12478070 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 304529 66478 716 2943 0 301423 0
[pid=6683/tid=6684] ppid=6680 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1247350784 66488 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1247350784 66497 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3416442 1247350784 66502 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700394 s]
/proc/loadavg: 2.11 2.11 2.08 4/180 6683
/proc/meminfo: memFree=30440356/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 144214 0 0 0 48 21 0 0 20 0 4 0 3416441 1247350784 145075 33554432000 4194304 16246674 140737484731184 140737484714184 12478957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 304529 145084 716 2943 0 301423 0
[pid=6683/tid=6684] ppid=6680 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1247350784 145090 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1247350784 145097 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3416442 1247350784 145106 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.11 2.11 2.08 4/184 6687
/proc/meminfo: memFree=29670288/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1223236 CPUtime=1.49 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 191880 0 0 0 120 29 0 0 20 0 4 0 3416441 1252593664 192721 33554432000 4194304 16246674 140737484731184 140737484714184 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 305809 192721 791 2943 0 302703 0
[pid=6683/tid=6684] ppid=6680 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1252593664 192721 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1252593664 192721 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1252593664 192721 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1223236

[startup+3.10041 s]
/proc/loadavg: 2.11 2.11 2.08 4/184 6687
/proc/meminfo: memFree=29374168/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 267826 0 0 0 269 40 0 0 20 0 4 0 3416441 1338576896 268667 33554432000 4194304 16246674 140737484731184 140737484714184 5995412 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 326801 268667 791 2943 0 323695 0
[pid=6683/tid=6684] ppid=6680 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1338576896 268667 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1338576896 268667 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1338576896 268667 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.18 2.13 2.08 3/184 6687
/proc/meminfo: memFree=29361428/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1311300 CPUtime=6.29 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 268852 0 0 0 588 41 0 0 20 0 4 0 3416441 1342771200 269693 33554432000 4194304 16246674 140737484731184 140737484714184 5823367 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 327825 269693 793 2943 0 324719 0
[pid=6683/tid=6684] ppid=6680 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1342771200 269693 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1342771200 269693 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1342771200 269693 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.17 2.13 2.08 3/183 6687
/proc/meminfo: memFree=29358176/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1322564 CPUtime=12.69 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 271667 0 0 0 1228 41 0 0 20 0 4 0 3416441 1354305536 272508 33554432000 4194304 16246674 140737484731184 140737484714184 12477844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 330641 272508 794 2943 0 327535 0
[pid=6683/tid=6684] ppid=6680 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1354305536 272508 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1354305536 272508 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1354305536 272508 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1322564

[startup+25.5074 s]
/proc/loadavg: 2.13 2.12 2.08 3/183 6687
/proc/meminfo: memFree=29350808/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1322564 CPUtime=25.49 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 271669 0 0 0 2508 41 0 0 20 0 4 0 3416441 1354305536 272510 33554432000 4194304 16246674 140737484731184 140737484713088 5722067 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 330641 272510 794 2943 0 327535 0
[pid=6683/tid=6684] ppid=6680 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1354305536 272510 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1354305536 272510 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1354305536 272510 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1322564

[startup+51.1004 s]
/proc/loadavg: 2.22 2.14 2.09 3/183 6687
/proc/meminfo: memFree=29335356/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1337924 CPUtime=51.08 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 275510 0 0 0 5066 42 0 0 20 0 4 0 3416441 1370034176 276351 33554432000 4194304 16246674 140737484731184 140737484713088 5754961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 334481 276351 795 2943 0 331375 0
[pid=6683/tid=6684] ppid=6680 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1370034176 276351 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1370034176 276351 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1370034176 276351 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924

[startup+102.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/183 6688
/proc/meminfo: memFree=29334756/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1337924 CPUtime=102.28 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 275510 0 0 0 10185 43 0 0 20 0 4 0 3416441 1370034176 276351 33554432000 4194304 16246674 140737484731184 140737484714184 5754983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 334481 276351 795 2943 0 331375 0
[pid=6683/tid=6684] ppid=6680 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1370034176 276351 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1370034176 276351 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1370034176 276351 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1337924


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

/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281475 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1358404

[startup+1302.3 s]
/proc/loadavg: 2.08 2.09 2.09 4/183 6718
/proc/meminfo: memFree=29300700/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1358404 CPUtime=1301.9 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 280991 0 0 0 130131 59 0 0 20 0 4 0 3416441 1391005696 281475 33554432000 4194304 16246674 140737484731184 140737484714184 5822271 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 339601 281475 796 2943 0 336495 0
[pid=6683/tid=6684] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281475 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281475 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281475 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1358404

[startup+1362.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/183 6767
/proc/meminfo: memFree=29348664/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1358404 CPUtime=1361.87 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 281021 0 0 0 136127 60 0 0 20 0 4 0 3416441 1391005696 281476 33554432000 4194304 16246674 140737484731184 140737484714184 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 339601 281476 796 2943 0 336495 0
[pid=6683/tid=6684] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1358404

[startup+1422.3 s]
/proc/loadavg: 2.16 2.11 2.09 3/183 6768
/proc/meminfo: memFree=29348716/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1358404 CPUtime=1421.86 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 281035 0 0 0 142125 61 0 0 20 0 4 0 3416441 1391005696 281476 33554432000 4194304 16246674 140737484731184 140737484714184 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 339601 281476 796 2943 0 336495 0
[pid=6683/tid=6684] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1358404

[startup+1482.3 s]
/proc/loadavg: 2.18 2.12 2.09 3/183 6819
/proc/meminfo: memFree=29342544/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1358404 CPUtime=1481.84 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 281035 0 0 0 148123 61 0 0 20 0 4 0 3416441 1391005696 281476 33554432000 4194304 16246674 140737484731184 140737484714184 6843738 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 339601 281476 796 2943 0 336495 0
[pid=6683/tid=6684] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1358404

[startup+1542.3 s]
/proc/loadavg: 2.24 2.14 2.10 3/183 6820
/proc/meminfo: memFree=29336112/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1358404 CPUtime=1541.84 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 281035 0 0 0 154122 62 0 0 20 0 4 0 3416441 1391005696 281476 33554432000 4194304 16246674 140737484731184 140737484714184 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 339601 281476 796 2943 0 336495 0
[pid=6683/tid=6684] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1358404

[startup+1602.3 s]
/proc/loadavg: 2.24 2.16 2.10 3/183 6821
/proc/meminfo: memFree=29335864/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1358404 CPUtime=1601.83 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 281035 0 0 0 160120 63 0 0 20 0 4 0 3416441 1391005696 281476 33554432000 4194304 16246674 140737484731184 140737484714184 6024055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 339601 281476 796 2943 0 336495 0
[pid=6683/tid=6684] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1358404

[startup+1662.31 s]
/proc/loadavg: 2.16 2.16 2.10 3/183 6822
/proc/meminfo: memFree=29328716/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1358404 CPUtime=1661.82 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 281035 0 0 0 166119 63 0 0 20 0 4 0 3416441 1391005696 281476 33554432000 4194304 16246674 140737484731184 140737484714184 5823218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 339601 281476 796 2943 0 336495 0
[pid=6683/tid=6684] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1358404

[startup+1722.3 s]
/proc/loadavg: 2.17 2.15 2.10 3/184 6826
/proc/meminfo: memFree=29328968/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1358404 CPUtime=1721.81 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 281035 0 0 0 172117 64 0 0 20 0 4 0 3416441 1391005696 281476 33554432000 4194304 16246674 140737484731184 140737484713088 5823631 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 339601 281476 796 2943 0 336495 0
[pid=6683/tid=6684] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1358404

[startup+1782.3 s]
/proc/loadavg: 2.16 2.15 2.10 3/183 6828
/proc/meminfo: memFree=29328536/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1358404 CPUtime=1781.8 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 281035 0 0 0 178115 65 0 0 20 0 4 0 3416441 1391005696 281476 33554432000 4194304 16246674 140737484731184 140737484713088 5676036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 339601 281476 796 2943 0 336495 0
[pid=6683/tid=6684] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1358404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.14 2.10 3/182 6828
/proc/meminfo: memFree=29329404/32872528 swapFree=496356/529060
[pid=6683] ppid=6680 vsize=1358404 CPUtime=1800 cores=0,2,4,6
/proc/6683/stat : 6683 (toysat) R 6680 6683 5955 0 -1 4202496 281035 0 0 0 179934 66 0 0 20 0 4 0 3416441 1391005696 281476 33554432000 4194304 16246674 140737484731184 140737484713088 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6683/statm: 339601 281476 796 2943 0 336495 0
[pid=6683/tid=6684] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6684/stat : 6684 (toysat) S 6680 6683 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866163621104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6683/tid=6685] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6685/stat : 6685 (toysat) S 6680 6683 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866079735024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6683/tid=6686] ppid=6680 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/6683/task/6686/stat : 6686 (toysat) S 6680 6683 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3416442 1391005696 281476 33554432000 4194304 16246674 140737484731184 139866069261488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1358404

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.35
CPU system time (s): 0.661899
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1358404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.661899
maximum resident set size= 1125904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281035
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= 417
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6442 second user time and 17.4953 second system time

The end

Begin job on node141 at 2016-06-15 20:01:50
IDJOB=4088700
IDBENCH=107301
IDSOLVER=2542
FILE ID=node141/4088700-1466013710
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 38bf2d4a09a989ac45f5356b157fbb11
RANDOM SEED=1264382649

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30440884 kB
Buffers:           10736 kB
Cached:            71088 kB
SwapCached:        13072 kB
Active:          1167824 kB
Inactive:          35176 kB
Active(anon):    1111136 kB
Inactive(anon):    12008 kB
Active(file):      56688 kB
Inactive(file):    23168 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1711652 kB
Mapped:            10408 kB
Shmem:                 0 kB
Slab:             566060 kB
SReclaimable:      10000 kB
SUnreclaim:       556060 kB
KernelStack:        1528 kB
PageTables:         7220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1781564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-15 20:31:51