0.00/0.00	c 2016-06-06T22:38:49+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079735-1465245529.opb"]
0.00/0.01	c use --random-gen="166634062 2917916903 1935964406 3748135927 1802353920 369734111 4136045161 942980755 972841412 1798623734 1055200913 2384276614 401412835 1891173365 2470168816 65821602 953236477 2310605835 2820895813 3337570322 3203512423 1665081967 3733705104 2381894030 2733603571 3289825221 1062476404 877639464 878247247 2245803248 246188045 19761637 1202855761 3561697333 3937617642 513348113 2012452839 1117319336 1918214204 424049535 3842870403 4234864635 1658728204 3867042093 3850808167 3135718290 1892784150 97869529 4261047216 4281891906 1417690779 3551428238 1787177294 508556700 3146936290 3906017888 3955554244 2384550636 3024093044 2553656349 2753493677 3458716253 3249256739 2880067761 3297911312 213126586 1386535706 2869061758 1005897172 2432902729 368859327 3250292869 3976010878 373974504 4280106479 3423409204 1055678048 2010219655 2428071723 3216394392 2544082955 3099815350 2029728330 3633582293 714737826 373788161 884423935 3362155766 1388333242 4022393110 2871588537 3142734085 1192383221 1161351211 512985766 3494679039 4063747295 600201870 830667950 1793977353 1842775179 736845497 1169471693 426494447 3140733514 778800282 1826301616 1436405564 2535781196 3240081847 2483527295 34293420 3048615909 2365065560 1548893189 788710696 2504113245 3554910205 3429208080 1358683172 154116334 973856019 3952485842 3406121322 1009997848 481416384 3058919386 3902119904 3753333550 1974494138 277247072 3119818910 3532229377 3360910229 1011672677 472244773 1949026112 645102518 124231097 1986877590 3612072221 2642695013 4218708867 3740443013 1602142793 3155055187 3741146387 2042509890 880616223 1528508619 1864035586 1412074292 3664042298 1808787754 2441070633 67233114 3582120753 1802410600 2937180050 409949349 3649733817 176213212 2932505559 1267333254 1372997648 1441909832 3091422210 3676868363 2363417788 2488732583 200015941 2695072191 2744843252 2710446471 3434954300 2091048814 267910289 17330409 973765060 2620903153 706929984 593142731 3879737729 3996954975 3151421180 2313411911 1435133120 2743253418 2297012656 2716677544 1592877294 1967778376 632729127 1096540986 603634311 1208743246 1498239890 2611134011 4125849907 1440430650 3934823681 2315843484 3006079973 1973848513 1192048947 1497854669 2583231748 235985924 820670042 4222256305 3858475667 3590827832 3441128387 1914005873 3771119415 3999186766 1378556760 3983693571 3679482292 3424379048 327981971 1098073612 2760822572 3634267258 2256685077 1335631973 1048419229 2629724225 3411262459 3621412876 615596230 3078734759 1586158385 230540114 2435352639 1820019026 3733921641 3172881557 1299031762 2764801270 2848518474 1293218678 2605715915 3887628115 189439050 582742109 1047361936 1154585099 3131458383 1344797623 4200979445 2181209559 1927584259 76733029 487380030 1562007990 255 362436" option to reproduce the execution
0.00/0.01	c #vars 51
0.00/0.01	c #constraints 13
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       21      0 |        1 |        0
0.00/0.03	c  0.0s |       1 |      123 |      100 |       21      3 |        1 |        0
0.00/0.06	c  0.0s |       2 |      301 |      250 |       24      8 |        1 |        0
0.09/0.10	c  0.1s |       3 |      555 |      475 |       27     17 |        1 |        0
0.09/0.16	c  0.1s |       4 |      924 |      813 |       30     29 |        1 |        0
0.19/0.25	c  0.2s |       5 |     1473 |     1320 |       33     46 |        1 |        0
0.29/0.37	c  0.4s |       6 |     2284 |     2081 |       41     71 |        1 |        0
0.49/0.56	c  0.5s |       7 |     3468 |     3223 |       46    103 |        1 |        0
0.79/0.85	c  0.8s |       8 |     5220 |     4936 |       51    153 |        1 |        0
1.19/1.29	c  1.3s |       9 |     7877 |     7506 |       57    223 |        1 |        0
1.69/1.78	c  1.8s |      10 |    11805 |    11361 |       63    321 |        1 |        0
2.38/2.43	c  2.4s |      11 |    17683 |    17144 |       70    458 |        1 |        0
3.34/3.37	c  3.4s |      12 |    26517 |    25819 |       77    647 |        1 |        0
4.69/4.73	c  4.7s |      13 |    39843 |    38832 |       85    919 |        1 |        0
6.70/6.73	c  6.7s |      13 |    59304 |    57832 |       85   1285 |        1 |        0
6.70/6.79	c  6.8s |      14 |    59827 |    58352 |       94   1295 |        1 |        0
8.79/8.80	c  8.8s |      14 |    78957 |    77152 |       94   1629 |        1 |        0
9.79/9.89	c  9.9s |      15 |    89651 |    87632 |      104   1819 |        1 |        0
11.79/11.89	c 11.9s |      15 |   109164 |   106732 |      104   2134 |        1 |        0
13.89/13.90	c 13.9s |      15 |   129345 |   126532 |      104   2475 |        1 |        0
14.39/14.41	c 14.4s |      16 |   134487 |   131552 |      115   2558 |        1 |        0
16.39/16.42	c 16.4s |      16 |   154061 |   150752 |      115   2845 |        1 |        0
18.39/18.42	c 18.4s |      16 |   173830 |   170052 |      115   3142 |        1 |        0
20.39/20.42	c 20.4s |      16 |   193518 |   189352 |      115   3442 |        1 |        0
21.19/21.21	c 21.2s |      17 |   201804 |   197432 |      127   3569 |        1 |        0
23.19/23.22	c 23.2s |      17 |   221770 |   216932 |      127   3842 |        1 |        0
25.18/25.23	c 25.2s |      17 |   242262 |   237032 |      127   4125 |        1 |        0
27.18/27.24	c 27.2s |      17 |   262816 |   257132 |      127   4409 |        1 |        0
29.18/29.24	c 29.2s |      17 |   283355 |   277332 |      127   4695 |        1 |        0
31.08/31.13	c 31.1s |      18 |   302724 |   296252 |      140   4958 |        1 |        0
33.09/33.13	c 33.1s |      18 |   323118 |   316152 |      140   5216 |        1 |        0
35.08/35.14	c 35.1s |      18 |   343407 |   335952 |      140   5473 |        1 |        0
37.08/37.15	c 37.1s |      18 |   364064 |   356152 |      140   5740 |        1 |        0
39.08/39.16	c 39.1s |      18 |   384281 |   376052 |      140   6002 |        1 |        0
41.09/41.17	c 41.2s |      18 |   403654 |   395152 |      140   6249 |        1 |        0
43.09/43.17	c 43.2s |      18 |   422828 |   414052 |      140   6494 |        1 |        0
45.09/45.18	c 45.2s |      18 |   442638 |   433552 |      140   6748 |        1 |        0
46.29/46.32	c 46.3s |      19 |   453698 |   444482 |      154   6885 |        1 |        0
48.28/48.33	c 48.3s |      19 |   473908 |   464282 |      154   7108 |        1 |        0
50.28/50.33	c 50.3s |      19 |   493673 |   483682 |      154   7329 |        1 |        0
52.28/52.33	c 52.3s |      19 |   513209 |   502882 |      154   7545 |        1 |        0
54.28/54.34	c 54.3s |      19 |   532921 |   522182 |      154   7766 |        1 |        0
56.29/56.35	c 56.3s |      19 |   552783 |   541682 |      154   7989 |        1 |        0
58.28/58.35	c 58.3s |      19 |   572575 |   561082 |      154   8213 |        1 |        0
60.28/60.36	c 60.3s |      19 |   592535 |   580582 |      154   8435 |        1 |        0
62.28/62.36	c 62.3s |      19 |   611613 |   599382 |      154   8649 |        1 |        0
64.28/64.37	c 64.4s |      19 |   631454 |   618782 |      154   8874 |        1 |        0
66.28/66.37	c 66.4s |      19 |   651235 |   638182 |      154   9099 |        1 |        0
68.28/68.37	c 68.4s |      19 |   671096 |   657682 |      154   9322 |        1 |        0
69.28/69.30	c 69.3s |      20 |   680349 |   666827 |      170   9423 |        1 |        0
71.28/71.31	c 71.3s |      20 |   699727 |   685827 |      170   9625 |        1 |        0
73.27/73.31	c 73.3s |      20 |   718979 |   704727 |      170   9829 |        1 |        0
75.27/75.32	c 75.3s |      20 |   738504 |   723927 |      170  10039 |        1 |        0
77.27/77.32	c 77.3s |      20 |   758345 |   743427 |      170  10252 |        1 |        0
79.29/79.33	c 79.3s |      20 |   777845 |   762627 |      170  10457 |        1 |        0
81.28/81.33	c 81.3s |      20 |   797592 |   782027 |      170  10669 |        1 |        0
83.28/83.33	c 83.3s |      20 |   817726 |   801827 |      170  10884 |        1 |        0
85.28/85.34	c 85.3s |      20 |   837283 |   821027 |      170  11094 |        1 |        0
87.28/87.35	c 87.3s |      20 |   857586 |   840927 |      170  11313 |        1 |        0
89.28/89.36	c 89.3s |      20 |   877465 |   860427 |      170  11524 |        1 |        0
91.28/91.37	c 91.4s |      20 |   897615 |   880227 |      170  11742 |        1 |        0
93.27/93.37	c 93.4s |      20 |   917909 |   900127 |      170  11965 |        1 |        0
95.27/95.38	c 95.4s |      20 |   937252 |   919127 |      170  12172 |        1 |        0
97.27/97.39	c 97.4s |      20 |   955980 |   937527 |      170  12370 |        1 |        0
99.27/99.39	c 99.4s |      20 |   975122 |   956427 |      170  12575 |        1 |        0
101.28/101.39	c  101s |      20 |   994716 |   975727 |      170  12787 |        1 |        0
103.27/103.39	c  103s |      20 |  1014353 |   995027 |      188  13001 |        1 |        0
103.87/103.98	c  103s |      21 |  1019777 |  1000345 |      188  13053 |        1 |        0
105.87/105.99	c  105s |      21 |  1038638 |  1018845 |      188  13234 |        1 |        0
107.88/107.99	c  107s |      21 |  1057176 |  1037145 |      188  13415 |        1 |        0
109.97/110.00	c  109s |      21 |  1076224 |  1055845 |      188  13598 |        1 |        0
111.97/112.01	c  111s |      21 |  1094737 |  1074145 |      188  13780 |        1 |        0
113.97/114.01	c  113s |      21 |  1113457 |  1092645 |      188  13967 |        1 |        0
115.97/116.01	c  116s |      21 |  1132352 |  1111245 |      188  14148 |        1 |        0
117.97/118.02	c  118s |      21 |  1151004 |  1129645 |      188  14328 |        1 |        0
119.98/120.03	c  120s |      21 |  1169986 |  1148345 |      188  14514 |        1 |        0
121.97/122.03	c  122s |      21 |  1189249 |  1167245 |      188  14700 |        1 |        0
123.97/124.04	c  124s |      21 |  1207966 |  1185745 |      188  14882 |        1 |        0
125.97/126.04	c  126s |      21 |  1227191 |  1204745 |      188  15070 |        1 |        0
127.97/128.05	c  128s |      21 |  1246510 |  1223745 |      188  15260 |        1 |        0
129.98/130.05	c  130s |      21 |  1265911 |  1242845 |      188  15448 |        1 |        0
131.97/132.06	c  132s |      21 |  1285001 |  1261645 |      188  15637 |        1 |        0
133.97/134.07	c  134s |      21 |  1304202 |  1280545 |      188  15825 |        1 |        0
135.97/136.07	c  136s |      21 |  1323251 |  1299345 |      188  16010 |        1 |        0
137.97/138.08	c  138s |      21 |  1342217 |  1318045 |      188  16196 |        1 |        0
139.97/140.08	c  140s |      21 |  1361289 |  1336845 |      188  16383 |        1 |        0
141.97/142.09	c  142s |      21 |  1380140 |  1355445 |      188  16568 |        1 |        0
143.97/144.09	c  144s |      21 |  1399656 |  1374645 |      188  16760 |        1 |        0
146.06/146.10	c  146s |      21 |  1418987 |  1393645 |      188  16950 |        1 |        0
148.06/148.10	c  148s |      21 |  1438671 |  1412945 |      188  17144 |        1 |        0
150.06/150.11	c  150s |      21 |  1458274 |  1432245 |      188  17340 |        1 |        0
152.06/152.11	c  152s |      21 |  1476463 |  1450245 |      188  17519 |        1 |        0
154.07/154.12	c  154s |      21 |  1495125 |  1468645 |      188  17703 |        1 |        0
156.06/156.12	c  156s |      21 |  1513914 |  1487145 |      188  17890 |        1 |        0
157.56/157.60	c  157s |      22 |  1527545 |  1500622 |      207  18015 |        1 |        0
159.57/159.61	c  159s |      22 |  1545092 |  1517922 |      207  18168 |        1 |        0
161.56/161.61	c  161s |      22 |  1563144 |  1535722 |      207  18328 |        1 |        0
163.56/163.62	c  163s |      22 |  1581553 |  1553822 |      207  18490 |        1 |        0
165.57/165.62	c  165s |      22 |  1600198 |  1572222 |      207  18656 |        1 |        0
167.57/167.63	c  167s |      22 |  1618639 |  1590422 |      207  18820 |        1 |        0
169.58/169.63	c  169s |      22 |  1637329 |  1608722 |      207  18984 |        1 |        0
171.57/171.64	c  171s |      22 |  1655670 |  1626822 |      207  19148 |        1 |        0
173.57/173.65	c  173s |      22 |  1674532 |  1645322 |      207  19318 |        1 |        0
175.57/175.65	c  175s |      22 |  1693578 |  1664122 |      207  19489 |        1 |        0
177.56/177.65	c  177s |      22 |  1712786 |  1683022 |      207  19663 |        1 |        0
179.56/179.66	c  179s |      22 |  1731638 |  1701622 |      207  19835 |        1 |        0
181.57/181.67	c  181s |      22 |  1750368 |  1720122 |      207  20008 |        1 |        0
183.56/183.67	c  183s |      22 |  1768976 |  1738522 |      207  20174 |        1 |        0
185.56/185.67	c  185s |      22 |  1786895 |  1756222 |      207  20334 |        1 |        0
187.56/187.68	c  187s |      22 |  1805650 |  1774722 |      207  20502 |        1 |        0
189.56/189.68	c  189s |      22 |  1824179 |  1793022 |      207  20668 |        1 |        0
191.56/191.69	c  191s |      22 |  1842720 |  1811322 |      207  20836 |        1 |        0
193.56/193.69	c  193s |      22 |  1861183 |  1829522 |      207  21001 |        1 |        0
195.66/195.70	c  195s |      22 |  1880197 |  1848222 |      207  21171 |        1 |        0
197.66/197.70	c  197s |      22 |  1898706 |  1866522 |      207  21337 |        1 |        0
199.66/199.71	c  199s |      22 |  1917837 |  1885422 |      207  21511 |        1 |        0
201.66/201.71	c  201s |      22 |  1935890 |  1903322 |      207  21676 |        1 |        0
203.67/203.72	c  203s |      22 |  1954150 |  1921422 |      207  21839 |        1 |        0
205.66/205.72	c  205s |      22 |  1972224 |  1939322 |      207  22003 |        1 |        0
207.66/207.72	c  207s |      22 |  1990474 |  1957322 |      207  22166 |        1 |        0
209.66/209.73	c  209s |      22 |  2008965 |  1975622 |      207  22330 |        1 |        0
211.66/211.73	c  211s |      22 |  2027947 |  1994322 |      207  22499 |        1 |        0
213.66/213.73	c  213s |      22 |  2047896 |  2013922 |      207  22678 |        1 |        0
215.66/215.73	c  215s |      22 |  2067470 |  2033222 |      207  22855 |        1 |        0
217.66/217.74	c  217s |      22 |  2086236 |  2051722 |      207  23023 |        1 |        0
219.66/219.75	c  219s |      22 |  2104629 |  2069922 |      207  23187 |        1 |        0
221.66/221.76	c  221s |      22 |  2123377 |  2088422 |      207  23355 |        1 |        0
223.66/223.76	c  223s |      22 |  2142032 |  2106822 |      207  23522 |        1 |        0
225.66/225.77	c  225s |      22 |  2160433 |  2125022 |      207  23689 |        1 |        0
227.65/227.78	c  227s |      22 |  2179067 |  2143322 |      207  23855 |        1 |        0
229.65/229.78	c  229s |      22 |  2197698 |  2161722 |      207  24022 |        1 |        0
231.65/231.79	c  231s |      22 |  2216243 |  2180022 |      207  24188 |        1 |        0
233.75/233.80	c  233s |      22 |  2234981 |  2198522 |      207  24359 |        1 |        0
235.75/235.81	c  235s |      22 |  2253793 |  2217122 |      207  24528 |        1 |        0
237.76/237.81	c  237s |      22 |  2273095 |  2236222 |      228  24702 |        1 |        0
239.25/239.38	c  239s |      23 |  2288038 |  2251038 |      228  24824 |        1 |        0
241.25/241.39	c  241s |      23 |  2305664 |  2268338 |      228  24965 |        1 |        0
243.36/243.40	c  243s |      23 |  2324402 |  2286738 |      228  25117 |        1 |        0
245.36/245.41	c  245s |      23 |  2342923 |  2304938 |      228  25267 |        1 |        0
247.35/247.41	c  247s |      23 |  2361138 |  2322938 |      228  25414 |        1 |        0
249.35/249.42	c  249s |      23 |  2379856 |  2341338 |      228  25566 |        1 |        0
251.35/251.42	c  251s |      23 |  2398814 |  2359838 |      228  25720 |        1 |        0
253.35/253.43	c  253s |      23 |  2418180 |  2378938 |      228  25880 |        1 |        0
255.36/255.43	c  255s |      23 |  2436881 |  2397238 |      228  26030 |        1 |        0
257.35/257.44	c  257s |      23 |  2455802 |  2415838 |      228  26184 |        1 |        0
259.35/259.44	c  259s |      23 |  2474517 |  2434238 |      228  26336 |        1 |        0
261.35/261.45	c  261s |      23 |  2493263 |  2452738 |      228  26489 |        1 |        0
263.35/263.46	c  263s |      23 |  2512079 |  2471238 |      228  26643 |        1 |        0
265.35/265.46	c  265s |      23 |  2531052 |  2489938 |      228  26799 |        1 |        0
267.35/267.47	c  267s |      23 |  2549536 |  2508138 |      228  26950 |        1 |        0
269.35/269.48	c  269s |      23 |  2568632 |  2526938 |      228  27108 |        1 |        0
271.35/271.48	c  271s |      23 |  2587467 |  2545538 |      228  27265 |        1 |        0
273.35/273.49	c  273s |      23 |  2605063 |  2562938 |      228  27409 |        1 |        0
275.44/275.50	c  275s |      23 |  2623820 |  2581338 |      228  27564 |        1 |        0
277.45/277.50	c  277s |      23 |  2642830 |  2600038 |      228  27722 |        1 |        0
279.46/279.51	c  279s |      23 |  2661975 |  2618838 |      228  27881 |        1 |        0
281.45/281.51	c  281s |      23 |  2680658 |  2637238 |      228  28035 |        1 |        0
283.45/283.52	c  283s |      23 |  2699522 |  2655838 |      228  28192 |        1 |        0
285.45/285.53	c  285s |      23 |  2718440 |  2674438 |      228  28349 |        1 |        0
287.45/287.54	c  287s |      23 |  2737055 |  2692738 |      228  28504 |        1 |        0
289.46/289.55	c  289s |      23 |  2756466 |  2711838 |      228  28665 |        1 |        0
291.45/291.56	c  291s |      23 |  2775451 |  2730538 |      228  28825 |        1 |        0
293.45/293.56	c  293s |      23 |  2794390 |  2749138 |      228  28984 |        1 |        0
295.45/295.56	c  295s |      23 |  2813275 |  2767738 |      228  29137 |        1 |        0
297.44/297.57	c  297s |      23 |  2831808 |  2785938 |      228  29283 |        1 |        0
299.44/299.57	c  299s |      23 |  2850578 |  2804338 |      228  29432 |        1 |        0
301.45/301.58	c  301s |      23 |  2868985 |  2822438 |      228  29578 |        1 |        0
303.44/303.58	c  303s |      23 |  2886815 |  2840038 |      228  29722 |        1 |        0
305.44/305.58	c  305s |      23 |  2905077 |  2858038 |      228  29868 |        1 |        0
307.44/307.59	c  307s |      23 |  2923255 |  2875938 |      228  30015 |        1 |        0
309.54/309.60	c  309s |      23 |  2941394 |  2893738 |      228  30161 |        1 |        0
311.54/311.61	c  311s |      23 |  2959538 |  2911638 |      228  30308 |        1 |        0
313.54/313.61	c  313s |      23 |  2977925 |  2929738 |      228  30457 |        1 |        0
315.54/315.62	c  315s |      23 |  2996399 |  2947938 |      228  30606 |        1 |        0
317.54/317.63	c  317s |      23 |  3015111 |  2966338 |      228  30758 |        1 |        0
319.54/319.64	c  319s |      23 |  3033903 |  2984838 |      228  30911 |        1 |        0
321.54/321.64	c  321s |      23 |  3052941 |  3003638 |      228  31067 |        1 |        0
323.54/323.64	c  323s |      23 |  3072074 |  3022438 |      228  31223 |        1 |        0
325.54/325.65	c  325s |      23 |  3090583 |  3040738 |      228  31372 |        1 |        0
327.54/327.66	c  327s |      23 |  3109316 |  3059238 |      228  31525 |        1 |        0
329.54/329.66	c  329s |      23 |  3128132 |  3077838 |      228  31680 |        1 |        0
331.54/331.66	c  331s |      23 |  3146913 |  3096338 |      228  31832 |        1 |        0
333.53/333.66	c  333s |      23 |  3165876 |  3115038 |      228  31988 |        1 |        0
335.55/335.67	c  335s |      23 |  3185107 |  3133938 |      228  32146 |        1 |        0
337.54/337.67	c  337s |      23 |  3204333 |  3152838 |      228  32304 |        1 |        0
339.54/339.68	c  339s |      23 |  3223410 |  3171638 |      228  32460 |        1 |        0
341.54/341.68	c  341s |      23 |  3241840 |  3189838 |      228  32611 |        1 |        0
343.54/343.69	c  343s |      23 |  3260859 |  3208538 |      228  32768 |        1 |        0
345.64/345.70	c  345s |      23 |  3280119 |  3227438 |      228  32927 |        1 |        0
347.54/347.70	c  347s |      23 |  3298997 |  3246038 |      228  33082 |        1 |        0
349.64/349.71	c  349s |      23 |  3317345 |  3264138 |      228  33229 |        1 |        0
351.64/351.71	c  351s |      23 |  3336048 |  3282638 |      228  33382 |        1 |        0
353.64/353.72	c  353s |      23 |  3354963 |  3301238 |      228  33534 |        1 |        0
355.64/355.73	c  355s |      23 |  3373693 |  3319638 |      228  33686 |        1 |        0
357.64/357.73	c  357s |      23 |  3392230 |  3337838 |      228  33838 |        1 |        0
359.63/359.73	c  359s |      23 |  3411247 |  3356538 |      251  33992 |        1 |        0
361.63/361.74	c  361s |      23 |  3429275 |  3374338 |      251  34127 |        1 |        0
361.94/362.02	c  362s |      24 |  3431647 |  3376662 |      251  34145 |        1 |        0
363.93/364.03	c  364s |      24 |  3449801 |  3394562 |      251  34279 |        1 |        0
365.93/366.03	c  366s |      24 |  3467586 |  3412062 |      251  34410 |        1 |        0
367.93/368.03	c  368s |      24 |  3485708 |  3429962 |      251  34545 |        1 |        0
369.93/370.04	c  370s |      24 |  3503931 |  3447962 |      251  34681 |        1 |        0
371.94/372.05	c  372s |      24 |  3522837 |  3466562 |      251  34821 |        1 |        0
373.94/374.05	c  374s |      24 |  3541764 |  3485262 |      251  34964 |        1 |        0
375.94/376.06	c  376s |      24 |  3560629 |  3503862 |      251  35106 |        1 |        0
377.93/378.06	c  378s |      24 |  3579677 |  3522562 |      251  35245 |        1 |        0
379.93/380.06	c  380s |      24 |  3598670 |  3541262 |      251  35385 |        1 |        0
381.93/382.07	c  382s |      24 |  3617513 |  3559862 |      251  35526 |        1 |        0
383.94/384.07	c  384s |      24 |  3636257 |  3578362 |      251  35668 |        1 |        0
385.93/386.08	c  386s |      24 |  3655086 |  3596862 |      251  35809 |        1 |        0
387.93/388.09	c  388s |      24 |  3674189 |  3615662 |      251  35954 |        1 |        0
389.93/390.09	c  390s |      24 |  3693644 |  3634662 |      251  36094 |        1 |        0
392.03/392.10	c  392s |      24 |  3712798 |  3653362 |      251  36231 |        1 |        0
394.03/394.10	c  394s |      24 |  3731748 |  3671962 |      251  36368 |        1 |        0
396.03/396.11	c  396s |      24 |  3750694 |  3690562 |      251  36507 |        1 |        0
398.03/398.11	c  398s |      24 |  3769170 |  3708762 |      251  36643 |        1 |        0
400.03/400.11	c  400s |      24 |  3788281 |  3727562 |      251  36784 |        1 |        0
402.03/402.12	c  402s |      24 |  3806717 |  3745662 |      251  36919 |        1 |        0
404.03/404.13	c  404s |      24 |  3824975 |  3763662 |      251  37056 |        1 |        0
406.03/406.14	c  406s |      24 |  3843714 |  3782062 |      251  37194 |        1 |        0
408.03/408.14	c  408s |      24 |  3862582 |  3800562 |      251  37333 |        1 |        0
410.02/410.14	c  410s |      24 |  3881697 |  3819362 |      251  37476 |        1 |        0
412.02/412.14	c  412s |      24 |  3900902 |  3838262 |      251  37619 |        1 |        0
414.02/414.15	c  414s |      24 |  3919531 |  3856662 |      251  37759 |        1 |        0
416.02/416.16	c  416s |      24 |  3937800 |  3874662 |      251  37896 |        1 |        0
418.03/418.17	c  418s |      24 |  3956675 |  3893262 |      251  38038 |        1 |        0
420.02/420.18	c  420s |      24 |  3975016 |  3911362 |      251  38177 |        1 |        0
422.02/422.19	c  422s |      24 |  3993785 |  3929762 |      251  38317 |        1 |        0
424.02/424.20	c  424s |      24 |  4012831 |  3948462 |      251  38461 |        1 |        0
426.03/426.20	c  426s |      24 |  4031643 |  3966962 |      251  38603 |        1 |        0
428.13/428.20	c  428s |      24 |  4050864 |  3985762 |      251  38749 |        1 |        0
430.13/430.21	c  430s |      24 |  4069388 |  4003962 |      251  38885 |        1 |        0
432.13/432.21	c  432s |      24 |  4087623 |  4021862 |      251  39020 |        1 |        0
434.13/434.22	c  434s |      24 |  4105530 |  4039562 |      251  39155 |        1 |        0
436.13/436.22	c  436s |      24 |  4123757 |  4057562 |      251  39292 |        1 |        0
438.12/438.22	c  438s |      24 |  4141890 |  4075362 |      251  39428 |        1 |        0
440.13/440.23	c  440s |      24 |  4160231 |  4093362 |      251  39564 |        1 |        0
442.12/442.23	c  442s |      24 |  4178648 |  4111462 |      251  39703 |        1 |        0
444.12/444.23	c  444s |      24 |  4197590 |  4130062 |      251  39846 |        1 |        0
446.12/446.24	c  446s |      24 |  4215669 |  4147862 |      251  39982 |        1 |        0
448.12/448.25	c  448s |      24 |  4233831 |  4165762 |      251  40118 |        1 |        0
450.12/450.26	c  450s |      24 |  4252001 |  4183662 |      251  40255 |        1 |        0
452.13/452.26	c  452s |      24 |  4269748 |  4201162 |      251  40390 |        1 |        0
454.12/454.26	c  454s |      24 |  4287340 |  4218562 |      251  40524 |        1 |        0
456.12/456.27	c  456s |      24 |  4305503 |  4236462 |      251  40660 |        1 |        0
458.12/458.28	c  458s |      24 |  4323181 |  4253962 |      251  40791 |        1 |        0
460.12/460.28	c  460s |      24 |  4340513 |  4271062 |      251  40918 |        1 |        0
462.12/462.29	c  462s |      24 |  4358841 |  4289162 |      251  41054 |        1 |        0
464.11/464.29	c  464s |      24 |  4377116 |  4307162 |      251  41191 |        1 |        0
466.11/466.30	c  466s |      24 |  4395831 |  4325562 |      251  41329 |        1 |        0
468.21/468.30	c  468s |      24 |  4414718 |  4344162 |      251  41469 |        1 |        0
470.21/470.31	c  470s |      24 |  4433261 |  4362462 |      251  41608 |        1 |        0
472.21/472.32	c  472s |      24 |  4451686 |  4380662 |      251  41746 |        1 |        0
474.23/474.32	c  474s |      24 |  4470354 |  4399162 |      251  41884 |        1 |        0
476.22/476.32	c  476s |      24 |  4488694 |  4417362 |      251  42022 |        1 |        0
478.22/478.32	c  478s |      24 |  4506663 |  4435162 |      251  42157 |        1 |        0
480.22/480.32	c  480s |      24 |  4525376 |  4453662 |      251  42298 |        1 |        0
482.22/482.32	c  482s |      24 |  4544236 |  4472262 |      251  42442 |        1 |        0
484.22/484.33	c  484s |      24 |  4562686 |  4490562 |      251  42580 |        1 |        0
486.22/486.33	c  486s |      24 |  4581065 |  4508762 |      251  42718 |        1 |        0
488.22/488.34	c  488s |      24 |  4599474 |  4526962 |      251  42857 |        1 |        0
490.22/490.35	c  490s |      24 |  4617888 |  4545162 |      251  42996 |        1 |        0
492.22/492.35	c  492s |      24 |  4636371 |  4563462 |      251  43135 |        1 |        0
494.21/494.37	c  494s |      24 |  4655221 |  4582162 |      251  43277 |        1 |        0
496.22/496.37	c  496s |      24 |  4674397 |  4601062 |      251  43421 |        1 |        0
498.21/498.38	c  498s |      24 |  4693451 |  4619862 |      251  43564 |        1 |        0
500.21/500.39	c  500s |      24 |  4712749 |  4638862 |      251  43711 |        1 |        0
502.21/502.39	c  502s |      24 |  4732278 |  4658062 |      251  43855 |        1 |        0
504.31/504.40	c  504s |      24 |  4751108 |  4676562 |      251  43994 |        1 |        0
506.31/506.41	c  506s |      24 |  4769820 |  4694962 |      251  44133 |        1 |        0
508.32/508.41	c  508s |      24 |  4788186 |  4713062 |      251  44269 |        1 |        0
510.31/510.41	c  510s |      24 |  4806325 |  4730962 |      251  44405 |        1 |        0
512.31/512.42	c  512s |      24 |  4824340 |  4748762 |      251  44540 |        1 |        0
514.31/514.42	c  514s |      24 |  4843095 |  4767262 |      251  44682 |        1 |        0
516.31/516.42	c  516s |      24 |  4861659 |  4785662 |      251  44822 |        1 |        0
518.31/518.43	c  518s |      24 |  4879963 |  4803762 |      251  44959 |        1 |        0
520.31/520.44	c  520s |      24 |  4899199 |  4822662 |      251  45105 |        1 |        0
522.31/522.45	c  522s |      24 |  4917970 |  4841162 |      251  45246 |        1 |        0
524.31/524.45	c  524s |      24 |  4936884 |  4859762 |      251  45388 |        1 |        0
526.31/526.46	c  526s |      24 |  4955683 |  4878262 |      251  45530 |        1 |        0
528.31/528.46	c  528s |      24 |  4974405 |  4896662 |      251  45672 |        1 |        0
530.32/530.46	c  530s |      24 |  4993105 |  4915062 |      251  45814 |        1 |        0
532.31/532.46	c  532s |      24 |  5011137 |  4932862 |      251  45950 |        1 |        0
534.31/534.46	c  534s |      24 |  5029191 |  4950662 |      251  46088 |        1 |        0
536.31/536.47	c  536s |      24 |  5048164 |  4969262 |      251  46232 |        1 |        0
538.31/538.48	c  538s |      24 |  5066626 |  4987462 |      251  46374 |        1 |        0
540.31/540.49	c  540s |      24 |  5085402 |  5005962 |      251  46515 |        1 |        0
542.31/542.49	c  542s |      24 |  5103106 |  5023462 |      251  46647 |        1 |        0
544.41/544.50	c  544s |      24 |  5120691 |  5040862 |      277  46771 |        1 |        0
546.41/546.50	c  546s |      24 |  5137894 |  5057862 |      277  46889 |        1 |        0
547.21/547.33	c  547s |      25 |  5145169 |  5065098 |      277  46940 |        1 |        0
549.21/549.33	c  549s |      25 |  5163626 |  5083198 |      277  47065 |        1 |        0
551.21/551.34	c  551s |      25 |  5181629 |  5100998 |      277  47189 |        1 |        0
553.20/553.34	c  553s |      25 |  5200144 |  5119298 |      277  47317 |        1 |        0
555.20/555.36	c  555s |      25 |  5217953 |  5136898 |      277  47440 |        1 |        0
557.20/557.36	c  557s |      25 |  5235839 |  5154598 |      277  47564 |        1 |        0
559.20/559.37	c  559s |      25 |  5254184 |  5172698 |      277  47691 |        1 |        0
561.20/561.38	c  561s |      25 |  5272831 |  5191098 |      277  47820 |        1 |        0
563.21/563.38	c  563s |      25 |  5291132 |  5209198 |      277  47948 |        1 |        0
565.20/565.38	c  565s |      25 |  5309777 |  5227598 |      277  48076 |        1 |        0
567.20/567.39	c  567s |      25 |  5328159 |  5245798 |      277  48199 |        1 |        0
569.20/569.39	c  569s |      25 |  5346690 |  5264198 |      277  48324 |        1 |        0
571.30/571.40	c  571s |      25 |  5365324 |  5282698 |      277  48450 |        1 |        0
573.30/573.40	c  573s |      25 |  5383409 |  5300598 |      277  48573 |        1 |        0
575.30/575.41	c  575s |      25 |  5401702 |  5318698 |      277  48698 |        1 |        0
577.30/577.42	c  577s |      25 |  5420335 |  5337098 |      277  48824 |        1 |        0
579.30/579.42	c  579s |      25 |  5438555 |  5355098 |      277  48947 |        1 |        0
581.30/581.42	c  581s |      25 |  5456902 |  5373098 |      277  49071 |        1 |        0
583.30/583.43	c  583s |      25 |  5474652 |  5390698 |      277  49192 |        1 |        0
585.30/585.44	c  585s |      25 |  5492554 |  5408398 |      277  49314 |        1 |        0
587.30/587.44	c  587s |      25 |  5510566 |  5426198 |      277  49436 |        1 |        0
589.30/589.46	c  589s |      25 |  5528623 |  5443998 |      277  49558 |        1 |        0
591.30/591.47	c  591s |      25 |  5546289 |  5461498 |      277  49679 |        1 |        0
593.30/593.48	c  593s |      25 |  5564114 |  5479098 |      277  49799 |        1 |        0
595.30/595.48	c  595s |      25 |  5581516 |  5496298 |      277  49918 |        1 |        0
597.31/597.48	c  597s |      25 |  5599087 |  5513698 |      277  50038 |        1 |        0
599.30/599.49	c  599s |      25 |  5617018 |  5531398 |      277  50161 |        1 |        0
601.40/601.50	c  601s |      25 |  5635231 |  5549398 |      277  50286 |        1 |        0
603.40/603.51	c  603s |      25 |  5654043 |  5567898 |      277  50417 |        1 |        0
605.40/605.52	c  605s |      25 |  5672522 |  5586098 |      277  50541 |        1 |        0
607.40/607.52	c  607s |      25 |  5690848 |  5604098 |      277  50665 |        1 |        0
609.41/609.52	c  609s |      25 |  5709132 |  5622198 |      277  50791 |        1 |        0
611.40/611.53	c  611s |      25 |  5727361 |  5640198 |      277  50917 |        1 |        0
613.40/613.54	c  613s |      25 |  5745724 |  5658298 |      277  51044 |        1 |        0
615.40/615.54	c  615s |      25 |  5763074 |  5675398 |      277  51162 |        1 |        0
617.40/617.54	c  617s |      25 |  5781552 |  5693598 |      277  51290 |        1 |        0
619.40/619.55	c  619s |      25 |  5799773 |  5711598 |      277  51412 |        1 |        0
621.40/621.56	c  621s |      25 |  5817645 |  5729298 |      277  51532 |        1 |        0
623.40/623.56	c  623s |      25 |  5836014 |  5747498 |      277  51656 |        1 |        0
625.39/625.57	c  625s |      25 |  5854587 |  5765898 |      277  51783 |        1 |        0
627.39/627.58	c  627s |      25 |  5873234 |  5784298 |      277  51911 |        1 |        0
629.39/629.59	c  629s |      25 |  5891735 |  5802598 |      277  52037 |        1 |        0
631.40/631.60	c  631s |      25 |  5910765 |  5821398 |      277  52167 |        1 |        0
633.49/633.60	c  633s |      25 |  5930063 |  5840398 |      277  52298 |        1 |        0
635.49/635.61	c  635s |      25 |  5949082 |  5859098 |      277  52428 |        1 |        0
637.49/637.62	c  637s |      25 |  5967979 |  5877798 |      277  52557 |        1 |        0
639.49/639.62	c  639s |      25 |  5986691 |  5896298 |      277  52685 |        1 |        0
641.49/641.63	c  641s |      25 |  6005899 |  5915198 |      277  52817 |        1 |        0
643.49/643.64	c  643s |      25 |  6025206 |  5934198 |      277  52948 |        1 |        0
645.49/645.64	c  645s |      25 |  6044386 |  5953098 |      277  53080 |        1 |        0
647.49/647.65	c  647s |      25 |  6063534 |  5971898 |      277  53211 |        1 |        0
649.49/649.65	c  649s |      25 |  6082607 |  5990598 |      277  53338 |        1 |        0
651.49/651.66	c  651s |      25 |  6101319 |  6008998 |      277  53464 |        1 |        0
653.50/653.67	c  653s |      25 |  6120253 |  6027598 |      277  53592 |        1 |        0
655.49/655.68	c  655s |      25 |  6139133 |  6046198 |      277  53720 |        1 |        0
657.49/657.68	c  657s |      25 |  6158118 |  6064898 |      277  53849 |        1 |        0
659.49/659.68	c  659s |      25 |  6177075 |  6083498 |      277  53977 |        1 |        0
661.49/661.69	c  661s |      25 |  6195747 |  6101898 |      277  54104 |        1 |        0
663.49/663.69	c  663s |      25 |  6214034 |  6119898 |      277  54229 |        1 |        0
665.50/665.70	c  665s |      25 |  6232380 |  6137998 |      277  54355 |        1 |        0
667.59/667.70	c  667s |      25 |  6250556 |  6155898 |      277  54478 |        1 |        0
669.59/669.71	c  669s |      25 |  6268596 |  6173698 |      277  54601 |        1 |        0
671.59/671.71	c  671s |      25 |  6286205 |  6191098 |      277  54723 |        1 |        0
673.59/673.71	c  673s |      25 |  6304062 |  6208798 |      277  54846 |        1 |        0
675.59/675.72	c  675s |      25 |  6322268 |  6226798 |      277  54972 |        1 |        0
677.59/677.72	c  677s |      25 |  6340591 |  6244898 |      277  55099 |        1 |        0
679.58/679.73	c  679s |      25 |  6358704 |  6262798 |      277  55223 |        1 |        0
681.58/681.74	c  681s |      25 |  6376874 |  6280798 |      277  55348 |        1 |        0
683.58/683.75	c  683s |      25 |  6395465 |  6299198 |      277  55476 |        1 |        0
685.58/685.75	c  685s |      25 |  6414151 |  6317598 |      277  55605 |        1 |        0
687.59/687.76	c  687s |      25 |  6432745 |  6335898 |      277  55733 |        1 |        0
689.58/689.76	c  689s |      25 |  6450567 |  6353498 |      277  55857 |        1 |        0
691.58/691.77	c  691s |      25 |  6469910 |  6372498 |      277  55990 |        1 |        0
693.58/693.77	c  693s |      25 |  6489062 |  6391398 |      277  56121 |        1 |        0
695.58/695.78	c  695s |      25 |  6507853 |  6409898 |      277  56250 |        1 |        0
697.57/697.79	c  697s |      25 |  6526654 |  6428398 |      277  56379 |        1 |        0
699.58/699.79	c  699s |      25 |  6545234 |  6446798 |      277  56507 |        1 |        0
701.57/701.79	c  701s |      25 |  6564017 |  6465398 |      277  56636 |        1 |        0
703.67/703.80	c  703s |      25 |  6582877 |  6483998 |      277  56767 |        1 |        0
705.67/705.80	c  705s |      25 |  6601148 |  6502098 |      277  56894 |        1 |        0
707.67/707.80	c  707s |      25 |  6619776 |  6520498 |      277  57023 |        1 |        0
709.67/709.81	c  709s |      25 |  6638678 |  6539098 |      277  57154 |        1 |        0
711.68/711.81	c  711s |      25 |  6657615 |  6557698 |      277  57285 |        1 |        0
713.67/713.82	c  713s |      25 |  6676388 |  6576198 |      277  57415 |        1 |        0
715.67/715.82	c  715s |      25 |  6694913 |  6594498 |      277  57543 |        1 |        0
717.67/717.82	c  717s |      25 |  6713952 |  6613198 |      277  57674 |        1 |        0
719.67/719.83	c  719s |      25 |  6732495 |  6631598 |      277  57803 |        1 |        0
721.68/721.83	c  721s |      25 |  6751090 |  6649998 |      277  57933 |        1 |        0
723.67/723.83	c  723s |      25 |  6769950 |  6668598 |      277  58063 |        1 |        0
725.67/725.83	c  725s |      25 |  6788691 |  6687098 |      277  58191 |        1 |        0
727.66/727.84	c  727s |      25 |  6807127 |  6705198 |      277  58315 |        1 |        0
729.66/729.84	c  729s |      25 |  6825621 |  6723398 |      277  58439 |        1 |        0
731.66/731.84	c  731s |      25 |  6843712 |  6741198 |      277  58562 |        1 |        0
733.67/733.84	c  733s |      25 |  6861194 |  6758498 |      277  58681 |        1 |        0
735.66/735.85	c  735s |      25 |  6878571 |  6775698 |      277  58800 |        1 |        0
737.67/737.85	c  737s |      25 |  6896645 |  6793498 |      277  58922 |        1 |        0
739.67/739.85	c  739s |      25 |  6914415 |  6810998 |      277  59043 |        1 |        0
741.67/741.85	c  741s |      25 |  6931826 |  6828198 |      277  59162 |        1 |        0
743.67/743.86	c  743s |      25 |  6949582 |  6845798 |      277  59284 |        1 |        0
745.66/745.86	c  745s |      25 |  6967166 |  6863198 |      277  59404 |        1 |        0
747.66/747.87	c  747s |      25 |  6985304 |  6881098 |      277  59530 |        1 |        0
749.66/749.88	c  749s |      25 |  7003053 |  6898698 |      277  59652 |        1 |        0
751.66/751.89	c  751s |      25 |  7021149 |  6916598 |      277  59778 |        1 |        0
753.66/753.89	c  753s |      25 |  7040038 |  6935198 |      277  59907 |        1 |        0
755.67/755.90	c  755s |      25 |  7058866 |  6953698 |      277  60036 |        1 |        0
757.75/757.90	c  757s |      25 |  7077762 |  6972198 |      277  60165 |        1 |        0
759.75/759.90	c  759s |      25 |  7096790 |  6990898 |      277  60296 |        1 |        0
761.75/761.90	c  761s |      25 |  7115023 |  7008898 |      277  60422 |        1 |        0
763.75/763.91	c  763s |      25 |  7134114 |  7027698 |      277  60554 |        1 |        0
765.75/765.91	c  765s |      25 |  7152693 |  7045998 |      277  60680 |        1 |        0
767.75/767.92	c  767s |      25 |  7170851 |  7063898 |      277  60805 |        1 |        0
769.75/769.92	c  769s |      25 |  7189229 |  7081998 |      277  60931 |        1 |        0
771.75/771.92	c  771s |      25 |  7207824 |  7100298 |      277  61059 |        1 |        0
773.75/773.93	c  773s |      25 |  7226153 |  7118398 |      277  61186 |        1 |        0
775.75/775.94	c  775s |      25 |  7244504 |  7136498 |      277  61313 |        1 |        0
777.75/777.94	c  777s |      25 |  7262636 |  7154398 |      277  61437 |        1 |        0
779.75/779.95	c  779s |      25 |  7281429 |  7172898 |      277  61567 |        1 |        0
781.75/781.96	c  781s |      25 |  7299898 |  7190998 |      277  61693 |        1 |        0
783.75/783.97	c  783s |      25 |  7318629 |  7209398 |      277  61822 |        1 |        0
785.75/785.97	c  785s |      25 |  7337320 |  7227798 |      277  61951 |        1 |        0
787.75/787.98	c  787s |      25 |  7356066 |  7246198 |      277  62081 |        1 |        0
789.76/789.98	c  789s |      25 |  7374796 |  7264598 |      277  62210 |        1 |        0
791.75/791.99	c  791s |      25 |  7393608 |  7283098 |      277  62340 |        1 |        0
793.75/793.99	c  793s |      25 |  7412658 |  7301798 |      277  62472 |        1 |        0
795.85/796.00	c  795s |      25 |  7431745 |  7320498 |      277  62604 |        1 |        0
797.84/798.01	c  797s |      25 |  7451576 |  7339898 |      277  62741 |        1 |        0
799.84/800.01	c  799s |      25 |  7470802 |  7358798 |      277  62875 |        1 |        0
801.85/802.02	c  802s |      25 |  7489680 |  7377398 |      277  63007 |        1 |        0
803.84/804.02	c  804s |      25 |  7508457 |  7395898 |      277  63138 |        1 |        0
805.84/806.03	c  806s |      25 |  7527259 |  7414398 |      277  63270 |        1 |        0
807.85/808.03	c  808s |      25 |  7545847 |  7432698 |      277  63400 |        1 |        0
809.84/810.04	c  810s |      25 |  7563797 |  7450498 |      277  63523 |        1 |        0
811.85/812.04	c  812s |      25 |  7581941 |  7468498 |      277  63649 |        1 |        0
813.84/814.05	c  814s |      25 |  7600302 |  7486698 |      277  63777 |        1 |        0
815.84/816.06	c  816s |      25 |  7619254 |  7505398 |      277  63909 |        1 |        0
817.84/818.07	c  818s |      25 |  7637900 |  7523798 |      277  64039 |        1 |        0
819.84/820.08	c  820s |      25 |  7656022 |  7541698 |      277  64163 |        1 |        0
821.84/822.08	c  822s |      25 |  7674086 |  7559498 |      305  64277 |        1 |        0
823.84/824.08	c  824s |      25 |  7692433 |  7577598 |      305  64393 |        1 |        0
825.84/826.08	c  826s |      25 |  7711147 |  7595998 |      305  64511 |        1 |        0
826.04/826.27	c  826s |      26 |  7712934 |  7597752 |      305  64522 |        1 |        0
828.04/828.28	c  828s |      26 |  7732483 |  7616952 |      305  64640 |        1 |        0
830.03/830.28	c  830s |      26 |  7752127 |  7636152 |      305  64758 |        1 |        0
832.03/832.29	c  832s |      26 |  7771478 |  7655052 |      305  64875 |        1 |        0
834.03/834.29	c  834s |      26 |  7790325 |  7673552 |      305  64988 |        1 |        0
836.13/836.30	c  836s |      26 |  7809014 |  7691852 |      305  65101 |        1 |        0
838.13/838.30	c  838s |      26 |  7828095 |  7710552 |      305  65217 |        1 |        0
840.13/840.31	c  840s |      26 |  7846573 |  7728752 |      305  65330 |        1 |        0
842.13/842.32	c  842s |      26 |  7864751 |  7746752 |      305  65442 |        1 |        0
844.13/844.33	c  844s |      26 |  7883433 |  7765152 |      305  65555 |        1 |        0
846.13/846.33	c  846s |      26 |  7902045 |  7783552 |      305  65668 |        1 |        0
848.13/848.34	c  848s |      26 |  7920524 |  7801752 |      305  65780 |        1 |        0
850.12/850.35	c  850s |      26 |  7939002 |  7819952 |      305  65893 |        1 |        0
852.12/852.35	c  852s |      26 |  7957838 |  7838452 |      305  66008 |        1 |        0
854.12/854.36	c  854s |      26 |  7976030 |  7856452 |      305  66120 |        1 |        0
856.13/856.36	c  856s |      26 |  7994145 |  7874252 |      305  66230 |        1 |        0
858.12/858.37	c  858s |      26 |  8012493 |  7892252 |      305  66341 |        1 |        0
860.13/860.38	c  860s |      26 |  8030890 |  7910352 |      305  66453 |        1 |        0
862.12/862.38	c  862s |      26 |  8049152 |  7928252 |      305  66564 |        1 |        0
864.12/864.39	c  864s |      26 |  8067490 |  7946252 |      305  66675 |        1 |        0
866.12/866.39	c  866s |      26 |  8085987 |  7964352 |      305  66787 |        1 |        0
868.22/868.40	c  868s |      26 |  8104041 |  7982052 |      305  66897 |        1 |        0
870.22/870.40	c  870s |      26 |  8122304 |  7999952 |      305  67008 |        1 |        0
872.22/872.41	c  872s |      26 |  8140401 |  8017752 |      305  67118 |        1 |        0
874.22/874.42	c  874s |      26 |  8158686 |  8035752 |      305  67230 |        1 |        0
876.21/876.42	c  876s |      26 |  8177128 |  8053852 |      305  67342 |        1 |        0
878.21/878.43	c  878s |      26 |  8195509 |  8071852 |      305  67454 |        1 |        0
880.21/880.43	c  880s |      26 |  8213547 |  8089652 |      305  67565 |        1 |        0
882.22/882.43	c  882s |      26 |  8231405 |  8107252 |      305  67674 |        1 |        0
884.21/884.43	c  884s |      26 |  8249675 |  8125252 |      305  67786 |        1 |        0
886.21/886.44	c  886s |      26 |  8268047 |  8143352 |      305  67898 |        1 |        0
888.21/888.44	c  888s |      26 |  8286191 |  8161252 |      305  68009 |        1 |        0
890.20/890.45	c  890s |      26 |  8304208 |  8179052 |      305  68121 |        1 |        0
892.20/892.46	c  892s |      26 |  8322406 |  8196952 |      305  68232 |        1 |        0
894.21/894.46	c  894s |      26 |  8340452 |  8214752 |      305  68343 |        1 |        0
896.20/896.46	c  896s |      26 |  8358543 |  8232552 |      305  68454 |        1 |        0
898.20/898.47	c  898s |      26 |  8376506 |  8250252 |      305  68566 |        1 |        0
900.20/900.48	c  900s |      26 |  8394763 |  8268152 |      305  68678 |        1 |        0
902.20/902.48	c  902s |      26 |  8413007 |  8286052 |      305  68790 |        1 |        0
904.20/904.48	c  904s |      26 |  8431202 |  8303952 |      305  68901 |        1 |        0
906.20/906.49	c  906s |      26 |  8450125 |  8322452 |      305  69015 |        1 |        0
908.19/908.49	c  908s |      26 |  8468818 |  8340752 |      305  69130 |        1 |        0
910.19/910.50	c  910s |      26 |  8488150 |  8359552 |      305  69246 |        1 |        0
912.19/912.50	c  912s |      26 |  8506921 |  8377952 |      305  69361 |        1 |        0
914.29/914.50	c  914s |      26 |  8525812 |  8396452 |      305  69476 |        1 |        0
916.30/916.51	c  916s |      26 |  8543536 |  8413952 |      305  69585 |        1 |        0
918.29/918.52	c  918s |      26 |  8561381 |  8431552 |      305  69695 |        1 |        0
920.29/920.53	c  920s |      26 |  8579771 |  8449652 |      305  69808 |        1 |        0
922.29/922.54	c  922s |      26 |  8598536 |  8468052 |      305  69923 |        1 |        0
924.29/924.54	c  924s |      26 |  8616833 |  8486052 |      305  70036 |        1 |        0
926.29/926.55	c  926s |      26 |  8635504 |  8504352 |      305  70152 |        1 |        0
928.29/928.56	c  928s |      26 |  8653782 |  8522252 |      305  70263 |        1 |        0
930.29/930.56	c  930s |      26 |  8671751 |  8539852 |      305  70370 |        1 |        0
932.29/932.57	c  932s |      26 |  8689886 |  8557652 |      305  70479 |        1 |        0
934.28/934.57	c  934s |      26 |  8707887 |  8575352 |      305  70588 |        1 |        0
936.28/936.57	c  936s |      26 |  8725903 |  8593052 |      305  70697 |        1 |        0
938.29/938.59	c  938s |      26 |  8743788 |  8610652 |      305  70805 |        1 |        0
940.28/940.59	c  940s |      26 |  8761854 |  8628352 |      305  70915 |        1 |        0
942.28/942.59	c  942s |      26 |  8779772 |  8645952 |      305  71023 |        1 |        0
944.28/944.59	c  944s |      26 |  8797359 |  8663252 |      305  71129 |        1 |        0
946.38/946.60	c  946s |      26 |  8815196 |  8680752 |      305  71236 |        1 |        0
948.37/948.61	c  948s |      26 |  8832787 |  8698052 |      305  71342 |        1 |        0
950.39/950.61	c  950s |      26 |  8850665 |  8715652 |      305  71451 |        1 |        0
952.38/952.62	c  952s |      26 |  8868577 |  8733252 |      305  71560 |        1 |        0
954.38/954.62	c  954s |      26 |  8886470 |  8750852 |      305  71669 |        1 |        0
956.38/956.63	c  956s |      26 |  8904930 |  8768952 |      305  71781 |        1 |        0
958.38/958.64	c  958s |      26 |  8923811 |  8787352 |      305  71895 |        1 |        0
960.38/960.64	c  960s |      26 |  8942287 |  8805452 |      305  72007 |        1 |        0
962.38/962.64	c  962s |      26 |  8960324 |  8823252 |      305  72117 |        1 |        0
964.37/964.64	c  964s |      26 |  8978269 |  8840952 |      305  72226 |        1 |        0
966.37/966.64	c  966s |      26 |  8996145 |  8858552 |      305  72336 |        1 |        0
968.37/968.65	c  968s |      26 |  9013906 |  8876052 |      305  72444 |        1 |        0
970.37/970.65	c  970s |      26 |  9031665 |  8893552 |      305  72553 |        1 |        0
972.37/972.65	c  972s |      26 |  9049931 |  8911452 |      305  72664 |        1 |        0
974.36/974.66	c  974s |      26 |  9067850 |  8929052 |      305  72773 |        1 |        0
976.36/976.67	c  976s |      26 |  9085822 |  8946752 |      305  72883 |        1 |        0
978.36/978.68	c  978s |      26 |  9104146 |  8964852 |      305  72995 |        1 |        0
980.36/980.69	c  980s |      26 |  9122282 |  8982652 |      305  73105 |        1 |        0
982.36/982.69	c  982s |      26 |  9140607 |  9000652 |      305  73217 |        1 |        0
984.47/984.70	c  984s |      26 |  9158796 |  9018552 |      305  73328 |        1 |        0
986.46/986.71	c  986s |      26 |  9176683 |  9036152 |      305  73438 |        1 |        0
988.46/988.71	c  988s |      26 |  9194377 |  9053552 |      305  73546 |        1 |        0
990.46/990.71	c  990s |      26 |  9212565 |  9071452 |      305  73657 |        1 |        0
992.46/992.72	c  992s |      26 |  9230777 |  9089352 |      305  73767 |        1 |        0
994.46/994.73	c  994s |      26 |  9248691 |  9107052 |      305  73878 |        1 |        0
996.47/996.73	c  996s |      26 |  9266119 |  9124252 |      305  73985 |        1 |        0
998.46/998.73	c  998s |      26 |  9283868 |  9141652 |      305  74092 |        1 |        0
1000.46/1000.74	c 1000s |      26 |  9301823 |  9159352 |      305  74203 |        1 |        0
1002.46/1002.74	c 1002s |      26 |  9319650 |  9176952 |      305  74313 |        1 |        0
1004.46/1004.75	c 1004s |      26 |  9337640 |  9194652 |      305  74423 |        1 |        0
1006.46/1006.75	c 1006s |      26 |  9355363 |  9212052 |      305  74532 |        1 |        0
1008.45/1008.75	c 1008s |      26 |  9373514 |  9229852 |      305  74643 |        1 |        0
1010.45/1010.75	c 1010s |      26 |  9391488 |  9247552 |      305  74753 |        1 |        0
1012.45/1012.77	c 1012s |      26 |  9409862 |  9265652 |      305  74865 |        1 |        0
1014.45/1014.77	c 1014s |      26 |  9428471 |  9283852 |      305  74979 |        1 |        0
1016.45/1016.78	c 1016s |      26 |  9446686 |  9301752 |      305  75091 |        1 |        0
1018.45/1018.79	c 1018s |      26 |  9464749 |  9319552 |      305  75201 |        1 |        0
1020.45/1020.79	c 1020s |      26 |  9482825 |  9337352 |      305  75312 |        1 |        0
1022.45/1022.80	c 1022s |      26 |  9500892 |  9355152 |      305  75423 |        1 |        0
1024.45/1024.80	c 1024s |      26 |  9519267 |  9373252 |      305  75536 |        1 |        0
1026.55/1026.80	c 1026s |      26 |  9537845 |  9391552 |      305  75650 |        1 |        0
1028.54/1028.81	c 1028s |      26 |  9556358 |  9409752 |      305  75765 |        1 |        0
1030.55/1030.81	c 1030s |      26 |  9575007 |  9428052 |      305  75879 |        1 |        0
1032.54/1032.82	c 1032s |      26 |  9593057 |  9445852 |      305  75990 |        1 |        0
1034.54/1034.82	c 1034s |      26 |  9611273 |  9463752 |      305  76103 |        1 |        0
1036.54/1036.83	c 1036s |      26 |  9629555 |  9481752 |      305  76215 |        1 |        0
1038.54/1038.83	c 1038s |      26 |  9647761 |  9499652 |      305  76325 |        1 |        0
1040.55/1040.84	c 1040s |      26 |  9666362 |  9517752 |      305  76437 |        1 |        0
1042.54/1042.85	c 1042s |      26 |  9684621 |  9535652 |      305  76548 |        1 |        0
1044.54/1044.86	c 1044s |      26 |  9702744 |  9553452 |      305  76658 |        1 |        0
1046.54/1046.86	c 1046s |      26 |  9720768 |  9571152 |      305  76768 |        1 |        0
1048.54/1048.86	c 1048s |      26 |  9738789 |  9588852 |      305  76878 |        1 |        0
1050.54/1050.87	c 1050s |      26 |  9757206 |  9606852 |      305  76990 |        1 |        0
1052.54/1052.88	c 1052s |      26 |  9775266 |  9624552 |      305  77101 |        1 |        0
1054.54/1054.89	c 1054s |      26 |  9793419 |  9642452 |      305  77212 |        1 |        0
1056.54/1056.89	c 1056s |      26 |  9811325 |  9660052 |      305  77322 |        1 |        0
1058.63/1058.90	c 1058s |      26 |  9829564 |  9677952 |      305  77433 |        1 |        0
1060.63/1060.90	c 1060s |      26 |  9847788 |  9695852 |      305  77545 |        1 |        0
1062.63/1062.91	c 1062s |      26 |  9866138 |  9713852 |      305  77658 |        1 |        0
1064.64/1064.92	c 1064s |      26 |  9884367 |  9731752 |      305  77770 |        1 |        0
1066.63/1066.93	c 1066s |      26 |  9902855 |  9749852 |      305  77884 |        1 |        0
1068.62/1068.94	c 1068s |      26 |  9921543 |  9768152 |      305  77998 |        1 |        0
1070.62/1070.95	c 1070s |      26 |  9939785 |  9786052 |      305  78109 |        1 |        0
1072.62/1072.95	c 1072s |      26 |  9957663 |  9803652 |      305  78220 |        1 |        0
1074.63/1074.96	c 1074s |      26 |  9975445 |  9821152 |      305  78329 |        1 |        0
1076.62/1076.97	c 1076s |      26 |  9993295 |  9838652 |      305  78439 |        1 |        0
1078.62/1078.97	c 1078s |      26 | 10010948 |  9856052 |      305  78548 |        1 |        0
1080.62/1080.97	c 1080s |      26 | 10028911 |  9873752 |      305  78659 |        1 |        0
1082.62/1082.98	c 1082s |      26 | 10046858 |  9891352 |      305  78769 |        1 |        0
1084.62/1084.99	c 1084s |      26 | 10065302 |  9909452 |      305  78883 |        1 |        0
1086.63/1087.00	c 1086s |      26 | 10083572 |  9927452 |      305  78996 |        1 |        0
1088.72/1089.00	c 1088s |      26 | 10102018 |  9945552 |      305  79111 |        1 |        0
1090.72/1091.01	c 1090s |      26 | 10120338 |  9963552 |      305  79222 |        1 |        0
1092.72/1093.02	c 1093s |      26 | 10138490 |  9981452 |      305  79333 |        1 |        0
1094.72/1095.02	c 1095s |      26 | 10157246 |  9999852 |      305  79446 |        1 |        0
1096.72/1097.03	c 1097s |      26 | 10176324 | 10018552 |      305  79562 |        1 |        0
1098.72/1099.04	c 1099s |      26 | 10195551 | 10037352 |      305  79679 |        1 |        0
1100.71/1101.05	c 1101s |      26 | 10214465 | 10055852 |      305  79795 |        1 |        0
1102.71/1103.05	c 1103s |      26 | 10233459 | 10074452 |      305  79910 |        1 |        0
1104.71/1105.06	c 1105s |      26 | 10252264 | 10092852 |      305  80025 |        1 |        0
1106.71/1107.07	c 1107s |      26 | 10270929 | 10111152 |      305  80138 |        1 |        0
1108.71/1109.08	c 1109s |      26 | 10289688 | 10129652 |      305  80253 |        1 |        0
1110.71/1111.08	c 1111s |      26 | 10308443 | 10148052 |      305  80368 |        1 |        0
1112.70/1113.09	c 1113s |      26 | 10327246 | 10166452 |      305  80483 |        1 |        0
1114.70/1115.09	c 1115s |      26 | 10345553 | 10184452 |      305  80596 |        1 |        0
1116.80/1117.10	c 1117s |      26 | 10363745 | 10202352 |      305  80708 |        1 |        0
1118.80/1119.10	c 1119s |      26 | 10381962 | 10220252 |      305  80819 |        1 |        0
1120.80/1121.12	c 1121s |      26 | 10400736 | 10238652 |      305  80933 |        1 |        0
1122.80/1123.13	c 1123s |      26 | 10419108 | 10256652 |      305  81045 |        1 |        0
1124.80/1125.13	c 1125s |      26 | 10438252 | 10275352 |      305  81161 |        1 |        0
1126.81/1127.14	c 1127s |      26 | 10456876 | 10293552 |      305  81275 |        1 |        0
1128.80/1129.15	c 1129s |      26 | 10475184 | 10311552 |      305  81387 |        1 |        0
1130.80/1131.15	c 1131s |      26 | 10493530 | 10329552 |      305  81499 |        1 |        0
1132.81/1133.15	c 1133s |      26 | 10511870 | 10347552 |      305  81612 |        1 |        0
1134.80/1135.16	c 1135s |      26 | 10530005 | 10365352 |      305  81724 |        1 |        0
1136.80/1137.17	c 1137s |      26 | 10547570 | 10382652 |      305  81832 |        1 |        0
1138.80/1139.18	c 1139s |      26 | 10565357 | 10400152 |      305  81943 |        1 |        0
1140.80/1141.18	c 1141s |      26 | 10583546 | 10418052 |      305  82054 |        1 |        0
1142.80/1143.18	c 1143s |      26 | 10602317 | 10436352 |      305  82169 |        1 |        0
1144.80/1145.19	c 1145s |      26 | 10620618 | 10454252 |      305  82280 |        1 |        0
1146.79/1147.20	c 1147s |      26 | 10638794 | 10472052 |      305  82392 |        1 |        0
1148.89/1149.20	c 1149s |      26 | 10656894 | 10489752 |      305  82503 |        1 |        0
1150.89/1151.20	c 1151s |      26 | 10675314 | 10507752 |      305  82616 |        1 |        0
1152.89/1153.21	c 1153s |      26 | 10693051 | 10525152 |      305  82726 |        1 |        0
1154.90/1155.21	c 1155s |      26 | 10710438 | 10542252 |      305  82833 |        1 |        0
1156.89/1157.22	c 1157s |      26 | 10728171 | 10559652 |      305  82944 |        1 |        0
1158.88/1159.22	c 1159s |      26 | 10746008 | 10577152 |      305  83052 |        1 |        0
1160.88/1161.23	c 1161s |      26 | 10764264 | 10595052 |      305  83163 |        1 |        0
1162.88/1163.23	c 1163s |      26 | 10781978 | 10612452 |      305  83272 |        1 |        0
1164.88/1165.23	c 1165s |      26 | 10800842 | 10630952 |      305  83387 |        1 |        0
1166.89/1167.24	c 1167s |      26 | 10819654 | 10649352 |      305  83502 |        1 |        0
1168.88/1169.24	c 1169s |      26 | 10837996 | 10667352 |      305  83614 |        1 |        0
1170.88/1171.25	c 1171s |      26 | 10856357 | 10685352 |      305  83727 |        1 |        0
1172.88/1173.26	c 1173s |      26 | 10874812 | 10703452 |      305  83840 |        1 |        0
1174.88/1175.26	c 1175s |      26 | 10893227 | 10721552 |      305  83953 |        1 |        0
1176.88/1177.27	c 1177s |      26 | 10911267 | 10739252 |      305  84064 |        1 |        0
1178.87/1179.27	c 1179s |      26 | 10929255 | 10756952 |      305  84175 |        1 |        0
1180.87/1181.28	c 1181s |      26 | 10947809 | 10775152 |      305  84288 |        1 |        0
1182.88/1183.29	c 1183s |      26 | 10965997 | 10793052 |      305  84399 |        1 |        0
1184.98/1185.30	c 1185s |      26 | 10984181 | 10810952 |      305  84511 |        1 |        0
1186.98/1187.30	c 1187s |      26 | 11002344 | 10828752 |      305  84623 |        1 |        0
1188.88/1189.30	c 1189s |      26 | 11020135 | 10846252 |      305  84732 |        1 |        0
1190.98/1191.31	c 1191s |      26 | 11038059 | 10863852 |      305  84842 |        1 |        0
1192.98/1193.31	c 1193s |      26 | 11055921 | 10881452 |      305  84953 |        1 |        0
1194.98/1195.31	c 1195s |      26 | 11074199 | 10899352 |      305  85066 |        1 |        0
1196.97/1197.32	c 1197s |      26 | 11092452 | 10917252 |      305  85179 |        1 |        0
1198.97/1199.33	c 1199s |      26 | 11110944 | 10935352 |      305  85292 |        1 |        0
1200.98/1201.34	c 1201s |      26 | 11129413 | 10953452 |      305  85406 |        1 |        0
1202.97/1203.34	c 1203s |      26 | 11147896 | 10971552 |      305  85520 |        1 |        0
1204.97/1205.34	c 1205s |      26 | 11166220 | 10989552 |      305  85633 |        1 |        0
1206.97/1207.35	c 1207s |      26 | 11184629 | 11007652 |      305  85748 |        1 |        0
1208.97/1209.36	c 1209s |      26 | 11203081 | 11025652 |      305  85860 |        1 |        0
1210.97/1211.37	c 1211s |      26 | 11221387 | 11043552 |      305  85972 |        1 |        0
1212.97/1213.37	c 1213s |      26 | 11239069 | 11060852 |      305  86080 |        1 |        0
1214.97/1215.38	c 1215s |      26 | 11256670 | 11078152 |      305  86188 |        1 |        0
1216.97/1217.39	c 1217s |      26 | 11274769 | 11095952 |      305  86300 |        1 |        0
1218.96/1219.40	c 1219s |      26 | 11292195 | 11113052 |      305  86407 |        1 |        0
1221.06/1221.40	c 1221s |      26 | 11309969 | 11130452 |      305  86516 |        1 |        0
1223.07/1223.42	c 1223s |      26 | 11328476 | 11148552 |      305  86630 |        1 |        0
1225.06/1225.42	c 1225s |      26 | 11347132 | 11166752 |      305  86744 |        1 |        0
1227.06/1227.43	c 1227s |      26 | 11365440 | 11184752 |      305  86857 |        1 |        0
1229.05/1229.44	c 1229s |      26 | 11383840 | 11202852 |      305  86971 |        1 |        0
1231.05/1231.44	c 1231s |      26 | 11401728 | 11220452 |      305  87082 |        1 |        0
1233.05/1233.45	c 1233s |      26 | 11418987 | 11237452 |      305  87188 |        1 |        0
1235.06/1235.45	c 1235s |      26 | 11437038 | 11255052 |      305  87299 |        1 |        0
1237.05/1237.46	c 1237s |      26 | 11455103 | 11272752 |      305  87411 |        1 |        0
1239.05/1239.46	c 1239s |      26 | 11473426 | 11290752 |      305  87524 |        1 |        0
1241.04/1241.47	c 1241s |      26 | 11492045 | 11308952 |      305  87640 |        1 |        0
1243.05/1243.48	c 1243s |      26 | 11510824 | 11327252 |      336  87749 |        1 |        0
1245.06/1245.48	c 1245s |      26 | 11529577 | 11345552 |      336  87853 |        1 |        0
1247.05/1247.48	c 1247s |      26 | 11547985 | 11363552 |      336  87956 |        1 |        0
1249.05/1249.49	c 1249s |      26 | 11565566 | 11380852 |      336  88055 |        1 |        0
1250.95/1251.30	c 1251s |      27 | 11581682 | 11396733 |      336  88147 |        1 |        0
1252.95/1253.31	c 1253s |      27 | 11598453 | 11413333 |      336  88240 |        1 |        0
1254.95/1255.32	c 1255s |      27 | 11615716 | 11430433 |      336  88337 |        1 |        0
1256.95/1257.32	c 1257s |      27 | 11632684 | 11447233 |      336  88432 |        1 |        0
1258.94/1259.33	c 1259s |      27 | 11649726 | 11464133 |      336  88529 |        1 |        0
1260.94/1261.34	c 1261s |      27 | 11666740 | 11481033 |      336  88624 |        1 |        0
1262.94/1263.34	c 1263s |      27 | 11683676 | 11497733 |      336  88719 |        1 |        0
1264.94/1265.35	c 1265s |      27 | 11700842 | 11514633 |      336  88816 |        1 |        0
1266.94/1267.36	c 1267s |      27 | 11718010 | 11531533 |      336  88913 |        1 |        0
1268.94/1269.36	c 1269s |      27 | 11735643 | 11548933 |      336  89013 |        1 |        0
1270.93/1271.37	c 1271s |      27 | 11753565 | 11566533 |      336  89115 |        1 |        0
1272.93/1273.38	c 1273s |      27 | 11771976 | 11584633 |      336  89217 |        1 |        0
1274.93/1275.38	c 1275s |      27 | 11789775 | 11602133 |      336  89315 |        1 |        0
1276.95/1277.39	c 1277s |      27 | 11807395 | 11619433 |      336  89414 |        1 |        0
1278.94/1279.39	c 1279s |      27 | 11824825 | 11636633 |      336  89511 |        1 |        0
1280.94/1281.39	c 1281s |      27 | 11841754 | 11653333 |      336  89606 |        1 |        0
1283.04/1283.40	c 1283s |      27 | 11859231 | 11670533 |      336  89704 |        1 |        0
1285.03/1285.41	c 1285s |      27 | 11876723 | 11687833 |      336  89803 |        1 |        0
1287.03/1287.41	c 1287s |      27 | 11894585 | 11705433 |      336  89902 |        1 |        0
1289.04/1289.42	c 1289s |      27 | 11911816 | 11722433 |      336  89998 |        1 |        0
1291.03/1291.42	c 1291s |      27 | 11929091 | 11739533 |      336  90095 |        1 |        0
1293.03/1293.43	c 1293s |      27 | 11946207 | 11756433 |      336  90191 |        1 |        0
1295.03/1295.44	c 1295s |      27 | 11963143 | 11773133 |      336  90287 |        1 |        0
1297.03/1297.45	c 1297s |      27 | 11980846 | 11790533 |      336  90385 |        1 |        0
1299.03/1299.45	c 1299s |      27 | 11998985 | 11808333 |      336  90484 |        1 |        0
1301.03/1301.46	c 1301s |      27 | 12017320 | 11826333 |      336  90585 |        1 |        0
1303.03/1303.47	c 1303s |      27 | 12035637 | 11844333 |      336  90686 |        1 |        0
1305.02/1305.47	c 1305s |      27 | 12053789 | 11862033 |      336  90786 |        1 |        0
1307.03/1307.48	c 1307s |      27 | 12071520 | 11879433 |      336  90885 |        1 |        0
1309.03/1309.49	c 1309s |      27 | 12089603 | 11897233 |      336  90985 |        1 |        0
1311.04/1311.49	c 1311s |      27 | 12107705 | 11915033 |      336  91086 |        1 |        0
1313.13/1313.50	c 1313s |      27 | 12125670 | 11932733 |      336  91186 |        1 |        0
1315.13/1315.51	c 1315s |      27 | 12143409 | 11950233 |      336  91285 |        1 |        0
1317.12/1317.52	c 1317s |      27 | 12160320 | 11966933 |      336  91379 |        1 |        0
1319.12/1319.53	c 1319s |      27 | 12177701 | 11984033 |      336  91476 |        1 |        0
1321.12/1321.53	c 1321s |      27 | 12194879 | 12000933 |      336  91572 |        1 |        0
1323.13/1323.54	c 1323s |      27 | 12212482 | 12018333 |      336  91671 |        1 |        0
1325.12/1325.55	c 1325s |      27 | 12230134 | 12035733 |      336  91769 |        1 |        0
1327.12/1327.55	c 1327s |      27 | 12247532 | 12052933 |      336  91866 |        1 |        0
1329.12/1329.55	c 1329s |      27 | 12265345 | 12070433 |      336  91966 |        1 |        0
1331.12/1331.56	c 1331s |      27 | 12282157 | 12087033 |      336  92060 |        1 |        0
1333.12/1333.57	c 1333s |      27 | 12299330 | 12103933 |      336  92156 |        1 |        0
1335.12/1335.58	c 1335s |      27 | 12316861 | 12121233 |      336  92254 |        1 |        0
1337.12/1337.58	c 1337s |      27 | 12334541 | 12138733 |      336  92353 |        1 |        0
1339.11/1339.58	c 1339s |      27 | 12352084 | 12156033 |      336  92451 |        1 |        0
1341.11/1341.58	c 1341s |      27 | 12369367 | 12173133 |      336  92548 |        1 |        0
1343.11/1343.58	c 1343s |      27 | 12386678 | 12190233 |      336  92646 |        1 |        0
1345.12/1345.59	c 1345s |      27 | 12404219 | 12207433 |      336  92744 |        1 |        0
1347.11/1347.59	c 1347s |      27 | 12421526 | 12224533 |      336  92841 |        1 |        0
1349.21/1349.60	c 1349s |      27 | 12438990 | 12241733 |      336  92940 |        1 |        0
1351.22/1351.60	c 1351s |      27 | 12456456 | 12258933 |      336  93039 |        1 |        0
1353.22/1353.62	c 1353s |      27 | 12474331 | 12276533 |      336  93140 |        1 |        0
1355.22/1355.62	c 1355s |      27 | 12491990 | 12293833 |      336  93238 |        1 |        0
1357.23/1357.62	c 1357s |      27 | 12509280 | 12310733 |      336  93334 |        1 |        0
1359.22/1359.63	c 1359s |      27 | 12526667 | 12327833 |      336  93431 |        1 |        0
1361.22/1361.64	c 1361s |      27 | 12544134 | 12345033 |      336  93530 |        1 |        0
1363.22/1363.65	c 1363s |      27 | 12561665 | 12362233 |      336  93627 |        1 |        0
1365.22/1365.66	c 1365s |      27 | 12578623 | 12379033 |      336  93724 |        1 |        0
1367.22/1367.66	c 1367s |      27 | 12596324 | 12396333 |      336  93824 |        1 |        0
1369.22/1369.67	c 1369s |      27 | 12613286 | 12413133 |      336  93920 |        1 |        0
1371.22/1371.67	c 1371s |      27 | 12630709 | 12430333 |      336  94018 |        1 |        0
1373.22/1373.68	c 1373s |      27 | 12648035 | 12447433 |      336  94116 |        1 |        0
1375.21/1375.68	c 1375s |      27 | 12666147 | 12465233 |      336  94218 |        1 |        0
1377.21/1377.69	c 1377s |      27 | 12683924 | 12482833 |      336  94319 |        1 |        0
1379.31/1379.70	c 1379s |      27 | 12702005 | 12500633 |      336  94421 |        1 |        0
1381.32/1381.71	c 1381s |      27 | 12719485 | 12517833 |      336  94519 |        1 |        0
1383.31/1383.71	c 1383s |      27 | 12736687 | 12534833 |      336  94617 |        1 |        0
1385.31/1385.72	c 1385s |      27 | 12753678 | 12551633 |      336  94713 |        1 |        0
1387.31/1387.73	c 1387s |      27 | 12770048 | 12567833 |      336  94806 |        1 |        0
1389.31/1389.73	c 1389s |      27 | 12787005 | 12584633 |      336  94903 |        1 |        0
1391.32/1391.73	c 1391s |      27 | 12804261 | 12601733 |      336  95001 |        1 |        0
1393.31/1393.74	c 1393s |      27 | 12821952 | 12619233 |      336  95101 |        1 |        0
1395.31/1395.75	c 1395s |      27 | 12839538 | 12636633 |      336  95201 |        1 |        0
1397.31/1397.76	c 1397s |      27 | 12857582 | 12654433 |      336  95303 |        1 |        0
1399.31/1399.76	c 1399s |      27 | 12875319 | 12671933 |      336  95402 |        1 |        0
1401.31/1401.77	c 1401s |      27 | 12892693 | 12689133 |      336  95499 |        1 |        0
1403.31/1403.78	c 1403s |      27 | 12910347 | 12706533 |      336  95598 |        1 |        0
1405.31/1405.79	c 1405s |      27 | 12928107 | 12724133 |      336  95698 |        1 |        0
1407.31/1407.80	c 1407s |      27 | 12945616 | 12741333 |      336  95796 |        1 |        0
1409.40/1409.81	c 1409s |      27 | 12962656 | 12758133 |      336  95892 |        1 |        0
1411.40/1411.82	c 1411s |      27 | 12979397 | 12774633 |      336  95986 |        1 |        0
1413.41/1413.82	c 1413s |      27 | 12995780 | 12790833 |      336  96079 |        1 |        0
1415.42/1415.82	c 1415s |      27 | 13012455 | 12807333 |      336  96174 |        1 |        0
1417.41/1417.82	c 1417s |      27 | 13029400 | 12824133 |      336  96270 |        1 |        0
1419.41/1419.83	c 1419s |      27 | 13046495 | 12841033 |      336  96367 |        1 |        0
1421.41/1421.84	c 1421s |      27 | 13063789 | 12858133 |      336  96465 |        1 |        0
1423.41/1423.84	c 1423s |      27 | 13081306 | 12875433 |      336  96565 |        1 |        0
1425.41/1425.85	c 1425s |      27 | 13099351 | 12893233 |      336  96667 |        1 |        0
1427.41/1427.86	c 1427s |      27 | 13116288 | 12910033 |      336  96762 |        1 |        0
1429.41/1429.86	c 1429s |      27 | 13134418 | 12927933 |      336  96866 |        1 |        0
1431.41/1431.87	c 1431s |      27 | 13152402 | 12945633 |      336  96967 |        1 |        0
1433.41/1433.87	c 1433s |      27 | 13170668 | 12963633 |      336  97070 |        1 |        0
1435.41/1435.87	c 1435s |      27 | 13188387 | 12981133 |      336  97171 |        1 |        0
1437.41/1437.87	c 1437s |      27 | 13206112 | 12998633 |      336  97273 |        1 |        0
1439.40/1439.89	c 1439s |      27 | 13223717 | 13016033 |      336  97373 |        1 |        0
1441.40/1441.89	c 1441s |      27 | 13241755 | 13033733 |      336  97474 |        1 |        0
1443.50/1443.90	c 1443s |      27 | 13259994 | 13051633 |      336  97575 |        1 |        0
1445.50/1445.91	c 1445s |      27 | 13277645 | 13068933 |      336  97673 |        1 |        0
1447.50/1447.91	c 1447s |      27 | 13295370 | 13086333 |      336  97772 |        1 |        0
1449.50/1449.93	c 1449s |      27 | 13313518 | 13104233 |      336  97874 |        1 |        0
1451.50/1451.93	c 1451s |      27 | 13331048 | 13121533 |      336  97972 |        1 |        0
1453.50/1453.94	c 1453s |      27 | 13349314 | 13139533 |      336  98075 |        1 |        0
1455.50/1455.95	c 1455s |      27 | 13367580 | 13157533 |      336  98178 |        1 |        0
1457.51/1457.95	c 1457s |      27 | 13385697 | 13175333 |      336  98280 |        1 |        0
1459.51/1459.95	c 1459s |      27 | 13403561 | 13192933 |      336  98381 |        1 |        0
1461.50/1461.95	c 1461s |      27 | 13421785 | 13210933 |      336  98484 |        1 |        0
1463.50/1463.96	c 1463s |      27 | 13440152 | 13229033 |      336  98588 |        1 |        0
1465.50/1465.96	c 1465s |      27 | 13458298 | 13246933 |      336  98691 |        1 |        0
1467.50/1467.96	c 1467s |      27 | 13475626 | 13264033 |      336  98788 |        1 |        0
1469.50/1469.97	c 1469s |      27 | 13493687 | 13281833 |      336  98889 |        1 |        0
1471.51/1471.97	c 1471s |      27 | 13511340 | 13299233 |      336  98989 |        1 |        0
1473.50/1473.98	c 1473s |      27 | 13529270 | 13316933 |      336  99092 |        1 |        0
1475.50/1475.99	c 1475s |      27 | 13547060 | 13334433 |      336  99192 |        1 |        0
1477.50/1477.99	c 1477s |      27 | 13564592 | 13351733 |      336  99291 |        1 |        0
1479.50/1479.99	c 1479s |      27 | 13582889 | 13369733 |      336  99394 |        1 |        0
1481.60/1482.00	c 1481s |      27 | 13600695 | 13387233 |      336  99496 |        1 |        0
1483.50/1484.00	c 1483s |      27 | 13617905 | 13404133 |      336  99593 |        1 |        0
1485.60/1486.00	c 1485s |      27 | 13635021 | 13420933 |      336  99690 |        1 |        0
1487.60/1488.01	c 1487s |      27 | 13652155 | 13437833 |      336  99788 |        1 |        0
1489.60/1490.01	c 1489s |      27 | 13669960 | 13455333 |      336  99889 |        1 |        0
1491.60/1492.02	c 1492s |      27 | 13687409 | 13472433 |      336  99989 |        1 |        0
1493.60/1494.03	c 1494s |      27 | 13704043 | 13488833 |      336 100083 |        1 |        0
1495.60/1496.04	c 1496s |      27 | 13720966 | 13505433 |      336 100177 |        1 |        0
1497.59/1498.04	c 1498s |      27 | 13738694 | 13522833 |      336 100277 |        1 |        0
1499.59/1500.06	c 1500s |      27 | 13756296 | 13540133 |      336 100377 |        1 |        0
1501.59/1502.06	c 1502s |      27 | 13773830 | 13557433 |      336 100477 |        1 |        0
1503.59/1504.07	c 1504s |      27 | 13791197 | 13574533 |      336 100574 |        1 |        0
1505.60/1506.08	c 1506s |      27 | 13807692 | 13590833 |      336 100668 |        1 |        0
1507.59/1508.08	c 1508s |      27 | 13825138 | 13608033 |      336 100767 |        1 |        0
1509.59/1510.08	c 1510s |      27 | 13844056 | 13626633 |      336 100873 |        1 |        0
1511.59/1512.09	c 1512s |      27 | 13862172 | 13644533 |      336 100977 |        1 |        0
1513.69/1514.10	c 1514s |      27 | 13880238 | 13662333 |      336 101080 |        1 |        0
1515.69/1516.10	c 1516s |      27 | 13898751 | 13680533 |      336 101186 |        1 |        0
1517.69/1518.11	c 1518s |      27 | 13917196 | 13698633 |      336 101292 |        1 |        0
1519.70/1520.12	c 1520s |      27 | 13934964 | 13716133 |      336 101392 |        1 |        0
1521.69/1522.12	c 1522s |      27 | 13952578 | 13733533 |      336 101493 |        1 |        0
1523.69/1524.13	c 1524s |      27 | 13970431 | 13751133 |      336 101594 |        1 |        0
1525.69/1526.14	c 1526s |      27 | 13987795 | 13768233 |      336 101693 |        1 |        0
1527.70/1528.14	c 1528s |      27 | 14005367 | 13785533 |      336 101793 |        1 |        0
1529.69/1530.15	c 1530s |      27 | 14022685 | 13802633 |      336 101892 |        1 |        0
1531.69/1532.16	c 1532s |      27 | 14039965 | 13819633 |      336 101991 |        1 |        0
1533.69/1534.17	c 1534s |      27 | 14057271 | 13836633 |      336 102090 |        1 |        0
1535.69/1536.18	c 1536s |      27 | 14074911 | 13853933 |      336 102191 |        1 |        0
1537.69/1538.19	c 1538s |      27 | 14092836 | 13871533 |      336 102292 |        1 |        0
1539.70/1540.19	c 1540s |      27 | 14110220 | 13888633 |      336 102390 |        1 |        0
1541.79/1542.20	c 1542s |      27 | 14127711 | 13905833 |      336 102489 |        1 |        0
1543.79/1544.20	c 1544s |      27 | 14145231 | 13923133 |      336 102589 |        1 |        0
1545.79/1546.21	c 1546s |      27 | 14162540 | 13940233 |      336 102688 |        1 |        0
1547.79/1548.22	c 1548s |      27 | 14180185 | 13957533 |      336 102787 |        1 |        0
1549.79/1550.23	c 1550s |      27 | 14197183 | 13974233 |      336 102884 |        1 |        0
1551.79/1552.23	c 1552s |      27 | 14214381 | 13991133 |      336 102982 |        1 |        0
1553.79/1554.24	c 1554s |      27 | 14231643 | 14008133 |      336 103080 |        1 |        0
1555.79/1556.24	c 1556s |      27 | 14249100 | 14025333 |      336 103180 |        1 |        0
1557.79/1558.25	c 1558s |      27 | 14266635 | 14042633 |      336 103280 |        1 |        0
1559.79/1560.25	c 1560s |      27 | 14284661 | 14060333 |      336 103384 |        1 |        0
1561.79/1562.25	c 1562s |      27 | 14302866 | 14078233 |      336 103489 |        1 |        0
1563.78/1564.26	c 1564s |      27 | 14321064 | 14096133 |      336 103594 |        1 |        0
1565.78/1566.27	c 1566s |      27 | 14338198 | 14113033 |      336 103689 |        1 |        0
1567.78/1568.28	c 1568s |      27 | 14355528 | 14130133 |      336 103787 |        1 |        0
1569.78/1570.28	c 1570s |      27 | 14373181 | 14147533 |      336 103886 |        1 |        0
1571.78/1572.29	c 1572s |      27 | 14390517 | 14164633 |      336 103984 |        1 |        0
1573.78/1574.30	c 1574s |      27 | 14407951 | 14181833 |      336 104083 |        1 |        0
1575.88/1576.30	c 1576s |      27 | 14425947 | 14199733 |      336 104185 |        1 |        0
1577.88/1578.31	c 1578s |      27 | 14444238 | 14217833 |      336 104288 |        1 |        0
1579.88/1580.31	c 1580s |      27 | 14462725 | 14236133 |      336 104393 |        1 |        0
1581.89/1582.31	c 1582s |      27 | 14480396 | 14253633 |      336 104493 |        1 |        0
1583.89/1584.31	c 1584s |      27 | 14497751 | 14270833 |      336 104591 |        1 |        0
1585.89/1586.32	c 1586s |      27 | 14515361 | 14288233 |      336 104691 |        1 |        0
1587.88/1588.32	c 1588s |      27 | 14533392 | 14306033 |      336 104793 |        1 |        0
1589.88/1590.33	c 1590s |      27 | 14551536 | 14323933 |      336 104896 |        1 |        0
1591.88/1592.33	c 1592s |      27 | 14569146 | 14341433 |      336 104996 |        1 |        0
1593.88/1594.33	c 1594s |      27 | 14587007 | 14359133 |      336 105096 |        1 |        0
1595.89/1596.34	c 1596s |      27 | 14605011 | 14376933 |      336 105198 |        1 |        0
1597.88/1598.35	c 1598s |      27 | 14622817 | 14394633 |      336 105299 |        1 |        0
1599.88/1600.36	c 1600s |      27 | 14640514 | 14412133 |      336 105400 |        1 |        0
1601.88/1602.36	c 1602s |      27 | 14658121 | 14429533 |      336 105500 |        1 |        0
1603.88/1604.37	c 1604s |      27 | 14675939 | 14447133 |      336 105600 |        1 |        0
1605.88/1606.37	c 1606s |      27 | 14693936 | 14464933 |      336 105703 |        1 |        0
1607.88/1608.37	c 1608s |      27 | 14711836 | 14482633 |      336 105804 |        1 |        0
1609.88/1610.38	c 1610s |      27 | 14729841 | 14500433 |      336 105907 |        1 |        0
1611.88/1612.38	c 1612s |      27 | 14748078 | 14518433 |      336 106011 |        1 |        0
1613.87/1614.39	c 1614s |      27 | 14765968 | 14536133 |      336 106114 |        1 |        0
1615.97/1616.40	c 1616s |      27 | 14783306 | 14553233 |      336 106212 |        1 |        0
1617.97/1618.40	c 1618s |      27 | 14801196 | 14570833 |      336 106313 |        1 |        0
1619.98/1620.41	c 1620s |      27 | 14818936 | 14588333 |      336 106413 |        1 |        0
1621.97/1622.43	c 1622s |      27 | 14837368 | 14606433 |      336 106518 |        1 |        0
1623.97/1624.44	c 1624s |      27 | 14855959 | 14624733 |      336 106624 |        1 |        0
1625.97/1626.44	c 1626s |      27 | 14874458 | 14642933 |      336 106729 |        1 |        0
1627.98/1628.45	c 1628s |      27 | 14892193 | 14660433 |      336 106829 |        1 |        0
1629.99/1630.46	c 1630s |      27 | 14909701 | 14677633 |      336 106928 |        1 |        0
1631.98/1632.47	c 1632s |      27 | 14927291 | 14694933 |      336 107027 |        1 |        0
1633.98/1634.47	c 1634s |      27 | 14945506 | 14712933 |      336 107132 |        1 |        0
1635.98/1636.48	c 1636s |      27 | 14963550 | 14730733 |      336 107235 |        1 |        0
1637.98/1638.49	c 1638s |      27 | 14981680 | 14748633 |      336 107339 |        1 |        0
1639.98/1640.49	c 1640s |      27 | 14999495 | 14766233 |      336 107441 |        1 |        0
1641.98/1642.50	c 1642s |      27 | 15017744 | 14784233 |      336 107546 |        1 |        0
1644.08/1644.51	c 1644s |      27 | 15036078 | 14802333 |      336 107651 |        1 |        0
1646.07/1646.51	c 1646s |      27 | 15052855 | 14818933 |      336 107744 |        1 |        0
1648.07/1648.52	c 1648s |      27 | 15069868 | 14835733 |      336 107840 |        1 |        0
1650.07/1650.53	c 1650s |      27 | 15087030 | 14852633 |      336 107935 |        1 |        0
1652.07/1652.54	c 1652s |      27 | 15104323 | 14869633 |      336 108031 |        1 |        0
1654.08/1654.55	c 1654s |      27 | 15121335 | 14886433 |      336 108126 |        1 |        0
1656.07/1656.55	c 1656s |      27 | 15138327 | 14903133 |      336 108220 |        1 |        0
1658.07/1658.55	c 1658s |      27 | 15155177 | 14919733 |      336 108314 |        1 |        0
1660.07/1660.57	c 1660s |      27 | 15171706 | 14936133 |      336 108407 |        1 |        0
1662.07/1662.57	c 1662s |      27 | 15188287 | 14952533 |      336 108501 |        1 |        0
1664.08/1664.57	c 1664s |      27 | 15205032 | 14969133 |      336 108595 |        1 |        0
1666.07/1666.57	c 1666s |      27 | 15221764 | 14985733 |      336 108689 |        1 |        0
1668.07/1668.58	c 1668s |      27 | 15238516 | 15002333 |      336 108784 |        1 |        0
1670.07/1670.58	c 1670s |      27 | 15255567 | 15019233 |      336 108882 |        1 |        0
1672.06/1672.59	c 1672s |      27 | 15272776 | 15036233 |      336 108978 |        1 |        0
1674.06/1674.59	c 1674s |      27 | 15290047 | 15053333 |      336 109075 |        1 |        0
1676.17/1676.60	c 1676s |      27 | 15307349 | 15070433 |      336 109173 |        1 |        0
1678.16/1678.61	c 1678s |      27 | 15324522 | 15087333 |      336 109269 |        1 |        0
1680.16/1680.62	c 1680s |      27 | 15341713 | 15104233 |      336 109365 |        1 |        0
1682.17/1682.62	c 1682s |      27 | 15358808 | 15121033 |      336 109461 |        1 |        0
1684.17/1684.62	c 1684s |      27 | 15375778 | 15137733 |      336 109556 |        1 |        0
1686.17/1686.63	c 1686s |      27 | 15392260 | 15153933 |      336 109649 |        1 |        0
1688.17/1688.63	c 1688s |      27 | 15408503 | 15170033 |      336 109741 |        1 |        0
1690.17/1690.63	c 1690s |      27 | 15424965 | 15186333 |      336 109835 |        1 |        0
1692.17/1692.64	c 1692s |      27 | 15441788 | 15202933 |      336 109930 |        1 |        0
1694.17/1694.64	c 1694s |      27 | 15459018 | 15219933 |      336 110027 |        1 |        0
1696.17/1696.64	c 1696s |      27 | 15476167 | 15236933 |      336 110124 |        1 |        0
1698.17/1698.65	c 1698s |      27 | 15493016 | 15253633 |      336 110220 |        1 |        0
1700.17/1700.65	c 1700s |      27 | 15509614 | 15270033 |      336 110315 |        1 |        0
1702.17/1702.65	c 1702s |      27 | 15526291 | 15286533 |      336 110410 |        1 |        0
1704.16/1704.66	c 1704s |      27 | 15543684 | 15303733 |      336 110508 |        1 |        0
1706.16/1706.67	c 1706s |      27 | 15561094 | 15320933 |      336 110606 |        1 |        0
1708.16/1708.68	c 1708s |      27 | 15578084 | 15337733 |      336 110703 |        1 |        0
1710.17/1710.68	c 1710s |      27 | 15595366 | 15354733 |      336 110801 |        1 |        0
1712.16/1712.68	c 1712s |      27 | 15612822 | 15371933 |      336 110900 |        1 |        0
1714.16/1714.69	c 1714s |      27 | 15630168 | 15389033 |      336 110999 |        1 |        0
1716.16/1716.69	c 1716s |      27 | 15647292 | 15405933 |      336 111096 |        1 |        0
1718.26/1718.70	c 1718s |      27 | 15664944 | 15423333 |      336 111196 |        1 |        0
1720.26/1720.70	c 1720s |      27 | 15682481 | 15440533 |      336 111296 |        1 |        0
1722.27/1722.71	c 1722s |      27 | 15699772 | 15457533 |      336 111393 |        1 |        0
1724.26/1724.71	c 1724s |      27 | 15717083 | 15474533 |      336 111491 |        1 |        0
1726.26/1726.71	c 1726s |      27 | 15734117 | 15491333 |      336 111587 |        1 |        0
1728.26/1728.72	c 1728s |      27 | 15751012 | 15507933 |      336 111683 |        1 |        0
1730.26/1730.73	c 1730s |      27 | 15768117 | 15524833 |      336 111781 |        1 |        0
1732.27/1732.73	c 1732s |      27 | 15785495 | 15541933 |      336 111881 |        1 |        0
1734.26/1734.74	c 1734s |      27 | 15802527 | 15558633 |      336 111976 |        1 |        0
1736.26/1736.74	c 1736s |      27 | 15818975 | 15574833 |      336 112069 |        1 |        0
1738.26/1738.74	c 1738s |      27 | 15836247 | 15591933 |      336 112167 |        1 |        0
1740.26/1740.75	c 1740s |      27 | 15853942 | 15609333 |      336 112267 |        1 |        0
1742.26/1742.75	c 1742s |      27 | 15871021 | 15626233 |      336 112365 |        1 |        0
1744.26/1744.75	c 1744s |      27 | 15888695 | 15643733 |      336 112466 |        1 |        0
1746.26/1746.76	c 1746s |      27 | 15905636 | 15660433 |      336 112562 |        1 |        0
1748.26/1748.77	c 1748s |      27 | 15922772 | 15677333 |      336 112659 |        1 |        0
1750.26/1750.77	c 1750s |      27 | 15939908 | 15694233 |      336 112757 |        1 |        0
1752.25/1752.78	c 1752s |      27 | 15957519 | 15711533 |      336 112857 |        1 |        0
1754.26/1754.79	c 1754s |      27 | 15975019 | 15728733 |      336 112958 |        1 |        0
1756.25/1756.80	c 1756s |      27 | 15993090 | 15746433 |      336 113061 |        1 |        0
1758.35/1758.80	c 1758s |      27 | 16010929 | 15763933 |      336 113161 |        1 |        0
1760.35/1760.80	c 1760s |      27 | 16028937 | 15781533 |      336 113262 |        1 |        0
1762.35/1762.81	c 1762s |      27 | 16046453 | 15798833 |      336 113362 |        1 |        0
1764.36/1764.81	c 1764s |      27 | 16063713 | 15815833 |      336 113461 |        1 |        0
1766.36/1766.82	c 1766s |      27 | 16081433 | 15833233 |      336 113562 |        1 |        0
1768.36/1768.83	c 1768s |      27 | 16098954 | 15850533 |      336 113663 |        1 |        0
1770.36/1770.83	c 1770s |      27 | 16116684 | 15868033 |      336 113765 |        1 |        0
1772.36/1772.83	c 1772s |      27 | 16134914 | 15886033 |      336 113869 |        1 |        0
1774.36/1774.84	c 1774s |      27 | 16153603 | 15904533 |      336 113974 |        1 |        0
1776.36/1776.84	c 1776s |      27 | 16172647 | 15923333 |      336 114081 |        1 |        0
1778.36/1778.85	c 1778s |      27 | 16191319 | 15941833 |      336 114187 |        1 |        0
1780.36/1780.85	c 1780s |      27 | 16209591 | 15959933 |      336 114290 |        1 |        0
1782.35/1782.86	c 1782s |      27 | 16228213 | 15978333 |      336 114396 |        1 |        0
1784.35/1784.86	c 1784s |      27 | 16245887 | 15995833 |      336 114495 |        1 |        0
1786.35/1786.87	c 1786s |      27 | 16263416 | 16013133 |      336 114594 |        1 |        0
1788.36/1788.87	c 1788s |      27 | 16280903 | 16030433 |      336 114693 |        1 |        0
1790.35/1790.87	c 1790s |      27 | 16298383 | 16047733 |      336 114793 |        1 |        0
1792.35/1792.88	c 1792s |      27 | 16316338 | 16065433 |      336 114894 |        1 |        0
1794.35/1794.89	c 1794s |      27 | 16333921 | 16082833 |      336 114994 |        1 |        0
1796.45/1796.90	c 1796s |      27 | 16351689 | 16100433 |      336 115095 |        1 |        0
1798.45/1798.90	c 1798s |      27 | 16369280 | 16117833 |      336 115195 |        1 |        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-4079735-1465245529/watcher-4079735-1465245529 -o /tmp/evaluation-result-4079735-1465245529/solver-4079735-1465245529 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31672 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079735-1465245529.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.26 2.26 2/179 1329
/proc/meminfo: memFree=29223424/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=506300 CPUtime=0 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 1853 0 0 0 0 0 0 0 20 0 4 0 106486075 518451200 2214 33554432000 4194304 16246674 140735294964768 140735294964192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 127343 2223 441 2943 0 124237 0
[pid=1329/tid=1330] ppid=1326 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 778498048 3203 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 782692352 3222 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 787935232 3242 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.26 2.26 2.26 2/179 1329
/proc/meminfo: memFree=29223424/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 19710 0 0 0 7 2 0 0 20 0 4 0 106486075 1247350784 20060 33554432000 4194304 16246674 140735294964768 140735294964192 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 304529 20074 751 2943 0 301423 0
[pid=1329/tid=1330] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 20078 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 20081 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 20082 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200536 s]
/proc/loadavg: 2.26 2.26 2.26 2/179 1329
/proc/meminfo: memFree=29223424/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 36133 0 0 0 15 4 0 0 20 0 4 0 106486075 1247350784 36482 33554432000 4194304 16246674 140735294964768 140735294964192 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 304529 36488 751 2943 0 301423 0
[pid=1329/tid=1330] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 36496 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 36503 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 36506 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300476 s]
/proc/loadavg: 2.26 2.26 2.26 2/179 1329
/proc/meminfo: memFree=29223424/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 52914 0 0 0 22 7 0 0 20 0 4 0 106486075 1247350784 53263 33554432000 4194304 16246674 140735294964768 140735294964192 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 304529 53276 751 2943 0 301423 0
[pid=1329/tid=1330] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 53279 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 53283 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 53287 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700411 s]
/proc/loadavg: 2.26 2.26 2.26 2/179 1329
/proc/meminfo: memFree=29223424/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 121918 0 0 0 53 16 0 0 20 0 4 0 106486075 1247350784 122268 33554432000 4194304 16246674 140735294964768 140735294964192 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 304529 122275 751 2943 0 301423 0
[pid=1329/tid=1330] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 122279 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 122285 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 122292 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.26 2.26 2.26 3/183 1333
/proc/meminfo: memFree=28464828/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 245556 0 0 0 117 32 0 0 20 0 4 0 106486075 1247350784 245882 33554432000 4194304 16246674 140735294964768 140735294964080 12415821 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 304529 245882 824 2943 0 301423 0
[pid=1329/tid=1330] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 245882 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 245882 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1247350784 245882 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10038 s]
/proc/loadavg: 2.32 2.28 2.27 4/183 1333
/proc/meminfo: memFree=28240388/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267385 0 0 0 273 36 0 0 20 0 4 0 106486075 1337528320 267711 33554432000 4194304 16246674 140735294964768 140735294946688 6021403 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 267711 824 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267711 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267711 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267711 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.32 2.28 2.27 4/183 1333
/proc/meminfo: memFree=28152844/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267453 0 0 0 593 36 0 0 20 0 4 0 106486075 1337528320 267779 33554432000 4194304 16246674 140735294964768 140735294947768 6862302 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 267779 826 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267779 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267779 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267779 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.35 2.28 2.27 3/183 1333
/proc/meminfo: memFree=28153656/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267453 0 0 0 1233 36 0 0 20 0 4 0 106486075 1337528320 267779 33554432000 4194304 16246674 140735294964768 140735294946688 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 267779 826 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267779 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267779 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267779 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5074 s]
/proc/loadavg: 2.29 2.27 2.26 3/183 1333
/proc/meminfo: memFree=28153804/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267462 0 0 0 2513 36 0 0 20 0 4 0 106486075 1337528320 267788 33554432000 4194304 16246674 140735294964768 140735294946688 5677422 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 267788 826 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267788 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267788 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267788 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.33 2.28 2.27 4/183 1333
/proc/meminfo: memFree=28153680/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267481 0 0 0 5071 37 0 0 20 0 4 0 106486075 1337528320 267807 33554432000 4194304 16246674 140735294964768 140735294946688 5711960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 267807 828 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267807 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267807 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267807 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.39 2.30 2.27 3/184 1339
/proc/meminfo: memFree=28153824/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=102.27 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267507 0 0 0 10189 38 0 0 20 0 4 0 106486075 1337528320 267833 33554432000 4194304 16246674 140735294964768 140735294946688 6013193 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 267833 828 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267833 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267833 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 267833 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1306180

