0.00/0.00	c 2016-06-16T01:19:31+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.01	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.01	c arch = x86_64
0.00/0.01	c os = linux
0.00/0.01	c compiler = ghc 7.10
0.00/0.01	c packages:
0.00/0.01	c   OptDir-0.0.3
0.00/0.01	c   array-0.5.1.0
0.00/0.01	c   base-4.8.2.0
0.00/0.01	c   bytestring-0.10.6.0
0.00/0.01	c   bytestring-builder-0.10.6.0.0
0.00/0.01	c   clock-0.7.2
0.00/0.01	c   containers-0.5.6.2
0.00/0.01	c   data-default-0.5.3
0.00/0.01	c   data-default-class-0.0.1
0.00/0.01	c   data-interval-1.2.0
0.00/0.01	c   deepseq-1.4.1.1
0.00/0.01	c   directory-1.2.2.0
0.00/0.01	c   exceptions-0.8.2.1
0.00/0.01	c   extended-reals-0.2.1.0
0.00/0.01	c   filepath-1.4.0.0
0.00/0.01	c   finite-field-0.8.0
0.00/0.01	c   hashable-1.2.4.0
0.00/0.01	c   heaps-0.3.3
0.00/0.01	c   intern-0.9.1.4
0.00/0.01	c   loop-0.3.0
0.00/0.01	c   mtl-2.2.1
0.00/0.01	c   multiset-0.3.2
0.00/0.01	c   mwc-random-0.13.3.2
0.00/0.01	c   parse_dimacs-1.3
0.00/0.01	c   parsec-3.1.9
0.00/0.01	c   prettyclass-1.0.0.0
0.00/0.01	c   primes-0.2.1.0
0.00/0.01	c   primitive-0.6.1.0
0.00/0.01	c   process-1.2.3.0
0.00/0.01	c   pseudo-boolean-0.1.3.0
0.00/0.02	c   queue-0.1.2
0.00/0.02	c   semigroups-0.18.1
0.00/0.02	c   sign-0.4.3
0.00/0.02	c   stm-2.4.4.1
0.00/0.02	c   template-haskell-2.10.0.0
0.00/0.02	c   temporary-1.2.0.4
0.00/0.02	c   time-1.5.0.1
0.00/0.02	c   transformers-0.4.2.0
0.00/0.02	c   transformers-compat-0.5.1.4
0.00/0.02	c   type-level-numbers-0.1.1.1
0.00/0.02	c   unbounded-delays-0.1.0.9
0.00/0.02	c   unordered-containers-0.2.6.0
0.00/0.02	c   vector-0.11.0.0
0.00/0.02	c   vector-space-0.10.3
0.00/0.02	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4089743-1466032771.opb"]
0.00/0.02	c use --random-gen="3505320678 2595575254 1201591335 263375142 4145651649 4252858773 1583483160 1820572269 3882521923 1798784623 1784636527 2081233066 3558888154 769112932 1128197962 3612522240 3297895130 3258097335 4018063273 3120114422 2916966471 2289393681 3803440126 634047033 2790273374 2649499488 138067783 3359198330 236317774 3734317768 1561649642 2904344761 2536889201 1464211755 1146779939 3364404925 3592391280 1628981614 1714078518 4080362814 3100033732 1132421919 3300351075 3299994313 3424891008 1558774130 27449915 16627266 603676597 3364087755 3609986297 285021456 1621377849 3689464848 2054503872 2433751901 3801151279 1975820519 3703415391 1931000800 2648305011 1867162653 145227074 3167040723 4082351005 1036417206 589046932 3688745945 1434065768 1370027880 2525024464 2175424615 2751839609 2099827667 3638026774 1520125411 2261151147 3920221345 1728063755 99218503 856385449 4245839406 2627152763 2299579126 2326378200 1280934241 3859615331 2266066798 60525565 2189127134 1992990489 2011216539 4238090892 1388077562 2280565073 3405875388 518380262 1259491597 2317048903 1616729917 1257848034 3852684561 1771947101 1194509649 3903217354 1920675788 1591862665 293887001 859598340 2982758386 2891058883 649675712 4197686987 3338777710 1845666680 218960860 1561348549 1816177095 3000538928 2949989939 1045289790 2077387113 3014004767 4041721734 944763612 3911715463 12382096 1745444586 1567292025 1107425338 1120394418 414183913 2913329989 3407566018 2304300423 2414383882 727359041 649318879 1096427458 18411431 3443904431 534104025 1352727258 4165001622 266022487 818387478 257280417 2921733939 3651366579 2498405141 4294295309 1487128800 1262716507 2109296572 402420189 1026725872 1807813913 3313638341 2418691826 3162103275 853923924 1637250030 222360763 3032255131 109053307 4224513410 3645921696 410714530 2041572927 3200581104 1395280308 1261953784 2670304782 1284933413 1329116181 257503251 4207325799 1062625160 1347845052 617012897 2520100598 2527555997 1685779196 406494625 2479070374 3221957174 267451072 3654620428 3666125893 4070900651 391382781 1076323046 1830313145 551027850 1217189394 1063820146 3784827747 1129293225 2764301359 3646071703 1159809131 319602384 3494055599 759077965 773367268 1585971738 1382070687 574620983 3135788691 1766397240 2249468009 1901274262 2842370190 305968439 713356785 155760766 3634341077 3647540552 819405851 1153875680 3527510422 1030013410 3236887868 1058466064 2569301721 1003318173 3107378497 61029697 24507135 1122840547 2370641918 1849265434 4085133861 3541650063 1740872937 1538368443 257907489 1615047361 1352325270 3522570672 3448899624 3358447852 3345328499 2654571065 2275999759 1234714158 4050814737 4096193206 3065829897 1389911406 3988487327 2384230796 2239292105 3454877428 1727012382 3577432718 255 362436" option to reproduce the execution
0.00/0.02	c #vars 153
0.00/0.02	c #constraints 51
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       85      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      150 |      100 |       85      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      358 |      250 |       94      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      677 |      475 |      104      4 |        0 |        0
0.08/0.12	c  0.1s |       4 |     1113 |      813 |      115      7 |        0 |        0
0.08/0.19	c  0.2s |       5 |     1742 |     1320 |      127     11 |        0 |        0
0.18/0.29	c  0.3s |       6 |     2744 |     2081 |      154     17 |        0 |        0
0.38/0.46	c  0.4s |       7 |     4066 |     3223 |      170     26 |        0 |        0
0.68/0.70	c  0.7s |       8 |     6555 |     4936 |      188     39 |        0 |        0
0.98/1.10	c  1.1s |       9 |     9905 |     7506 |      207     60 |        0 |        0
1.47/1.57	c  1.5s |      10 |    14381 |    11361 |      228     86 |        0 |        0
2.19/2.28	c  2.3s |      11 |    21226 |    17144 |      251    125 |        0 |        0
3.29/3.33	c  3.3s |      12 |    31670 |    25819 |      277    176 |        0 |        0
4.88/4.91	c  4.9s |      13 |    47371 |    38832 |      305    252 |        0 |        0
6.88/6.92	c  6.9s |      13 |    65208 |    53732 |      305    330 |        0 |        0
7.48/7.57	c  7.6s |      14 |    70562 |    58352 |      336    355 |        0 |        0
9.48/9.58	c  9.6s |      14 |    89143 |    73152 |      336    430 |        0 |        0
11.48/11.53	c 11.5s |      15 |   107217 |    87632 |      370    502 |        0 |        0
13.48/13.53	c 13.5s |      15 |   126434 |   103132 |      370    572 |        0 |        0
15.48/15.54	c 15.5s |      15 |   144249 |   117932 |      370    640 |        0 |        0
17.38/17.47	c 17.5s |      16 |   160029 |   131552 |      408    702 |        0 |        0
19.37/19.48	c 19.5s |      16 |   178550 |   146852 |      408    765 |        0 |        0
21.37/21.48	c 21.5s |      16 |   196613 |   161952 |      408    829 |        0 |        0
23.37/23.49	c 23.5s |      16 |   214905 |   177152 |      408    893 |        0 |        0
25.47/25.50	c 25.5s |      16 |   233426 |   192452 |      408    957 |        0 |        0
26.07/26.13	c 26.1s |      17 |   239770 |   197432 |      449    978 |        0 |        0
28.07/28.14	c 28.1s |      17 |   259600 |   213132 |      449   1040 |        0 |        0
30.07/30.14	c 30.1s |      17 |   278493 |   228032 |      449   1099 |        0 |        0
32.07/32.15	c 32.1s |      17 |   296949 |   243132 |      449   1159 |        0 |        0
34.08/34.16	c 34.1s |      17 |   314639 |   257732 |      449   1218 |        0 |        0
36.07/36.17	c 36.1s |      17 |   334490 |   273032 |      449   1279 |        0 |        0
38.07/38.18	c 38.2s |      17 |   356263 |   289132 |      449   1343 |        0 |        0
38.97/39.07	c 39.0s |      18 |   366073 |   296252 |      494   1370 |        0 |        0
40.97/41.08	c 41.1s |      18 |   385024 |   310952 |      494   1423 |        0 |        0
42.98/43.08	c 43.1s |      18 |   403642 |   325452 |      494   1476 |        0 |        0
44.98/45.08	c 45.1s |      18 |   422552 |   339952 |      494   1529 |        0 |        0
46.97/47.10	c 47.1s |      18 |   440488 |   354452 |      494   1581 |        0 |        0
49.07/49.10	c 49.1s |      18 |   459087 |   369452 |      494   1635 |        0 |        0
51.07/51.11	c 51.1s |      18 |   476285 |   383452 |      494   1686 |        0 |        0
53.07/53.12	c 53.1s |      18 |   493546 |   397352 |      494   1736 |        0 |        0
55.08/55.13	c 55.1s |      18 |   511112 |   411252 |      494   1786 |        0 |        0
57.07/57.13	c 57.1s |      18 |   529312 |   425752 |      494   1838 |        0 |        0
59.07/59.14	c 59.1s |      18 |   548615 |   440652 |      494   1892 |        0 |        0
59.57/59.63	c 59.6s |      19 |   553832 |   444482 |      544   1905 |        0 |        0
61.58/61.64	c 61.6s |      19 |   569237 |   457982 |      544   1948 |        0 |        0
63.57/63.65	c 63.6s |      19 |   585458 |   471482 |      544   1993 |        0 |        0
65.57/65.66	c 65.6s |      19 |   601485 |   485182 |      544   2038 |        0 |        0
67.56/67.66	c 67.6s |      19 |   618472 |   499282 |      544   2085 |        0 |        0
69.57/69.67	c 69.6s |      19 |   636271 |   513382 |      544   2132 |        0 |        0
71.58/71.68	c 71.7s |      19 |   653328 |   527182 |      544   2179 |        0 |        0
73.57/73.68	c 73.7s |      19 |   670305 |   540882 |      544   2224 |        0 |        0
75.57/75.68	c 75.7s |      19 |   685830 |   554282 |      544   2270 |        0 |        0
77.57/77.68	c 77.7s |      19 |   703287 |   568482 |      544   2317 |        0 |        0
79.57/79.69	c 79.7s |      19 |   720803 |   582582 |      544   2365 |        0 |        0
81.57/81.69	c 81.7s |      19 |   737578 |   596382 |      544   2412 |        0 |        0
83.67/83.71	c 83.7s |      19 |   754610 |   610182 |      544   2458 |        0 |        0
85.67/85.71	c 85.7s |      19 |   772882 |   624282 |      544   2505 |        0 |        0
87.67/87.71	c 87.7s |      19 |   791149 |   638282 |      544   2552 |        0 |        0
89.67/89.72	c 89.7s |      19 |   807656 |   651882 |      544   2598 |        0 |        0
91.67/91.73	c 91.7s |      19 |   823892 |   665382 |      599   2643 |        0 |        0
91.87/91.95	c 91.9s |      20 |   825662 |   666827 |      599   2647 |        0 |        0
93.86/93.95	c 93.9s |      20 |   842567 |   680527 |      599   2689 |        0 |        0
95.86/95.96	c 95.9s |      20 |   859713 |   694427 |      599   2731 |        0 |        0
97.87/97.96	c 97.9s |      20 |   879297 |   709327 |      599   2776 |        0 |        0
99.86/99.97	c 100.0s |      20 |   897706 |   723727 |      599   2820 |        0 |        0
101.86/101.98	c  101s |      20 |   915981 |   738127 |      599   2864 |        0 |        0
103.86/103.98	c  103s |      20 |   934826 |   752427 |      599   2908 |        0 |        0
105.86/105.99	c  105s |      20 |   951725 |   766027 |      599   2949 |        0 |        0
107.96/108.00	c  107s |      20 |   967982 |   779227 |      599   2989 |        0 |        0
109.97/110.01	c  109s |      20 |   984754 |   793227 |      599   3031 |        0 |        0
111.96/112.01	c  111s |      20 |  1002959 |   807327 |      599   3073 |        0 |        0
113.96/114.03	c  114s |      20 |  1021738 |   821727 |      599   3117 |        0 |        0
115.96/116.03	c  116s |      20 |  1040822 |   836227 |      599   3162 |        0 |        0
117.96/118.04	c  118s |      20 |  1058577 |   850127 |      599   3204 |        0 |        0
119.96/120.04	c  120s |      20 |  1077901 |   864527 |      599   3248 |        0 |        0
121.96/122.04	c  122s |      20 |  1096769 |   878827 |      599   3291 |        0 |        0
123.96/124.06	c  124s |      20 |  1114783 |   892727 |      599   3334 |        0 |        0
125.96/126.06	c  126s |      20 |  1133967 |   907127 |      599   3378 |        0 |        0
127.96/128.07	c  128s |      20 |  1152959 |   921327 |      599   3421 |        0 |        0
129.95/130.07	c  130s |      20 |  1172413 |   935927 |      599   3466 |        0 |        0
131.97/132.07	c  132s |      20 |  1191756 |   950127 |      599   3509 |        0 |        0
133.96/134.08	c  134s |      20 |  1210601 |   964427 |      599   3553 |        0 |        0
135.96/136.08	c  136s |      20 |  1228070 |   978127 |      599   3595 |        0 |        0
137.96/138.09	c  138s |      20 |  1245510 |   992027 |      599   3637 |        0 |        0
139.26/139.34	c  139s |      21 |  1255480 |  1000345 |      659   3660 |        0 |        0
141.26/141.35	c  141s |      21 |  1271780 |  1014045 |      659   3698 |        0 |        0
143.26/143.36	c  143s |      21 |  1288536 |  1027245 |      659   3733 |        0 |        0
145.27/145.36	c  145s |      21 |  1303657 |  1040045 |      659   3768 |        0 |        0
147.26/147.36	c  147s |      21 |  1318954 |  1052945 |      659   3803 |        0 |        0
149.26/149.36	c  149s |      21 |  1333906 |  1065645 |      659   3838 |        0 |        0
151.26/151.37	c  151s |      21 |  1349804 |  1078745 |      659   3874 |        0 |        0
153.26/153.38	c  153s |      21 |  1365729 |  1091745 |      659   3910 |        0 |        0
155.26/155.40	c  155s |      21 |  1380420 |  1104145 |      659   3944 |        0 |        0
157.26/157.40	c  157s |      21 |  1396765 |  1117645 |      659   3981 |        0 |        0
159.35/159.41	c  159s |      21 |  1414112 |  1131345 |      659   4020 |        0 |        0
161.35/161.41	c  161s |      21 |  1431875 |  1145245 |      659   4059 |        0 |        0
163.35/163.42	c  163s |      21 |  1449112 |  1159145 |      659   4098 |        0 |        0
165.35/165.43	c  165s |      21 |  1466622 |  1173045 |      659   4137 |        0 |        0
167.35/167.44	c  167s |      21 |  1483372 |  1186945 |      659   4176 |        0 |        0
169.36/169.46	c  169s |      21 |  1498973 |  1200045 |      659   4213 |        0 |        0
171.35/171.46	c  171s |      21 |  1512359 |  1211945 |      659   4246 |        0 |        0
173.35/173.47	c  173s |      21 |  1527628 |  1224845 |      659   4282 |        0 |        0
175.35/175.48	c  175s |      21 |  1542335 |  1237345 |      659   4317 |        0 |        0
177.35/177.48	c  177s |      21 |  1557353 |  1250145 |      659   4353 |        0 |        0
179.35/179.49	c  179s |      21 |  1573337 |  1263145 |      659   4390 |        0 |        0
181.45/181.51	c  181s |      21 |  1589935 |  1276345 |      659   4427 |        0 |        0
183.45/183.52	c  183s |      21 |  1606349 |  1289445 |      659   4463 |        0 |        0
185.45/185.53	c  185s |      21 |  1623780 |  1302845 |      659   4501 |        0 |        0
187.45/187.54	c  187s |      21 |  1641116 |  1316545 |      659   4540 |        0 |        0
189.45/189.55	c  189s |      21 |  1656832 |  1329845 |      659   4577 |        0 |        0
191.46/191.56	c  191s |      21 |  1672911 |  1342945 |      659   4613 |        0 |        0
193.45/193.56	c  193s |      21 |  1690670 |  1356545 |      659   4652 |        0 |        0
195.45/195.57	c  195s |      21 |  1707435 |  1370245 |      659   4690 |        0 |        0
197.45/197.59	c  197s |      21 |  1723121 |  1383545 |      659   4727 |        0 |        0
199.55/199.60	c  199s |      21 |  1739268 |  1396745 |      659   4764 |        0 |        0
201.55/201.61	c  201s |      21 |  1755856 |  1410145 |      659   4801 |        0 |        0
203.56/203.62	c  203s |      21 |  1772406 |  1423445 |      659   4839 |        0 |        0
205.55/205.62	c  205s |      21 |  1789461 |  1437245 |      659   4878 |        0 |        0
207.55/207.63	c  207s |      21 |  1804854 |  1450045 |      659   4914 |        0 |        0
209.55/209.63	c  209s |      21 |  1819187 |  1462545 |      659   4949 |        0 |        0
211.55/211.63	c  211s |      21 |  1834259 |  1475045 |      659   4984 |        0 |        0
213.55/213.63	c  213s |      21 |  1849897 |  1487845 |      659   5020 |        0 |        0
215.45/215.59	c  215s |      22 |  1865969 |  1500622 |      725   5053 |        0 |        0
217.44/217.60	c  217s |      22 |  1882899 |  1514322 |      725   5089 |        0 |        0
219.54/219.60	c  219s |      22 |  1900351 |  1528422 |      725   5126 |        0 |        0
221.54/221.61	c  221s |      22 |  1917400 |  1542422 |      725   5162 |        0 |        0
223.54/223.62	c  223s |      22 |  1934674 |  1556322 |      725   5199 |        0 |        0
225.55/225.63	c  225s |      22 |  1951538 |  1570022 |      725   5235 |        0 |        0
227.54/227.63	c  227s |      22 |  1970805 |  1584422 |      725   5272 |        0 |        0
229.55/229.63	c  229s |      22 |  1988834 |  1598022 |      725   5308 |        0 |        0
231.55/231.64	c  231s |      22 |  2007097 |  1612022 |      725   5344 |        0 |        0
233.55/233.66	c  233s |      22 |  2023716 |  1625422 |      725   5379 |        0 |        0
235.55/235.66	c  235s |      22 |  2038577 |  1637622 |      725   5411 |        0 |        0
237.55/237.66	c  237s |      22 |  2056149 |  1651422 |      725   5448 |        0 |        0
239.55/239.67	c  239s |      22 |  2074392 |  1665122 |      725   5483 |        0 |        0
241.55/241.68	c  241s |      22 |  2092494 |  1678922 |      725   5519 |        0 |        0
243.65/243.70	c  243s |      22 |  2109613 |  1692222 |      725   5554 |        0 |        0
245.65/245.71	c  245s |      22 |  2126072 |  1705322 |      725   5589 |        0 |        0
247.64/247.72	c  247s |      22 |  2141461 |  1718022 |      725   5622 |        0 |        0
249.65/249.73	c  249s |      22 |  2157305 |  1731022 |      725   5656 |        0 |        0
251.64/251.75	c  251s |      22 |  2173903 |  1744422 |      725   5691 |        0 |        0
253.64/253.75	c  253s |      22 |  2190604 |  1757822 |      725   5726 |        0 |        0
255.64/255.76	c  255s |      22 |  2207305 |  1771222 |      725   5761 |        0 |        0
257.64/257.77	c  257s |      22 |  2223781 |  1784422 |      725   5796 |        0 |        0
259.64/259.77	c  259s |      22 |  2239787 |  1797222 |      725   5829 |        0 |        0
261.64/261.78	c  261s |      22 |  2256728 |  1810622 |      725   5864 |        0 |        0
263.74/263.80	c  263s |      22 |  2273224 |  1823822 |      725   5899 |        0 |        0
265.74/265.81	c  265s |      22 |  2289500 |  1837022 |      725   5933 |        0 |        0
267.73/267.82	c  267s |      22 |  2306805 |  1850522 |      725   5969 |        0 |        0
269.73/269.82	c  269s |      22 |  2323648 |  1863822 |      725   6004 |        0 |        0
271.74/271.83	c  271s |      22 |  2339591 |  1877022 |      725   6038 |        0 |        0
273.73/273.83	c  273s |      22 |  2355244 |  1890022 |      725   6073 |        0 |        0
275.73/275.84	c  275s |      22 |  2370923 |  1903022 |      725   6107 |        0 |        0
277.72/277.84	c  277s |      22 |  2386362 |  1916022 |      725   6141 |        0 |        0
279.72/279.85	c  279s |      22 |  2401781 |  1928922 |      725   6175 |        0 |        0
281.72/281.86	c  281s |      22 |  2417989 |  1941822 |      725   6209 |        0 |        0
283.73/283.87	c  283s |      22 |  2433946 |  1954922 |      725   6243 |        0 |        0
285.72/285.87	c  285s |      22 |  2449460 |  1967522 |      725   6276 |        0 |        0
287.72/287.88	c  287s |      22 |  2465864 |  1980922 |      725   6311 |        0 |        0
289.72/289.89	c  289s |      22 |  2481333 |  1993822 |      725   6345 |        0 |        0
291.82/291.90	c  291s |      22 |  2499477 |  2007822 |      725   6382 |        0 |        0
293.82/293.91	c  293s |      22 |  2516571 |  2021522 |      725   6418 |        0 |        0
295.82/295.92	c  295s |      22 |  2532880 |  2034822 |      725   6452 |        0 |        0
297.81/297.94	c  297s |      22 |  2551337 |  2048822 |      725   6489 |        0 |        0
299.81/299.94	c  299s |      22 |  2569466 |  2062922 |      725   6526 |        0 |        0
301.81/301.94	c  301s |      22 |  2587369 |  2076722 |      725   6563 |        0 |        0
303.81/303.95	c  303s |      22 |  2603586 |  2089922 |      725   6598 |        0 |        0
305.82/305.96	c  305s |      22 |  2620304 |  2103222 |      725   6633 |        0 |        0
307.81/307.96	c  307s |      22 |  2636959 |  2116422 |      725   6668 |        0 |        0
309.81/309.97	c  309s |      22 |  2654032 |  2129822 |      725   6703 |        0 |        0
311.81/311.98	c  311s |      22 |  2671352 |  2143422 |      725   6739 |        0 |        0
313.81/313.98	c  313s |      22 |  2687986 |  2156822 |      725   6774 |        0 |        0
315.80/315.98	c  315s |      22 |  2704448 |  2170122 |      725   6810 |        0 |        0
317.81/317.98	c  317s |      22 |  2720642 |  2183322 |      725   6845 |        0 |        0
319.90/320.00	c  319s |      22 |  2736153 |  2196222 |      725   6878 |        0 |        0
321.91/322.00	c  321s |      22 |  2751816 |  2208922 |      725   6912 |        0 |        0
323.91/324.01	c  323s |      22 |  2768951 |  2222422 |      725   6948 |        0 |        0
325.91/326.02	c  326s |      22 |  2785001 |  2235422 |      798   6982 |        0 |        0
327.91/328.03	c  328s |      22 |  2801285 |  2248622 |      798   7013 |        0 |        0
328.31/328.41	c  328s |      23 |  2804222 |  2251038 |      798   7019 |        0 |        0
330.31/330.41	c  330s |      23 |  2822733 |  2265038 |      798   7052 |        0 |        0
332.30/332.41	c  332s |      23 |  2839506 |  2278438 |      798   7083 |        0 |        0
334.31/334.42	c  334s |      23 |  2855293 |  2291238 |      798   7113 |        0 |        0
336.30/336.44	c  336s |      23 |  2872606 |  2304538 |      798   7145 |        0 |        0
338.30/338.44	c  338s |      23 |  2890611 |  2318238 |      798   7177 |        0 |        0
340.30/340.44	c  340s |      23 |  2908390 |  2331538 |      798   7208 |        0 |        0
342.30/342.45	c  342s |      23 |  2926328 |  2345138 |      798   7240 |        0 |        0
344.30/344.46	c  344s |      23 |  2944049 |  2358838 |      798   7272 |        0 |        0
346.29/346.47	c  346s |      23 |  2961773 |  2372538 |      798   7304 |        0 |        0
348.29/348.47	c  348s |      23 |  2980555 |  2386538 |      798   7337 |        0 |        0
350.29/350.47	c  350s |      23 |  2997317 |  2399838 |      798   7368 |        0 |        0
352.29/352.47	c  352s |      23 |  3014959 |  2413338 |      798   7400 |        0 |        0
354.29/354.48	c  354s |      23 |  3034452 |  2427538 |      798   7433 |        0 |        0
356.29/356.49	c  356s |      23 |  3052554 |  2441538 |      798   7466 |        0 |        0
358.29/358.49	c  358s |      23 |  3069045 |  2454738 |      798   7497 |        0 |        0
360.39/360.50	c  360s |      23 |  3085426 |  2467938 |      798   7528 |        0 |        0
362.38/362.50	c  362s |      23 |  3102782 |  2481238 |      798   7559 |        0 |        0
364.38/364.52	c  364s |      23 |  3120023 |  2494538 |      798   7591 |        0 |        0
366.38/366.52	c  366s |      23 |  3137279 |  2507938 |      798   7622 |        0 |        0
368.39/368.52	c  368s |      23 |  3154025 |  2521038 |      798   7652 |        0 |        0
370.38/370.53	c  370s |      23 |  3170663 |  2534238 |      798   7683 |        0 |        0
372.38/372.54	c  372s |      23 |  3186263 |  2547138 |      798   7713 |        0 |        0
374.38/374.54	c  374s |      23 |  3202561 |  2560038 |      798   7744 |        0 |        0
376.39/376.55	c  376s |      23 |  3218473 |  2573038 |      798   7774 |        0 |        0
378.39/378.55	c  378s |      23 |  3234490 |  2586038 |      798   7804 |        0 |        0
380.38/380.56	c  380s |      23 |  3252829 |  2600038 |      798   7837 |        0 |        0
382.38/382.57	c  382s |      23 |  3269944 |  2613838 |      798   7869 |        0 |        0
384.38/384.59	c  384s |      23 |  3286152 |  2627438 |      798   7901 |        0 |        0
386.38/386.59	c  386s |      23 |  3300740 |  2640138 |      798   7930 |        0 |        0
388.48/388.60	c  388s |      23 |  3316786 |  2653438 |      798   7961 |        0 |        0
390.38/390.60	c  390s |      23 |  3332915 |  2666838 |      798   7993 |        0 |        0
392.48/392.61	c  392s |      23 |  3349265 |  2680338 |      798   8024 |        0 |        0
394.48/394.62	c  394s |      23 |  3365325 |  2693538 |      798   8055 |        0 |        0
396.47/396.62	c  396s |      23 |  3382411 |  2707138 |      798   8087 |        0 |        0
398.47/398.64	c  398s |      23 |  3398299 |  2720338 |      798   8117 |        0 |        0
400.47/400.64	c  400s |      23 |  3414690 |  2733638 |      798   8149 |        0 |        0
402.47/402.64	c  402s |      23 |  3431611 |  2747038 |      798   8180 |        0 |        0
404.47/404.65	c  404s |      23 |  3448700 |  2760638 |      798   8212 |        0 |        0
406.46/406.66	c  406s |      23 |  3467167 |  2774538 |      798   8245 |        0 |        0
408.46/408.66	c  408s |      23 |  3484865 |  2788238 |      798   8277 |        0 |        0
410.46/410.67	c  410s |      23 |  3503192 |  2802438 |      798   8310 |        0 |        0
412.47/412.68	c  412s |      23 |  3520782 |  2816238 |      798   8343 |        0 |        0
414.46/414.69	c  414s |      23 |  3537585 |  2829938 |      798   8375 |        0 |        0
416.56/416.70	c  416s |      23 |  3553109 |  2843138 |      798   8406 |        0 |        0
418.56/418.71	c  418s |      23 |  3570361 |  2856938 |      798   8438 |        0 |        0
420.56/420.72	c  420s |      23 |  3585864 |  2870038 |      798   8468 |        0 |        0
422.57/422.73	c  422s |      23 |  3601077 |  2882638 |      798   8498 |        0 |        0
424.57/424.73	c  424s |      23 |  3617854 |  2896138 |      798   8530 |        0 |        0
426.56/426.73	c  426s |      23 |  3634827 |  2909938 |      798   8562 |        0 |        0
428.56/428.75	c  428s |      23 |  3650372 |  2923338 |      798   8593 |        0 |        0
430.56/430.76	c  430s |      23 |  3664845 |  2936038 |      798   8623 |        0 |        0
432.56/432.77	c  432s |      23 |  3679725 |  2948938 |      798   8653 |        0 |        0
434.56/434.77	c  434s |      23 |  3694379 |  2961638 |      798   8683 |        0 |        0
436.56/436.77	c  436s |      23 |  3710484 |  2975038 |      798   8715 |        0 |        0
438.55/438.78	c  438s |      23 |  3727120 |  2988238 |      798   8746 |        0 |        0
440.55/440.79	c  440s |      23 |  3744405 |  3002038 |      798   8779 |        0 |        0
442.55/442.79	c  442s |      23 |  3762020 |  3016238 |      798   8812 |        0 |        0
444.65/444.80	c  444s |      23 |  3777913 |  3029238 |      798   8843 |        0 |        0
446.65/446.80	c  446s |      23 |  3793613 |  3042238 |      798   8873 |        0 |        0
448.66/448.81	c  448s |      23 |  3810684 |  3055838 |      798   8906 |        0 |        0
450.65/450.82	c  450s |      23 |  3828180 |  3069638 |      798   8938 |        0 |        0
452.65/452.84	c  452s |      23 |  3846006 |  3083938 |      798   8972 |        0 |        0
454.65/454.85	c  454s |      23 |  3864451 |  3098338 |      798   9005 |        0 |        0
456.64/456.86	c  456s |      23 |  3882186 |  3112538 |      798   9039 |        0 |        0
458.65/458.88	c  458s |      23 |  3899815 |  3126438 |      798   9072 |        0 |        0
460.64/460.88	c  460s |      23 |  3918244 |  3140538 |      798   9105 |        0 |        0
462.74/462.90	c  462s |      23 |  3937585 |  3155238 |      798   9139 |        0 |        0
464.74/464.91	c  464s |      23 |  3956978 |  3169738 |      798   9173 |        0 |        0
466.74/466.91	c  466s |      23 |  3975827 |  3184338 |      798   9207 |        0 |        0
468.74/468.92	c  468s |      23 |  3993674 |  3198438 |      798   9241 |        0 |        0
470.74/470.93	c  470s |      23 |  4009854 |  3211738 |      798   9272 |        0 |        0
472.73/472.94	c  472s |      23 |  4027486 |  3225638 |      798   9305 |        0 |        0
474.74/474.95	c  474s |      23 |  4044227 |  3239038 |      798   9336 |        0 |        0
476.74/476.96	c  476s |      23 |  4059389 |  3251938 |      798   9366 |        0 |        0
478.74/478.97	c  478s |      23 |  4076365 |  3265638 |      798   9399 |        0 |        0
480.74/480.98	c  480s |      23 |  4092910 |  3279138 |      798   9431 |        0 |        0
482.75/482.99	c  482s |      23 |  4110543 |  3293138 |      798   9464 |        0 |        0
484.84/485.00	c  484s |      23 |  4129343 |  3307438 |      798   9497 |        0 |        0
486.84/487.01	c  486s |      23 |  4147516 |  3321538 |      798   9530 |        0 |        0
488.83/489.01	c  488s |      23 |  4167040 |  3335838 |      798   9564 |        0 |        0
490.83/491.01	c  490s |      23 |  4185330 |  3350038 |      798   9597 |        0 |        0
492.83/493.02	c  492s |      23 |  4203587 |  3364238 |      878   9628 |        0 |        0
494.63/494.89	c  494s |      24 |  4219537 |  3376662 |      878   9655 |        0 |        0
496.73/496.90	c  496s |      24 |  4236465 |  3389862 |      878   9683 |        0 |        0
498.73/498.90	c  498s |      24 |  4253977 |  3403462 |      878   9712 |        0 |        0
500.73/500.92	c  500s |      24 |  4271542 |  3417262 |      878   9742 |        0 |        0
502.73/502.92	c  502s |      24 |  4287633 |  3430462 |      878   9770 |        0 |        0
504.73/504.93	c  504s |      24 |  4302880 |  3443162 |      878   9797 |        0 |        0
506.73/506.93	c  506s |      24 |  4319036 |  3456562 |      878   9826 |        0 |        0
508.73/508.95	c  508s |      24 |  4335964 |  3469962 |      878   9854 |        0 |        0
510.72/510.95	c  510s |      24 |  4352038 |  3483162 |      878   9883 |        0 |        0
512.72/512.96	c  512s |      24 |  4368022 |  3496162 |      878   9911 |        0 |        0
514.73/514.97	c  514s |      24 |  4384775 |  3509762 |      878   9940 |        0 |        0
516.72/516.97	c  516s |      24 |  4401492 |  3523362 |      878   9970 |        0 |        0
518.72/518.98	c  518s |      24 |  4418249 |  3536962 |      878   9999 |        0 |        0
520.72/520.98	c  520s |      24 |  4434564 |  3550562 |      878  10028 |        0 |        0
522.72/522.99	c  522s |      24 |  4451832 |  3564162 |      878  10057 |        0 |        0
524.82/525.00	c  524s |      24 |  4468514 |  3577762 |      878  10087 |        0 |        0
526.72/527.00	c  526s |      24 |  4485002 |  3591362 |      878  10116 |        0 |        0
528.81/529.01	c  528s |      24 |  4500784 |  3604562 |      878  10144 |        0 |        0
530.81/531.03	c  531s |      24 |  4516777 |  3617662 |      878  10172 |        0 |        0
532.81/533.04	c  533s |      24 |  4532688 |  3630862 |      878  10201 |        0 |        0
534.81/535.04	c  535s |      24 |  4549387 |  3644262 |      878  10229 |        0 |        0
536.81/537.05	c  537s |      24 |  4565047 |  3657162 |      878  10257 |        0 |        0
538.81/539.05	c  539s |      24 |  4581598 |  3670662 |      878  10286 |        0 |        0
540.81/541.06	c  541s |      24 |  4598732 |  3684462 |      878  10315 |        0 |        0
542.80/543.06	c  543s |      24 |  4616271 |  3698062 |      878  10344 |        0 |        0
544.80/545.07	c  545s |      24 |  4632856 |  3711162 |      878  10373 |        0 |        0
546.80/547.08	c  547s |      24 |  4650126 |  3724562 |      878  10401 |        0 |        0
548.81/549.09	c  549s |      24 |  4666685 |  3737662 |      878  10430 |        0 |        0
550.91/551.11	c  551s |      24 |  4682625 |  3750562 |      878  10457 |        0 |        0
552.91/553.11	c  553s |      24 |  4698621 |  3763362 |      878  10485 |        0 |        0
554.91/555.12	c  555s |      24 |  4715282 |  3776262 |      878  10513 |        0 |        0
556.90/557.13	c  557s |      24 |  4732829 |  3789562 |      878  10541 |        0 |        0
558.90/559.13	c  559s |      24 |  4749924 |  3803062 |      878  10570 |        0 |        0
560.91/561.14	c  561s |      24 |  4767124 |  3816562 |      878  10599 |        0 |        0
562.90/563.14	c  563s |      24 |  4782233 |  3829262 |      878  10627 |        0 |        0
564.90/565.14	c  565s |      24 |  4799276 |  3842862 |      878  10656 |        0 |        0
566.90/567.16	c  567s |      24 |  4815007 |  3855762 |      878  10684 |        0 |        0
568.90/569.17	c  569s |      24 |  4831775 |  3869262 |      878  10713 |        0 |        0
570.90/571.18	c  571s |      24 |  4848146 |  3882362 |      878  10741 |        0 |        0
572.90/573.18	c  573s |      24 |  4864851 |  3895762 |      878  10770 |        0 |        0
574.89/575.19	c  575s |      24 |  4881410 |  3908862 |      878  10798 |        0 |        0
576.89/577.19	c  577s |      24 |  4897996 |  3921662 |      878  10826 |        0 |        0
578.99/579.20	c  579s |      24 |  4914871 |  3935362 |      878  10855 |        0 |        0
580.99/581.21	c  581s |      24 |  4931857 |  3948962 |      878  10884 |        0 |        0
582.99/583.22	c  583s |      24 |  4948546 |  3962362 |      878  10913 |        0 |        0
585.00/585.22	c  585s |      24 |  4963999 |  3975162 |      878  10941 |        0 |        0
586.98/587.22	c  587s |      24 |  4977947 |  3987362 |      878  10967 |        0 |        0
588.98/589.22	c  589s |      24 |  4991657 |  3999262 |      878  10992 |        0 |        0
590.98/591.24	c  591s |      24 |  5004948 |  4010962 |      878  11017 |        0 |        0
592.98/593.24	c  593s |      24 |  5018508 |  4022862 |      878  11042 |        0 |        0
594.99/595.25	c  595s |      24 |  5032258 |  4034862 |      878  11067 |        0 |        0
596.98/597.25	c  597s |      24 |  5045591 |  4046462 |      878  11092 |        0 |        0
598.98/599.26	c  599s |      24 |  5060205 |  4059062 |      878  11119 |        0 |        0
600.98/601.27	c  601s |      24 |  5074023 |  4070962 |      878  11144 |        0 |        0
602.98/603.27	c  603s |      24 |  5089672 |  4083662 |      878  11172 |        0 |        0
604.98/605.28	c  605s |      24 |  5106796 |  4097362 |      878  11201 |        0 |        0
606.98/607.28	c  607s |      24 |  5124537 |  4111262 |      878  11231 |        0 |        0
608.97/609.29	c  609s |      24 |  5141416 |  4124862 |      878  11261 |        0 |        0
611.07/611.30	c  611s |      24 |  5158043 |  4138262 |      878  11290 |        0 |        0
613.07/613.31	c  613s |      24 |  5175128 |  4151762 |      878  11319 |        0 |        0
615.07/615.33	c  615s |      24 |  5193741 |  4165962 |      878  11349 |        0 |        0
617.07/617.34	c  617s |      24 |  5211505 |  4179662 |      878  11379 |        0 |        0
619.07/619.35	c  619s |      24 |  5228696 |  4193162 |      878  11408 |        0 |        0
621.07/621.36	c  621s |      24 |  5246536 |  4206962 |      878  11438 |        0 |        0
623.07/623.36	c  623s |      24 |  5263750 |  4220562 |      878  11467 |        0 |        0
625.07/625.37	c  625s |      24 |  5281255 |  4234362 |      878  11497 |        0 |        0
627.06/627.37	c  627s |      24 |  5299562 |  4248562 |      878  11527 |        0 |        0
629.07/629.38	c  629s |      24 |  5316889 |  4262162 |      878  11557 |        0 |        0
631.06/631.39	c  631s |      24 |  5334403 |  4275962 |      878  11586 |        0 |        0
633.06/633.39	c  633s |      24 |  5352566 |  4289962 |      878  11617 |        0 |        0
635.16/635.40	c  635s |      24 |  5368207 |  4303062 |      878  11645 |        0 |        0
637.15/637.40	c  637s |      24 |  5383888 |  4316162 |      878  11673 |        0 |        0
639.15/639.41	c  639s |      24 |  5399360 |  4329162 |      878  11701 |        0 |        0
641.16/641.42	c  641s |      24 |  5415773 |  4342662 |      878  11730 |        0 |        0
643.15/643.43	c  643s |      24 |  5432016 |  4356062 |      878  11759 |        0 |        0
645.15/645.44	c  645s |      24 |  5446962 |  4368662 |      878  11787 |        0 |        0
647.15/647.45	c  647s |      24 |  5462456 |  4381562 |      878  11815 |        0 |        0
649.15/649.46	c  649s |      24 |  5479122 |  4395162 |      878  11844 |        0 |        0
651.15/651.48	c  651s |      24 |  5494453 |  4408162 |      878  11872 |        0 |        0
653.15/653.49	c  653s |      24 |  5511260 |  4421762 |      878  11901 |        0 |        0
655.25/655.51	c  655s |      24 |  5527902 |  4435262 |      878  11930 |        0 |        0
657.25/657.52	c  657s |      24 |  5544430 |  4448662 |      878  11958 |        0 |        0
659.25/659.53	c  659s |      24 |  5559810 |  4461662 |      878  11986 |        0 |        0
661.25/661.53	c  661s |      24 |  5575628 |  4474762 |      878  12014 |        0 |        0
663.25/663.54	c  663s |      24 |  5590385 |  4487262 |      878  12041 |        0 |        0
665.26/665.55	c  665s |      24 |  5605919 |  4500362 |      878  12069 |        0 |        0
667.24/667.55	c  667s |      24 |  5621380 |  4513162 |      878  12096 |        0 |        0
669.24/669.56	c  669s |      24 |  5636590 |  4525862 |      878  12123 |        0 |        0
671.24/671.58	c  671s |      24 |  5652925 |  4538862 |      878  12151 |        0 |        0
673.24/673.58	c  673s |      24 |  5668872 |  4551862 |      878  12179 |        0 |        0
675.25/675.59	c  675s |      24 |  5685029 |  4565162 |      878  12208 |        0 |        0
677.24/677.60	c  677s |      24 |  5699361 |  4577362 |      878  12234 |        0 |        0
679.34/679.60	c  679s |      24 |  5714371 |  4589562 |      878  12260 |        0 |        0
681.34/681.61	c  681s |      24 |  5731713 |  4603062 |      878  12289 |        0 |        0
683.34/683.63	c  683s |      24 |  5747367 |  4616162 |      878  12317 |        0 |        0
685.34/685.63	c  685s |      24 |  5763594 |  4629262 |      878  12346 |        0 |        0
687.34/687.65	c  687s |      24 |  5778167 |  4641562 |      878  12372 |        0 |        0
689.33/689.65	c  689s |      24 |  5793665 |  4654562 |      878  12401 |        0 |        0
691.33/691.65	c  691s |      24 |  5809859 |  4667862 |      878  12429 |        0 |        0
693.33/693.66	c  693s |      24 |  5825985 |  4681162 |      878  12458 |        0 |        0
695.33/695.67	c  695s |      24 |  5842390 |  4694562 |      878  12486 |        0 |        0
697.32/697.68	c  697s |      24 |  5856674 |  4706962 |      878  12513 |        0 |        0
699.33/699.68	c  699s |      24 |  5872441 |  4719862 |      878  12540 |        0 |        0
701.32/701.69	c  701s |      24 |  5889966 |  4733462 |      878  12569 |        0 |        0
703.32/703.69	c  703s |      24 |  5907595 |  4747062 |      878  12599 |        0 |        0
705.42/705.70	c  705s |      24 |  5925745 |  4760762 |      878  12628 |        0 |        0
707.42/707.70	c  707s |      24 |  5942753 |  4774162 |      878  12657 |        0 |        0
709.42/709.71	c  709s |      24 |  5959070 |  4787162 |      878  12685 |        0 |        0
711.42/711.71	c  711s |      24 |  5976277 |  4800762 |      878  12714 |        0 |        0
713.42/713.72	c  713s |      24 |  5993897 |  4814662 |      878  12744 |        0 |        0
715.42/715.72	c  715s |      24 |  6011521 |  4828462 |      878  12774 |        0 |        0
717.41/717.73	c  717s |      24 |  6026532 |  4841362 |      878  12801 |        0 |        0
719.41/719.74	c  719s |      24 |  6040973 |  4853762 |      878  12828 |        0 |        0
721.42/721.75	c  721s |      24 |  6057278 |  4866962 |      878  12856 |        0 |        0
723.41/723.76	c  723s |      24 |  6072284 |  4879662 |      878  12883 |        0 |        0
725.41/725.78	c  725s |      24 |  6087911 |  4892662 |      878  12910 |        0 |        0
727.40/727.79	c  727s |      24 |  6102745 |  4905262 |      878  12937 |        0 |        0
729.40/729.79	c  729s |      24 |  6118459 |  4918162 |      878  12965 |        0 |        0
731.50/731.80	c  731s |      24 |  6134837 |  4931262 |      878  12993 |        0 |        0
733.52/733.81	c  733s |      24 |  6149560 |  4943662 |      878  13019 |        0 |        0
735.51/735.81	c  735s |      24 |  6162530 |  4955062 |      878  13043 |        0 |        0
737.51/737.82	c  737s |      24 |  6176950 |  4967162 |      878  13069 |        0 |        0
739.51/739.82	c  739s |      24 |  6191657 |  4979462 |      878  13095 |        0 |        0
741.51/741.83	c  741s |      24 |  6205794 |  4991562 |      878  13122 |        0 |        0
743.51/743.84	c  743s |      24 |  6220795 |  5004262 |      878  13149 |        0 |        0
745.51/745.85	c  745s |      24 |  6237200 |  5017462 |      878  13177 |        0 |        0
747.50/747.85	c  747s |      24 |  6252167 |  5029962 |      966  13204 |        0 |        0
749.50/749.86	c  749s |      24 |  6268230 |  5042762 |      966  13229 |        0 |        0
751.50/751.87	c  751s |      24 |  6285494 |  5055762 |      966  13255 |        0 |        0
753.00/753.31	c  753s |      25 |  6297159 |  5065098 |      966  13273 |        0 |        0
755.00/755.32	c  755s |      25 |  6311430 |  5077398 |      966  13297 |        0 |        0
756.99/757.33	c  757s |      25 |  6326194 |  5090098 |      966  13322 |        0 |        0
758.99/759.35	c  759s |      25 |  6342394 |  5103598 |      966  13348 |        0 |        0
761.00/761.36	c  761s |      25 |  6358542 |  5117098 |      966  13375 |        0 |        0
762.99/763.37	c  763s |      25 |  6373648 |  5130198 |      966  13401 |        0 |        0
764.99/765.37	c  765s |      25 |  6389498 |  5143498 |      966  13426 |        0 |        0
766.99/767.38	c  767s |      25 |  6404995 |  5156498 |      966  13451 |        0 |        0
768.98/769.38	c  769s |      25 |  6420315 |  5169498 |      966  13476 |        0 |        0
770.98/771.39	c  771s |      25 |  6436004 |  5182898 |      966  13502 |        0 |        0
772.99/773.40	c  773s |      25 |  6451931 |  5196398 |      966  13529 |        0 |        0
775.08/775.40	c  775s |      25 |  6468337 |  5209998 |      966  13555 |        0 |        0
777.08/777.42	c  777s |      25 |  6484811 |  5223698 |      966  13582 |        0 |        0
779.08/779.43	c  779s |      25 |  6500565 |  5236998 |      966  13608 |        0 |        0
781.08/781.44	c  781s |      25 |  6515659 |  5249898 |      966  13633 |        0 |        0
783.09/783.44	c  783s |      25 |  6532133 |  5263298 |      966  13659 |        0 |        0
785.09/785.45	c  785s |      25 |  6548189 |  5276398 |      966  13684 |        0 |        0
787.08/787.46	c  787s |      25 |  6563261 |  5289098 |      966  13709 |        0 |        0
789.08/789.46	c  789s |      25 |  6578817 |  5301998 |      966  13734 |        0 |        0
791.08/791.48	c  791s |      25 |  6594715 |  5315098 |      966  13760 |        0 |        0
793.08/793.48	c  793s |      25 |  6611191 |  5328598 |      966  13786 |        0 |        0
795.08/795.49	c  795s |      25 |  6627576 |  5342198 |      966  13812 |        0 |        0
797.07/797.49	c  797s |      25 |  6643607 |  5355698 |      966  13839 |        0 |        0
799.17/799.50	c  799s |      25 |  6660821 |  5369798 |      966  13866 |        0 |        0
801.17/801.51	c  801s |      25 |  6678003 |  5383798 |      966  13894 |        0 |        0
803.17/803.53	c  803s |      25 |  6694452 |  5397398 |      966  13920 |        0 |        0
805.17/805.53	c  805s |      25 |  6710474 |  5410598 |      966  13946 |        0 |        0
807.17/807.55	c  807s |      25 |  6727333 |  5424398 |      966  13973 |        0 |        0
809.16/809.56	c  809s |      25 |  6743858 |  5437998 |      966  14000 |        0 |        0
811.16/811.57	c  811s |      25 |  6759541 |  5450998 |      966  14025 |        0 |        0
813.16/813.58	c  813s |      25 |  6775709 |  5464298 |      966  14051 |        0 |        0
815.16/815.59	c  815s |      25 |  6792372 |  5477898 |      966  14078 |        0 |        0
817.16/817.59	c  817s |      25 |  6809819 |  5491998 |      966  14105 |        0 |        0
819.17/819.60	c  819s |      25 |  6826063 |  5505598 |      966  14132 |        0 |        0
821.26/821.60	c  821s |      25 |  6843341 |  5519398 |      966  14159 |        0 |        0
823.26/823.61	c  823s |      25 |  6860934 |  5532998 |      966  14186 |        0 |        0
825.26/825.61	c  825s |      25 |  6877460 |  5546398 |      966  14212 |        0 |        0
827.26/827.61	c  827s |      25 |  6892959 |  5558998 |      966  14236 |        0 |        0
829.26/829.62	c  829s |      25 |  6909448 |  5572198 |      966  14262 |        0 |        0
831.27/831.63	c  831s |      25 |  6926414 |  5585398 |      966  14288 |        0 |        0
833.26/833.63	c  833s |      25 |  6941557 |  5597898 |      966  14312 |        0 |        0
835.26/835.64	c  835s |      25 |  6957567 |  5611198 |      966  14339 |        0 |        0
837.26/837.64	c  837s |      25 |  6973475 |  5624198 |      966  14364 |        0 |        0
839.26/839.66	c  839s |      25 |  6990188 |  5637198 |      966  14390 |        0 |        0
841.26/841.67	c  841s |      25 |  7006254 |  5649898 |      966  14415 |        0 |        0
843.26/843.67	c  843s |      25 |  7021730 |  5662498 |      966  14440 |        0 |        0
845.26/845.68	c  845s |      25 |  7037170 |  5675198 |      966  14465 |        0 |        0
847.25/847.69	c  847s |      25 |  7052257 |  5687698 |      966  14489 |        0 |        0
849.25/849.69	c  849s |      25 |  7067615 |  5700198 |      966  14514 |        0 |        0
851.35/851.70	c  851s |      25 |  7083347 |  5712598 |      966  14538 |        0 |        0
853.36/853.70	c  853s |      25 |  7099655 |  5725398 |      966  14563 |        0 |        0
855.35/855.71	c  855s |      25 |  7114610 |  5737798 |      966  14588 |        0 |        0
857.35/857.73	c  857s |      25 |  7129797 |  5750498 |      966  14613 |        0 |        0
859.35/859.74	c  859s |      25 |  7147089 |  5763998 |      966  14639 |        0 |        0
861.35/861.75	c  861s |      25 |  7163297 |  5776998 |      966  14664 |        0 |        0
863.35/863.77	c  863s |      25 |  7178354 |  5789598 |      966  14689 |        0 |        0
865.35/865.77	c  865s |      25 |  7194879 |  5803098 |      966  14716 |        0 |        0
867.34/867.78	c  867s |      25 |  7211527 |  5816598 |      966  14742 |        0 |        0
869.34/869.79	c  869s |      25 |  7226981 |  5829798 |      966  14768 |        0 |        0
871.34/871.79	c  871s |      25 |  7240999 |  5842098 |      966  14792 |        0 |        0
873.44/873.80	c  873s |      25 |  7256110 |  5854998 |      966  14817 |        0 |        0
875.44/875.81	c  875s |      25 |  7271988 |  5868198 |      966  14843 |        0 |        0
877.44/877.82	c  877s |      25 |  7287343 |  5881298 |      966  14868 |        0 |        0
879.43/879.83	c  879s |      25 |  7304039 |  5894898 |      966  14895 |        0 |        0
881.43/881.84	c  881s |      25 |  7320199 |  5908098 |      966  14921 |        0 |        0
883.43/883.86	c  883s |      25 |  7337116 |  5921698 |      966  14948 |        0 |        0
885.43/885.87	c  885s |      25 |  7354939 |  5935598 |      966  14975 |        0 |        0
887.44/887.87	c  887s |      25 |  7370620 |  5948898 |      966  15000 |        0 |        0
889.43/889.89	c  889s |      25 |  7384563 |  5961098 |      966  15024 |        0 |        0
891.53/891.90	c  891s |      25 |  7398466 |  5973298 |      966  15048 |        0 |        0
893.53/893.90	c  893s |      25 |  7412950 |  5985798 |      966  15072 |        0 |        0
895.53/895.92	c  895s |      25 |  7427272 |  5998198 |      966  15096 |        0 |        0
897.52/897.92	c  897s |      25 |  7441721 |  6010598 |      966  15121 |        0 |        0
899.53/899.92	c  899s |      25 |  7457835 |  6023898 |      966  15147 |        0 |        0
901.52/901.93	c  901s |      25 |  7473233 |  6036798 |      966  15173 |        0 |        0
903.52/903.94	c  903s |      25 |  7489235 |  6049898 |      966  15199 |        0 |        0
905.52/905.94	c  905s |      25 |  7504678 |  6062898 |      966  15224 |        0 |        0
907.52/907.95	c  907s |      25 |  7519513 |  6075598 |      966  15249 |        0 |        0
909.53/909.97	c  909s |      25 |  7534068 |  6088298 |      966  15275 |        0 |        0
911.54/911.97	c  911s |      25 |  7549944 |  6101498 |      966  15300 |        0 |        0
913.53/913.98	c  913s |      25 |  7566542 |  6114698 |      966  15326 |        0 |        0
915.53/915.98	c  915s |      25 |  7581938 |  6127398 |      966  15351 |        0 |        0
917.53/918.00	c  917s |      25 |  7598528 |  6140698 |      966  15377 |        0 |        0
919.63/920.01	c  919s |      25 |  7615957 |  6154098 |      966  15404 |        0 |        0
921.62/922.02	c  921s |      25 |  7632716 |  6167498 |      966  15430 |        0 |        0
923.63/924.03	c  924s |      25 |  7647465 |  6180098 |      966  15454 |        0 |        0
925.62/926.04	c  926s |      25 |  7664506 |  6193698 |      966  15481 |        0 |        0
927.62/928.05	c  928s |      25 |  7681798 |  6207498 |      966  15508 |        0 |        0
929.62/930.06	c  930s |      25 |  7696215 |  6220098 |      966  15533 |        0 |        0
931.62/932.06	c  932s |      25 |  7712279 |  6233298 |      966  15559 |        0 |        0
933.63/934.07	c  934s |      25 |  7729013 |  6246798 |      966  15585 |        0 |        0
935.62/936.07	c  936s |      25 |  7744172 |  6259598 |      966  15610 |        0 |        0
937.62/938.08	c  938s |      25 |  7761158 |  6273398 |      966  15637 |        0 |        0
939.62/940.09	c  940s |      25 |  7778094 |  6286998 |      966  15664 |        0 |        0
941.72/942.10	c  942s |      25 |  7795132 |  6300598 |      966  15690 |        0 |        0
943.72/944.10	c  944s |      25 |  7813072 |  6314598 |      966  15718 |        0 |        0
945.72/946.11	c  946s |      25 |  7829553 |  6327898 |      966  15744 |        0 |        0
947.72/948.11	c  948s |      25 |  7845583 |  6341098 |      966  15770 |        0 |        0
949.72/950.11	c  950s |      25 |  7862818 |  6354898 |      966  15797 |        0 |        0
951.72/952.12	c  952s |      25 |  7879928 |  6368498 |      966  15824 |        0 |        0
953.72/954.13	c  954s |      25 |  7895354 |  6381398 |      966  15849 |        0 |        0
955.71/956.14	c  956s |      25 |  7911324 |  6394498 |      966  15875 |        0 |        0
957.72/958.14	c  958s |      25 |  7927584 |  6407798 |      966  15901 |        0 |        0
959.71/960.14	c  960s |      25 |  7944360 |  6421298 |      966  15928 |        0 |        0
961.71/962.16	c  962s |      25 |  7960472 |  6434598 |      966  15954 |        0 |        0
963.71/964.16	c  964s |      25 |  7975681 |  6447398 |      966  15979 |        0 |        0
965.71/966.16	c  966s |      25 |  7990751 |  6459998 |      966  16004 |        0 |        0
967.72/968.16	c  968s |      25 |  8006986 |  6473098 |      966  16029 |        0 |        0
969.72/970.18	c  970s |      25 |  8022503 |  6485998 |      966  16055 |        0 |        0
971.72/972.19	c  972s |      25 |  8038393 |  6499098 |      966  16081 |        0 |        0
973.82/974.20	c  974s |      25 |  8053229 |  6511798 |      966  16106 |        0 |        0
975.82/976.21	c  976s |      25 |  8068935 |  6524898 |      966  16132 |        0 |        0
977.82/978.22	c  978s |      25 |  8085336 |  6538298 |      966  16158 |        0 |        0
979.82/980.22	c  980s |      25 |  8100738 |  6551298 |      966  16184 |        0 |        0
981.82/982.22	c  982s |      25 |  8116761 |  6564298 |      966  16210 |        0 |        0
983.82/984.23	c  984s |      25 |  8133740 |  6577798 |      966  16237 |        0 |        0
985.82/986.24	c  986s |      25 |  8149894 |  6590898 |      966  16263 |        0 |        0
987.82/988.25	c  988s |      25 |  8165855 |  6603998 |      966  16289 |        0 |        0
989.81/990.27	c  990s |      25 |  8180728 |  6616598 |      966  16314 |        0 |        0
991.82/992.28	c  992s |      25 |  8195085 |  6628798 |      966  16338 |        0 |        0
993.81/994.29	c  994s |      25 |  8209955 |  6641098 |      966  16362 |        0 |        0
995.91/996.30	c  996s |      25 |  8224928 |  6653398 |      966  16386 |        0 |        0
997.91/998.31	c  998s |      25 |  8241076 |  6666298 |      966  16412 |        0 |        0
999.91/1000.33	c 1000s |      25 |  8256350 |  6678998 |      966  16436 |        0 |        0
1001.91/1002.34	c 1002s |      25 |  8271212 |  6691598 |      966  16461 |        0 |        0
1003.92/1004.34	c 1004s |      25 |  8285849 |  6703698 |      966  16485 |        0 |        0
1005.91/1006.34	c 1006s |      25 |  8299549 |  6715598 |      966  16508 |        0 |        0
1007.91/1008.34	c 1008s |      25 |  8313111 |  6727598 |      966  16532 |        0 |        0
1009.91/1010.35	c 1010s |      25 |  8326147 |  6739098 |      966  16554 |        0 |        0
1011.91/1012.35	c 1012s |      25 |  8339830 |  6751298 |      966  16578 |        0 |        0
1013.91/1014.36	c 1014s |      25 |  8353739 |  6763198 |      966  16601 |        0 |        0
1015.91/1016.36	c 1016s |      25 |  8368169 |  6775798 |      966  16626 |        0 |        0
1017.91/1018.37	c 1018s |      25 |  8382071 |  6787698 |      966  16649 |        0 |        0
1019.91/1020.38	c 1020s |      25 |  8397371 |  6800398 |      966  16674 |        0 |        0
1021.90/1022.39	c 1022s |      25 |  8412265 |  6812798 |      966  16699 |        0 |        0
1024.00/1024.41	c 1024s |      25 |  8427075 |  6825498 |      966  16724 |        0 |        0
1026.01/1026.42	c 1026s |      25 |  8441719 |  6838198 |      966  16749 |        0 |        0
1028.00/1028.43	c 1028s |      25 |  8456374 |  6850798 |      966  16773 |        0 |        0
1030.00/1030.44	c 1030s |      25 |  8470598 |  6862998 |      966  16797 |        0 |        0
1032.00/1032.45	c 1032s |      25 |  8484931 |  6875198 |      966  16821 |        0 |        0
1034.00/1034.46	c 1034s |      25 |  8500329 |  6887798 |      966  16846 |        0 |        0
1036.00/1036.47	c 1036s |      25 |  8517957 |  6901398 |      966  16873 |        0 |        0
1038.01/1038.49	c 1038s |      25 |  8534454 |  6914598 |      966  16898 |        0 |        0
1040.00/1040.49	c 1040s |      25 |  8549543 |  6926898 |      966  16923 |        0 |        0
1042.00/1042.50	c 1042s |      25 |  8566121 |  6939998 |      966  16948 |        0 |        0
1044.10/1044.50	c 1044s |      25 |  8582070 |  6952798 |      966  16973 |        0 |        0
1046.10/1046.51	c 1046s |      25 |  8598316 |  6966098 |      966  17000 |        0 |        0
1048.10/1048.52	c 1048s |      25 |  8614188 |  6979098 |      966  17025 |        0 |        0
1050.11/1050.52	c 1050s |      25 |  8629810 |  6991898 |      966  17050 |        0 |        0
1052.10/1052.54	c 1052s |      25 |  8644025 |  7003698 |      966  17073 |        0 |        0
1054.11/1054.55	c 1054s |      25 |  8658675 |  7015698 |      966  17097 |        0 |        0
1056.11/1056.57	c 1056s |      25 |  8675269 |  7029098 |      966  17123 |        0 |        0
1058.11/1058.57	c 1058s |      25 |  8691120 |  7041898 |      966  17149 |        0 |        0
1060.11/1060.58	c 1060s |      25 |  8707697 |  7054998 |      966  17174 |        0 |        0
1062.10/1062.59	c 1062s |      25 |  8723601 |  7067798 |      966  17200 |        0 |        0
1064.10/1064.59	c 1064s |      25 |  8737543 |  7079698 |      966  17223 |        0 |        0
1066.20/1066.60	c 1066s |      25 |  8752447 |  7092098 |      966  17247 |        0 |        0
1068.20/1068.61	c 1068s |      25 |  8767140 |  7104598 |      966  17272 |        0 |        0
1070.20/1070.62	c 1070s |      25 |  8781836 |  7116898 |      966  17296 |        0 |        0
1072.21/1072.63	c 1072s |      25 |  8797813 |  7129898 |      966  17322 |        0 |        0
1074.20/1074.64	c 1074s |      25 |  8812618 |  7142498 |      966  17346 |        0 |        0
1076.20/1076.64	c 1076s |      25 |  8826974 |  7154698 |      966  17370 |        0 |        0
1078.20/1078.65	c 1078s |      25 |  8841827 |  7167198 |      966  17395 |        0 |        0
1080.20/1080.66	c 1080s |      25 |  8856837 |  7179598 |      966  17420 |        0 |        0
1082.20/1082.67	c 1082s |      25 |  8874029 |  7192598 |      966  17445 |        0 |        0
1084.20/1084.68	c 1084s |      25 |  8888698 |  7204698 |      966  17469 |        0 |        0
1086.20/1086.69	c 1086s |      25 |  8903979 |  7217298 |      966  17494 |        0 |        0
1088.30/1088.70	c 1088s |      25 |  8919661 |  7230298 |      966  17519 |        0 |        0
1090.30/1090.71	c 1090s |      25 |  8936312 |  7243498 |      966  17545 |        0 |        0
1092.29/1092.72	c 1092s |      25 |  8950803 |  7255698 |      966  17570 |        0 |        0
1094.29/1094.73	c 1094s |      25 |  8966448 |  7268298 |      966  17594 |        0 |        0
1096.30/1096.75	c 1096s |      25 |  8981751 |  7280998 |      966  17619 |        0 |        0
1098.29/1098.76	c 1098s |      25 |  8998063 |  7294198 |      966  17645 |        0 |        0
1100.29/1100.76	c 1100s |      25 |  9012990 |  7306698 |      966  17670 |        0 |        0
1102.29/1102.77	c 1102s |      25 |  9028786 |  7319598 |      966  17695 |        0 |        0
1104.29/1104.78	c 1104s |      25 |  9043015 |  7331898 |      966  17719 |        0 |        0
1106.30/1106.79	c 1106s |      25 |  9058641 |  7344598 |      966  17744 |        0 |        0
1108.29/1108.80	c 1108s |      25 |  9073565 |  7357098 |      966  17769 |        0 |        0
1110.39/1110.81	c 1110s |      25 |  9089782 |  7369998 |      966  17795 |        0 |        0
1112.39/1112.82	c 1112s |      25 |  9104848 |  7382498 |      966  17819 |        0 |        0
1114.40/1114.82	c 1114s |      25 |  9120259 |  7394998 |      966  17844 |        0 |        0
1116.40/1116.84	c 1116s |      25 |  9135331 |  7407598 |      966  17869 |        0 |        0
1118.41/1118.85	c 1118s |      25 |  9150358 |  7419998 |      966  17893 |        0 |        0
1120.40/1120.86	c 1120s |      25 |  9165414 |  7432398 |      966  17918 |        0 |        0
1122.40/1122.87	c 1122s |      25 |  9182072 |  7445698 |      966  17944 |        0 |        0
1124.40/1124.88	c 1124s |      25 |  9197351 |  7458498 |      966  17969 |        0 |        0
1126.39/1126.90	c 1126s |      25 |  9211598 |  7470698 |      966  17993 |        0 |        0
1128.49/1128.91	c 1128s |      25 |  9226913 |  7483498 |      966  18018 |        0 |        0
1130.50/1130.92	c 1130s |      25 |  9241119 |  7495798 |      966  18042 |        0 |        0
1132.49/1132.92	c 1132s |      25 |  9255998 |  7508398 |      966  18067 |        0 |        0
1134.49/1134.93	c 1134s |      25 |  9271565 |  7521198 |      966  18092 |        0 |        0
1136.49/1136.93	c 1136s |      25 |  9285886 |  7533598 |      966  18116 |        0 |        0
1138.49/1138.94	c 1138s |      25 |  9301724 |  7546498 |     1063  18140 |        0 |        0
1140.49/1140.94	c 1140s |      25 |  9317442 |  7559198 |     1063  18163 |        0 |        0
1142.50/1142.94	c 1142s |      25 |  9332853 |  7571698 |     1063  18186 |        0 |        0
1144.49/1144.95	c 1144s |      25 |  9348493 |  7584498 |     1063  18209 |        0 |        0
1146.49/1146.96	c 1146s |      25 |  9362669 |  7596598 |     1063  18230 |        0 |        0
1146.69/1147.14	c 1147s |      26 |  9364100 |  7597752 |     1063  18232 |        0 |        0
1148.69/1149.16	c 1149s |      26 |  9378472 |  7610152 |     1063  18255 |        0 |        0
1150.69/1151.17	c 1151s |      26 |  9393060 |  7622652 |     1063  18277 |        0 |        0
1152.69/1153.18	c 1153s |      26 |  9406262 |  7634352 |     1063  18298 |        0 |        0
1154.69/1155.18	c 1155s |      26 |  9419735 |  7645952 |     1063  18319 |        0 |        0
1156.69/1157.18	c 1157s |      26 |  9432961 |  7657352 |     1063  18339 |        0 |        0
1158.68/1159.19	c 1159s |      26 |  9446262 |  7668652 |     1063  18359 |        0 |        0
1160.78/1161.20	c 1161s |      26 |  9459993 |  7680252 |     1063  18380 |        0 |        0
1162.78/1163.21	c 1163s |      26 |  9473525 |  7691752 |     1063  18401 |        0 |        0
1164.78/1165.23	c 1165s |      26 |  9487613 |  7703752 |     1063  18422 |        0 |        0
1166.79/1167.24	c 1167s |      26 |  9503724 |  7716452 |     1063  18445 |        0 |        0
1168.78/1169.24	c 1169s |      26 |  9519570 |  7729152 |     1063  18467 |        0 |        0
1170.78/1171.25	c 1171s |      26 |  9534941 |  7741552 |     1063  18489 |        0 |        0
1172.78/1173.26	c 1173s |      26 |  9549809 |  7753752 |     1063  18511 |        0 |        0
1174.78/1175.27	c 1175s |      26 |  9564573 |  7766152 |     1063  18533 |        0 |        0
1176.78/1177.28	c 1177s |      26 |  9579852 |  7778652 |     1063  18556 |        0 |        0
1178.79/1179.29	c 1179s |      26 |  9595320 |  7791252 |     1063  18578 |        0 |        0
1180.89/1181.30	c 1181s |      26 |  9610719 |  7803852 |     1063  18601 |        0 |        0
1182.89/1183.32	c 1183s |      26 |  9626435 |  7816252 |     1063  18623 |        0 |        0
1184.89/1185.32	c 1185s |      26 |  9640731 |  7828052 |     1063  18644 |        0 |        0
1186.89/1187.33	c 1187s |      26 |  9656665 |  7840552 |     1063  18666 |        0 |        0
1188.89/1189.34	c 1189s |      26 |  9672835 |  7853052 |     1063  18689 |        0 |        0
1190.89/1191.35	c 1191s |      26 |  9689059 |  7865652 |     1063  18711 |        0 |        0
1192.88/1193.37	c 1193s |      26 |  9703775 |  7877652 |     1063  18733 |        0 |        0
1194.88/1195.38	c 1195s |      26 |  9721065 |  7890652 |     1063  18756 |        0 |        0
1196.88/1197.38	c 1197s |      26 |  9737069 |  7903252 |     1063  18779 |        0 |        0
1198.88/1199.39	c 1199s |      26 |  9752975 |  7915852 |     1063  18801 |        0 |        0
1200.89/1201.39	c 1201s |      26 |  9767611 |  7927852 |     1063  18823 |        0 |        0
1202.88/1203.40	c 1203s |      26 |  9783302 |  7940252 |     1063  18845 |        0 |        0
1204.98/1205.41	c 1205s |      26 |  9798553 |  7952352 |     1063  18867 |        0 |        0
1206.98/1207.41	c 1207s |      26 |  9814091 |  7964752 |     1063  18889 |        0 |        0
1208.98/1209.42	c 1209s |      26 |  9828483 |  7977052 |     1063  18911 |        0 |        0
1210.98/1211.43	c 1211s |      26 |  9843957 |  7989552 |     1063  18933 |        0 |        0
1212.99/1213.43	c 1213s |      26 |  9860806 |  8002352 |     1063  18956 |        0 |        0
1214.98/1215.44	c 1215s |      26 |  9876675 |  8014752 |     1063  18979 |        0 |        0
1216.98/1217.46	c 1217s |      26 |  9891513 |  8026752 |     1063  19000 |        0 |        0
1218.98/1219.47	c 1219s |      26 |  9905441 |  8038252 |     1063  19021 |        0 |        0
1220.98/1221.48	c 1221s |      26 |  9921368 |  8050852 |     1063  19043 |        0 |        0
1222.98/1223.49	c 1223s |      26 |  9934989 |  8062052 |     1063  19063 |        0 |        0
1224.98/1225.50	c 1225s |      26 |  9948197 |  8073152 |     1063  19083 |        0 |        0
1227.08/1227.50	c 1227s |      26 |  9962783 |  8085052 |     1063  19105 |        0 |        0
1229.07/1229.51	c 1229s |      26 |  9978902 |  8097752 |     1063  19127 |        0 |        0
1231.07/1231.51	c 1231s |      26 |  9995325 |  8110352 |     1063  19150 |        0 |        0
1233.07/1233.52	c 1233s |      26 | 10009889 |  8122452 |     1063  19172 |        0 |        0
1235.07/1235.53	c 1235s |      26 | 10024900 |  8134752 |     1063  19194 |        0 |        0
1237.08/1237.54	c 1237s |      26 | 10040467 |  8147052 |     1063  19216 |        0 |        0
1239.07/1239.54	c 1239s |      26 | 10054446 |  8159052 |     1063  19237 |        0 |        0
1241.07/1241.56	c 1241s |      26 | 10068445 |  8171052 |     1063  19259 |        0 |        0
1243.07/1243.57	c 1243s |      26 | 10082437 |  8183052 |     1063  19280 |        0 |        0
1245.07/1245.58	c 1245s |      26 | 10097876 |  8195652 |     1063  19303 |        0 |        0
1247.08/1247.58	c 1247s |      26 | 10113271 |  8207952 |     1063  19325 |        0 |        0
1249.07/1249.58	c 1249s |      26 | 10129377 |  8220552 |     1063  19347 |        0 |        0
1251.07/1251.59	c 1251s |      26 | 10144370 |  8232752 |     1063  19369 |        0 |        0
1253.17/1253.60	c 1253s |      26 | 10159721 |  8245052 |     1063  19391 |        0 |        0
1255.17/1255.61	c 1255s |      26 | 10175713 |  8257752 |     1063  19414 |        0 |        0
1257.18/1257.62	c 1257s |      26 | 10190826 |  8270052 |     1063  19436 |        0 |        0
1259.18/1259.62	c 1259s |      26 | 10205969 |  8282152 |     1063  19458 |        0 |        0
1261.18/1261.63	c 1261s |      26 | 10221648 |  8294552 |     1063  19481 |        0 |        0
1263.18/1263.63	c 1263s |      26 | 10235696 |  8306252 |     1063  19502 |        0 |        0
1265.17/1265.63	c 1265s |      26 | 10250781 |  8318252 |     1063  19523 |        0 |        0
1267.17/1267.65	c 1267s |      26 | 10266301 |  8330552 |     1063  19545 |        0 |        0
1269.17/1269.65	c 1269s |      26 | 10281612 |  8342852 |     1063  19568 |        0 |        0
1271.18/1271.66	c 1271s |      26 | 10296583 |  8355252 |     1063  19590 |        0 |        0
1273.17/1273.66	c 1273s |      26 | 10310725 |  8367652 |     1063  19612 |        0 |        0
1275.17/1275.67	c 1275s |      26 | 10324708 |  8379252 |     1063  19633 |        0 |        0
1277.17/1277.68	c 1277s |      26 | 10338284 |  8390752 |     1063  19654 |        0 |        0
1279.17/1279.69	c 1279s |      26 | 10353500 |  8402952 |     1063  19675 |        0 |        0
1281.27/1281.70	c 1281s |      26 | 10368360 |  8415152 |     1063  19697 |        0 |        0
1283.28/1283.71	c 1283s |      26 | 10385376 |  8428152 |     1063  19721 |        0 |        0
1285.27/1285.72	c 1285s |      26 | 10401195 |  8440652 |     1063  19743 |        0 |        0
1287.27/1287.73	c 1287s |      26 | 10415656 |  8452252 |     1063  19764 |        0 |        0
1289.27/1289.75	c 1289s |      26 | 10429787 |  8463752 |     1063  19784 |        0 |        0
1291.27/1291.75	c 1291s |      26 | 10444057 |  8475352 |     1063  19805 |        0 |        0
1293.27/1293.75	c 1293s |      26 | 10458954 |  8487152 |     1063  19827 |        0 |        0
1295.27/1295.76	c 1295s |      26 | 10474467 |  8499252 |     1063  19848 |        0 |        0
1297.27/1297.77	c 1297s |      26 | 10491221 |  8512152 |     1063  19871 |        0 |        0
1299.27/1299.78	c 1299s |      26 | 10508897 |  8525752 |     1063  19896 |        0 |        0
1301.27/1301.78	c 1301s |      26 | 10525501 |  8538552 |     1063  19919 |        0 |        0
1303.27/1303.79	c 1303s |      26 | 10541725 |  8551152 |     1063  19942 |        0 |        0
1305.27/1305.80	c 1305s |      26 | 10558120 |  8564052 |     1063  19965 |        0 |        0
1307.37/1307.81	c 1307s |      26 | 10573871 |  8576652 |     1063  19987 |        0 |        0
1309.37/1309.82	c 1309s |      26 | 10590405 |  8589552 |     1063  20010 |        0 |        0
1311.36/1311.82	c 1311s |      26 | 10605683 |  8601952 |     1063  20033 |        0 |        0
1313.36/1313.83	c 1313s |      26 | 10623946 |  8615452 |     1063  20057 |        0 |        0
1315.36/1315.84	c 1315s |      26 | 10641799 |  8628652 |     1063  20081 |        0 |        0
1317.37/1317.84	c 1317s |      26 | 10660258 |  8642252 |     1063  20105 |        0 |        0
1319.36/1319.84	c 1319s |      26 | 10677248 |  8655352 |     1063  20128 |        0 |        0
1321.36/1321.84	c 1321s |      26 | 10693184 |  8668052 |     1063  20151 |        0 |        0
1323.36/1323.85	c 1323s |      26 | 10709762 |  8680852 |     1063  20174 |        0 |        0
1325.36/1325.85	c 1325s |      26 | 10726277 |  8693552 |     1063  20197 |        0 |        0
1327.37/1327.86	c 1327s |      26 | 10743744 |  8706652 |     1063  20221 |        0 |        0
1329.36/1329.87	c 1329s |      26 | 10760605 |  8719952 |     1063  20245 |        0 |        0
1331.36/1331.89	c 1331s |      26 | 10778006 |  8733652 |     1063  20269 |        0 |        0
1333.46/1333.90	c 1333s |      26 | 10794463 |  8746752 |     1063  20293 |        0 |        0
1335.46/1335.92	c 1335s |      26 | 10810786 |  8759852 |     1063  20317 |        0 |        0
1337.46/1337.93	c 1337s |      26 | 10826529 |  8772452 |     1063  20339 |        0 |        0
1339.46/1339.94	c 1339s |      26 | 10843978 |  8785752 |     1063  20363 |        0 |        0
1341.46/1341.94	c 1341s |      26 | 10860900 |  8798952 |     1063  20387 |        0 |        0
1343.46/1343.95	c 1343s |      26 | 10876552 |  8811652 |     1063  20410 |        0 |        0
1345.46/1345.95	c 1345s |      26 | 10891694 |  8824152 |     1063  20432 |        0 |        0
1347.46/1347.96	c 1347s |      26 | 10909212 |  8837752 |     1063  20456 |        0 |        0
1349.46/1349.97	c 1349s |      26 | 10925592 |  8850752 |     1063  20480 |        0 |        0
1351.47/1351.98	c 1351s |      26 | 10942194 |  8863952 |     1063  20504 |        0 |        0
1353.46/1353.98	c 1353s |      26 | 10958443 |  8876952 |     1063  20527 |        0 |        0
1355.46/1355.98	c 1355s |      26 | 10974587 |  8889752 |     1063  20550 |        0 |        0
1357.46/1357.99	c 1357s |      26 | 10989799 |  8902252 |     1063  20573 |        0 |        0
1359.56/1360.00	c 1359s |      26 | 11004169 |  8914452 |     1063  20595 |        0 |        0
1361.56/1362.01	c 1361s |      26 | 11018373 |  8926652 |     1063  20618 |        0 |        0
1363.57/1364.02	c 1363s |      26 | 11031922 |  8938352 |     1063  20639 |        0 |        0
1365.56/1366.03	c 1366s |      26 | 11047768 |  8951152 |     1063  20662 |        0 |        0
1367.56/1368.04	c 1368s |      26 | 11063208 |  8963852 |     1063  20685 |        0 |        0
1369.56/1370.05	c 1370s |      26 | 11078796 |  8976452 |     1063  20708 |        0 |        0
1371.56/1372.06	c 1372s |      26 | 11093962 |  8989152 |     1063  20730 |        0 |        0
1373.56/1374.07	c 1374s |      26 | 11108795 |  9001552 |     1063  20753 |        0 |        0
1375.55/1376.08	c 1376s |      26 | 11125001 |  9014552 |     1063  20776 |        0 |        0
1377.55/1378.08	c 1378s |      26 | 11140877 |  9027252 |     1063  20799 |        0 |        0
1379.55/1380.09	c 1380s |      26 | 11155397 |  9039552 |     1063  20821 |        0 |        0
1381.65/1382.11	c 1382s |      26 | 11169552 |  9051552 |     1063  20843 |        0 |        0
1383.65/1384.12	c 1384s |      26 | 11183657 |  9063352 |     1063  20864 |        0 |        0
1385.66/1386.14	c 1386s |      26 | 11198823 |  9075852 |     1063  20887 |        0 |        0
1387.66/1388.14	c 1388s |      26 | 11213536 |  9088152 |     1063  20909 |        0 |        0
1389.66/1390.15	c 1390s |      26 | 11227575 |  9099952 |     1063  20930 |        0 |        0
1391.66/1392.16	c 1392s |      26 | 11242268 |  9112152 |     1063  20952 |        0 |        0
1393.66/1394.17	c 1394s |      26 | 11257536 |  9124752 |     1063  20975 |        0 |        0
1395.66/1396.18	c 1396s |      26 | 11272816 |  9137152 |     1063  20997 |        0 |        0
1397.66/1398.19	c 1398s |      26 | 11287627 |  9149652 |     1063  21020 |        0 |        0
1399.66/1400.19	c 1400s |      26 | 11304600 |  9162852 |     1063  21044 |        0 |        0
1401.75/1402.20	c 1402s |      26 | 11320176 |  9175352 |     1063  21067 |        0 |        0
1403.75/1404.22	c 1404s |      26 | 11335066 |  9187552 |     1063  21089 |        0 |        0
1405.75/1406.23	c 1406s |      26 | 11350573 |  9199952 |     1063  21111 |        0 |        0
1407.75/1408.24	c 1408s |      26 | 11364648 |  9211552 |     1063  21132 |        0 |        0
1409.76/1410.24	c 1410s |      26 | 11378729 |  9223452 |     1063  21153 |        0 |        0
1411.75/1412.25	c 1412s |      26 | 11392953 |  9235252 |     1063  21175 |        0 |        0
1413.75/1414.25	c 1414s |      26 | 11406650 |  9246952 |     1063  21196 |        0 |        0
1415.75/1416.26	c 1416s |      26 | 11420877 |  9258852 |     1063  21217 |        0 |        0
1417.75/1418.26	c 1418s |      26 | 11437476 |  9271752 |     1063  21241 |        0 |        0
1419.76/1420.27	c 1420s |      26 | 11453464 |  9284452 |     1063  21263 |        0 |        0
1421.75/1422.27	c 1422s |      26 | 11470188 |  9297352 |     1063  21287 |        0 |        0
1423.75/1424.28	c 1424s |      26 | 11485148 |  9309452 |     1063  21309 |        0 |        0
1425.75/1426.29	c 1426s |      26 | 11501007 |  9321952 |     1063  21331 |        0 |        0
1427.75/1428.29	c 1428s |      26 | 11515752 |  9334052 |     1063  21353 |        0 |        0
1429.85/1430.31	c 1430s |      26 | 11530708 |  9346152 |     1063  21375 |        0 |        0
1431.85/1432.32	c 1432s |      26 | 11546780 |  9359052 |     1063  21398 |        0 |        0
1433.84/1434.32	c 1434s |      26 | 11562375 |  9372052 |     1063  21421 |        0 |        0
1435.84/1436.32	c 1436s |      26 | 11579473 |  9385252 |     1063  21445 |        0 |        0
1437.84/1438.33	c 1438s |      26 | 11596762 |  9398552 |     1063  21468 |        0 |        0
1439.84/1440.34	c 1440s |      26 | 11614046 |  9411752 |     1063  21492 |        0 |        0
1441.84/1442.34	c 1442s |      26 | 11630995 |  9424852 |     1063  21516 |        0 |        0
1443.85/1444.35	c 1444s |      26 | 11648415 |  9438252 |     1063  21540 |        0 |        0
1445.84/1446.36	c 1446s |      26 | 11665660 |  9451552 |     1063  21564 |        0 |        0
1447.84/1448.37	c 1448s |      26 | 11683234 |  9464752 |     1063  21588 |        0 |        0
1449.84/1450.38	c 1450s |      26 | 11700746 |  9478152 |     1063  21612 |        0 |        0
1451.84/1452.39	c 1452s |      26 | 11717971 |  9491352 |     1063  21636 |        0 |        0
1453.94/1454.41	c 1454s |      26 | 11735349 |  9504452 |     1063  21659 |        0 |        0
1455.95/1456.41	c 1456s |      26 | 11750874 |  9516752 |     1063  21681 |        0 |        0
1457.94/1458.43	c 1458s |      26 | 11766995 |  9529152 |     1063  21704 |        0 |        0
1459.94/1460.44	c 1460s |      26 | 11783568 |  9541752 |     1063  21726 |        0 |        0
1461.94/1462.44	c 1462s |      26 | 11799586 |  9554252 |     1063  21749 |        0 |        0
1463.94/1464.46	c 1464s |      26 | 11815598 |  9566852 |     1063  21772 |        0 |        0
1465.94/1466.46	c 1466s |      26 | 11831172 |  9579252 |     1063  21794 |        0 |        0
1467.94/1468.47	c 1468s |      26 | 11847013 |  9591952 |     1063  21817 |        0 |        0
1469.94/1470.48	c 1470s |      26 | 11862255 |  9603952 |     1063  21839 |        0 |        0
1472.04/1472.50	c 1472s |      26 | 11877208 |  9615952 |     1063  21860 |        0 |        0
1474.04/1474.51	c 1474s |      26 | 11893239 |  9628452 |     1063  21883 |        0 |        0
1476.04/1476.53	c 1476s |      26 | 11909736 |  9641152 |     1063  21906 |        0 |        0
1478.05/1478.53	c 1478s |      26 | 11925731 |  9653952 |     1063  21929 |        0 |        0
1480.04/1480.54	c 1480s |      26 | 11942025 |  9666552 |     1063  21951 |        0 |        0
1482.04/1482.54	c 1482s |      26 | 11957833 |  9679152 |     1063  21974 |        0 |        0
1484.04/1484.55	c 1484s |      26 | 11973889 |  9691452 |     1063  21996 |        0 |        0
1486.04/1486.55	c 1486s |      26 | 11991460 |  9704452 |     1063  22020 |        0 |        0
1488.04/1488.57	c 1488s |      26 | 12008200 |  9717552 |     1063  22043 |        0 |        0
1490.05/1490.57	c 1490s |      26 | 12023643 |  9729852 |     1063  22065 |        0 |        0
1492.04/1492.58	c 1492s |      26 | 12040161 |  9742852 |     1063  22089 |        0 |        0
1494.04/1494.59	c 1494s |      26 | 12057151 |  9756052 |     1063  22112 |        0 |        0
1496.14/1496.60	c 1496s |      26 | 12073232 |  9768752 |     1063  22135 |        0 |        0
1498.14/1498.61	c 1498s |      26 | 12088807 |  9781152 |     1063  22158 |        0 |        0
1500.14/1500.62	c 1500s |      26 | 12105446 |  9794052 |     1063  22181 |        0 |        0
1502.14/1502.62	c 1502s |      26 | 12124071 |  9807852 |     1063  22206 |        0 |        0
1504.14/1504.64	c 1504s |      26 | 12142092 |  9821552 |     1063  22231 |        0 |        0
1506.14/1506.65	c 1506s |      26 | 12159161 |  9834752 |     1063  22254 |        0 |        0
1508.13/1508.65	c 1508s |      26 | 12176813 |  9848052 |     1063  22278 |        0 |        0
1510.13/1510.66	c 1510s |      26 | 12192192 |  9860452 |     1063  22301 |        0 |        0
1512.14/1512.66	c 1512s |      26 | 12207772 |  9872952 |     1063  22323 |        0 |        0
1514.13/1514.67	c 1514s |      26 | 12223584 |  9885452 |     1063  22346 |        0 |        0
1516.13/1516.68	c 1516s |      26 | 12240171 |  9898252 |     1063  22369 |        0 |        0
1518.13/1518.69	c 1518s |      26 | 12257205 |  9911552 |     1063  22393 |        0 |        0
1520.13/1520.69	c 1520s |      26 | 12274194 |  9924752 |     1063  22417 |        0 |        0
1522.23/1522.70	c 1522s |      26 | 12290999 |  9937452 |     1063  22440 |        0 |        0
1524.24/1524.71	c 1524s |      26 | 12306277 |  9949852 |     1063  22462 |        0 |        0
1526.23/1526.71	c 1526s |      26 | 12322414 |  9962352 |     1063  22485 |        0 |        0
1528.23/1528.72	c 1528s |      26 | 12337672 |  9974852 |     1063  22507 |        0 |        0
1530.23/1530.73	c 1530s |      26 | 12354908 |  9987952 |     1063  22531 |        0 |        0
1532.23/1532.74	c 1532s |      26 | 12371097 | 10000952 |     1063  22554 |        0 |        0
1534.23/1534.74	c 1534s |      26 | 12385910 | 10013252 |     1063  22576 |        0 |        0
1536.23/1536.75	c 1536s |      26 | 12401353 | 10025852 |     1063  22599 |        0 |        0
1538.23/1538.76	c 1538s |      26 | 12416450 | 10037952 |     1063  22621 |        0 |        0
1540.23/1540.77	c 1540s |      26 | 12431233 | 10050252 |     1063  22643 |        0 |        0
1542.23/1542.78	c 1542s |      26 | 12447223 | 10063252 |     1063  22667 |        0 |        0
1544.23/1544.78	c 1544s |      26 | 12462356 | 10075552 |     1063  22689 |        0 |        0
1546.24/1546.79	c 1546s |      26 | 12478228 | 10088352 |     1063  22712 |        0 |        0
1548.23/1548.80	c 1548s |      26 | 12493846 | 10101152 |     1063  22735 |        0 |        0
1550.33/1550.80	c 1550s |      26 | 12509013 | 10113452 |     1063  22757 |        0 |        0
1552.33/1552.81	c 1552s |      26 | 12524962 | 10125652 |     1063  22779 |        0 |        0
1554.33/1554.81	c 1554s |      26 | 12539472 | 10137452 |     1063  22800 |        0 |        0
1556.33/1556.82	c 1556s |      26 | 12555480 | 10149652 |     1063  22822 |        0 |        0
1558.34/1558.83	c 1558s |      26 | 12571574 | 10162452 |     1063  22845 |        0 |        0
1560.33/1560.84	c 1560s |      26 | 12586492 | 10174552 |     1063  22867 |        0 |        0
1562.33/1562.85	c 1562s |      26 | 12601597 | 10186752 |     1063  22889 |        0 |        0
1564.33/1564.85	c 1564s |      26 | 12618024 | 10199652 |     1063  22912 |        0 |        0
1566.33/1566.85	c 1566s |      26 | 12634831 | 10212452 |     1063  22936 |        0 |        0
1568.33/1568.86	c 1568s |      26 | 12650183 | 10224952 |     1063  22958 |        0 |        0
1570.33/1570.87	c 1570s |      26 | 12665662 | 10237352 |     1063  22981 |        0 |        0
1572.33/1572.88	c 1572s |      26 | 12681146 | 10249852 |     1063  23003 |        0 |        0
1574.32/1574.89	c 1574s |      26 | 12696206 | 10262252 |     1063  23026 |        0 |        0
1576.32/1576.89	c 1576s |      26 | 12711079 | 10274652 |     1063  23048 |        0 |        0
1578.42/1578.90	c 1578s |      26 | 12725923 | 10286852 |     1063  23070 |        0 |        0
1580.42/1580.91	c 1580s |      26 | 12741132 | 10299252 |     1063  23092 |        0 |        0
1582.43/1582.91	c 1582s |      26 | 12755881 | 10311252 |     1063  23114 |        0 |        0
1584.42/1584.92	c 1584s |      26 | 12771831 | 10323952 |     1063  23137 |        0 |        0
1586.42/1586.93	c 1586s |      26 | 12787893 | 10336752 |     1063  23160 |        0 |        0
1588.42/1588.94	c 1588s |      26 | 12802293 | 10348952 |     1063  23182 |        0 |        0
1590.42/1590.95	c 1590s |      26 | 12816564 | 10360852 |     1063  23203 |        0 |        0
1592.43/1592.95	c 1592s |      26 | 12831677 | 10373152 |     1063  23226 |        0 |        0
1594.42/1594.96	c 1594s |      26 | 12847481 | 10385752 |     1063  23248 |        0 |        0
1596.42/1596.98	c 1596s |      26 | 12864223 | 10398552 |     1063  23271 |        0 |        0
1598.42/1598.98	c 1598s |      26 | 12878541 | 10410352 |     1063  23293 |        0 |        0
1600.42/1600.99	c 1600s |      26 | 12893676 | 10422552 |     1063  23315 |        0 |        0
1602.52/1603.00	c 1602s |      26 | 12908286 | 10434452 |     1063  23336 |        0 |        0
1604.52/1605.00	c 1604s |      26 | 12923138 | 10446352 |     1063  23358 |        0 |        0
1606.52/1607.01	c 1606s |      26 | 12938763 | 10458652 |     1063  23380 |        0 |        0
1608.51/1609.02	c 1609s |      26 | 12954528 | 10471052 |     1063  23402 |        0 |        0
1610.51/1611.04	c 1611s |      26 | 12970590 | 10484052 |     1063  23426 |        0 |        0
1612.51/1613.05	c 1613s |      26 | 12987032 | 10497052 |     1063  23449 |        0 |        0
1614.51/1615.06	c 1615s |      26 | 13003918 | 10510252 |     1063  23473 |        0 |        0
1616.52/1617.06	c 1617s |      26 | 13019510 | 10522952 |     1063  23496 |        0 |        0
1618.51/1619.08	c 1619s |      26 | 13035986 | 10536052 |     1063  23520 |        0 |        0
1620.51/1621.08	c 1621s |      26 | 13053135 | 10549552 |     1063  23544 |        0 |        0
1622.51/1623.09	c 1623s |      26 | 13069291 | 10562452 |     1063  23567 |        0 |        0
1624.52/1625.09	c 1625s |      26 | 13086516 | 10576052 |     1063  23592 |        0 |        0
1626.62/1627.11	c 1627s |      26 | 13103619 | 10589352 |     1063  23616 |        0 |        0
1628.63/1629.11	c 1629s |      26 | 13120936 | 10603052 |     1063  23641 |        0 |        0
1630.62/1631.12	c 1631s |      26 | 13137175 | 10615952 |     1063  23664 |        0 |        0
1632.62/1633.13	c 1633s |      26 | 13152733 | 10628652 |     1063  23687 |        0 |        0
1634.62/1635.14	c 1635s |      26 | 13167717 | 10641052 |     1063  23710 |        0 |        0
1636.62/1637.14	c 1637s |      26 | 13183018 | 10653552 |     1063  23732 |        0 |        0
1638.62/1639.14	c 1639s |      26 | 13199206 | 10666452 |     1063  23755 |        0 |        0
1640.61/1641.15	c 1641s |      26 | 13214146 | 10678752 |     1063  23778 |        0 |        0
1642.61/1643.17	c 1643s |      26 | 13228046 | 10690552 |     1063  23799 |        0 |        0
1644.61/1645.19	c 1645s |      26 | 13243195 | 10703052 |     1063  23822 |        0 |        0
1646.61/1647.20	c 1647s |      26 | 13258619 | 10715252 |     1063  23844 |        0 |        0
1648.71/1649.21	c 1649s |      26 | 13274239 | 10727752 |     1063  23866 |        0 |        0
1650.72/1651.22	c 1651s |      26 | 13289466 | 10740052 |     1063  23888 |        0 |        0
1652.71/1653.24	c 1653s |      26 | 13303609 | 10751752 |     1063  23910 |        0 |        0
1654.71/1655.24	c 1655s |      26 | 13318303 | 10763652 |     1063  23931 |        0 |        0
1656.71/1657.26	c 1657s |      26 | 13333528 | 10775952 |     1063  23954 |        0 |        0
1658.71/1659.26	c 1659s |      26 | 13350560 | 10789352 |     1063  23978 |        0 |        0
1660.71/1661.27	c 1661s |      26 | 13367381 | 10802652 |     1063  24002 |        0 |        0
1662.72/1663.28	c 1663s |      26 | 13383517 | 10815752 |     1063  24025 |        0 |        0
1664.71/1665.29	c 1665s |      26 | 13400055 | 10828752 |     1063  24048 |        0 |        0
1666.81/1667.30	c 1667s |      26 | 13417185 | 10841652 |     1063  24072 |        0 |        0
1668.81/1669.31	c 1669s |      26 | 13434022 | 10854652 |     1063  24095 |        0 |        0
1670.81/1671.33	c 1671s |      26 | 13450516 | 10867752 |     1063  24119 |        0 |        0
1672.81/1673.34	c 1673s |      26 | 13467098 | 10880952 |     1063  24142 |        0 |        0
1674.81/1675.36	c 1675s |      26 | 13483606 | 10893752 |     1063  24165 |        0 |        0
1676.80/1677.37	c 1677s |      26 | 13498138 | 10905752 |     1063  24187 |        0 |        0
1678.80/1679.38	c 1679s |      26 | 13514852 | 10918552 |     1063  24210 |        0 |        0
1680.90/1681.40	c 1681s |      26 | 13531000 | 10931052 |     1063  24233 |        0 |        0
1682.90/1683.40	c 1683s |      26 | 13546443 | 10943252 |     1063  24255 |        0 |        0
1684.90/1685.40	c 1685s |      26 | 13562304 | 10955652 |     1063  24277 |        0 |        0
1686.91/1687.42	c 1687s |      26 | 13578609 | 10968652 |     1063  24300 |        0 |        0
1688.90/1689.43	c 1689s |      26 | 13594733 | 10981452 |     1063  24323 |        0 |        0
1690.90/1691.43	c 1691s |      26 | 13610746 | 10994252 |     1063  24347 |        0 |        0
1692.90/1693.44	c 1693s |      26 | 13627377 | 11007052 |     1063  24370 |        0 |        0
1694.90/1695.44	c 1695s |      26 | 13643157 | 11019552 |     1063  24392 |        0 |        0
1696.91/1697.45	c 1697s |      26 | 13659798 | 11032452 |     1063  24415 |        0 |        0
1698.90/1699.47	c 1699s |      26 | 13675212 | 11044852 |     1063  24438 |        0 |        0
1700.91/1701.48	c 1701s |      26 | 13689782 | 11057052 |     1063  24460 |        0 |        0
1702.91/1703.49	c 1703s |      26 | 13705665 | 11069552 |     1063  24482 |        0 |        0
1704.91/1705.49	c 1705s |      26 | 13721254 | 11082052 |     1063  24505 |        0 |        0
1707.01/1707.51	c 1707s |      26 | 13736978 | 11094452 |     1063  24527 |        0 |        0
1709.01/1709.52	c 1709s |      26 | 13753257 | 11106952 |     1063  24550 |        0 |        0
1711.00/1711.54	c 1711s |      26 | 13769902 | 11119752 |     1063  24573 |        0 |        0
1713.00/1713.54	c 1713s |      26 | 13786375 | 11132552 |     1063  24596 |        0 |        0
1715.00/1715.55	c 1715s |      26 | 13801978 | 11145152 |     1063  24618 |        0 |        0
1717.00/1717.55	c 1717s |      26 | 13818810 | 11158152 |     1063  24642 |        0 |        0
1719.00/1719.57	c 1719s |      26 | 13835523 | 11171152 |     1063  24665 |        0 |        0
1721.01/1721.58	c 1721s |      26 | 13850749 | 11183452 |     1063  24687 |        0 |        0
1723.00/1723.59	c 1723s |      26 | 13865599 | 11195652 |     1063  24710 |        0 |        0
1725.10/1725.60	c 1725s |      26 | 13881117 | 11208352 |     1063  24733 |        0 |        0
1727.10/1727.62	c 1727s |      26 | 13896472 | 11221152 |     1063  24756 |        0 |        0
1729.10/1729.63	c 1729s |      26 | 13911952 | 11233852 |     1063  24778 |        0 |        0
1731.10/1731.65	c 1731s |      26 | 13927848 | 11246452 |     1063  24802 |        0 |        0
1733.11/1733.66	c 1733s |      26 | 13945427 | 11259852 |     1063  24826 |        0 |        0
1735.10/1735.67	c 1735s |      26 | 13963008 | 11273152 |     1063  24850 |        0 |        0
1737.10/1737.68	c 1737s |      26 | 13979407 | 11286152 |     1063  24873 |        0 |        0
1739.09/1739.68	c 1739s |      26 | 13996860 | 11299152 |     1063  24896 |        0 |        0
1741.09/1741.68	c 1741s |      26 | 14011772 | 11311152 |     1063  24918 |        0 |        0
1743.10/1743.69	c 1743s |      26 | 14027266 | 11323452 |     1170  24939 |        0 |        0
1745.10/1745.69	c 1745s |      26 | 14042954 | 11335852 |     1170  24959 |        0 |        0
1747.10/1747.69	c 1747s |      26 | 14059166 | 11348052 |     1170  24979 |        0 |        0
1749.20/1749.71	c 1749s |      26 | 14074558 | 11360152 |     1170  24999 |        0 |        0
1751.20/1751.71	c 1751s |      26 | 14091143 | 11372752 |     1170  25020 |        0 |        0
1753.20/1753.72	c 1753s |      26 | 14107238 | 11385252 |     1170  25040 |        0 |        0
1755.00/1755.51	c 1755s |      27 | 14121779 | 11396733 |     1170  25060 |        0 |        0
1757.00/1757.52	c 1757s |      27 | 14136496 | 11409233 |     1170  25080 |        0 |        0
1759.00/1759.52	c 1759s |      27 | 14151263 | 11421633 |     1170  25100 |        0 |        0
1761.00/1761.53	c 1761s |      27 | 14165081 | 11433533 |     1170  25119 |        0 |        0
1763.00/1763.54	c 1763s |      27 | 14180000 | 11446033 |     1170  25140 |        0 |        0
1765.00/1765.55	c 1765s |      27 | 14194936 | 11458633 |     1170  25160 |        0 |        0
1767.00/1767.56	c 1767s |      27 | 14210516 | 11471333 |     1170  25181 |        0 |        0
1769.00/1769.56	c 1769s |      27 | 14223761 | 11482833 |     1170  25200 |        0 |        0
1770.99/1771.57	c 1771s |      27 | 14237458 | 11494433 |     1170  25219 |        0 |        0
1772.99/1773.57	c 1773s |      27 | 14250888 | 11506133 |     1170  25238 |        0 |        0
1775.00/1775.59	c 1775s |      27 | 14264272 | 11517833 |     1170  25257 |        0 |        0
1776.99/1777.60	c 1777s |      27 | 14278342 | 11529733 |     1170  25276 |        0 |        0
1779.09/1779.61	c 1779s |      27 | 14291702 | 11541333 |     1170  25295 |        0 |        0
1781.09/1781.62	c 1781s |      27 | 14305507 | 11553133 |     1170  25314 |        0 |        0
1783.09/1783.62	c 1783s |      27 | 14319364 | 11565033 |     1170  25334 |        0 |        0
1785.09/1785.64	c 1785s |      27 | 14332449 | 11576333 |     1170  25352 |        0 |        0
1787.10/1787.64	c 1787s |      27 | 14346491 | 11588033 |     1170  25371 |        0 |        0
1789.09/1789.64	c 1789s |      27 | 14358847 | 11599033 |     1170  25389 |        0 |        0
1791.09/1791.65	c 1791s |      27 | 14373192 | 11611133 |     1170  25409 |        0 |        0
1793.09/1793.66	c 1793s |      27 | 14386500 | 11622833 |     1170  25428 |        0 |        0
1795.09/1795.66	c 1795s |      27 | 14401194 | 11635133 |     1170  25448 |        0 |        0
1797.09/1797.66	c 1797s |      27 | 14414805 | 11646933 |     1170  25467 |        0 |        0
1799.10/1799.67	c 1799s |      27 | 14427362 | 11658233 |     1170  25485 |        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-4089743-1466032771/watcher-4089743-1466032771 -o /tmp/evaluation-result-4089743-1466032771/solver-4089743-1466032771 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089743-1466032771.opb 

