0.00/0.00	c 2016-06-16T20:52:16+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-4096134-1466103136.opb"]
0.00/0.01	c use --random-gen="3035295971 3980262308 16386570 1250937163 1646759679 2688414821 3328666960 2782340883 1169014203 1524233439 1690279541 1280739374 2715100440 1815792228 1689344725 2576651699 3410225973 1648602945 2239898465 2168428549 2630477727 4041732694 3273556827 2321441100 756791015 1333584737 2212077331 4070932317 2897324784 1048426439 1910403762 2595983702 643651869 4235033145 354584439 3304902771 3671571372 911023752 2555156921 2897000106 3269361293 448764477 213305199 2019712596 4215410947 2002274843 2942751497 2266557912 3946812899 3769330965 2045428981 1572954606 4021548640 485936391 209475243 401751450 508844305 1813732140 1849420568 3558162473 2865082199 1915407160 1487084834 1994114936 756517277 3724922930 3229698608 2965918289 244370980 3093915436 3839248016 3618017931 517996353 1997124402 2340643401 1477395200 1400511873 3202739322 2062356981 1861514390 3962362853 3694509754 1004750158 4110486624 1181382176 3678792643 1655975276 1354507338 2142421513 908676506 2133520116 4160531575 540182303 2456498757 3486167158 2290209478 820181653 1450196999 3620031172 549529673 535150088 1082398344 2776085514 3038483888 2878677452 4036764356 2458432874 3631998558 3625280556 1323464394 3450500126 3537119237 1508189092 3434425029 3723211344 2193445002 2386615720 1484511855 4259531673 3161533118 2316174449 3136922225 486689493 3975807997 3067925268 295440860 1311188373 2701011556 259555354 15324616 1653915200 1385094109 1856003856 3066166031 379082420 2907145930 1998606205 1223386211 3785529751 2931983026 968443048 1361176381 3156440569 2483865883 2493396560 1744198844 2049191322 350354829 1148719288 2177727113 1297331832 1450347712 2744837260 3048098214 1827384465 2818339335 2015965999 1860143291 4088141773 1934524660 1736145802 2621042976 3729901222 1290827955 1038745585 698971167 952198392 3610893934 1702765284 2454488027 718429481 2210269074 3588665629 3684044282 2698605580 758512783 3174841629 627505573 1295849593 3206270572 962506692 2472360451 2734362927 3131413624 552568743 2839084448 3962891268 2107421293 4264672094 1476995735 1414884552 263453675 3292938052 2657926651 1465279088 391816356 1278991985 2801405172 1352297250 1484551602 2531090232 1496359198 314624865 479203125 1796108900 2344646717 3734518153 452967686 242815059 1120051640 986861045 1263192347 4041408021 2112621995 1301039965 2199747550 2059090785 694443234 3953821235 1159708110 1585560594 3199755498 25142741 2499117956 2516500178 1575039649 2606181618 747354129 4116114602 4167613660 2923972923 1090869497 2480939729 822264636 280693974 2697037942 51894581 3832718052 260830454 2097030568 2454197932 2236277011 4086721825 3325555534 3935479693 679329816 3553761418 131343129 3484981050 2352145496 3154813604 1930680330 3819742121 1373953609 866255758 4242593143 255 362436" option to reproduce the execution
0.00/0.01	c #vars 301
0.00/0.01	c #constraints 150
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 |      150      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      169 |      100 |      150      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      421 |      250 |      165      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |      829 |      475 |      182      1 |        0 |        0
0.09/0.14	c  0.1s |       4 |     1362 |      813 |      201      3 |        0 |        0
0.19/0.24	c  0.2s |       5 |     2529 |     1320 |      222      6 |        0 |        0
0.39/0.41	c  0.4s |       6 |     3873 |     2081 |      270     10 |        0 |        0
0.59/0.70	c  0.7s |       7 |     5657 |     3223 |      297     16 |        0 |        0
0.99/1.05	c  1.0s |       8 |     8332 |     4936 |      327     25 |        0 |        0
1.49/1.50	c  1.5s |       9 |    12501 |     7506 |      360     37 |        0 |        0
2.20/2.27	c  2.3s |      10 |    17568 |    11361 |      397     53 |        0 |        0
3.19/3.30	c  3.3s |      11 |    24582 |    17144 |      437     76 |        0 |        0
4.79/4.81	c  4.8s |      12 |    36256 |    25819 |      481    108 |        0 |        0
6.79/6.82	c  6.8s |      12 |    53065 |    38219 |      481    151 |        0 |        0
6.89/6.92	c  6.9s |      13 |    54052 |    38832 |      530    153 |        0 |        0
8.90/8.94	c  8.9s |      13 |    70311 |    51232 |      530    192 |        0 |        0
10.00/10.08	c 10.1s |      14 |    79955 |    58352 |      583    214 |        0 |        0
11.99/12.08	c 12.1s |      14 |    94469 |    69852 |      583    248 |        0 |        0
13.99/14.08	c 14.1s |      14 |   107915 |    80952 |      583    282 |        0 |        0
15.29/15.32	c 15.3s |      15 |   116043 |    87632 |      642    303 |        0 |        0
17.29/17.33	c 17.3s |      15 |   128330 |    98232 |      642    331 |        0 |        0
19.29/19.34	c 19.3s |      15 |   140377 |   108632 |      642    359 |        0 |        0
21.29/21.35	c 21.3s |      15 |   154963 |   119632 |      642    388 |        0 |        0
23.29/23.36	c 23.3s |      15 |   167788 |   130032 |      642    417 |        0 |        0
23.59/23.66	c 23.7s |      16 |   169598 |   131552 |      707    421 |        0 |        0
25.59/25.68	c 25.7s |      16 |   184470 |   142752 |      707    449 |        0 |        0
27.59/27.69	c 27.7s |      16 |   197582 |   153652 |      707    476 |        0 |        0
29.69/29.71	c 29.7s |      16 |   211459 |   164352 |      707    503 |        0 |        0
31.68/31.71	c 31.7s |      16 |   225633 |   174952 |      707    530 |        0 |        0
33.68/33.71	c 33.7s |      16 |   239855 |   185552 |      707    557 |        0 |        0
35.68/35.72	c 35.7s |      16 |   252460 |   195652 |      707    583 |        0 |        0
35.98/36.06	c 36.0s |      17 |   254548 |   197432 |      778    587 |        0 |        0
37.98/38.08	c 38.1s |      17 |   268943 |   208132 |      778    611 |        0 |        0
39.98/40.08	c 40.1s |      17 |   281427 |   217832 |      778    633 |        0 |        0
41.98/42.09	c 42.1s |      17 |   294720 |   228232 |      778    656 |        0 |        0
44.09/44.10	c 44.1s |      17 |   307903 |   238232 |      778    679 |        0 |        0
46.08/46.12	c 46.1s |      17 |   320763 |   248032 |      778    702 |        0 |        0
48.08/48.14	c 48.1s |      17 |   332478 |   257732 |      778    723 |        0 |        0
50.08/50.14	c 50.1s |      17 |   344345 |   266732 |      778    744 |        0 |        0
52.08/52.15	c 52.1s |      17 |   356578 |   276632 |      778    766 |        0 |        0
54.08/54.17	c 54.2s |      17 |   369238 |   286332 |      778    788 |        0 |        0
55.98/56.07	c 56.1s |      18 |   382492 |   296252 |      856    810 |        0 |        0
57.98/58.08	c 58.1s |      18 |   401145 |   307652 |      856    834 |        0 |        0
59.98/60.09	c 60.1s |      18 |   416781 |   318452 |      856    857 |        0 |        0
62.08/62.11	c 62.1s |      18 |   434301 |   329852 |      856    882 |        0 |        0
64.08/64.12	c 64.1s |      18 |   450228 |   341152 |      856    906 |        0 |        0
66.08/66.14	c 66.1s |      18 |   465384 |   352252 |      856    930 |        0 |        0
68.08/68.16	c 68.1s |      18 |   482597 |   363652 |      856    954 |        0 |        0
70.08/70.16	c 70.1s |      18 |   499337 |   375252 |      856    979 |        0 |        0
72.08/72.17	c 72.2s |      18 |   515433 |   386352 |      856   1003 |        0 |        0
74.08/74.17	c 74.2s |      18 |   530926 |   397052 |      856   1026 |        0 |        0
76.08/76.17	c 76.2s |      18 |   545771 |   407652 |      856   1048 |        0 |        0
78.09/78.18	c 78.2s |      18 |   560619 |   417852 |      856   1070 |        0 |        0
80.08/80.18	c 80.2s |      18 |   576576 |   428752 |      856   1093 |        0 |        0
82.08/82.19	c 82.2s |      18 |   591046 |   439052 |      856   1115 |        0 |        0
83.18/83.20	c 83.2s |      19 |   598951 |   444482 |      942   1126 |        0 |        0
85.18/85.22	c 85.2s |      19 |   613143 |   454982 |      942   1146 |        0 |        0
87.18/87.22	c 87.2s |      19 |   627276 |   466082 |      942   1168 |        0 |        0
89.18/89.23	c 89.2s |      19 |   641063 |   477082 |      942   1189 |        0 |        0
91.18/91.23	c 91.2s |      19 |   654116 |   487882 |      942   1210 |        0 |        0
93.17/93.24	c 93.2s |      19 |   667754 |   498982 |      942   1232 |        0 |        0
95.17/95.24	c 95.2s |      19 |   680470 |   509382 |      942   1252 |        0 |        0
97.17/97.25	c 97.2s |      19 |   694544 |   520182 |      942   1273 |        0 |        0
99.17/99.25	c 99.2s |      19 |   708743 |   531282 |      942   1295 |        0 |        0
101.18/101.25	c  101s |      19 |   722713 |   541882 |      942   1316 |        0 |        0
103.17/103.26	c  103s |      19 |   734159 |   551282 |      942   1334 |        0 |        0
105.17/105.26	c  105s |      19 |   747083 |   561082 |      942   1353 |        0 |        0
107.17/107.26	c  107s |      19 |   760080 |   571282 |      942   1373 |        0 |        0
109.17/109.28	c  109s |      19 |   773451 |   581482 |      942   1394 |        0 |        0
111.18/111.29	c  111s |      19 |   785829 |   591382 |      942   1413 |        0 |        0
113.17/113.30	c  113s |      19 |   801230 |   602482 |      942   1435 |        0 |        0
115.27/115.31	c  115s |      19 |   814952 |   612682 |      942   1455 |        0 |        0
117.27/117.32	c  117s |      19 |   826878 |   622282 |      942   1474 |        0 |        0
119.27/119.33	c  119s |      19 |   839409 |   632382 |      942   1494 |        0 |        0
121.27/121.35	c  121s |      19 |   851685 |   642282 |      942   1513 |        0 |        0
123.28/123.36	c  123s |      19 |   863809 |   651882 |      942   1532 |        0 |        0
125.27/125.37	c  125s |      19 |   875925 |   661582 |      942   1552 |        0 |        0
126.38/126.42	c  126s |      20 |   882399 |   666827 |     1037   1561 |        0 |        0
128.38/128.42	c  128s |      20 |   904179 |   677527 |     1037   1579 |        0 |        0
130.37/130.44	c  130s |      20 |   925586 |   688927 |     1037   1600 |        0 |        0
132.37/132.45	c  132s |      20 |   941434 |   699427 |     1037   1618 |        0 |        0
134.37/134.47	c  134s |      20 |   961477 |   710727 |     1037   1638 |        0 |        0
136.38/136.49	c  136s |      20 |   979731 |   721027 |     1037   1657 |        0 |        0
138.47/138.51	c  138s |      20 |   995735 |   730827 |     1037   1674 |        0 |        0
140.47/140.53	c  140s |      20 |  1011823 |   740627 |     1037   1692 |        0 |        0
142.47/142.54	c  142s |      20 |  1029034 |   751227 |     1037   1711 |        0 |        0
144.47/144.56	c  144s |      20 |  1044017 |   760927 |     1037   1728 |        0 |        0
146.47/146.57	c  146s |      20 |  1058791 |   770927 |     1037   1745 |        0 |        0
148.48/148.58	c  148s |      20 |  1072620 |   780627 |     1037   1762 |        0 |        0
150.47/150.59	c  150s |      20 |  1088424 |   790327 |     1037   1779 |        0 |        0
152.57/152.60	c  152s |      20 |  1105020 |   801427 |     1037   1799 |        0 |        0
154.57/154.61	c  154s |      20 |  1120176 |   811627 |     1037   1817 |        0 |        0
156.57/156.62	c  156s |      20 |  1134573 |   822027 |     1037   1836 |        0 |        0
158.57/158.64	c  158s |      20 |  1149946 |   832627 |     1037   1855 |        0 |        0
160.57/160.64	c  160s |      20 |  1166716 |   843527 |     1037   1874 |        0 |        0
162.56/162.65	c  162s |      20 |  1179744 |   853427 |     1037   1892 |        0 |        0
164.56/164.68	c  164s |      20 |  1191185 |   862627 |     1037   1908 |        0 |        0
166.56/166.69	c  166s |      20 |  1203559 |   872227 |     1037   1925 |        0 |        0
168.66/168.71	c  168s |      20 |  1215478 |   881527 |     1037   1942 |        0 |        0
170.66/170.72	c  170s |      20 |  1230740 |   891627 |     1037   1960 |        0 |        0
172.67/172.72	c  172s |      20 |  1246054 |   901527 |     1037   1977 |        0 |        0
174.66/174.73	c  174s |      20 |  1261965 |   911427 |     1037   1995 |        0 |        0
176.66/176.75	c  176s |      20 |  1275051 |   921227 |     1037   2012 |        0 |        0
178.66/178.76	c  178s |      20 |  1288714 |   930327 |     1037   2028 |        0 |        0
180.66/180.76	c  180s |      20 |  1302112 |   939927 |     1037   2045 |        0 |        0
182.67/182.78	c  182s |      20 |  1313892 |   948927 |     1037   2061 |        0 |        0
184.66/184.78	c  184s |      20 |  1328015 |   959227 |     1037   2079 |        0 |        0
186.66/186.79	c  186s |      20 |  1342802 |   969727 |     1037   2098 |        0 |        0
188.76/188.80	c  188s |      20 |  1356653 |   979727 |     1037   2116 |        0 |        0
190.76/190.81	c  190s |      20 |  1368851 |   989427 |     1037   2133 |        0 |        0
192.76/192.82	c  192s |      20 |  1381983 |   998927 |     1141   2149 |        0 |        0
193.06/193.13	c  193s |      21 |  1383753 |  1000345 |     1141   2151 |        0 |        0
195.06/195.13	c  195s |      21 |  1399948 |  1010145 |     1141   2167 |        0 |        0
197.06/197.14	c  197s |      21 |  1415798 |  1020145 |     1141   2183 |        0 |        0
199.06/199.15	c  199s |      21 |  1432512 |  1029445 |     1141   2199 |        0 |        0
201.06/201.17	c  201s |      21 |  1446027 |  1038845 |     1141   2214 |        0 |        0
203.06/203.19	c  203s |      21 |  1459573 |  1047945 |     1141   2229 |        0 |        0
205.05/205.19	c  205s |      21 |  1473957 |  1057345 |     1141   2244 |        0 |        0
207.15/207.21	c  207s |      21 |  1490084 |  1067245 |     1141   2260 |        0 |        0
209.15/209.22	c  209s |      21 |  1506115 |  1077145 |     1141   2276 |        0 |        0
211.17/211.24	c  211s |      21 |  1519178 |  1086345 |     1141   2291 |        0 |        0
213.16/213.25	c  213s |      21 |  1531376 |  1095845 |     1141   2307 |        0 |        0
215.16/215.26	c  215s |      21 |  1544523 |  1105645 |     1141   2322 |        0 |        0
217.16/217.26	c  217s |      21 |  1557179 |  1114545 |     1141   2337 |        0 |        0
219.16/219.27	c  219s |      21 |  1568542 |  1123345 |     1141   2351 |        0 |        0
221.17/221.27	c  221s |      21 |  1579667 |  1132045 |     1141   2365 |        0 |        0
223.16/223.29	c  223s |      21 |  1591620 |  1140845 |     1141   2380 |        0 |        0
225.26/225.31	c  225s |      21 |  1603547 |  1149945 |     1141   2395 |        0 |        0
227.26/227.32	c  227s |      21 |  1617859 |  1159145 |     1141   2410 |        0 |        0
229.25/229.33	c  229s |      21 |  1629553 |  1167745 |     1141   2424 |        0 |        0
231.25/231.34	c  231s |      21 |  1641590 |  1176645 |     1141   2439 |        0 |        0
233.26/233.34	c  233s |      21 |  1654332 |  1185745 |     1141   2454 |        0 |        0
235.25/235.36	c  235s |      21 |  1665051 |  1193845 |     1141   2467 |        0 |        0
237.25/237.38	c  237s |      21 |  1674592 |  1201345 |     1141   2479 |        0 |        0
239.35/239.41	c  239s |      21 |  1683870 |  1209145 |     1141   2492 |        0 |        0
241.35/241.42	c  241s |      21 |  1692537 |  1216145 |     1141   2504 |        0 |        0
243.35/243.44	c  243s |      21 |  1705899 |  1225545 |     1141   2519 |        0 |        0
245.36/245.46	c  245s |      21 |  1717932 |  1234345 |     1141   2534 |        0 |        0
247.36/247.48	c  247s |      21 |  1730744 |  1243445 |     1141   2548 |        0 |        0
249.36/249.49	c  249s |      21 |  1741683 |  1251745 |     1141   2561 |        0 |        0
251.46/251.51	c  251s |      21 |  1751218 |  1260045 |     1141   2575 |        0 |        0
253.46/253.52	c  253s |      21 |  1764204 |  1269645 |     1141   2591 |        0 |        0
255.46/255.54	c  255s |      21 |  1776259 |  1278545 |     1141   2605 |        0 |        0
257.46/257.55	c  257s |      21 |  1787306 |  1286745 |     1141   2618 |        0 |        0
259.45/259.56	c  259s |      21 |  1799550 |  1295845 |     1141   2633 |        0 |        0
261.45/261.57	c  261s |      21 |  1808946 |  1303345 |     1141   2645 |        0 |        0
263.45/263.57	c  263s |      21 |  1818699 |  1311145 |     1141   2658 |        0 |        0
265.45/265.58	c  265s |      21 |  1830094 |  1320345 |     1141   2673 |        0 |        0
267.45/267.59	c  267s |      21 |  1841497 |  1329545 |     1141   2688 |        0 |        0
269.46/269.59	c  269s |      21 |  1853334 |  1338745 |     1141   2703 |        0 |        0
271.55/271.61	c  271s |      21 |  1864521 |  1347745 |     1141   2717 |        0 |        0
273.55/273.62	c  273s |      21 |  1875304 |  1356645 |     1141   2732 |        0 |        0
275.55/275.64	c  275s |      21 |  1886474 |  1365545 |     1141   2746 |        0 |        0
277.55/277.64	c  277s |      21 |  1899160 |  1375045 |     1141   2762 |        0 |        0
279.55/279.66	c  279s |      21 |  1911625 |  1384445 |     1141   2777 |        0 |        0
281.55/281.66	c  281s |      21 |  1924430 |  1393945 |     1141   2792 |        0 |        0
283.55/283.68	c  283s |      21 |  1937138 |  1403245 |     1141   2808 |        0 |        0
285.55/285.68	c  285s |      21 |  1949081 |  1411845 |     1141   2822 |        0 |        0
287.55/287.69	c  287s |      21 |  1960103 |  1420345 |     1141   2835 |        0 |        0
289.65/289.71	c  289s |      21 |  1973906 |  1429645 |     1141   2851 |        0 |        0
291.64/291.74	c  291s |      21 |  1984561 |  1438245 |     1141   2865 |        0 |        0
293.65/293.75	c  293s |      21 |  1994797 |  1446545 |     1141   2878 |        0 |        0
295.64/295.78	c  295s |      21 |  2004836 |  1454845 |     1141   2892 |        0 |        0
297.64/297.79	c  297s |      21 |  2017104 |  1463645 |     1141   2906 |        0 |        0
299.74/299.81	c  299s |      21 |  2029401 |  1472345 |     1141   2920 |        0 |        0
301.74/301.82	c  301s |      21 |  2040670 |  1481145 |     1141   2934 |        0 |        0
303.74/303.83	c  303s |      21 |  2052669 |  1489845 |     1141   2948 |        0 |        0
305.75/305.86	c  305s |      21 |  2063949 |  1497945 |     1256   2960 |        0 |        0
306.44/306.54	c  306s |      22 |  2067206 |  1500622 |     1256   2964 |        0 |        0
308.44/308.54	c  308s |      22 |  2084357 |  1511222 |     1256   2980 |        0 |        0
310.44/310.55	c  310s |      22 |  2100550 |  1521322 |     1256   2995 |        0 |        0
312.45/312.56	c  312s |      22 |  2113213 |  1530722 |     1256   3009 |        0 |        0
314.44/314.57	c  314s |      22 |  2127883 |  1540822 |     1256   3024 |        0 |        0
316.44/316.59	c  316s |      22 |  2141490 |  1550922 |     1256   3039 |        0 |        0
318.44/318.59	c  318s |      22 |  2157264 |  1561122 |     1256   3055 |        0 |        0
320.54/320.60	c  320s |      22 |  2169701 |  1570122 |     1256   3068 |        0 |        0
322.54/322.61	c  322s |      22 |  2184019 |  1579622 |     1256   3082 |        0 |        0
324.55/324.61	c  324s |      22 |  2197708 |  1589022 |     1256   3096 |        0 |        0
326.54/326.62	c  326s |      22 |  2211979 |  1598822 |     1256   3110 |        0 |        0
328.54/328.62	c  328s |      22 |  2223849 |  1608322 |     1256   3124 |        0 |        0
330.54/330.62	c  330s |      22 |  2236987 |  1618422 |     1256   3139 |        0 |        0
332.54/332.64	c  332s |      22 |  2248850 |  1627922 |     1256   3153 |        0 |        0
334.54/334.66	c  334s |      22 |  2261202 |  1637422 |     1256   3167 |        0 |        0
336.55/336.67	c  336s |      22 |  2273685 |  1647122 |     1256   3182 |        0 |        0
338.54/338.68	c  338s |      22 |  2285641 |  1656622 |     1256   3196 |        0 |        0
340.64/340.70	c  340s |      22 |  2297805 |  1665822 |     1256   3209 |        0 |        0
342.64/342.71	c  342s |      22 |  2310536 |  1675122 |     1256   3223 |        0 |        0
344.64/344.72	c  344s |      22 |  2322634 |  1684422 |     1256   3237 |        0 |        0
346.64/346.73	c  346s |      22 |  2335814 |  1693922 |     1256   3251 |        0 |        0
348.64/348.73	c  348s |      22 |  2349032 |  1703422 |     1256   3265 |        0 |        0
350.63/350.74	c  350s |      22 |  2360223 |  1712322 |     1256   3278 |        0 |        0
352.63/352.77	c  352s |      22 |  2371167 |  1721122 |     1256   3291 |        0 |        0
354.63/354.79	c  354s |      22 |  2383378 |  1730422 |     1256   3305 |        0 |        0
356.63/356.79	c  356s |      22 |  2395887 |  1739822 |     1256   3319 |        0 |        0
358.73/358.80	c  358s |      22 |  2409237 |  1749822 |     1256   3334 |        0 |        0
360.74/360.80	c  360s |      22 |  2420804 |  1759022 |     1256   3347 |        0 |        0
362.73/362.83	c  362s |      22 |  2432944 |  1768422 |     1256   3361 |        0 |        0
364.72/364.84	c  364s |      22 |  2445545 |  1777922 |     1256   3375 |        0 |        0
366.72/366.85	c  366s |      22 |  2459330 |  1787822 |     1256   3390 |        0 |        0
368.72/368.86	c  368s |      22 |  2471319 |  1796822 |     1256   3403 |        0 |        0
370.73/370.87	c  370s |      22 |  2482949 |  1805522 |     1256   3416 |        0 |        0
372.72/372.88	c  372s |      22 |  2495849 |  1815022 |     1256   3430 |        0 |        0
374.82/374.90	c  374s |      22 |  2508259 |  1824222 |     1256   3444 |        0 |        0
376.82/376.91	c  376s |      22 |  2520175 |  1833622 |     1256   3458 |        0 |        0
378.82/378.92	c  378s |      22 |  2531893 |  1843022 |     1256   3472 |        0 |        0
380.82/380.93	c  380s |      22 |  2544778 |  1853022 |     1256   3487 |        0 |        0
382.82/382.95	c  382s |      22 |  2559827 |  1863422 |     1256   3502 |        0 |        0
384.81/384.96	c  384s |      22 |  2575193 |  1873822 |     1256   3518 |        0 |        0
386.81/386.96	c  386s |      22 |  2590338 |  1884122 |     1256   3533 |        0 |        0
388.81/388.98	c  388s |      22 |  2603947 |  1894022 |     1256   3548 |        0 |        0
390.81/390.99	c  390s |      22 |  2617201 |  1904322 |     1256   3563 |        0 |        0
392.91/393.00	c  392s |      22 |  2628686 |  1913422 |     1256   3577 |        0 |        0
394.91/395.03	c  395s |      22 |  2640227 |  1922622 |     1256   3591 |        0 |        0
396.90/397.05	c  397s |      22 |  2654665 |  1932822 |     1256   3606 |        0 |        0
398.90/399.05	c  399s |      22 |  2668476 |  1942522 |     1256   3620 |        0 |        0
400.91/401.06	c  401s |      22 |  2681755 |  1952122 |     1256   3635 |        0 |        0
402.91/403.06	c  403s |      22 |  2693664 |  1961122 |     1256   3648 |        0 |        0
404.91/405.08	c  405s |      22 |  2706837 |  1970622 |     1256   3662 |        0 |        0
406.91/407.08	c  407s |      22 |  2718117 |  1979622 |     1256   3676 |        0 |        0
409.00/409.10	c  409s |      22 |  2731439 |  1989122 |     1256   3690 |        0 |        0
411.00/411.12	c  411s |      22 |  2742880 |  1997722 |     1256   3702 |        0 |        0
413.00/413.13	c  413s |      22 |  2756571 |  2007022 |     1256   3716 |        0 |        0
415.00/415.14	c  415s |      22 |  2767451 |  2016022 |     1256   3729 |        0 |        0
417.00/417.14	c  417s |      22 |  2780838 |  2025622 |     1256   3744 |        0 |        0
419.01/419.15	c  419s |      22 |  2794526 |  2035222 |     1256   3758 |        0 |        0
421.00/421.16	c  421s |      22 |  2806655 |  2044222 |     1256   3772 |        0 |        0
423.00/423.17	c  423s |      22 |  2821055 |  2053722 |     1256   3786 |        0 |        0
425.00/425.18	c  425s |      22 |  2833198 |  2062722 |     1256   3799 |        0 |        0
427.10/427.20	c  427s |      22 |  2845663 |  2071822 |     1256   3813 |        0 |        0
429.09/429.21	c  429s |      22 |  2856939 |  2081022 |     1256   3826 |        0 |        0
431.10/431.23	c  431s |      22 |  2868239 |  2090022 |     1256   3840 |        0 |        0
433.09/433.24	c  433s |      22 |  2879529 |  2099022 |     1256   3853 |        0 |        0
435.09/435.25	c  435s |      22 |  2890674 |  2107722 |     1256   3866 |        0 |        0
437.09/437.26	c  437s |      22 |  2901742 |  2116422 |     1256   3879 |        0 |        0
439.09/439.28	c  439s |      22 |  2912725 |  2125022 |     1256   3891 |        0 |        0
441.09/441.28	c  441s |      22 |  2923305 |  2133622 |     1256   3904 |        0 |        0
443.09/443.29	c  443s |      22 |  2933768 |  2142022 |     1256   3917 |        0 |        0
445.18/445.30	c  445s |      22 |  2944319 |  2150522 |     1256   3929 |        0 |        0
447.18/447.31	c  447s |      22 |  2954802 |  2159122 |     1256   3942 |        0 |        0
449.18/449.33	c  449s |      22 |  2965475 |  2167722 |     1256   3955 |        0 |        0
451.18/451.34	c  451s |      22 |  2976481 |  2176422 |     1256   3967 |        0 |        0
453.19/453.34	c  453s |      22 |  2986917 |  2184822 |     1256   3980 |        0 |        0
455.17/455.35	c  455s |      22 |  2998229 |  2193322 |     1256   3992 |        0 |        0
457.17/457.36	c  457s |      22 |  3009264 |  2202022 |     1256   4005 |        0 |        0
459.17/459.38	c  459s |      22 |  3020994 |  2211622 |     1256   4019 |        0 |        0
461.17/461.38	c  461s |      22 |  3033298 |  2221422 |     1256   4034 |        0 |        0
463.17/463.39	c  463s |      22 |  3046677 |  2231522 |     1256   4049 |        0 |        0
465.28/465.40	c  465s |      22 |  3059816 |  2241322 |     1382   4063 |        0 |        0
467.17/467.39	c  467s |      23 |  3072419 |  2251038 |     1382   4076 |        0 |        0
469.27/469.40	c  469s |      23 |  3087105 |  2260338 |     1382   4088 |        0 |        0
471.27/471.41	c  471s |      23 |  3099914 |  2268738 |     1382   4100 |        0 |        0
473.27/473.44	c  473s |      23 |  3111148 |  2277438 |     1382   4111 |        0 |        0
475.27/475.44	c  475s |      23 |  3122081 |  2285838 |     1382   4123 |        0 |        0
477.28/477.46	c  477s |      23 |  3134664 |  2294538 |     1382   4135 |        0 |        0
479.27/479.46	c  479s |      23 |  3146032 |  2303138 |     1382   4146 |        0 |        0
481.27/481.47	c  481s |      23 |  3157179 |  2311338 |     1382   4157 |        0 |        0
483.27/483.48	c  483s |      23 |  3168926 |  2319938 |     1382   4169 |        0 |        0
485.26/485.48	c  485s |      23 |  3181065 |  2328338 |     1382   4181 |        0 |        0
487.36/487.50	c  487s |      23 |  3192111 |  2336538 |     1382   4192 |        0 |        0
489.37/489.51	c  489s |      23 |  3204345 |  2345438 |     1382   4204 |        0 |        0
491.36/491.52	c  491s |      23 |  3216806 |  2353738 |     1382   4215 |        0 |        0
493.36/493.55	c  493s |      23 |  3227717 |  2362238 |     1382   4227 |        0 |        0
495.36/495.56	c  495s |      23 |  3238387 |  2370838 |     1382   4238 |        0 |        0
497.36/497.58	c  497s |      23 |  3249597 |  2379538 |     1382   4250 |        0 |        0
499.46/499.60	c  499s |      23 |  3260632 |  2388338 |     1382   4262 |        0 |        0
501.46/501.61	c  501s |      23 |  3271179 |  2396538 |     1382   4273 |        0 |        0
503.45/503.62	c  503s |      23 |  3284230 |  2405638 |     1382   4286 |        0 |        0
505.45/505.63	c  505s |      23 |  3297289 |  2414538 |     1382   4298 |        0 |        0
507.45/507.64	c  507s |      23 |  3307967 |  2422738 |     1382   4309 |        0 |        0
509.45/509.65	c  509s |      23 |  3318831 |  2430838 |     1382   4320 |        0 |        0
511.45/511.66	c  511s |      23 |  3329537 |  2439138 |     1382   4331 |        0 |        0
513.45/513.68	c  513s |      23 |  3340302 |  2447138 |     1382   4342 |        0 |        0
515.44/515.69	c  515s |      23 |  3351731 |  2456038 |     1382   4354 |        0 |        0
517.54/517.71	c  517s |      23 |  3363763 |  2464738 |     1382   4366 |        0 |        0
519.54/519.72	c  519s |      23 |  3376533 |  2473738 |     1382   4378 |        0 |        0
521.54/521.74	c  521s |      23 |  3388382 |  2482538 |     1382   4390 |        0 |        0
523.55/523.76	c  523s |      23 |  3398950 |  2491038 |     1382   4401 |        0 |        0
525.54/525.76	c  525s |      23 |  3407962 |  2498738 |     1382   4412 |        0 |        0
527.54/527.76	c  527s |      23 |  3417955 |  2506838 |     1382   4423 |        0 |        0
529.54/529.78	c  529s |      23 |  3427386 |  2514838 |     1382   4434 |        0 |        0
531.54/531.79	c  531s |      23 |  3437373 |  2523038 |     1382   4445 |        0 |        0
533.53/533.79	c  533s |      23 |  3449096 |  2531538 |     1382   4456 |        0 |        0
535.54/535.80	c  535s |      23 |  3459995 |  2539738 |     1382   4468 |        0 |        0
537.63/537.81	c  537s |      23 |  3471088 |  2547938 |     1382   4479 |        0 |        0
539.63/539.82	c  539s |      23 |  3481682 |  2555938 |     1382   4490 |        0 |        0
541.63/541.84	c  541s |      23 |  3492401 |  2563938 |     1382   4501 |        0 |        0
543.63/543.84	c  543s |      23 |  3505023 |  2572638 |     1382   4512 |        0 |        0
545.63/545.85	c  545s |      23 |  3516369 |  2581138 |     1382   4524 |        0 |        0
547.63/547.85	c  547s |      23 |  3528297 |  2589238 |     1382   4535 |        0 |        0
549.62/549.86	c  549s |      23 |  3538380 |  2597238 |     1382   4546 |        0 |        0
551.62/551.87	c  551s |      23 |  3549222 |  2605438 |     1382   4557 |        0 |        0
553.62/553.88	c  553s |      23 |  3560128 |  2613438 |     1382   4568 |        0 |        0
555.62/555.88	c  555s |      23 |  3570937 |  2621538 |     1382   4579 |        0 |        0
557.63/557.89	c  557s |      23 |  3580676 |  2629838 |     1382   4590 |        0 |        0
559.62/559.89	c  559s |      23 |  3590963 |  2638338 |     1382   4601 |        0 |        0
561.62/561.89	c  561s |      23 |  3601080 |  2646838 |     1382   4613 |        0 |        0
563.72/563.91	c  563s |      23 |  3610875 |  2655138 |     1382   4624 |        0 |        0
565.72/565.93	c  565s |      23 |  3620145 |  2663038 |     1382   4635 |        0 |        0
567.72/567.95	c  567s |      23 |  3629492 |  2671138 |     1382   4646 |        0 |        0
569.72/569.96	c  569s |      23 |  3639617 |  2679738 |     1382   4657 |        0 |        0
571.72/571.98	c  571s |      23 |  3649458 |  2688238 |     1382   4669 |        0 |        0
573.72/573.99	c  573s |      23 |  3659178 |  2696538 |     1382   4679 |        0 |        0
575.81/576.02	c  576s |      23 |  3669217 |  2704838 |     1382   4691 |        0 |        0
577.81/578.05	c  578s |      23 |  3678708 |  2713038 |     1382   4701 |        0 |        0
579.81/580.07	c  580s |      23 |  3689410 |  2721438 |     1382   4713 |        0 |        0
581.82/582.08	c  582s |      23 |  3699107 |  2729538 |     1382   4723 |        0 |        0
583.81/584.08	c  584s |      23 |  3708130 |  2737338 |     1382   4734 |        0 |        0
585.80/586.09	c  586s |      23 |  3717227 |  2745038 |     1382   4744 |        0 |        0
587.91/588.11	c  588s |      23 |  3725881 |  2752638 |     1382   4754 |        0 |        0
589.91/590.12	c  590s |      23 |  3735158 |  2760538 |     1382   4765 |        0 |        0
591.91/592.13	c  592s |      23 |  3745154 |  2768438 |     1382   4775 |        0 |        0
593.92/594.13	c  594s |      23 |  3756151 |  2776838 |     1382   4786 |        0 |        0
595.91/596.16	c  596s |      23 |  3767350 |  2785038 |     1382   4797 |        0 |        0
597.91/598.16	c  598s |      23 |  3777809 |  2792838 |     1382   4808 |        0 |        0
599.91/600.17	c  600s |      23 |  3789911 |  2801638 |     1382   4820 |        0 |        0
601.91/602.18	c  602s |      23 |  3802047 |  2810438 |     1382   4832 |        0 |        0
603.90/604.19	c  604s |      23 |  3812507 |  2818438 |     1382   4843 |        0 |        0
605.91/606.20	c  606s |      23 |  3823365 |  2826538 |     1382   4853 |        0 |        0
608.00/608.20	c  608s |      23 |  3833760 |  2834338 |     1382   4864 |        0 |        0
610.00/610.20	c  610s |      23 |  3845480 |  2843138 |     1382   4876 |        0 |        0
612.00/612.20	c  612s |      23 |  3856456 |  2851338 |     1382   4887 |        0 |        0
614.00/614.23	c  614s |      23 |  3864993 |  2858638 |     1382   4897 |        0 |        0
615.99/616.25	c  616s |      23 |  3875159 |  2866138 |     1382   4907 |        0 |        0
618.00/618.26	c  618s |      23 |  3885234 |  2874138 |     1382   4918 |        0 |        0
619.99/620.26	c  620s |      23 |  3895063 |  2881938 |     1382   4929 |        0 |        0
621.99/622.28	c  622s |      23 |  3905411 |  2889938 |     1382   4939 |        0 |        0
624.09/624.30	c  624s |      23 |  3915786 |  2898138 |     1382   4951 |        0 |        0
626.08/626.32	c  626s |      23 |  3926314 |  2906038 |     1382   4961 |        0 |        0
628.08/628.34	c  628s |      23 |  3935916 |  2913738 |     1382   4972 |        0 |        0
630.09/630.37	c  630s |      23 |  3945755 |  2921538 |     1382   4983 |        0 |        0
632.08/632.39	c  632s |      23 |  3957222 |  2930038 |     1382   4994 |        0 |        0
634.18/634.40	c  634s |      23 |  3969594 |  2938738 |     1382   5006 |        0 |        0
636.18/636.42	c  636s |      23 |  3983110 |  2947338 |     1382   5018 |        0 |        0
638.18/638.44	c  638s |      23 |  3996064 |  2956038 |     1382   5029 |        0 |        0
640.18/640.44	c  640s |      23 |  4007010 |  2964138 |     1382   5040 |        0 |        0
642.18/642.45	c  642s |      23 |  4016289 |  2971738 |     1382   5050 |        0 |        0
644.18/644.46	c  644s |      23 |  4025370 |  2979438 |     1382   5061 |        0 |        0
646.17/646.47	c  646s |      23 |  4035530 |  2987438 |     1382   5071 |        0 |        0
648.17/648.47	c  648s |      23 |  4048188 |  2996038 |     1382   5083 |        0 |        0
650.17/650.48	c  650s |      23 |  4057589 |  3003638 |     1382   5093 |        0 |        0
652.27/652.51	c  652s |      23 |  4066902 |  3011138 |     1382   5103 |        0 |        0
654.27/654.53	c  654s |      23 |  4078779 |  3019338 |     1382   5115 |        0 |        0
656.26/656.53	c  656s |      23 |  4090532 |  3027538 |     1382   5126 |        0 |        0
658.26/658.54	c  658s |      23 |  4100586 |  3035238 |     1382   5136 |        0 |        0
660.26/660.56	c  660s |      23 |  4109459 |  3042438 |     1382   5146 |        0 |        0
662.26/662.57	c  662s |      23 |  4118460 |  3049638 |     1382   5156 |        0 |        0
664.26/664.57	c  664s |      23 |  4127755 |  3057238 |     1382   5166 |        0 |        0
666.26/666.58	c  666s |      23 |  4136868 |  3064638 |     1382   5176 |        0 |        0
668.26/668.58	c  668s |      23 |  4144977 |  3071438 |     1382   5185 |        0 |        0
670.36/670.60	c  670s |      23 |  4153973 |  3078438 |     1382   5195 |        0 |        0
672.36/672.60	c  672s |      23 |  4163754 |  3085938 |     1382   5205 |        0 |        0
674.35/674.62	c  674s |      23 |  4173865 |  3093838 |     1382   5215 |        0 |        0
676.36/676.63	c  676s |      23 |  4184127 |  3101638 |     1382   5226 |        0 |        0
678.35/678.65	c  678s |      23 |  4193429 |  3109638 |     1382   5237 |        0 |        0
680.35/680.66	c  680s |      23 |  4202452 |  3117338 |     1382   5247 |        0 |        0
682.35/682.68	c  682s |      23 |  4211600 |  3124938 |     1382   5258 |        0 |        0
684.34/684.68	c  684s |      23 |  4220516 |  3132638 |     1382   5268 |        0 |        0
686.44/686.70	c  686s |      23 |  4228812 |  3139838 |     1382   5278 |        0 |        0
688.45/688.73	c  688s |      23 |  4237743 |  3147138 |     1382   5288 |        0 |        0
690.44/690.75	c  690s |      23 |  4248507 |  3155038 |     1382   5299 |        0 |        0
692.44/692.75	c  692s |      23 |  4258926 |  3163038 |     1382   5310 |        0 |        0
694.44/694.77	c  694s |      23 |  4268713 |  3170638 |     1382   5321 |        0 |        0
696.44/696.79	c  696s |      23 |  4278052 |  3178038 |     1382   5331 |        0 |        0
698.55/698.80	c  698s |      23 |  4287197 |  3185538 |     1382   5341 |        0 |        0
700.55/700.83	c  700s |      23 |  4296391 |  3192938 |     1382   5351 |        0 |        0
702.55/702.84	c  702s |      23 |  4305231 |  3200038 |     1382   5361 |        0 |        0
704.54/704.86	c  704s |      23 |  4314445 |  3207538 |     1382   5371 |        0 |        0
706.54/706.87	c  706s |      23 |  4322816 |  3214538 |     1382   5381 |        0 |        0
708.54/708.88	c  708s |      23 |  4331565 |  3222138 |     1382   5391 |        0 |        0
710.54/710.89	c  710s |      23 |  4340057 |  3229638 |     1382   5402 |        0 |        0
712.65/712.91	c  712s |      23 |  4349308 |  3237338 |     1382   5412 |        0 |        0
714.64/714.91	c  714s |      23 |  4358002 |  3244738 |     1382   5423 |        0 |        0
716.64/716.92	c  716s |      23 |  4367444 |  3252538 |     1382   5433 |        0 |        0
718.64/718.94	c  718s |      23 |  4375487 |  3259538 |     1382   5443 |        0 |        0
720.63/720.94	c  720s |      23 |  4385472 |  3267138 |     1382   5453 |        0 |        0
722.63/722.95	c  722s |      23 |  4395181 |  3274638 |     1382   5463 |        0 |        0
724.64/724.96	c  724s |      23 |  4404320 |  3281938 |     1382   5473 |        0 |        0
726.63/726.97	c  726s |      23 |  4414010 |  3289438 |     1382   5483 |        0 |        0
728.63/728.98	c  728s |      23 |  4423705 |  3297038 |     1382   5494 |        0 |        0
730.63/730.99	c  730s |      23 |  4432929 |  3304338 |     1382   5504 |        0 |        0
732.73/733.02	c  733s |      23 |  4443491 |  3312338 |     1382   5515 |        0 |        0
734.72/735.03	c  735s |      23 |  4454917 |  3320638 |     1382   5526 |        0 |        0
736.73/737.05	c  737s |      23 |  4464033 |  3328038 |     1382   5536 |        0 |        0
738.72/739.05	c  739s |      23 |  4472699 |  3335338 |     1382   5546 |        0 |        0
740.72/741.07	c  741s |      23 |  4481854 |  3342938 |     1382   5556 |        0 |        0
742.72/743.07	c  743s |      23 |  4491083 |  3350238 |     1382   5566 |        0 |        0
744.71/745.07	c  745s |      23 |  4500463 |  3357738 |     1521   5575 |        0 |        0
746.72/747.08	c  747s |      23 |  4508728 |  3364738 |     1521   5584 |        0 |        0
748.82/749.11	c  749s |      23 |  4517836 |  3372238 |     1521   5593 |        0 |        0
749.92/750.30	c  750s |      24 |  4523620 |  3376662 |     1521   5599 |        0 |        0
752.01/752.31	c  752s |      24 |  4533158 |  3384362 |     1521   5608 |        0 |        0
754.01/754.33	c  754s |      24 |  4542501 |  3392162 |     1521   5618 |        0 |        0
756.01/756.35	c  756s |      24 |  4553419 |  3400562 |     1521   5629 |        0 |        0
758.01/758.35	c  758s |      24 |  4563757 |  3408662 |     1521   5639 |        0 |        0
760.01/760.38	c  760s |      24 |  4573469 |  3416562 |     1521   5649 |        0 |        0
762.02/762.38	c  762s |      24 |  4582454 |  3424062 |     1521   5658 |        0 |        0
764.01/764.39	c  764s |      24 |  4591151 |  3431462 |     1521   5667 |        0 |        0
766.11/766.40	c  766s |      24 |  4600271 |  3439162 |     1521   5677 |        0 |        0
768.11/768.40	c  768s |      24 |  4609086 |  3446662 |     1521   5687 |        0 |        0
770.11/770.40	c  770s |      24 |  4617842 |  3454162 |     1521   5696 |        0 |        0
772.11/772.42	c  772s |      24 |  4627232 |  3462162 |     1521   5706 |        0 |        0
774.11/774.43	c  774s |      24 |  4637163 |  3470362 |     1521   5717 |        0 |        0
776.10/776.45	c  776s |      24 |  4646628 |  3478362 |     1521   5727 |        0 |        0
778.10/778.47	c  778s |      24 |  4656062 |  3486462 |     1521   5737 |        0 |        0
780.10/780.49	c  780s |      24 |  4665526 |  3494462 |     1521   5747 |        0 |        0
782.10/782.49	c  782s |      24 |  4674759 |  3502362 |     1521   5757 |        0 |        0
784.20/784.50	c  784s |      24 |  4684742 |  3510662 |     1521   5768 |        0 |        0
786.20/786.52	c  786s |      24 |  4693548 |  3518262 |     1521   5777 |        0 |        0
788.20/788.54	c  788s |      24 |  4703102 |  3526162 |     1521   5787 |        0 |        0
790.20/790.54	c  790s |      24 |  4712483 |  3533962 |     1521   5797 |        0 |        0
792.20/792.56	c  792s |      24 |  4721043 |  3541562 |     1521   5806 |        0 |        0
794.20/794.59	c  794s |      24 |  4730314 |  3549362 |     1521   5816 |        0 |        0
796.29/796.60	c  796s |      24 |  4740114 |  3557262 |     1521   5826 |        0 |        0
798.30/798.62	c  798s |      24 |  4749989 |  3565162 |     1521   5836 |        0 |        0
800.29/800.63	c  800s |      24 |  4759702 |  3572962 |     1521   5846 |        0 |        0
802.29/802.66	c  802s |      24 |  4770003 |  3580562 |     1521   5855 |        0 |        0
804.28/804.67	c  804s |      24 |  4779914 |  3588462 |     1521   5865 |        0 |        0
806.28/806.69	c  806s |      24 |  4789220 |  3596062 |     1521   5875 |        0 |        0
808.38/808.71	c  808s |      24 |  4798277 |  3603562 |     1521   5884 |        0 |        0
810.39/810.71	c  810s |      24 |  4808994 |  3611362 |     1521   5894 |        0 |        0
812.38/812.72	c  812s |      24 |  4818856 |  3619362 |     1521   5904 |        0 |        0
814.38/814.74	c  814s |      24 |  4828997 |  3627362 |     1521   5914 |        0 |        0
816.37/816.75	c  816s |      24 |  4838439 |  3635162 |     1521   5924 |        0 |        0
818.37/818.76	c  818s |      24 |  4847435 |  3642762 |     1521   5933 |        0 |        0
820.38/820.76	c  820s |      24 |  4856657 |  3650562 |     1521   5943 |        0 |        0
822.37/822.76	c  822s |      24 |  4865058 |  3657962 |     1521   5953 |        0 |        0
824.37/824.77	c  824s |      24 |  4874220 |  3665662 |     1521   5962 |        0 |        0
826.37/826.78	c  826s |      24 |  4885503 |  3673962 |     1521   5973 |        0 |        0
828.37/828.78	c  828s |      24 |  4896572 |  3682162 |     1521   5983 |        0 |        0
830.37/830.79	c  830s |      24 |  4907001 |  3690262 |     1521   5993 |        0 |        0
832.48/832.82	c  832s |      24 |  4918019 |  3698262 |     1521   6004 |        0 |        0
834.47/834.83	c  834s |      24 |  4927433 |  3705962 |     1521   6013 |        0 |        0
836.47/836.85	c  836s |      24 |  4938242 |  3713962 |     1521   6023 |        0 |        0
838.47/838.87	c  838s |      24 |  4947822 |  3721662 |     1521   6033 |        0 |        0
840.47/840.88	c  840s |      24 |  4957287 |  3729162 |     1521   6043 |        0 |        0
842.47/842.89	c  842s |      24 |  4966400 |  3736362 |     1521   6052 |        0 |        0
844.57/844.91	c  844s |      24 |  4976559 |  3744162 |     1521   6062 |        0 |        0
846.56/846.94	c  846s |      24 |  4986342 |  3751962 |     1521   6071 |        0 |        0
848.56/848.94	c  848s |      24 |  4995924 |  3759862 |     1521   6081 |        0 |        0
850.56/850.95	c  850s |      24 |  5005284 |  3767562 |     1521   6091 |        0 |        0
852.56/852.96	c  852s |      24 |  5014551 |  3775162 |     1521   6101 |        0 |        0
854.56/854.96	c  854s |      24 |  5023347 |  3782562 |     1521   6110 |        0 |        0
856.56/856.98	c  856s |      24 |  5032962 |  3790262 |     1521   6120 |        0 |        0
858.55/858.99	c  858s |      24 |  5043043 |  3798362 |     1521   6130 |        0 |        0
860.65/861.01	c  860s |      24 |  5053425 |  3806362 |     1521   6140 |        0 |        0
862.65/863.01	c  863s |      24 |  5063222 |  3814262 |     1521   6150 |        0 |        0
864.64/865.03	c  865s |      24 |  5071927 |  3821862 |     1521   6160 |        0 |        0
866.64/867.05	c  867s |      24 |  5080965 |  3829462 |     1521   6170 |        0 |        0
868.65/869.05	c  869s |      24 |  5091574 |  3837262 |     1521   6179 |        0 |        0
870.64/871.08	c  871s |      24 |  5102400 |  3845162 |     1521   6189 |        0 |        0
872.64/873.09	c  873s |      24 |  5113406 |  3853162 |     1521   6199 |        0 |        0
874.74/875.10	c  875s |      24 |  5123909 |  3860762 |     1521   6209 |        0 |        0
876.74/877.11	c  877s |      24 |  5133576 |  3868162 |     1521   6218 |        0 |        0
878.74/879.11	c  879s |      24 |  5142746 |  3875462 |     1521   6227 |        0 |        0
880.74/881.13	c  881s |      24 |  5153085 |  3883262 |     1521   6237 |        0 |        0
882.73/883.13	c  883s |      24 |  5164580 |  3891362 |     1521   6247 |        0 |        0
884.73/885.13	c  885s |      24 |  5175583 |  3899362 |     1521   6257 |        0 |        0
886.73/887.14	c  887s |      24 |  5185987 |  3907362 |     1521   6267 |        0 |        0
888.73/889.16	c  889s |      24 |  5195788 |  3915362 |     1521   6277 |        0 |        0
890.74/891.17	c  891s |      24 |  5206109 |  3923462 |     1521   6287 |        0 |        0
892.73/893.18	c  893s |      24 |  5215447 |  3930962 |     1521   6297 |        0 |        0
894.83/895.21	c  895s |      24 |  5224837 |  3938662 |     1521   6307 |        0 |        0
896.83/897.22	c  897s |      24 |  5234823 |  3946562 |     1521   6316 |        0 |        0
898.83/899.25	c  899s |      24 |  5245051 |  3954562 |     1521   6327 |        0 |        0
900.83/901.26	c  901s |      24 |  5254465 |  3962162 |     1521   6336 |        0 |        0
902.83/903.27	c  903s |      24 |  5264538 |  3969662 |     1521   6346 |        0 |        0
904.82/905.29	c  905s |      24 |  5275924 |  3977862 |     1521   6356 |        0 |        0
906.93/907.31	c  907s |      24 |  5286686 |  3985762 |     1521   6366 |        0 |        0
908.93/909.33	c  909s |      24 |  5298973 |  3993962 |     1521   6376 |        0 |        0
910.93/911.33	c  911s |      24 |  5310406 |  4001862 |     1521   6386 |        0 |        0
912.93/913.35	c  913s |      24 |  5320191 |  4009262 |     1521   6395 |        0 |        0
914.93/915.36	c  915s |      24 |  5329271 |  4016962 |     1521   6405 |        0 |        0
916.92/917.36	c  917s |      24 |  5338138 |  4024362 |     1521   6414 |        0 |        0
918.92/919.37	c  919s |      24 |  5347418 |  4031862 |     1521   6424 |        0 |        0
920.92/921.39	c  921s |      24 |  5356911 |  4039562 |     1521   6433 |        0 |        0
923.02/923.42	c  923s |      24 |  5365072 |  4046562 |     1521   6442 |        0 |        0
925.01/925.44	c  925s |      24 |  5374264 |  4053862 |     1521   6451 |        0 |        0
927.02/927.44	c  927s |      24 |  5382408 |  4060662 |     1521   6460 |        0 |        0
929.01/929.45	c  929s |      24 |  5390884 |  4067962 |     1521   6469 |        0 |        0
931.01/931.45	c  931s |      24 |  5399711 |  4075462 |     1521   6478 |        0 |        0
933.01/933.46	c  933s |      24 |  5409966 |  4083762 |     1521   6488 |        0 |        0
935.01/935.48	c  935s |      24 |  5418022 |  4090862 |     1521   6497 |        0 |        0
937.11/937.50	c  937s |      24 |  5427099 |  4098462 |     1521   6507 |        0 |        0
939.12/939.52	c  939s |      24 |  5437356 |  4106562 |     1521   6517 |        0 |        0
941.11/941.55	c  941s |      24 |  5447123 |  4114562 |     1521   6527 |        0 |        0
943.11/943.56	c  943s |      24 |  5458279 |  4122762 |     1521   6537 |        0 |        0
945.10/945.58	c  945s |      24 |  5469357 |  4130962 |     1521   6548 |        0 |        0
947.10/947.59	c  947s |      24 |  5479640 |  4138762 |     1521   6558 |        0 |        0
949.20/949.60	c  949s |      24 |  5489906 |  4146762 |     1521   6568 |        0 |        0
951.11/951.60	c  951s |      24 |  5501197 |  4155262 |     1521   6578 |        0 |        0
953.20/953.60	c  953s |      24 |  5513847 |  4164062 |     1521   6590 |        0 |        0
955.19/955.61	c  955s |      24 |  5524089 |  4172062 |     1521   6600 |        0 |        0
957.19/957.62	c  957s |      24 |  5534165 |  4180162 |     1521   6610 |        0 |        0
959.19/959.62	c  959s |      24 |  5545149 |  4188562 |     1521   6620 |        0 |        0
961.19/961.63	c  961s |      24 |  5555500 |  4196662 |     1521   6630 |        0 |        0
963.20/963.63	c  963s |      24 |  5565864 |  4204962 |     1521   6641 |        0 |        0
965.19/965.63	c  965s |      24 |  5576935 |  4213262 |     1521   6651 |        0 |        0
967.19/967.63	c  967s |      24 |  5586565 |  4220962 |     1521   6661 |        0 |        0
969.19/969.65	c  969s |      24 |  5596786 |  4228762 |     1521   6671 |        0 |        0
971.19/971.67	c  971s |      24 |  5606224 |  4236262 |     1521   6680 |        0 |        0
973.19/973.68	c  973s |      24 |  5616223 |  4244262 |     1521   6690 |        0 |        0
975.18/975.68	c  975s |      24 |  5625487 |  4251962 |     1521   6700 |        0 |        0
977.18/977.69	c  977s |      24 |  5635799 |  4259962 |     1521   6710 |        0 |        0
979.28/979.72	c  979s |      24 |  5646856 |  4268462 |     1521   6721 |        0 |        0
981.28/981.74	c  981s |      24 |  5657063 |  4276762 |     1521   6731 |        0 |        0
983.28/983.75	c  983s |      24 |  5665895 |  4284162 |     1521   6740 |        0 |        0
985.29/985.75	c  985s |      24 |  5675177 |  4291662 |     1521   6750 |        0 |        0
987.28/987.76	c  987s |      24 |  5684304 |  4299062 |     1521   6759 |        0 |        0
989.28/989.77	c  989s |      24 |  5693490 |  4306762 |     1521   6769 |        0 |        0
991.38/991.80	c  991s |      24 |  5703131 |  4314562 |     1521   6778 |        0 |        0
993.38/993.81	c  993s |      24 |  5712157 |  4322162 |     1521   6788 |        0 |        0
995.38/995.82	c  995s |      24 |  5720786 |  4329562 |     1521   6797 |        0 |        0
997.39/997.84	c  997s |      24 |  5729182 |  4336762 |     1521   6806 |        0 |        0
999.38/999.87	c  999s |      24 |  5737914 |  4344062 |     1521   6815 |        0 |        0
1001.38/1001.87	c 1001s |      24 |  5747619 |  4352062 |     1521   6826 |        0 |        0
1003.38/1003.88	c 1003s |      24 |  5757156 |  4360162 |     1521   6836 |        0 |        0
1005.48/1005.90	c 1005s |      24 |  5766807 |  4368062 |     1521   6846 |        0 |        0
1007.48/1007.93	c 1007s |      24 |  5776347 |  4375962 |     1521   6856 |        0 |        0
1009.49/1009.96	c 1009s |      24 |  5785918 |  4383762 |     1521   6865 |        0 |        0
1011.48/1011.96	c 1011s |      24 |  5794525 |  4391162 |     1521   6875 |        0 |        0
1013.48/1013.98	c 1013s |      24 |  5804876 |  4399462 |     1521   6885 |        0 |        0
1015.58/1016.00	c 1015s |      24 |  5815664 |  4407662 |     1521   6895 |        0 |        0
1017.59/1018.00	c 1017s |      24 |  5825854 |  4415662 |     1521   6905 |        0 |        0
1019.59/1020.02	c 1020s |      24 |  5836099 |  4423962 |     1521   6916 |        0 |        0
1021.59/1022.04	c 1022s |      24 |  5845620 |  4431962 |     1521   6926 |        0 |        0
1023.59/1024.05	c 1024s |      24 |  5855679 |  4439962 |     1521   6936 |        0 |        0
1025.59/1026.07	c 1026s |      24 |  5865203 |  4447862 |     1521   6946 |        0 |        0
1027.58/1028.08	c 1028s |      24 |  5875028 |  4455762 |     1521   6956 |        0 |        0
1029.68/1030.10	c 1030s |      24 |  5883489 |  4462962 |     1521   6965 |        0 |        0
1031.68/1032.13	c 1032s |      24 |  5892641 |  4470662 |     1521   6975 |        0 |        0
1033.69/1034.15	c 1034s |      24 |  5901063 |  4477862 |     1521   6983 |        0 |        0
1035.68/1036.17	c 1036s |      24 |  5909760 |  4485162 |     1521   6992 |        0 |        0
1037.68/1038.18	c 1038s |      24 |  5918060 |  4492062 |     1521   7001 |        0 |        0
1039.78/1040.20	c 1040s |      24 |  5926225 |  4498962 |     1521   7010 |        0 |        0
1041.78/1042.23	c 1042s |      24 |  5936090 |  4506762 |     1521   7020 |        0 |        0
1043.78/1044.24	c 1044s |      24 |  5946055 |  4514662 |     1521   7029 |        0 |        0
1045.79/1046.25	c 1046s |      24 |  5955468 |  4522262 |     1521   7039 |        0 |        0
1047.78/1048.27	c 1048s |      24 |  5965056 |  4529962 |     1521   7049 |        0 |        0
1049.78/1050.28	c 1050s |      24 |  5972775 |  4536562 |     1521   7057 |        0 |        0
1051.88/1052.30	c 1052s |      24 |  5982959 |  4544262 |     1521   7067 |        0 |        0
1053.88/1054.31	c 1054s |      24 |  5993314 |  4552162 |     1521   7076 |        0 |        0
1055.88/1056.33	c 1056s |      24 |  6003350 |  4559862 |     1521   7086 |        0 |        0
1057.89/1058.35	c 1058s |      24 |  6013493 |  4567762 |     1521   7096 |        0 |        0
1059.88/1060.37	c 1060s |      24 |  6023552 |  4575762 |     1521   7106 |        0 |        0
1061.88/1062.37	c 1062s |      24 |  6033826 |  4583762 |     1521   7116 |        0 |        0
1063.88/1064.39	c 1064s |      24 |  6043412 |  4591462 |     1521   7126 |        0 |        0
1065.98/1066.42	c 1066s |      24 |  6052649 |  4598962 |     1521   7135 |        0 |        0
1067.98/1068.44	c 1068s |      24 |  6061777 |  4606562 |     1521   7145 |        0 |        0
1069.98/1070.46	c 1070s |      24 |  6071094 |  4613962 |     1521   7154 |        0 |        0
1071.98/1072.48	c 1072s |      24 |  6079647 |  4620962 |     1521   7163 |        0 |        0
1073.97/1074.48	c 1074s |      24 |  6089427 |  4628362 |     1521   7172 |        0 |        0
1075.97/1076.49	c 1076s |      24 |  6098963 |  4635962 |     1521   7182 |        0 |        0
1078.07/1078.51	c 1078s |      24 |  6108245 |  4643462 |     1521   7191 |        0 |        0
1080.07/1080.52	c 1080s |      24 |  6117431 |  4651062 |     1521   7201 |        0 |        0
1082.08/1082.52	c 1082s |      24 |  6126117 |  4658362 |     1521   7210 |        0 |        0
1084.07/1084.54	c 1084s |      24 |  6135913 |  4666062 |     1521   7220 |        0 |        0
1086.07/1086.56	c 1086s |      24 |  6144346 |  4673362 |     1521   7229 |        0 |        0
1088.07/1088.57	c 1088s |      24 |  6153107 |  4680562 |     1521   7238 |        0 |        0
1090.07/1090.59	c 1090s |      24 |  6162444 |  4688362 |     1521   7247 |        0 |        0
1092.17/1092.62	c 1092s |      24 |  6171575 |  4695862 |     1521   7257 |        0 |        0
1094.18/1094.64	c 1094s |      24 |  6180561 |  4703162 |     1521   7266 |        0 |        0
1096.17/1096.67	c 1096s |      24 |  6189868 |  4710562 |     1521   7276 |        0 |        0
1098.17/1098.68	c 1098s |      24 |  6198520 |  4717662 |     1521   7285 |        0 |        0
1100.17/1100.68	c 1100s |      24 |  6207805 |  4725062 |     1521   7294 |        0 |        0
1102.27/1102.70	c 1102s |      24 |  6217329 |  4732362 |     1521   7303 |        0 |        0
1104.27/1104.71	c 1104s |      24 |  6226016 |  4739362 |     1521   7312 |        0 |        0
1106.28/1106.72	c 1106s |      24 |  6235756 |  4746762 |     1521   7321 |        0 |        0
1108.27/1108.75	c 1108s |      24 |  6244487 |  4753962 |     1521   7330 |        0 |        0
1110.27/1110.76	c 1110s |      24 |  6253578 |  4761362 |     1521   7340 |        0 |        0
1112.27/1112.77	c 1112s |      24 |  6262972 |  4768762 |     1521   7349 |        0 |        0
1114.27/1114.78	c 1114s |      24 |  6272034 |  4776262 |     1521   7359 |        0 |        0
1116.37/1116.80	c 1116s |      24 |  6281620 |  4783962 |     1521   7368 |        0 |        0
1118.27/1118.80	c 1118s |      24 |  6292450 |  4792162 |     1521   7379 |        0 |        0
1120.37/1120.83	c 1120s |      24 |  6302279 |  4800062 |     1521   7388 |        0 |        0
1122.37/1122.83	c 1122s |      24 |  6311688 |  4807862 |     1521   7398 |        0 |        0
1124.37/1124.83	c 1124s |      24 |  6320327 |  4814962 |     1521   7407 |        0 |        0
1126.36/1126.85	c 1126s |      24 |  6327908 |  4821262 |     1521   7415 |        0 |        0
1128.36/1128.85	c 1128s |      24 |  6335813 |  4828162 |     1521   7424 |        0 |        0
1130.37/1130.86	c 1130s |      24 |  6343914 |  4834962 |     1521   7432 |        0 |        0
1132.36/1132.87	c 1132s |      24 |  6352875 |  4842362 |     1521   7441 |        0 |        0
1134.36/1134.88	c 1134s |      24 |  6361817 |  4849562 |     1521   7450 |        0 |        0
1136.46/1136.90	c 1136s |      24 |  6370433 |  4856662 |     1521   7459 |        0 |        0
1138.46/1138.92	c 1138s |      24 |  6379333 |  4863962 |     1521   7469 |        0 |        0
1140.46/1140.93	c 1140s |      24 |  6388461 |  4871362 |     1521   7478 |        0 |        0
1142.47/1142.94	c 1142s |      24 |  6397247 |  4878562 |     1521   7487 |        0 |        0
1144.46/1144.95	c 1144s |      24 |  6406919 |  4886162 |     1521   7496 |        0 |        0
1146.46/1146.95	c 1146s |      24 |  6416500 |  4893562 |     1521   7506 |        0 |        0
1148.46/1148.95	c 1148s |      24 |  6424920 |  4900562 |     1521   7514 |        0 |        0
1150.46/1150.98	c 1150s |      24 |  6433956 |  4908162 |     1521   7524 |        0 |        0
1152.46/1152.99	c 1152s |      24 |  6442918 |  4915762 |     1521   7533 |        0 |        0
1154.56/1155.01	c 1154s |      24 |  6452315 |  4923462 |     1521   7543 |        0 |        0
1156.57/1157.01	c 1157s |      24 |  6461919 |  4930962 |     1521   7552 |        0 |        0
1158.56/1159.02	c 1159s |      24 |  6471290 |  4938562 |     1521   7562 |        0 |        0
1160.56/1161.04	c 1161s |      24 |  6480759 |  4946162 |     1521   7572 |        0 |        0
1162.56/1163.06	c 1163s |      24 |  6489143 |  4953362 |     1521   7581 |        0 |        0
1164.57/1165.07	c 1165s |      24 |  6497581 |  4960462 |     1521   7590 |        0 |        0
1166.56/1167.07	c 1167s |      24 |  6506325 |  4967662 |     1521   7599 |        0 |        0
1168.56/1169.09	c 1169s |      24 |  6515245 |  4975062 |     1521   7608 |        0 |        0
1170.66/1171.11	c 1171s |      24 |  6523270 |  4982062 |     1521   7617 |        0 |        0
1172.66/1173.13	c 1173s |      24 |  6531660 |  4989262 |     1521   7626 |        0 |        0
1174.66/1175.14	c 1175s |      24 |  6542450 |  4997362 |     1521   7636 |        0 |        0
1176.67/1177.15	c 1177s |      24 |  6553291 |  5005662 |     1521   7646 |        0 |        0
1178.66/1179.16	c 1179s |      24 |  6563579 |  5013362 |     1521   7656 |        0 |        0
1180.66/1181.17	c 1181s |      24 |  6572602 |  5020762 |     1521   7665 |        0 |        0
1182.66/1183.17	c 1183s |      24 |  6583103 |  5028762 |     1521   7675 |        0 |        0
1184.66/1185.18	c 1185s |      24 |  6592420 |  5036262 |     1674   7684 |        0 |        0
1186.76/1187.21	c 1187s |      24 |  6602400 |  5044062 |     1674   7693 |        0 |        0
1188.77/1189.21	c 1189s |      24 |  6612428 |  5052062 |     1674   7702 |        0 |        0
1190.76/1191.22	c 1191s |      24 |  6623082 |  5060262 |     1674   7711 |        0 |        0
1191.96/1192.43	c 1192s |      25 |  6628994 |  5065098 |     1674   7717 |        0 |        0
1193.96/1194.43	c 1194s |      25 |  6644508 |  5073598 |     1674   7726 |        0 |        0
1195.96/1196.44	c 1196s |      25 |  6656416 |  5081698 |     1674   7736 |        0 |        0
1197.96/1198.46	c 1198s |      25 |  6668025 |  5089698 |     1674   7745 |        0 |        0
1199.95/1200.48	c 1200s |      25 |  6679749 |  5097498 |     1674   7753 |        0 |        0
1201.96/1202.49	c 1202s |      25 |  6692405 |  5105898 |     1674   7763 |        0 |        0
1204.06/1204.50	c 1204s |      25 |  6705906 |  5114298 |     1674   7773 |        0 |        0
1206.05/1206.53	c 1206s |      25 |  6718661 |  5122498 |     1674   7782 |        0 |        0
1208.05/1208.54	c 1208s |      25 |  6731035 |  5130498 |     1674   7791 |        0 |        0
1210.05/1210.57	c 1210s |      25 |  6742948 |  5138298 |     1674   7800 |        0 |        0
1212.05/1212.58	c 1212s |      25 |  6754211 |  5146298 |     1674   7809 |        0 |        0
1214.15/1214.61	c 1214s |      25 |  6767040 |  5154698 |     1674   7819 |        0 |        0
1216.16/1216.62	c 1216s |      25 |  6781084 |  5163098 |     1674   7828 |        0 |        0
1218.15/1218.64	c 1218s |      25 |  6795217 |  5171198 |     1674   7838 |        0 |        0
1220.15/1220.65	c 1220s |      25 |  6806221 |  5178698 |     1674   7846 |        0 |        0
1222.15/1222.67	c 1222s |      25 |  6816582 |  5185898 |     1674   7854 |        0 |        0
1224.15/1224.69	c 1224s |      25 |  6826943 |  5193098 |     1674   7863 |        0 |        0
1226.16/1226.69	c 1226s |      25 |  6841462 |  5201398 |     1674   7872 |        0 |        0
1228.15/1228.70	c 1228s |      25 |  6854963 |  5209198 |     1674   7881 |        0 |        0
1230.25/1230.71	c 1230s |      25 |  6865140 |  5216598 |     1674   7889 |        0 |        0
1232.25/1232.71	c 1232s |      25 |  6877840 |  5224498 |     1674   7898 |        0 |        0
1234.25/1234.72	c 1234s |      25 |  6890489 |  5232498 |     1674   7907 |        0 |        0
1236.25/1236.72	c 1236s |      25 |  6903491 |  5240198 |     1674   7916 |        0 |        0
1238.26/1238.73	c 1238s |      25 |  6916021 |  5247798 |     1674   7925 |        0 |        0
1240.25/1240.74	c 1240s |      25 |  6928396 |  5256098 |     1674   7934 |        0 |        0
1242.25/1242.74	c 1242s |      25 |  6940699 |  5264498 |     1674   7944 |        0 |        0
1244.25/1244.74	c 1244s |      25 |  6951814 |  5272698 |     1674   7953 |        0 |        0
1246.25/1246.76	c 1246s |      25 |  6962562 |  5280698 |     1674   7962 |        0 |        0
1248.25/1248.78	c 1248s |      25 |  6973364 |  5288698 |     1674   7971 |        0 |        0
1250.35/1250.81	c 1250s |      25 |  6985150 |  5296698 |     1674   7981 |        0 |        0
1252.35/1252.82	c 1252s |      25 |  6995270 |  5303898 |     1674   7989 |        0 |        0
1254.35/1254.84	c 1254s |      25 |  7005061 |  5311398 |     1674   7997 |        0 |        0
1256.35/1256.85	c 1256s |      25 |  7015413 |  5318898 |     1674   8006 |        0 |        0
1258.34/1258.87	c 1258s |      25 |  7025846 |  5326498 |     1674   8014 |        0 |        0
1260.34/1260.88	c 1260s |      25 |  7036271 |  5334498 |     1674   8023 |        0 |        0
1262.35/1262.89	c 1262s |      25 |  7046406 |  5341898 |     1674   8032 |        0 |        0
1264.44/1264.92	c 1264s |      25 |  7056742 |  5349098 |     1674   8040 |        0 |        0
1266.44/1266.92	c 1266s |      25 |  7066545 |  5356198 |     1674   8048 |        0 |        0
1268.44/1268.94	c 1268s |      25 |  7075121 |  5362598 |     1674   8055 |        0 |        0
1270.44/1270.96	c 1270s |      25 |  7086005 |  5369898 |     1674   8063 |        0 |        0
1272.44/1272.98	c 1272s |      25 |  7096375 |  5377598 |     1674   8072 |        0 |        0
1274.55/1275.01	c 1274s |      25 |  7108115 |  5385398 |     1674   8081 |        0 |        0
1276.54/1277.02	c 1277s |      25 |  7120541 |  5394298 |     1674   8091 |        0 |        0
1278.54/1279.02	c 1279s |      25 |  7132068 |  5402898 |     1674   8100 |        0 |        0
1280.54/1281.04	c 1281s |      25 |  7142971 |  5411098 |     1674   8110 |        0 |        0
1282.54/1283.06	c 1283s |      25 |  7154677 |  5419598 |     1674   8120 |        0 |        0
1284.54/1285.07	c 1285s |      25 |  7165726 |  5427698 |     1674   8129 |        0 |        0
1286.55/1287.08	c 1287s |      25 |  7177143 |  5435798 |     1674   8138 |        0 |        0
1288.54/1289.09	c 1289s |      25 |  7188454 |  5444098 |     1674   8148 |        0 |        0
1290.64/1291.11	c 1291s |      25 |  7199117 |  5452098 |     1674   8157 |        0 |        0
1292.64/1293.12	c 1293s |      25 |  7210461 |  5460398 |     1674   8166 |        0 |        0
1294.64/1295.12	c 1295s |      25 |  7221889 |  5468598 |     1674   8175 |        0 |        0
1296.63/1297.12	c 1297s |      25 |  7231617 |  5475998 |     1674   8184 |        0 |        0
1298.65/1299.12	c 1299s |      25 |  7244054 |  5484498 |     1674   8193 |        0 |        0
1300.64/1301.15	c 1301s |      25 |  7255302 |  5492498 |     1674   8202 |        0 |        0
1302.64/1303.16	c 1303s |      25 |  7266309 |  5500298 |     1674   8211 |        0 |        0
1304.64/1305.16	c 1305s |      25 |  7276956 |  5507998 |     1674   8220 |        0 |        0
1306.64/1307.18	c 1307s |      25 |  7289418 |  5516598 |     1674   8230 |        0 |        0
1308.74/1309.20	c 1309s |      25 |  7301125 |  5525098 |     1674   8240 |        0 |        0
1310.75/1311.21	c 1311s |      25 |  7314386 |  5533798 |     1674   8250 |        0 |        0
1312.74/1313.21	c 1313s |      25 |  7325463 |  5541898 |     1674   8259 |        0 |        0
1314.74/1315.22	c 1315s |      25 |  7334931 |  5548798 |     1674   8267 |        0 |        0
1316.74/1317.23	c 1317s |      25 |  7345565 |  5556498 |     1674   8275 |        0 |        0
1318.74/1319.24	c 1319s |      25 |  7356411 |  5564098 |     1674   8284 |        0 |        0
1320.74/1321.25	c 1321s |      25 |  7366770 |  5571698 |     1674   8293 |        0 |        0
1322.74/1323.27	c 1323s |      25 |  7378268 |  5579498 |     1674   8302 |        0 |        0
1324.74/1325.27	c 1325s |      25 |  7387825 |  5586998 |     1674   8310 |        0 |        0
1326.74/1327.29	c 1327s |      25 |  7397176 |  5594098 |     1674   8318 |        0 |        0
1328.84/1329.30	c 1329s |      25 |  7407928 |  5601898 |     1674   8327 |        0 |        0
1330.83/1331.30	c 1331s |      25 |  7418717 |  5610098 |     1674   8336 |        0 |        0
1332.84/1333.33	c 1333s |      25 |  7429245 |  5617998 |     1674   8345 |        0 |        0
1334.83/1335.34	c 1335s |      25 |  7441685 |  5626298 |     1674   8355 |        0 |        0
1336.83/1337.36	c 1337s |      25 |  7451616 |  5634098 |     1674   8363 |        0 |        0
1338.83/1339.37	c 1339s |      25 |  7460318 |  5641098 |     1674   8371 |        0 |        0
1340.83/1341.39	c 1341s |      25 |  7472501 |  5649198 |     1674   8381 |        0 |        0
1342.93/1343.41	c 1343s |      25 |  7483767 |  5656998 |     1674   8390 |        0 |        0
1344.94/1345.43	c 1345s |      25 |  7493888 |  5664998 |     1674   8398 |        0 |        0
1346.93/1347.43	c 1347s |      25 |  7503156 |  5672898 |     1674   8407 |        0 |        0
1348.93/1349.44	c 1349s |      25 |  7511529 |  5680198 |     1674   8416 |        0 |        0
1350.93/1351.46	c 1351s |      25 |  7520167 |  5687398 |     1674   8424 |        0 |        0
1352.93/1353.47	c 1353s |      25 |  7528919 |  5694498 |     1674   8432 |        0 |        0
1354.93/1355.48	c 1355s |      25 |  7537153 |  5701398 |     1674   8440 |        0 |        0
1356.94/1357.48	c 1357s |      25 |  7546097 |  5708898 |     1674   8448 |        0 |        0
1358.93/1359.49	c 1359s |      25 |  7555261 |  5716298 |     1674   8456 |        0 |        0
1361.03/1361.51	c 1361s |      25 |  7563881 |  5723298 |     1674   8464 |        0 |        0
1363.03/1363.54	c 1363s |      25 |  7573254 |  5730498 |     1674   8473 |        0 |        0
1365.03/1365.54	c 1365s |      25 |  7581819 |  5737398 |     1674   8480 |        0 |        0
1367.03/1367.55	c 1367s |      25 |  7591540 |  5744498 |     1674   8488 |        0 |        0
1369.03/1369.55	c 1369s |      25 |  7599555 |  5751198 |     1674   8496 |        0 |        0
1371.02/1371.55	c 1371s |      25 |  7607633 |  5758098 |     1674   8504 |        0 |        0
1373.02/1373.57	c 1373s |      25 |  7616696 |  5765298 |     1674   8512 |        0 |        0
1375.12/1375.60	c 1375s |      25 |  7625131 |  5772298 |     1674   8520 |        0 |        0
1377.12/1377.61	c 1377s |      25 |  7632715 |  5778898 |     1674   8528 |        0 |        0
1379.12/1379.63	c 1379s |      25 |  7641916 |  5786298 |     1674   8536 |        0 |        0
1381.13/1381.66	c 1381s |      25 |  7651264 |  5793598 |     1674   8545 |        0 |        0
1383.12/1383.68	c 1383s |      25 |  7661389 |  5801198 |     1674   8553 |        0 |        0
1385.22/1385.70	c 1385s |      25 |  7671688 |  5808598 |     1674   8562 |        0 |        0
1387.22/1387.72	c 1387s |      25 |  7681314 |  5816098 |     1674   8570 |        0 |        0
1389.22/1389.73	c 1389s |      25 |  7690532 |  5823298 |     1674   8578 |        0 |        0
1391.22/1391.74	c 1391s |      25 |  7701158 |  5830698 |     1674   8587 |        0 |        0
1393.23/1393.75	c 1393s |      25 |  7711189 |  5838298 |     1674   8596 |        0 |        0
1395.22/1395.77	c 1395s |      25 |  7721585 |  5845798 |     1674   8604 |        0 |        0
1397.22/1397.78	c 1397s |      25 |  7732538 |  5853498 |     1674   8613 |        0 |        0
1399.32/1399.81	c 1399s |      25 |  7741190 |  5860598 |     1674   8621 |        0 |        0
1401.32/1401.81	c 1401s |      25 |  7750589 |  5867798 |     1674   8629 |        0 |        0
1403.32/1403.81	c 1403s |      25 |  7760116 |  5874798 |     1674   8637 |        0 |        0
1405.33/1405.83	c 1405s |      25 |  7772278 |  5883698 |     1674   8647 |        0 |        0
1407.32/1407.83	c 1407s |      25 |  7785029 |  5892098 |     1674   8656 |        0 |        0
1409.32/1409.84	c 1409s |      25 |  7795024 |  5899798 |     1674   8665 |        0 |        0
1411.32/1411.85	c 1411s |      25 |  7804894 |  5907198 |     1674   8673 |        0 |        0
1413.32/1413.88	c 1413s |      25 |  7816038 |  5915298 |     1674   8683 |        0 |        0
1415.42/1415.90	c 1415s |      25 |  7828484 |  5924098 |     1674   8693 |        0 |        0
1417.43/1417.93	c 1417s |      25 |  7840139 |  5932498 |     1674   8702 |        0 |        0
1419.42/1419.95	c 1419s |      25 |  7850266 |  5939898 |     1674   8711 |        0 |        0
1421.42/1421.96	c 1421s |      25 |  7859509 |  5946798 |     1674   8718 |        0 |        0
1423.42/1423.97	c 1423s |      25 |  7868547 |  5953998 |     1674   8726 |        0 |        0
1425.42/1425.99	c 1425s |      25 |  7879228 |  5961798 |     1674   8735 |        0 |        0
1427.52/1428.00	c 1427s |      25 |  7890369 |  5969998 |     1674   8745 |        0 |        0
1429.53/1430.01	c 1429s |      25 |  7899639 |  5977298 |     1674   8753 |        0 |        0
1431.52/1432.04	c 1432s |      25 |  7909265 |  5984998 |     1674   8762 |        0 |        0
1433.52/1434.05	c 1434s |      25 |  7919779 |  5992498 |     1674   8770 |        0 |        0
1435.52/1436.06	c 1436s |      25 |  7931071 |  6000298 |     1674   8779 |        0 |        0
1437.52/1438.08	c 1438s |      25 |  7941892 |  6008098 |     1674   8787 |        0 |        0
1439.53/1440.09	c 1440s |      25 |  7951917 |  6015598 |     1674   8796 |        0 |        0
1441.63/1442.11	c 1442s |      25 |  7961945 |  6022998 |     1674   8804 |        0 |        0
1443.62/1444.11	c 1444s |      25 |  7970850 |  6029998 |     1674   8812 |        0 |        0
1445.62/1446.12	c 1446s |      25 |  7980843 |  6037498 |     1674   8820 |        0 |        0
1447.62/1448.15	c 1448s |      25 |  7989186 |  6044198 |     1674   8828 |        0 |        0
1449.62/1450.17	c 1450s |      25 |  7997974 |  6050798 |     1674   8835 |        0 |        0
1451.62/1452.18	c 1452s |      25 |  8006734 |  6057498 |     1674   8843 |        0 |        0
1453.62/1454.18	c 1454s |      25 |  8017079 |  6064798 |     1674   8851 |        0 |        0
1455.62/1456.19	c 1456s |      25 |  8028034 |  6072598 |     1674   8860 |        0 |        0
1457.62/1458.19	c 1458s |      25 |  8039190 |  6080798 |     1674   8869 |        0 |        0
1459.72/1460.20	c 1460s |      25 |  8049345 |  6089098 |     1674   8878 |        0 |        0
1461.71/1462.21	c 1462s |      25 |  8058903 |  6096898 |     1674   8887 |        0 |        0
1463.72/1464.22	c 1464s |      25 |  8068897 |  6104698 |     1674   8896 |        0 |        0
1465.71/1466.23	c 1466s |      25 |  8078201 |  6112198 |     1674   8905 |        0 |        0
1467.71/1468.25	c 1468s |      25 |  8087700 |  6119698 |     1674   8913 |        0 |        0
1469.71/1470.26	c 1470s |      25 |  8097125 |  6126898 |     1674   8921 |        0 |        0
1471.71/1472.28	c 1472s |      25 |  8104911 |  6133598 |     1674   8929 |        0 |        0
1473.71/1474.29	c 1474s |      25 |  8113572 |  6140498 |     1674   8936 |        0 |        0
1475.82/1476.31	c 1476s |      25 |  8123657 |  6148198 |     1674   8945 |        0 |        0
1477.81/1478.32	c 1478s |      25 |  8132799 |  6155598 |     1674   8953 |        0 |        0
1479.81/1480.32	c 1480s |      25 |  8142957 |  6163298 |     1674   8962 |        0 |        0
1481.81/1482.35	c 1482s |      25 |  8152410 |  6170598 |     1674   8970 |        0 |        0
1483.81/1484.35	c 1484s |      25 |  8161025 |  6177698 |     1674   8978 |        0 |        0
1485.81/1486.36	c 1486s |      25 |  8170272 |  6184898 |     1674   8986 |        0 |        0
1487.82/1488.37	c 1488s |      25 |  8179097 |  6191698 |     1674   8994 |        0 |        0
1489.81/1490.39	c 1490s |      25 |  8189874 |  6198998 |     1674   9002 |        0 |        0
1491.91/1492.40	c 1492s |      25 |  8200228 |  6206298 |     1674   9010 |        0 |        0
1493.91/1494.40	c 1494s |      25 |  8210509 |  6213898 |     1674   9019 |        0 |        0
1495.91/1496.41	c 1496s |      25 |  8219765 |  6221198 |     1674   9027 |        0 |        0
1497.91/1498.42	c 1498s |      25 |  8228451 |  6227798 |     1674   9034 |        0 |        0
1499.92/1500.43	c 1500s |      25 |  8238392 |  6234698 |     1674   9042 |        0 |        0
1501.91/1502.45	c 1502s |      25 |  8247292 |  6241898 |     1674   9050 |        0 |        0
1503.91/1504.45	c 1504s |      25 |  8257277 |  6249198 |     1674   9058 |        0 |        0
1505.91/1506.47	c 1506s |      25 |  8267036 |  6256098 |     1674   9066 |        0 |        0
1507.91/1508.47	c 1508s |      25 |  8278432 |  6263598 |     1674   9075 |        0 |        0
1509.91/1510.48	c 1510s |      25 |  8288712 |  6271098 |     1674   9083 |        0 |        0
1512.01/1512.50	c 1512s |      25 |  8300490 |  6278698 |     1674   9092 |        0 |        0
1514.00/1514.51	c 1514s |      25 |  8310129 |  6285798 |     1674   9100 |        0 |        0
1516.00/1516.53	c 1516s |      25 |  8319541 |  6292698 |     1674   9108 |        0 |        0
1518.00/1518.55	c 1518s |      25 |  8330417 |  6299998 |     1674   9116 |        0 |        0
1520.00/1520.56	c 1520s |      25 |  8341188 |  6307198 |     1674   9124 |        0 |        0
1522.01/1522.56	c 1522s |      25 |  8351056 |  6314098 |     1674   9132 |        0 |        0
1524.00/1524.57	c 1524s |      25 |  8363019 |  6321498 |     1674   9141 |        0 |        0
1526.10/1526.60	c 1526s |      25 |  8374613 |  6328798 |     1674   9149 |        0 |        0
1528.10/1528.60	c 1528s |      25 |  8386421 |  6336298 |     1674   9158 |        0 |        0
1530.10/1530.63	c 1530s |      25 |  8399341 |  6344098 |     1674   9167 |        0 |        0
1532.10/1532.63	c 1532s |      25 |  8409612 |  6351398 |     1674   9175 |        0 |        0
1534.11/1534.66	c 1534s |      25 |  8420019 |  6358998 |     1674   9184 |        0 |        0
1536.10/1536.68	c 1536s |      25 |  8428781 |  6365698 |     1674   9191 |        0 |        0
1538.20/1538.71	c 1538s |      25 |  8437247 |  6371998 |     1674   9198 |        0 |        0
1540.20/1540.73	c 1540s |      25 |  8447229 |  6379098 |     1674   9206 |        0 |        0
1542.20/1542.75	c 1542s |      25 |  8456043 |  6385598 |     1674   9214 |        0 |        0
1544.20/1544.76	c 1544s |      25 |  8465497 |  6392398 |     1674   9221 |        0 |        0
1546.21/1546.77	c 1546s |      25 |  8473660 |  6398798 |     1674   9229 |        0 |        0
1548.20/1548.78	c 1548s |      25 |  8483909 |  6405698 |     1674   9236 |        0 |        0
1550.30/1550.80	c 1550s |      25 |  8495333 |  6412598 |     1674   9244 |        0 |        0
1552.30/1552.82	c 1552s |      25 |  8510583 |  6419898 |     1674   9253 |        0 |        0
1554.30/1554.84	c 1554s |      25 |  8524012 |  6427098 |     1674   9261 |        0 |        0
1556.30/1556.86	c 1556s |      25 |  8536322 |  6434798 |     1674   9270 |        0 |        0
1558.30/1558.86	c 1558s |      25 |  8546871 |  6442598 |     1674   9278 |        0 |        0
1560.30/1560.86	c 1560s |      25 |  8557872 |  6450598 |     1674   9288 |        0 |        0
1562.30/1562.89	c 1562s |      25 |  8568184 |  6458198 |     1674   9296 |        0 |        0
1564.30/1564.89	c 1564s |      25 |  8579235 |  6465798 |     1674   9305 |        0 |        0
1566.40/1566.91	c 1566s |      25 |  8588431 |  6472998 |     1674   9313 |        0 |        0
1568.40/1568.92	c 1568s |      25 |  8597873 |  6479898 |     1674   9321 |        0 |        0
1570.40/1570.94	c 1570s |      25 |  8608192 |  6487598 |     1674   9330 |        0 |        0
1572.39/1572.96	c 1572s |      25 |  8617619 |  6494998 |     1674   9338 |        0 |        0
1574.39/1574.97	c 1574s |      25 |  8627537 |  6502198 |     1674   9346 |        0 |        0
1576.39/1577.00	c 1576s |      25 |  8638238 |  6509198 |     1674   9354 |        0 |        0
1578.49/1579.00	c 1578s |      25 |  8647448 |  6515998 |     1674   9362 |        0 |        0
1580.49/1581.02	c 1581s |      25 |  8656156 |  6523298 |     1674   9370 |        0 |        0
1582.50/1583.03	c 1583s |      25 |  8665485 |  6531098 |     1674   9379 |        0 |        0
1584.49/1585.06	c 1585s |      25 |  8673974 |  6538398 |     1674   9387 |        0 |        0
1586.49/1587.07	c 1587s |      25 |  8681712 |  6544998 |     1674   9395 |        0 |        0
1588.49/1589.07	c 1589s |      25 |  8690708 |  6552298 |     1674   9403 |        0 |        0
1590.49/1591.08	c 1591s |      25 |  8699470 |  6559498 |     1674   9411 |        0 |        0
1592.50/1593.08	c 1593s |      25 |  8708251 |  6566998 |     1674   9420 |        0 |        0
1594.51/1595.10	c 1595s |      25 |  8718239 |  6574698 |     1674   9429 |        0 |        0
1596.60/1597.12	c 1597s |      25 |  8726698 |  6581798 |     1674   9437 |        0 |        0
1598.60/1599.14	c 1599s |      25 |  8736342 |  6589398 |     1674   9445 |        0 |        0
1600.60/1601.16	c 1601s |      25 |  8745690 |  6596698 |     1674   9453 |        0 |        0
1602.60/1603.17	c 1603s |      25 |  8754869 |  6603998 |     1674   9462 |        0 |        0
1604.60/1605.19	c 1605s |      25 |  8764074 |  6611298 |     1674   9470 |        0 |        0
1606.60/1607.20	c 1607s |      25 |  8773120 |  6618498 |     1674   9478 |        0 |        0
1608.70/1609.23	c 1609s |      25 |  8781443 |  6625598 |     1674   9486 |        0 |        0
1610.70/1611.24	c 1611s |      25 |  8789596 |  6632398 |     1674   9494 |        0 |        0
1612.69/1613.26	c 1613s |      25 |  8799236 |  6639798 |     1674   9503 |        0 |        0
1614.69/1615.28	c 1615s |      25 |  8809125 |  6647298 |     1674   9511 |        0 |        0
1616.79/1617.30	c 1617s |      25 |  8818699 |  6654698 |     1674   9519 |        0 |        0
1618.80/1619.32	c 1619s |      25 |  8827790 |  6662098 |     1674   9528 |        0 |        0
1620.79/1621.33	c 1621s |      25 |  8837511 |  6669798 |     1674   9537 |        0 |        0
1622.79/1623.35	c 1623s |      25 |  8846088 |  6676598 |     1674   9544 |        0 |        0
1624.79/1625.36	c 1625s |      25 |  8854768 |  6683398 |     1674   9552 |        0 |        0
1626.79/1627.37	c 1627s |      25 |  8862952 |  6689998 |     1674   9560 |        0 |        0
1628.79/1629.39	c 1629s |      25 |  8871563 |  6696898 |     1674   9568 |        0 |        0
1630.80/1631.40	c 1631s |      25 |  8880313 |  6703998 |     1674   9576 |        0 |        0
1632.79/1633.40	c 1633s |      25 |  8889556 |  6711198 |     1674   9584 |        0 |        0
1634.89/1635.40	c 1635s |      25 |  8899485 |  6718798 |     1674   9593 |        0 |        0
1636.89/1637.42	c 1637s |      25 |  8908508 |  6725698 |     1674   9600 |        0 |        0
1638.89/1639.44	c 1639s |      25 |  8916125 |  6731898 |     1674   9607 |        0 |        0
1640.89/1641.44	c 1641s |      25 |  8924418 |  6738298 |     1674   9615 |        0 |        0
1642.90/1643.46	c 1643s |      25 |  8931456 |  6744398 |     1674   9621 |        0 |        0
1644.89/1645.46	c 1645s |      25 |  8939190 |  6750698 |     1674   9629 |        0 |        0
1646.89/1647.49	c 1647s |      25 |  8947594 |  6756998 |     1674   9636 |        0 |        0
1648.99/1649.52	c 1649s |      25 |  8954814 |  6763098 |     1674   9643 |        0 |        0
1650.99/1651.54	c 1651s |      25 |  8964561 |  6770298 |     1674   9651 |        0 |        0
1652.99/1653.57	c 1653s |      25 |  8974704 |  6778498 |     1674   9660 |        0 |        0
1654.99/1655.57	c 1655s |      25 |  8985221 |  6787098 |     1674   9670 |        0 |        0
1656.99/1657.58	c 1657s |      25 |  8995097 |  6794998 |     1674   9679 |        0 |        0
1659.09/1659.60	c 1659s |      25 |  9004017 |  6802398 |     1674   9687 |        0 |        0
1661.09/1661.61	c 1661s |      25 |  9012696 |  6809698 |     1674   9696 |        0 |        0
1663.09/1663.61	c 1663s |      25 |  9022273 |  6817298 |     1674   9704 |        0 |        0
1665.08/1665.62	c 1665s |      25 |  9031346 |  6824798 |     1674   9713 |        0 |        0
1667.09/1667.64	c 1667s |      25 |  9040156 |  6832398 |     1674   9722 |        0 |        0
1669.08/1669.65	c 1669s |      25 |  9049723 |  6840198 |     1674   9730 |        0 |        0
1671.08/1671.66	c 1671s |      25 |  9058824 |  6847598 |     1674   9739 |        0 |        0
1673.08/1673.67	c 1673s |      25 |  9066861 |  6854398 |     1674   9747 |        0 |        0
1675.08/1675.69	c 1675s |      25 |  9074367 |  6860998 |     1674   9754 |        0 |        0
1677.18/1677.70	c 1677s |      25 |  9083732 |  6868098 |     1674   9762 |        0 |        0
1679.19/1679.71	c 1679s |      25 |  9094492 |  6875798 |     1674   9771 |        0 |        0
1681.18/1681.73	c 1681s |      25 |  9103780 |  6882898 |     1674   9779 |        0 |        0
1683.18/1683.74	c 1683s |      25 |  9113135 |  6890298 |     1674   9787 |        0 |        0
1685.18/1685.75	c 1685s |      25 |  9122227 |  6897798 |     1674   9796 |        0 |        0
1687.18/1687.77	c 1687s |      25 |  9131252 |  6905498 |     1674   9804 |        0 |        0
1689.19/1689.78	c 1689s |      25 |  9140972 |  6913498 |     1674   9813 |        0 |        0
1691.18/1691.80	c 1691s |      25 |  9150396 |  6921198 |     1674   9822 |        0 |        0
1693.28/1693.81	c 1693s |      25 |  9158798 |  6928298 |     1674   9830 |        0 |        0
1695.28/1695.82	c 1695s |      25 |  9167788 |  6935698 |     1674   9839 |        0 |        0
1697.28/1697.83	c 1697s |      25 |  9177816 |  6943498 |     1674   9848 |        0 |        0
1699.28/1699.85	c 1699s |      25 |  9186579 |  6950698 |     1674   9856 |        0 |        0
1701.28/1701.88	c 1701s |      25 |  9195079 |  6957398 |     1674   9863 |        0 |        0
1703.28/1703.88	c 1703s |      25 |  9205063 |  6964998 |     1674   9872 |        0 |        0
1705.28/1705.88	c 1705s |      25 |  9214040 |  6972198 |     1674   9880 |        0 |        0
1707.28/1707.89	c 1707s |      25 |  9223507 |  6979398 |     1674   9888 |        0 |        0
1709.38/1709.91	c 1709s |      25 |  9231504 |  6985698 |     1674   9895 |        0 |        0
1711.37/1711.94	c 1711s |      25 |  9240075 |  6992698 |     1674   9903 |        0 |        0
1713.38/1713.94	c 1713s |      25 |  9249306 |  6999598 |     1674   9911 |        0 |        0
1715.37/1715.95	c 1715s |      25 |  9258176 |  7006498 |     1674   9919 |        0 |        0
1717.37/1717.95	c 1717s |      25 |  9267733 |  7013298 |     1674   9927 |        0 |        0
1719.37/1719.95	c 1719s |      25 |  9276381 |  7020098 |     1674   9935 |        0 |        0
1721.37/1721.97	c 1721s |      25 |  9283902 |  7026198 |     1674   9942 |        0 |        0
1723.37/1723.99	c 1723s |      25 |  9290739 |  7031998 |     1674   9948 |        0 |        0
1725.48/1726.00	c 1725s |      25 |  9297476 |  7037698 |     1674   9955 |        0 |        0
1727.47/1728.02	c 1728s |      25 |  9305380 |  7044098 |     1674   9962 |        0 |        0
1729.47/1730.03	c 1730s |      25 |  9312893 |  7050398 |     1674   9969 |        0 |        0
1731.47/1732.04	c 1732s |      25 |  9321287 |  7057098 |     1674   9976 |        0 |        0
1733.47/1734.07	c 1734s |      25 |  9329810 |  7064198 |     1674   9984 |        0 |        0
1735.47/1736.07	c 1736s |      25 |  9337819 |  7070998 |     1674   9992 |        0 |        0
1737.48/1738.09	c 1738s |      25 |  9345511 |  7077598 |     1674   9999 |        0 |        0
1739.57/1740.12	c 1740s |      25 |  9356064 |  7085298 |     1674  10008 |        0 |        0
1741.57/1742.13	c 1742s |      25 |  9365003 |  7092598 |     1674  10016 |        0 |        0
1743.57/1744.14	c 1744s |      25 |  9374512 |  7099798 |     1674  10024 |        0 |        0
1745.57/1746.16	c 1746s |      25 |  9384548 |  7107398 |     1674  10033 |        0 |        0
1747.57/1748.17	c 1748s |      25 |  9393767 |  7114998 |     1674  10041 |        0 |        0
1749.57/1750.17	c 1750s |      25 |  9402410 |  7122298 |     1674  10050 |        0 |        0
1751.57/1752.18	c 1752s |      25 |  9411367 |  7129698 |     1674  10058 |        0 |        0
1753.67/1754.21	c 1754s |      25 |  9420613 |  7137098 |     1674  10067 |        0 |        0
1755.67/1756.24	c 1756s |      25 |  9431310 |  7144998 |     1674  10075 |        0 |        0
1757.67/1758.24	c 1758s |      25 |  9440842 |  7152298 |     1674  10084 |        0 |        0
1759.67/1760.26	c 1760s |      25 |  9451008 |  7159698 |     1674  10092 |        0 |        0
1761.68/1762.27	c 1762s |      25 |  9460541 |  7166998 |     1674  10100 |        0 |        0
1763.67/1764.28	c 1764s |      25 |  9469826 |  7174098 |     1674  10108 |        0 |        0
1765.77/1766.30	c 1766s |      25 |  9480322 |  7181498 |     1674  10117 |        0 |        0
1767.77/1768.31	c 1768s |      25 |  9489056 |  7188498 |     1674  10125 |        0 |        0
1769.77/1770.32	c 1770s |      25 |  9497976 |  7195798 |     1674  10133 |        0 |        0
1771.77/1772.34	c 1772s |      25 |  9506640 |  7202998 |     1674  10141 |        0 |        0
1773.78/1774.36	c 1774s |      25 |  9516006 |  7210398 |     1674  10149 |        0 |        0
1775.77/1776.37	c 1776s |      25 |  9524665 |  7217198 |     1674  10157 |        0 |        0
1777.77/1778.39	c 1778s |      25 |  9533974 |  7224298 |     1674  10165 |        0 |        0
1779.87/1780.42	c 1780s |      25 |  9544552 |  7231798 |     1674  10173 |        0 |        0
1781.87/1782.42	c 1782s |      25 |  9553451 |  7238798 |     1674  10181 |        0 |        0
1783.87/1784.44	c 1784s |      25 |  9562612 |  7245498 |     1674  10189 |        0 |        0
1785.87/1786.45	c 1786s |      25 |  9572528 |  7252998 |     1674  10198 |        0 |        0
1787.87/1788.47	c 1788s |      25 |  9583190 |  7260798 |     1674  10206 |        0 |        0
1789.86/1790.48	c 1790s |      25 |  9593520 |  7268398 |     1674  10215 |        0 |        0
1791.96/1792.50	c 1792s |      25 |  9604305 |  7276198 |     1674  10224 |        0 |        0
1793.96/1794.52	c 1794s |      25 |  9614749 |  7283898 |     1674  10233 |        0 |        0
1795.96/1796.54	c 1796s |      25 |  9626364 |  7291998 |     1674  10242 |        0 |        0
1797.97/1798.55	c 1798s |      25 |  9636713 |  7299698 |     1674  10251 |        0 |        0
1799.96/1800.55	c 1800s |      25 |  9645852 |  7306998 |     1674  10259 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.11 2.02 3/179 24735
/proc/meminfo: memFree=30744068/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 2635 0 0 0 0 0 0 0 20 0 4 0 12363536 723972096 2996 33554432000 4194304 16246674 140734320982944 140734320982368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 177519 3004 441 2943 0 174413 0
[pid=24735/tid=24736] ppid=24732 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 740749312 3061 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 745992192 3078 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 751235072 3098 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100216 s]
/proc/loadavg: 2.22 2.11 2.02 3/179 24735
/proc/meminfo: memFree=30744068/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 24768 0 0 0 5 4 0 0 20 0 4 0 12363536 1247350784 25117 33554432000 4194304 16246674 140734320982944 140734320982368 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 304529 25125 707 2943 0 301423 0
[pid=24735/tid=24736] ppid=24732 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1247350784 25130 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1247350784 25135 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1247350784 25141 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200503 s]
/proc/loadavg: 2.22 2.11 2.02 3/179 24735
/proc/meminfo: memFree=30744068/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 47701 0 0 0 11 8 0 0 20 0 4 0 12363536 1247350784 48051 33554432000 4194304 16246674 140734320982944 140734320982368 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 304529 48068 707 2943 0 301423 0
[pid=24735/tid=24736] ppid=24732 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1247350784 48077 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1247350784 48082 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1247350784 48087 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300468 s]
/proc/loadavg: 2.22 2.11 2.02 3/179 24735
/proc/meminfo: memFree=30744068/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 72010 0 0 0 18 11 0 0 20 0 4 0 12363536 1247350784 72360 33554432000 4194304 16246674 140734320982944 140734320982368 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 304529 72375 707 2943 0 301423 0
[pid=24735/tid=24736] ppid=24732 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1247350784 72382 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1247350784 72388 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1247350784 72393 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700396 s]
/proc/loadavg: 2.22 2.11 2.02 3/179 24735
/proc/meminfo: memFree=30744068/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 173102 0 0 0 45 24 0 0 20 0 4 0 12363536 1247350784 173451 33554432000 4194304 16246674 140734320982944 140734320964864 5587389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 304529 173461 708 2943 0 301423 0
[pid=24735/tid=24736] ppid=24732 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1247350784 173467 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1247350784 173474 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1247350784 173484 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.22 2.11 2.02 3/183 24739
/proc/meminfo: memFree=29761528/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 245571 0 0 0 116 33 0 0 20 0 4 0 12363536 1248399360 245900 33554432000 4194304 16246674 140734320982944 140734320964864 5545704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 304785 245900 784 2943 0 301679 0
[pid=24735/tid=24736] ppid=24732 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1248399360 245900 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1248399360 245900 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1248399360 245900 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.22 2.11 2.02 3/183 24739
/proc/meminfo: memFree=29674116/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 267426 0 0 0 272 37 0 0 20 0 4 0 12363536 1337528320 267755 33554432000 4194304 16246674 140734320982944 140734320964864 5674764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 326545 267755 786 2943 0 323439 0
[pid=24735/tid=24736] ppid=24732 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1337528320 267755 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1337528320 267755 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1337528320 267755 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.20 2.11 2.02 3/183 24739
/proc/meminfo: memFree=29673504/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 267445 0 0 0 592 37 0 0 20 0 4 0 12363536 1337528320 267774 33554432000 4194304 16246674 140734320982944 140734320964864 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 326545 267774 786 2943 0 323439 0
[pid=24735/tid=24736] ppid=24732 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1337528320 267774 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1337528320 267774 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1337528320 267774 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.19 2.10 2.02 3/183 24739
/proc/meminfo: memFree=29673140/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 267553 0 0 0 1232 37 0 0 20 0 4 0 12363536 1337528320 267882 33554432000 4194304 16246674 140734320982944 140734320964864 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 326545 267882 786 2943 0 323439 0
[pid=24735/tid=24736] ppid=24732 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1337528320 267882 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1337528320 267882 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1337528320 267882 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.22 2.12 2.02 3/183 24739
/proc/meminfo: memFree=29673444/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 267587 0 0 0 2512 37 0 0 20 0 4 0 12363536 1338576896 267916 33554432000 4194304 16246674 140734320982944 140734320964864 5763334 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 326801 267916 786 2943 0 323695 0
[pid=24735/tid=24736] ppid=24732 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1338576896 267916 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1338576896 267916 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1338576896 267916 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.14 2.11 2.02 3/183 24739
/proc/meminfo: memFree=29673540/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 267587 0 0 0 5071 37 0 0 20 0 4 0 12363536 1338576896 267916 33554432000 4194304 16246674 140734320982944 140734320964864 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 326801 267916 786 2943 0 323695 0
[pid=24735/tid=24736] ppid=24732 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1338576896 267916 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1338576896 267916 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1338576896 267916 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.06 2.09 2.02 3/183 24741
/proc/meminfo: memFree=29673712/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 267657 0 0 0 10190 38 0 0 20 0 4 0 12363536 1338576896 267986 33554432000 4194304 16246674 140734320982944 140734320964864 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 326801 267986 786 2943 0 323695 0
[pid=24735/tid=24736] ppid=24732 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1338576896 267986 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1338576896 267986 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1338576896 267986 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.08 2.09 2.03 3/183 24842
/proc/meminfo: memFree=29667224/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1308228 CPUtime=1301.84 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 268344 0 0 0 130133 51 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140734320964864 5822144 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 327057 268490 788 2943 0 323951 0
[pid=24735/tid=24736] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.03 2.07 2.03 3/183 24843
/proc/meminfo: memFree=29666760/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1308228 CPUtime=1361.83 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 268344 0 0 0 136132 51 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140734320964864 5667809 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 327057 268490 788 2943 0 323951 0
[pid=24735/tid=24736] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/183 24844
/proc/meminfo: memFree=29666908/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1308228 CPUtime=1421.83 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 268344 0 0 0 142131 52 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140734320964864 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 327057 268490 788 2943 0 323951 0
[pid=24735/tid=24736] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/183 24845
/proc/meminfo: memFree=29666568/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1308228 CPUtime=1481.81 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 268344 0 0 0 148129 52 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140734320964864 5823877 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 327057 268490 788 2943 0 323951 0
[pid=24735/tid=24736] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.04 2.05 2.01 3/183 24846
/proc/meminfo: memFree=29666216/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1308228 CPUtime=1541.81 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 268344 0 0 0 154129 52 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140734320965944 5723492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 327057 268490 788 2943 0 323951 0
[pid=24735/tid=24736] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/182 24847
/proc/meminfo: memFree=29666128/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1308228 CPUtime=1601.8 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 268344 0 0 0 160127 53 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140734320964864 5722235 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 327057 268490 788 2943 0 323951 0
[pid=24735/tid=24736] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/183 24849
/proc/meminfo: memFree=29666280/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1308228 CPUtime=1661.79 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 268344 0 0 0 166126 53 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140734320964864 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 327057 268490 788 2943 0 323951 0
[pid=24735/tid=24736] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/184 24853
/proc/meminfo: memFree=29666196/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1308228 CPUtime=1721.77 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 268344 0 0 0 172124 53 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140734320964864 5522909 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 327057 268490 788 2943 0 323951 0
[pid=24735/tid=24736] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.27 2.12 2.03 3/183 24854
/proc/meminfo: memFree=29665340/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1308228 CPUtime=1781.77 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 268344 0 0 0 178123 54 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140734320964864 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 327057 268490 788 2943 0 323951 0
[pid=24735/tid=24736] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.21 2.11 2.03 3/183 24854
/proc/meminfo: memFree=29665464/32872528 swapFree=162364/176672
[pid=24735] ppid=24732 vsize=1308228 CPUtime=1800.06 cores=0,2,4,6
/proc/24735/stat : 24735 (toysat) R 24732 24735 23926 0 -1 4202496 268344 0 0 0 179952 54 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140734320964864 13943668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24735/statm: 327057 268490 788 2943 0 323951 0
[pid=24735/tid=24736] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24736/stat : 24736 (toysat) S 24732 24735 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447098842352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24735/tid=24737] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24737/stat : 24737 (toysat) S 24732 24735 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140447088352496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24735/tid=24738] ppid=24732 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24735/task/24738/stat : 24738 (toysat) S 24732 24735 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12363536 1339625472 268490 33554432000 4194304 16246674 140734320982944 140446974078128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1308228

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.53
CPU system time (s): 0.545917
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.545917
maximum resident set size= 1073960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268344
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= 451
involuntary context switches= 1983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72828 second user time and 6.78997 second system time

The end

Begin job on node105 at 2016-06-16 20:52:16
IDJOB=4096134
IDBENCH=107571
IDSOLVER=2542
FILE ID=node105/4096134-1466103136
RUNJOBID= node105-1466095897-23942
PBS_JOBID= 19904031
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-random4regular-75.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096134-1466103136/watcher-4096134-1466103136 -o /tmp/evaluation-result-4096134-1466103136/solver-4096134-1466103136 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23942 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096134-1466103136.opb

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

MD5SUM BENCH= 0614333ad5472697d09229ee165a2065
RANDOM SEED=1772810104

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30745224 kB
Buffers:           50308 kB
Cached:           123104 kB
SwapCached:         1480 kB
Active:          1165336 kB
Inactive:          84700 kB
Active(anon):    1077216 kB
Inactive(anon):     1660 kB
Active(file):      88120 kB
Inactive(file):    83040 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097232 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1325500 kB
Mapped:            10292 kB
Shmem:                 0 kB
Slab:             568960 kB
SReclaimable:      12868 kB
SUnreclaim:       556092 kB
KernelStack:        1520 kB
PageTables:         6512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1393872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1155072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node105 at 2016-06-16 21:22:17