[startup+1302.3 s]
/proc/loadavg: 2.18 2.25 2.26 3/184 1477
/proc/meminfo: memFree=28094828/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=1301.93 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267909 0 0 0 130129 64 0 0 20 0 4 0 106486075 1337528320 268157 33554432000 4194304 16246674 140735294964768 140735294946688 6845816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 268157 828 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 2.25 2.26 2.27 3/184 1505
/proc/meminfo: memFree=28094360/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=1361.92 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267920 0 0 0 136126 66 0 0 20 0 4 0 106486075 1337528320 268157 33554432000 4194304 16246674 140735294964768 140735294946688 5711355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 268157 828 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1306180

[startup+1422.3 s]
/proc/loadavg: 2.15 2.23 2.25 4/183 1506
/proc/meminfo: memFree=28072948/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=1421.91 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267920 0 0 0 142124 67 0 0 20 0 4 0 106486075 1337528320 268157 33554432000 4194304 16246674 140735294964768 140735294947768 5516342 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 268157 828 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1306180

[startup+1482.3 s]
/proc/loadavg: 2.22 2.24 2.26 3/183 1507
/proc/meminfo: memFree=28072972/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=1481.9 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267920 0 0 0 148122 68 0 0 20 0 4 0 106486075 1337528320 268157 33554432000 4194304 16246674 140735294964768 140735294946688 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 268157 828 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1306180