pid=8413
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

[startup+0 s]
/proc/loadavg: 2.05 2.07 2.01 3/179 8416
/proc/meminfo: memFree=30402588/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/8416/stat : 8416 (runsolver) R 8413 5756 5756 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 1 0 5327188 24911872 73 33554432000 4194304 4338465 140733946682592 140733946680128 270109022811 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/8416/statm: 6082 73 27 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100128 s]
/proc/loadavg: 2.05 2.07 2.01 3/179 8416
/proc/meminfo: memFree=30402588/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 22702 0 0 0 5 3 0 0 20 0 4 0 5327188 1247350784 23052 33554432000 4194304 16246674 140736320240960 140736320240384 12478189 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8416/statm: 304529 23062 711 2943 0 301423 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200329 s]
/proc/loadavg: 2.05 2.07 2.01 3/179 8416
/proc/meminfo: memFree=30402588/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 45791 0 0 0 11 7 0 0 20 0 4 0 5327188 1247350784 46141 33554432000 4194304 16246674 140736320240960 140736320240384 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8416/statm: 304529 46152 713 2943 0 301423 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300301 s]
/proc/loadavg: 2.05 2.07 2.01 3/179 8416
/proc/meminfo: memFree=30402588/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 68602 0 0 0 17 11 0 0 20 0 4 0 5327188 1247350784 68952 33554432000 4194304 16246674 140736320240960 140736320240384 5724508 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8416/statm: 304529 68966 713 2943 0 301423 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700296 s]
/proc/loadavg: 2.05 2.07 2.01 3/179 8416
/proc/meminfo: memFree=30402588/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 165147 0 0 0 42 26 0 0 20 0 4 0 5327188 1247350784 165497 33554432000 4194304 16246674 140736320240960 140736320222848 13749161 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 304529 165504 713 2943 0 301423 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.05 2.07 2.01 3/183 8420
/proc/meminfo: memFree=29420288/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1219140 CPUtime=1.47 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 245548 0 0 0 111 36 0 0 20 0 4 0 5327188 1248399360 245878 33554432000 4194304 16246674 140736320240960 140736320240272 13828864 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 304785 245878 787 2943 0 301679 0
[pid=8416/tid=8418] ppid=8413 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1248399360 245878 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1248399360 245878 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1248399360 245878 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.05 2.07 2.01 3/183 8420
/proc/meminfo: memFree=29332736/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 267416 0 0 0 269 39 0 0 20 0 4 0 5327188 1337528320 267746 33554432000 4194304 16246674 140736320240960 140736320223960 6861716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326545 267746 787 2943 0 323439 0
[pid=8416/tid=8418] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267746 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267746 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267746 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 8420
/proc/meminfo: memFree=29331740/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 267460 0 0 0 589 39 0 0 20 0 4 0 5327188 1337528320 267790 33554432000 4194304 16246674 140736320240960 140736320222848 5823643 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326545 267790 787 2943 0 323439 0
[pid=8416/tid=8418] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267790 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267790 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267790 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7005 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 8420
/proc/meminfo: memFree=29331712/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 267462 0 0 0 1229 39 0 0 20 0 4 0 5327188 1337528320 267792 33554432000 4194304 16246674 140736320240960 140736320223960 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326545 267792 788 2943 0 323439 0
[pid=8416/tid=8418] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267792 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267792 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267792 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.03 2.06 2.00 3/183 8420
/proc/meminfo: memFree=29332000/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1306180 CPUtime=25.47 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 267499 0 0 0 2508 39 0 0 20 0 4 0 5327188 1337528320 267829 33554432000 4194304 16246674 140736320240960 140736320223960 5822240 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326545 267829 790 2943 0 323439 0
[pid=8416/tid=8418] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267829 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267829 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267829 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.02 2.05 2.00 3/184 8424
/proc/meminfo: memFree=29331848/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1306180 CPUtime=51.07 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 267500 0 0 0 5067 40 0 0 20 0 4 0 5327188 1337528320 267830 33554432000 4194304 16246674 140736320240960 140736320223960 5545708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326545 267830 790 2943 0 323439 0
[pid=8416/tid=8418] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267830 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267830 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267830 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.13 2.07 2.01 3/183 8425
/proc/meminfo: memFree=29331620/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1306180 CPUtime=102.27 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 267501 0 0 0 10186 41 0 0 20 0 4 0 5327188 1337528320 267831 33554432000 4194304 16246674 140736320240960 140736320222848 13808416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326545 267831 790 2943 0 323439 0
[pid=8416/tid=8418] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267831 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267831 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267831 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180