[startup+1542.3 s]
/proc/loadavg: 2.45 2.29 2.27 3/183 1508
/proc/meminfo: memFree=28073256/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=1541.9 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267920 0 0 0 154121 69 0 0 20 0 4 0 106486075 1337528320 268157 33554432000 4194304 16246674 140735294964768 140735294946688 5600120 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 268157 828 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1306180

[startup+1602.3 s]
/proc/loadavg: 2.39 2.29 2.27 3/183 1509
/proc/meminfo: memFree=28073048/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=1601.88 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267920 0 0 0 160118 70 0 0 20 0 4 0 106486075 1337528320 268157 33554432000 4194304 16246674 140735294964768 140735294947768 5600048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 268157 828 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1306180

[startup+1662.31 s]
/proc/loadavg: 2.49 2.34 2.29 3/183 1511
/proc/meminfo: memFree=28073124/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=1661.88 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267920 0 0 0 166117 71 0 0 20 0 4 0 106486075 1337528320 268157 33554432000 4194304 16246674 140735294964768 140735294946688 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 268157 828 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1306180

[startup+1722.3 s]
/proc/loadavg: 2.40 2.34 2.29 3/183 1512
/proc/meminfo: memFree=28072604/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=1721.87 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267920 0 0 0 172114 73 0 0 20 0 4 0 106486075 1337528320 268157 33554432000 4194304 16246674 140735294964768 140735294946688 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 268157 828 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1306180

[startup+1782.3 s]
/proc/loadavg: 2.36 2.34 2.28 3/183 1513
/proc/meminfo: memFree=28072316/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=1781.85 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267920 0 0 0 178111 74 0 0 20 0 4 0 106486075 1337528320 268157 33554432000 4194304 16246674 140735294964768 140735294947768 6836953 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 268157 828 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1306180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.39 2.35 2.29 3/183 1513
/proc/meminfo: memFree=28072904/32872528 swapFree=17892/1720544
[pid=1329] ppid=1326 vsize=1306180 CPUtime=1800.05 cores=1,3,5,7
/proc/1329/stat : 1329 (toysat) R 1326 1329 31655 0 -1 4202496 267920 0 0 0 179931 74 0 0 20 0 4 0 106486075 1337528320 268157 33554432000 4194304 16246674 140735294964768 140735294946688 5600068 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1329/statm: 326545 268157 828 2943 0 323439 0
[pid=1329/tid=1330] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1330/stat : 1330 (toysat) S 1326 1329 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557633432816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1329/tid=1331] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1331/stat : 1331 (toysat) S 1326 1329 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557622942960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1329/tid=1332] ppid=1326 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1329/task/1332/stat : 1332 (toysat) S 1326 1329 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106486076 1337528320 268157 33554432000 4194304 16246674 140735294964768 140557502377136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1306180

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.32
CPU system time (s): 0.746886
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.746886
maximum resident set size= 1072628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267920
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= 362
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55631 second user time and 7.00793 second system time