[startup+162.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/183 8426
/proc/meminfo: memFree=29330508/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1306180 CPUtime=162.25 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 267536 0 0 0 16183 42 0 0 20 0 4 0 5327188 1337528320 267866 33554432000 4194304 16246674 140736320240960 140736320222848 5829162 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326545 267866 791 2943 0 323439 0
[pid=8416/tid=8418] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267866 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267866 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267866 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1306180

[startup+222.308 s]
/proc/loadavg: 2.15 2.09 2.01 3/183 8476
/proc/meminfo: memFree=29337800/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1306180 CPUtime=222.25 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 267536 0 0 0 22182 43 0 0 20 0 4 0 5327188 1337528320 267866 33554432000 4194304 16246674 140736320240960 140736320240136 5667492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326545 267866 791 2943 0 323439 0
[pid=8416/tid=8418] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267866 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267866 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1337528320 267866 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1306180


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

/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.11 2.15 2.09 3/183 8505
/proc/meminfo: memFree=29331700/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1307204 CPUtime=1301.87 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 268186 0 0 0 130128 59 0 0 20 0 4 0 5327188 1338576896 268359 33554432000 4194304 16246674 140736320240960 140736320222848 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326801 268359 792 2943 0 323695 0
[pid=8416/tid=8418] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.17 2.16 2.10 3/183 8506
/proc/meminfo: memFree=29331104/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1307204 CPUtime=1361.86 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 268186 0 0 0 136126 60 0 0 20 0 4 0 5327188 1338576896 268359 33554432000 4194304 16246674 140736320240960 140736320223960 5822432 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326801 268359 792 2943 0 323695 0
[pid=8416/tid=8418] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.20 2.16 2.10 4/183 8507
/proc/meminfo: memFree=29330996/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1307204 CPUtime=1421.86 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 268186 0 0 0 142125 61 0 0 20 0 4 0 5327188 1338576896 268359 33554432000 4194304 16246674 140736320240960 140736320222848 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326801 268359 792 2943 0 323695 0
[pid=8416/tid=8418] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.18 2.16 2.10 3/183 8508
/proc/meminfo: memFree=29331268/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1307204 CPUtime=1481.84 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 268186 0 0 0 148122 62 0 0 20 0 4 0 5327188 1338576896 268359 33554432000 4194304 16246674 140736320240960 140736320222848 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326801 268359 792 2943 0 323695 0
[pid=8416/tid=8418] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.11 2.14 2.09 3/183 8509
/proc/meminfo: memFree=29330424/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1307204 CPUtime=1541.84 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 268186 0 0 0 154121 63 0 0 20 0 4 0 5327188 1338576896 268359 33554432000 4194304 16246674 140736320240960 140736320223960 5669371 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326801 268359 792 2943 0 323695 0
[pid=8416/tid=8418] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.14 2.14 2.09 3/183 8511
/proc/meminfo: memFree=29331552/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1307204 CPUtime=1601.82 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 268186 0 0 0 160119 63 0 0 20 0 4 0 5327188 1338576896 268359 33554432000 4194304 16246674 140736320240960 140736320222848 6012036 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326801 268359 792 2943 0 323695 0
[pid=8416/tid=8418] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.19 2.16 2.10 3/183 8512
/proc/meminfo: memFree=29331556/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1307204 CPUtime=1661.81 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 268186 0 0 0 166117 64 0 0 20 0 4 0 5327188 1338576896 268359 33554432000 4194304 16246674 140736320240960 140736320222848 12483337 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326801 268359 792 2943 0 323695 0
[pid=8416/tid=8418] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.19 2.16 2.10 3/183 8513
/proc/meminfo: memFree=29331560/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1307204 CPUtime=1721.8 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 268186 0 0 0 172115 65 0 0 20 0 4 0 5327188 1338576896 268359 33554432000 4194304 16246674 140736320240960 140736320223960 5828013 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326801 268359 792 2943 0 323695 0
[pid=8416/tid=8418] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.24 2.17 2.10 4/183 8514
/proc/meminfo: memFree=29331312/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1307204 CPUtime=1781.79 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 268186 0 0 0 178113 66 0 0 20 0 4 0 5327188 1338576896 268359 33554432000 4194304 16246674 140736320240960 140736320222848 13191512 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326801 268359 792 2943 0 323695 0
[pid=8416/tid=8418] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.18 2.10 3/183 8514
/proc/meminfo: memFree=29331444/32872528 swapFree=524788/557492
[pid=8416] ppid=8413 vsize=1307204 CPUtime=1800.09 cores=0,2,4,6
/proc/8416/stat : 8416 (toysat) R 8413 8416 5756 0 -1 4202496 268186 0 0 0 179943 66 0 0 20 0 4 0 5327188 1338576896 268359 33554432000 4194304 16246674 140736320240960 140736320222848 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8416/statm: 326801 268359 792 2943 0 323695 0
[pid=8416/tid=8418] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8418/stat : 8418 (toysat) S 8413 8416 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311897550064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=8416/tid=8419] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8419/stat : 8419 (toysat) S 8413 8416 5756 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311816809712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=8416/tid=8420] ppid=8413 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8416/task/8420/stat : 8420 (toysat) S 8413 8416 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5327189 1338576896 268359 33554432000 4194304 16246674 140736320240960 140311806336176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1307204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.44
CPU system time (s): 0.666898
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.666898
maximum resident set size= 1073436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268186
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= 426
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29004 second user time and 8.51171 second system time

The end

Begin job on node106 at 2016-06-16 01:19:31
IDJOB=4089743
IDBENCH=107450
IDSOLVER=2542
FILE ID=node106/4089743-1466032771
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 813a6d11f6812d0f2ad71162c6832081
RANDOM SEED=761728392

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30403340 kB
Buffers:           41708 kB
Cached:            78472 kB
SwapCached:         1476 kB
Active:          1150748 kB
Inactive:          50632 kB
Active(anon):    1082264 kB
Inactive(anon):     1188 kB
Active(file):      68484 kB
Inactive(file):    49444 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099848 kB
Dirty:             16360 kB
Writeback:             0 kB
AnonPages:       1637568 kB
Mapped:            10448 kB
Shmem:                 0 kB
Slab:             576780 kB
SReclaimable:      20780 kB
SUnreclaim:       556000 kB
KernelStack:        1480 kB
PageTables:         7172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1781816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1105920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-16 01:49:31