The end

Begin job on node117 at 2016-06-06 22:38:49
IDJOB=4079735
IDBENCH=2919
IDSOLVER=2542
FILE ID=node117/4079735-1465245529
RUNJOBID= node117-1465227498-31672
PBS_JOBID= 19843241
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079735-1465245529/watcher-4079735-1465245529 -o /tmp/evaluation-result-4079735-1465245529/solver-4079735-1465245529 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31672 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079735-1465245529.opb

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

MD5SUM BENCH= f48abdef3d00ab6f87ca2e4f0d43c1d1
RANDOM SEED=2048105583

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.53
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.088
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:        29224100 kB
Buffers:           43732 kB
Cached:           103264 kB
SwapCached:         1396 kB
Active:          1155216 kB
Inactive:          68548 kB
Active(anon):    1077076 kB
Inactive(anon):     2176 kB
Active(file):      78140 kB
Inactive(file):    66372 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67098980 kB
Dirty:             16508 kB
Writeback:             0 kB
AnonPages:       2797060 kB
Mapped:            10552 kB
Shmem:                 0 kB
Slab:             568316 kB
SReclaimable:      12460 kB
SUnreclaim:       555856 kB
KernelStack:        1456 kB
PageTables:         9476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2939348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2775040 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= 71704 MiB
End job on node117 at 2016-06-06 23:08:50