0.00/0.00	c 2016-06-06T20:45:32+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-4078590-1465238732.opb"]
0.00/0.01	c use --random-gen="2663949515 393624795 4249768272 117580030 3269647436 1160543208 3116425340 2392466451 718698860 1930411120 104243153 2500820121 1436687722 2633395441 783848601 1506524103 522046379 3358308166 2676799858 2006343341 963091460 1130401948 902412865 1107883713 2654610234 2558505002 3215986286 2838530175 2839693599 2942298093 2114054283 3056822164 792378981 1405236083 2790566652 3687910322 771726031 951668672 2222688771 3569772761 3155316113 2265972797 106604425 750036167 854132290 3792514293 4086575620 104992006 3048448509 555680715 243173952 515422780 3727789402 2836568842 967739044 818954206 1743362363 813850047 2225611414 2206674893 1660780379 1716524426 3460765693 1575376552 2634262416 1349229487 3510534035 301054926 23157473 1844558192 2305535700 1251214528 1803759791 3956803007 4210087687 941705628 3638859676 3909726328 3159194833 2031180479 1447423065 2820620327 3829912668 2602825023 4178594404 3526957632 3286437034 4248107530 1029852909 3137515246 1229073288 2772702653 2977971932 50095243 4143055273 2206233180 1408331341 2343818152 3795171597 1884204197 1781225639 1467277621 2628251086 3764747896 1481399082 3545305450 1700250263 2872183631 3632753019 4048060986 200347237 3695572764 2301998469 1492119252 2119508148 203295347 3450141201 2131989715 524678139 2907170403 3271064055 1018559823 1280419846 3191094168 3752072221 1488874693 1786600678 3107420373 4085591314 4279759873 1978401022 769372476 3482126664 2567015290 2257650206 1570285051 1108372382 3767115310 2463750545 3603351276 3116633134 3505428631 2059717009 167940481 3175787381 797269380 3897733348 2388241822 1735823451 396204890 4261906643 1843269822 1160626782 1152017812 3351577556 3910714264 1809072911 28000665 4169030114 3913601485 3475838302 2346235391 2664762255 3931618347 205821890 3851022684 533096896 1768901060 3475557170 2434143021 2894165881 426983510 2565376194 1708973593 664890778 4225252143 1252235113 2447847636 3756040602 3478367522 3363812163 3782633874 768221852 2941914220 2726594792 1503403110 2863512368 118913970 1059363119 1227644789 2889733473 3030540320 1876869979 3459665759 3111421805 1895850668 4250148387 3314662039 749274054 4073122552 2772064221 3948676185 3219640400 1674263174 1987806662 215356249 1030032032 529419763 341786961 894475286 4241931557 1875893320 3006398030 725980719 3787870508 1181369198 3219715484 1372947692 917178147 1126210583 1047558765 1832122948 1181450414 2515649871 528145070 2348899629 3595953480 774691422 3802828348 1823170268 1051701440 3898567531 370161157 591309934 1160484209 1850106446 594960422 3321336556 2590346579 2077404398 3735497502 2516805524 107266918 1936895342 4166585651 2833438835 962274756 4263435518 542299977 1221152870 4249056566 3142339919 482631255 3669816727 947379347 808642300 255 362436" option to reproduce the execution
0.00/0.01	c #vars 52
0.00/0.01	c #constraints 2
2.09/2.12	c Solving starts ...
2.09/2.12	c ============================[ Search Statistics ]============================
2.09/2.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.09/2.12	c       |         |          |          |    Limit     GC | Var      | Constra 
2.09/2.12	c =============================================================================
2.09/2.12	c  0.0s |       0 |        0 |        0 |       18      0 |        0 |        0
2.09/2.13	c  0.0s |       1 |      137 |      100 |       18      2 |        0 |        0
2.09/2.14	c  0.0s |       2 |      323 |      250 |       20      8 |        0 |        0
2.09/2.16	c  0.0s |       3 |      582 |      475 |       22     15 |        0 |        0
2.09/2.19	c  0.1s |       4 |      961 |      813 |       25     26 |        0 |        0
2.19/2.23	c  0.1s |       5 |     1503 |     1320 |       28     43 |        0 |        0
2.19/2.30	c  0.2s |       6 |     2292 |     2081 |       35     66 |        0 |        0
2.39/2.40	c  0.3s |       7 |     3462 |     3223 |       39     98 |        0 |        0
2.48/2.56	c  0.4s |       8 |     5208 |     4936 |       43    144 |        0 |        0
2.68/2.79	c  0.7s |       9 |     7806 |     7506 |       48    208 |        0 |        0
3.08/3.12	c  1.0s |      10 |    11692 |    11361 |       53    301 |        0 |        0
3.58/3.60	c  1.5s |      11 |    17504 |    17144 |       59    433 |        0 |        0
4.28/4.37	c  2.2s |      12 |    26189 |    25819 |       65    624 |        0 |        0
5.49/5.51	c  3.4s |      13 |    39221 |    38832 |       72    895 |        0 |        0
7.18/7.20	c  5.1s |      14 |    58760 |    58352 |       80   1277 |        0 |        0
9.18/9.21	c  7.1s |      14 |    81175 |    80752 |       80   1688 |        0 |        0
9.78/9.81	c  7.7s |      15 |    88058 |    87632 |       88   1817 |        0 |        0
11.78/11.82	c  9.7s |      15 |   110783 |   110332 |       88   2209 |        0 |        0
13.58/13.67	c 11.5s |      16 |   132016 |   131552 |       97   2588 |        0 |        0
15.59/15.67	c 13.6s |      16 |   154235 |   153752 |       97   2941 |        0 |        0
17.60/17.68	c 15.6s |      16 |   177140 |   176652 |       97   3320 |        0 |        0
19.39/19.49	c 17.4s |      17 |   197923 |   197432 |      107   3655 |        0 |        0
21.49/21.50	c 19.4s |      17 |   220237 |   219732 |      107   3986 |        0 |        0
23.49/23.50	c 21.4s |      17 |   243047 |   242532 |      107   4329 |        0 |        0
25.49/25.51	c 23.4s |      17 |   265645 |   265132 |      107   4665 |        0 |        0
27.49/27.52	c 25.4s |      17 |   288550 |   288032 |      107   5014 |        0 |        0
28.18/28.22	c 26.1s |      18 |   296770 |   296252 |      118   5142 |        0 |        0
30.18/30.22	c 28.1s |      18 |   319580 |   319052 |      118   5457 |        0 |        0
32.18/32.22	c 30.1s |      18 |   342586 |   342052 |      118   5779 |        0 |        0
34.19/34.23	c 32.1s |      18 |   365988 |   365452 |      118   6112 |        0 |        0
36.18/36.23	c 34.1s |      18 |   388791 |   388252 |      118   6432 |        0 |        0
38.18/38.23	c 36.1s |      18 |   411303 |   410752 |      118   6749 |        0 |        0
40.18/40.24	c 38.1s |      18 |   434111 |   433552 |      118   7075 |        0 |        0
41.08/41.17	c 39.1s |      19 |   445042 |   444482 |      130   7230 |        0 |        0
43.08/43.17	c 41.1s |      19 |   468351 |   467782 |      130   7534 |        0 |        0
45.09/45.18	c 43.1s |      19 |   491058 |   490482 |      130   7830 |        0 |        0
47.08/47.19	c 45.1s |      19 |   513070 |   512482 |      130   8114 |        0 |        0
49.08/49.19	c 47.1s |      19 |   535278 |   534682 |      130   8402 |        0 |        0
51.18/51.20	c 49.1s |      19 |   557785 |   557182 |      130   8697 |        0 |        0
53.18/53.20	c 51.1s |      19 |   580489 |   579882 |      130   8993 |        0 |        0
55.18/55.20	c 53.1s |      19 |   603595 |   602982 |      130   9293 |        0 |        0
57.19/57.20	c 55.1s |      19 |   626602 |   625982 |      130   9593 |        0 |        0
59.18/59.21	c 57.1s |      19 |   649717 |   649082 |      130   9899 |        0 |        0
60.68/60.75	c 58.6s |      20 |   667472 |   666827 |      143  10130 |        0 |        0
62.68/62.75	c 60.6s |      20 |   690688 |   690027 |      143  10416 |        0 |        0
64.68/64.76	c 62.6s |      20 |   712996 |   712327 |      143  10691 |        0 |        0
66.68/66.76	c 64.6s |      20 |   734311 |   733627 |      143  10946 |        0 |        0
68.68/68.76	c 66.6s |      20 |   755614 |   754927 |      143  11203 |        0 |        0
70.68/70.77	c 68.6s |      20 |   777124 |   776427 |      143  11465 |        0 |        0
72.69/72.77	c 70.6s |      20 |   798744 |   798027 |      143  11727 |        0 |        0
74.68/74.78	c 72.7s |      20 |   820352 |   819627 |      143  11986 |        0 |        0
76.68/76.78	c 74.7s |      20 |   842465 |   841727 |      143  12259 |        0 |        0
78.67/78.78	c 76.7s |      20 |   864379 |   863627 |      143  12530 |        0 |        0
80.67/80.79	c 78.7s |      20 |   886293 |   885527 |      143  12795 |        0 |        0
82.67/82.79	c 80.7s |      20 |   908302 |   907527 |      143  13062 |        0 |        0
84.68/84.79	c 82.7s |      20 |   930809 |   930027 |      143  13334 |        0 |        0
86.67/86.79	c 84.7s |      20 |   952912 |   952127 |      143  13598 |        0 |        0
88.77/88.80	c 86.7s |      20 |   975421 |   974627 |      143  13870 |        0 |        0
90.77/90.80	c 88.7s |      20 |   997730 |   996927 |      158  14141 |        0 |        0
91.07/91.11	c 89.0s |      21 |  1001146 |  1000345 |      158  14180 |        0 |        0
93.08/93.11	c 91.0s |      21 |  1022467 |  1021645 |      158  14408 |        0 |        0
95.08/95.12	c 93.0s |      21 |  1043877 |  1043045 |      158  14639 |        0 |        0
97.08/97.12	c 95.0s |      21 |  1065585 |  1064745 |      158  14879 |        0 |        0
99.08/99.13	c 97.0s |      21 |  1087301 |  1086445 |      158  15118 |        0 |        0
101.07/101.13	c 99.0s |      21 |  1109407 |  1108545 |      158  15359 |        0 |        0
103.07/103.13	c  101s |      21 |  1131019 |  1130145 |      158  15593 |        0 |        0
105.07/105.14	c  103s |      21 |  1152926 |  1152045 |      158  15834 |        0 |        0
107.07/107.15	c  105s |      21 |  1175142 |  1174245 |      158  16082 |        0 |        0
109.07/109.15	c  107s |      21 |  1197053 |  1196145 |      158  16324 |        0 |        0
111.08/111.16	c  109s |      21 |  1219166 |  1218245 |      158  16569 |        0 |        0
113.07/113.16	c  111s |      21 |  1241473 |  1240545 |      158  16818 |        0 |        0
115.07/115.17	c  113s |      21 |  1263685 |  1262745 |      158  17070 |        0 |        0
117.07/117.18	c  115s |      21 |  1286189 |  1285245 |      158  17319 |        0 |        0
119.07/119.18	c  117s |      21 |  1309206 |  1308245 |      158  17572 |        0 |        0
121.07/121.19	c  119s |      21 |  1330414 |  1329445 |      158  17802 |        0 |        0
123.07/123.20	c  121s |      21 |  1352017 |  1351045 |      158  18041 |        0 |        0
125.17/125.20	c  123s |      21 |  1373726 |  1372745 |      158  18285 |        0 |        0
127.16/127.20	c  125s |      21 |  1395937 |  1394945 |      158  18537 |        0 |        0
129.17/129.21	c  127s |      21 |  1418147 |  1417145 |      158  18781 |        0 |        0
131.17/131.21	c  129s |      21 |  1440156 |  1439145 |      158  19028 |        0 |        0
133.18/133.21	c  131s |      21 |  1462466 |  1461445 |      158  19281 |        0 |        0
135.17/135.22	c  133s |      21 |  1484867 |  1483845 |      158  19537 |        0 |        0
136.67/136.71	c  134s |      22 |  1501659 |  1500622 |      174  19719 |        0 |        0
138.67/138.71	c  136s |      22 |  1524779 |  1523722 |      174  19963 |        0 |        0
140.67/140.71	c  138s |      22 |  1547586 |  1546522 |      174  20191 |        0 |        0
142.67/142.72	c  140s |      22 |  1570695 |  1569622 |      174  20427 |        0 |        0
144.66/144.72	c  142s |      22 |  1591497 |  1590422 |      174  20636 |        0 |        0
146.66/146.72	c  144s |      22 |  1612498 |  1611422 |      174  20849 |        0 |        0
148.66/148.73	c  146s |      22 |  1634012 |  1632922 |      174  21071 |        0 |        0
150.67/150.73	c  148s |      22 |  1654716 |  1653622 |      174  21281 |        0 |        0
152.66/152.74	c  150s |      22 |  1675722 |  1674622 |      174  21498 |        0 |        0
154.67/154.74	c  152s |      22 |  1696629 |  1695522 |      174  21708 |        0 |        0
156.67/156.74	c  154s |      22 |  1717833 |  1716722 |      174  21925 |        0 |        0
158.67/158.74	c  156s |      22 |  1739533 |  1738422 |      174  22151 |        0 |        0
160.67/160.75	c  158s |      22 |  1760848 |  1759722 |      174  22370 |        0 |        0
162.67/162.75	c  160s |      22 |  1782470 |  1781322 |      174  22594 |        0 |        0
164.67/164.76	c  162s |      22 |  1804278 |  1803122 |      174  22821 |        0 |        0
166.66/166.76	c  164s |      22 |  1826487 |  1825322 |      174  23054 |        0 |        0
168.66/168.77	c  166s |      22 |  1848597 |  1847422 |      174  23288 |        0 |        0
170.66/170.77	c  168s |      22 |  1871409 |  1870222 |      174  23524 |        0 |        0
172.67/172.78	c  170s |      22 |  1893113 |  1891922 |      174  23745 |        0 |        0
174.66/174.78	c  172s |      22 |  1915326 |  1914122 |      174  23974 |        0 |        0
176.66/176.78	c  174s |      22 |  1937932 |  1936722 |      174  24207 |        0 |        0
178.66/178.79	c  176s |      22 |  1960432 |  1959222 |      174  24444 |        0 |        0
180.66/180.79	c  178s |      22 |  1982240 |  1981022 |      174  24669 |        0 |        0
182.76/182.80	c  180s |      22 |  2004357 |  2003122 |      174  24899 |        0 |        0
184.76/184.80	c  182s |      22 |  2026372 |  2025122 |      174  25129 |        0 |        0
186.76/186.81	c  184s |      22 |  2048377 |  2047122 |      174  25359 |        0 |        0
188.76/188.81	c  186s |      22 |  2070086 |  2068822 |      174  25587 |        0 |        0
190.76/190.81	c  188s |      22 |  2091697 |  2090422 |      174  25812 |        0 |        0
192.76/192.81	c  190s |      22 |  2113811 |  2112522 |      174  26045 |        0 |        0
194.77/194.82	c  192s |      22 |  2136522 |  2135222 |      174  26287 |        0 |        0
196.76/196.83	c  194s |      22 |  2159230 |  2157922 |      174  26528 |        0 |        0
198.76/198.83	c  196s |      22 |  2181244 |  2179922 |      174  26758 |        0 |        0
200.76/200.84	c  198s |      22 |  2203350 |  2202022 |      174  26993 |        0 |        0
202.76/202.84	c  200s |      22 |  2225465 |  2224122 |      174  27231 |        0 |        0
204.76/204.84	c  202s |      22 |  2247877 |  2246522 |      192  27456 |        0 |        0
205.16/205.27	c  203s |      23 |  2252394 |  2251038 |      192  27498 |        0 |        0
207.16/207.27	c  205s |      23 |  2274911 |  2273538 |      192  27709 |        0 |        0
209.16/209.28	c  207s |      23 |  2296416 |  2295038 |      192  27909 |        0 |        0
211.16/211.28	c  209s |      23 |  2318520 |  2317138 |      192  28116 |        0 |        0
213.16/213.29	c  211s |      23 |  2341021 |  2339638 |      192  28330 |        0 |        0
215.16/215.29	c  213s |      23 |  2363627 |  2362238 |      192  28543 |        0 |        0
217.16/217.29	c  215s |      23 |  2385426 |  2384038 |      192  28749 |        0 |        0
219.15/219.29	c  217s |      23 |  2407934 |  2406538 |      192  28967 |        0 |        0
221.16/221.29	c  219s |      23 |  2429048 |  2427638 |      192  29157 |        0 |        0
223.15/223.30	c  221s |      23 |  2450553 |  2449138 |      192  29353 |        0 |        0
225.25/225.30	c  223s |      23 |  2472265 |  2470838 |      192  29555 |        0 |        0
227.25/227.30	c  225s |      23 |  2494172 |  2492738 |      192  29754 |        0 |        0
229.25/229.31	c  227s |      23 |  2515780 |  2514338 |      192  29951 |        0 |        0
231.25/231.31	c  229s |      23 |  2536688 |  2535238 |      192  30143 |        0 |        0
233.26/233.31	c  231s |      23 |  2557597 |  2556138 |      192  30336 |        0 |        0
235.25/235.32	c  233s |      23 |  2578506 |  2577038 |      192  30530 |        0 |        0
237.25/237.33	c  235s |      23 |  2600209 |  2598738 |      192  30731 |        0 |        0
239.25/239.34	c  237s |      23 |  2621718 |  2620238 |      192  30930 |        0 |        0
241.25/241.34	c  239s |      23 |  2643825 |  2642338 |      192  31140 |        0 |        0
243.25/243.35	c  241s |      23 |  2665638 |  2664138 |      192  31346 |        0 |        0
245.25/245.35	c  243s |      23 |  2686452 |  2684938 |      192  31539 |        0 |        0
247.25/247.35	c  245s |      23 |  2707057 |  2705538 |      192  31728 |        0 |        0
249.26/249.36	c  247s |      23 |  2728269 |  2726738 |      192  31925 |        0 |        0
251.25/251.37	c  249s |      23 |  2749578 |  2748038 |      192  32125 |        0 |        0
253.25/253.38	c  251s |      23 |  2771187 |  2769638 |      192  32328 |        0 |        0
255.26/255.38	c  253s |      23 |  2793601 |  2792038 |      192  32542 |        0 |        0
257.25/257.39	c  255s |      23 |  2815103 |  2813538 |      192  32740 |        0 |        0
259.25/259.39	c  257s |      23 |  2836914 |  2835338 |      192  32941 |        0 |        0
261.25/261.40	c  259s |      23 |  2858223 |  2856638 |      192  33140 |        0 |        0
263.35/263.40	c  261s |      23 |  2880033 |  2878438 |      192  33344 |        0 |        0
265.35/265.40	c  263s |      23 |  2902041 |  2900438 |      192  33552 |        0 |        0
267.36/267.41	c  265s |      23 |  2923745 |  2922138 |      192  33757 |        0 |        0
269.35/269.41	c  267s |      23 |  2945359 |  2943738 |      192  33961 |        0 |        0
271.35/271.41	c  269s |      23 |  2966367 |  2964738 |      192  34150 |        0 |        0
273.35/273.42	c  271s |      23 |  2987686 |  2986038 |      192  34348 |        0 |        0
275.35/275.42	c  273s |      23 |  3008695 |  3007038 |      192  34541 |        0 |        0
277.34/277.43	c  275s |      23 |  3029812 |  3028138 |      192  34738 |        0 |        0
279.35/279.43	c  277s |      23 |  3050218 |  3048538 |      192  34926 |        0 |        0
281.34/281.44	c  279s |      23 |  3071234 |  3069538 |      192  35122 |        0 |        0
283.34/283.44	c  281s |      23 |  3092358 |  3090638 |      192  35322 |        0 |        0
285.34/285.44	c  283s |      23 |  3113968 |  3112238 |      192  35528 |        0 |        0
287.34/287.45	c  285s |      23 |  3134877 |  3133138 |      192  35721 |        0 |        0
289.35/289.45	c  287s |      23 |  3156096 |  3154338 |      192  35920 |        0 |        0
291.34/291.46	c  289s |      23 |  3177197 |  3175438 |      192  36118 |        0 |        0
293.34/293.46	c  291s |      23 |  3198215 |  3196438 |      192  36314 |        0 |        0
295.34/295.46	c  293s |      23 |  3218917 |  3217138 |      192  36504 |        0 |        0
297.34/297.47	c  295s |      23 |  3240328 |  3238538 |      192  36706 |        0 |        0
299.34/299.47	c  297s |      23 |  3261636 |  3259838 |      192  36905 |        0 |        0
301.35/301.48	c  299s |      23 |  3282850 |  3281038 |      192  37102 |        0 |        0
303.34/303.48	c  301s |      23 |  3304360 |  3302538 |      192  37306 |        0 |        0
305.34/305.49	c  303s |      23 |  3326269 |  3324438 |      192  37515 |        0 |        0
307.34/307.49	c  305s |      23 |  3348482 |  3346638 |      192  37729 |        0 |        0
309.34/309.49	c  307s |      23 |  3368987 |  3367138 |      212  37902 |        0 |        0
310.34/310.41	c  308s |      24 |  3378513 |  3376662 |      212  37982 |        0 |        0
312.34/312.41	c  310s |      24 |  3399235 |  3397362 |      212  38154 |        0 |        0
314.34/314.42	c  312s |      24 |  3420252 |  3418362 |      212  38330 |        0 |        0
316.34/316.42	c  314s |      24 |  3441265 |  3439362 |      212  38507 |        0 |        0
318.34/318.43	c  316s |      24 |  3462079 |  3460162 |      212  38682 |        0 |        0
320.34/320.43	c  318s |      24 |  3483490 |  3481562 |      212  38863 |        0 |        0
322.34/322.44	c  320s |      24 |  3505195 |  3503262 |      212  39045 |        0 |        0
324.34/324.44	c  322s |      24 |  3526306 |  3524362 |      212  39222 |        0 |        0
326.34/326.44	c  324s |      24 |  3547718 |  3545762 |      212  39406 |        0 |        0
328.34/328.44	c  326s |      24 |  3568834 |  3566862 |      212  39586 |        0 |        0
330.33/330.45	c  328s |      24 |  3590540 |  3588562 |      212  39772 |        0 |        0
332.33/332.45	c  330s |      24 |  3612643 |  3610662 |      212  39965 |        0 |        0
334.34/334.46	c  332s |      24 |  3634854 |  3632862 |      212  40150 |        0 |        0
336.34/336.46	c  334s |      24 |  3656454 |  3654462 |      212  40332 |        0 |        0
338.34/338.46	c  336s |      24 |  3677868 |  3675862 |      212  40513 |        0 |        0
340.34/340.47	c  338s |      24 |  3699369 |  3697362 |      212  40695 |        0 |        0
342.34/342.47	c  340s |      24 |  3720771 |  3718762 |      212  40878 |        0 |        0
344.34/344.48	c  342s |      24 |  3742777 |  3740762 |      212  41068 |        0 |        0
346.34/346.49	c  344s |      24 |  3764592 |  3762562 |      212  41256 |        0 |        0
348.33/348.49	c  346s |      24 |  3786498 |  3784462 |      212  41444 |        0 |        0
350.33/350.50	c  348s |      24 |  3808501 |  3806462 |      212  41634 |        0 |        0
352.43/352.50	c  350s |      24 |  3830511 |  3828462 |      212  41825 |        0 |        0
354.43/354.50	c  352s |      24 |  3852915 |  3850862 |      212  42022 |        0 |        0
356.44/356.51	c  354s |      24 |  3875632 |  3873562 |      212  42223 |        0 |        0
358.44/358.51	c  356s |      24 |  3897036 |  3894962 |      212  42405 |        0 |        0
360.44/360.52	c  358s |      24 |  3919141 |  3917062 |      212  42594 |        0 |        0
362.44/362.52	c  360s |      24 |  3941145 |  3939062 |      212  42783 |        0 |        0
364.44/364.53	c  362s |      24 |  3962151 |  3960062 |      212  42962 |        0 |        0
366.44/366.54	c  364s |      24 |  3980656 |  3978562 |      212  43116 |        0 |        0
368.44/368.55	c  366s |      24 |  3999360 |  3997262 |      212  43272 |        0 |        0
370.43/370.55	c  368s |      24 |  4018270 |  4016162 |      212  43432 |        0 |        0
372.43/372.56	c  370s |      24 |  4036968 |  4034862 |      212  43591 |        0 |        0
374.43/374.56	c  372s |      24 |  4056166 |  4054062 |      212  43756 |        0 |        0
376.43/376.56	c  374s |      24 |  4075177 |  4073062 |      212  43915 |        0 |        0
378.44/378.57	c  376s |      24 |  4094482 |  4092362 |      212  44078 |        0 |        0
380.43/380.57	c  378s |      24 |  4113783 |  4111662 |      212  44242 |        0 |        0
382.43/382.58	c  380s |      24 |  4133187 |  4131062 |      212  44407 |        0 |        0
384.43/384.58	c  382s |      24 |  4152495 |  4150362 |      212  44570 |        0 |        0
386.43/386.59	c  384s |      24 |  4171902 |  4169762 |      212  44736 |        0 |        0
388.53/388.60	c  386s |      24 |  4191901 |  4189762 |      212  44906 |        0 |        0
390.53/390.61	c  388s |      24 |  4211313 |  4209162 |      212  45069 |        0 |        0
392.53/392.61	c  390s |      24 |  4231425 |  4229262 |      212  45239 |        0 |        0
394.53/394.61	c  392s |      24 |  4251221 |  4249062 |      212  45408 |        0 |        0
396.53/396.62	c  394s |      24 |  4270937 |  4268762 |      212  45574 |        0 |        0
398.52/398.63	c  396s |      24 |  4290842 |  4288662 |      212  45744 |        0 |        0
400.52/400.63	c  398s |      24 |  4310648 |  4308462 |      212  45915 |        0 |        0
402.54/402.63	c  400s |      24 |  4330545 |  4328362 |      212  46085 |        0 |        0
404.53/404.64	c  402s |      24 |  4350257 |  4348062 |      212  46253 |        0 |        0
406.53/406.65	c  404s |      24 |  4370664 |  4368462 |      212  46429 |        0 |        0
408.53/408.65	c  406s |      24 |  4390868 |  4388662 |      212  46602 |        0 |        0
410.53/410.66	c  408s |      24 |  4410889 |  4408662 |      212  46776 |        0 |        0
412.54/412.67	c  410s |      24 |  4431393 |  4429162 |      212  46954 |        0 |        0
414.53/414.67	c  412s |      24 |  4451900 |  4449662 |      212  47135 |        0 |        0
416.53/416.68	c  414s |      24 |  4472414 |  4470162 |      212  47309 |        0 |        0
418.53/418.69	c  416s |      24 |  4491917 |  4489662 |      212  47473 |        0 |        0
420.53/420.69	c  418s |      24 |  4511330 |  4509062 |      212  47637 |        0 |        0
422.53/422.69	c  420s |      24 |  4531238 |  4528962 |      212  47807 |        0 |        0
424.53/424.70	c  422s |      24 |  4551348 |  4549062 |      212  47980 |        0 |        0
426.63/426.70	c  424s |      24 |  4571355 |  4569062 |      212  48152 |        0 |        0
428.62/428.70	c  426s |      24 |  4591773 |  4589462 |      212  48331 |        0 |        0
430.62/430.71	c  428s |      24 |  4611275 |  4608962 |      212  48497 |        0 |        0
432.62/432.72	c  430s |      24 |  4631286 |  4628962 |      212  48668 |        0 |        0
434.62/434.72	c  432s |      24 |  4650996 |  4648662 |      212  48838 |        0 |        0
436.63/436.72	c  434s |      24 |  4670615 |  4668262 |      212  49005 |        0 |        0
438.62/438.73	c  436s |      24 |  4690418 |  4688062 |      212  49176 |        0 |        0
440.62/440.74	c  438s |      24 |  4710035 |  4707662 |      212  49344 |        0 |        0
442.62/442.74	c  440s |      24 |  4729543 |  4727162 |      212  49512 |        0 |        0
444.62/444.75	c  442s |      24 |  4749354 |  4746962 |      212  49684 |        0 |        0
446.62/446.76	c  444s |      24 |  4769465 |  4767062 |      212  49860 |        0 |        0
448.62/448.76	c  446s |      24 |  4789269 |  4786862 |      212  50030 |        0 |        0
450.62/450.76	c  448s |      24 |  4809182 |  4806762 |      212  50202 |        0 |        0
452.62/452.77	c  450s |      24 |  4828787 |  4826362 |      212  50369 |        0 |        0
454.62/454.77	c  452s |      24 |  4848299 |  4845862 |      212  50536 |        0 |        0
456.62/456.78	c  454s |      24 |  4868100 |  4865662 |      212  50705 |        0 |        0
458.63/458.79	c  456s |      24 |  4887712 |  4885262 |      212  50871 |        0 |        0
460.72/460.80	c  458s |      24 |  4907615 |  4905162 |      212  51042 |        0 |        0
462.72/462.80	c  460s |      24 |  4927924 |  4925462 |      212  51219 |        0 |        0
464.72/464.81	c  462s |      24 |  4947850 |  4945362 |      212  51392 |        0 |        0
466.72/466.82	c  464s |      24 |  4967861 |  4965362 |      212  51564 |        0 |        0
468.72/468.82	c  466s |      24 |  4987474 |  4984962 |      212  51736 |        0 |        0
470.72/470.83	c  468s |      24 |  5007588 |  5005062 |      212  51909 |        0 |        0
472.72/472.83	c  470s |      24 |  5027399 |  5024862 |      212  52082 |        0 |        0
474.72/474.84	c  472s |      24 |  5047711 |  5045162 |      234  52248 |        0 |        0
476.71/476.81	c  474s |      25 |  5067661 |  5065098 |      234  52410 |        0 |        0
478.71/478.81	c  476s |      25 |  5087087 |  5084498 |      234  52558 |        0 |        0
480.72/480.82	c  478s |      25 |  5106689 |  5104098 |      234  52707 |        0 |        0
482.71/482.83	c  480s |      25 |  5126291 |  5123698 |      234  52859 |        0 |        0
484.71/484.83	c  482s |      25 |  5146298 |  5143698 |      234  53014 |        0 |        0
486.71/486.84	c  484s |      25 |  5166295 |  5163698 |      234  53170 |        0 |        0
488.71/488.85	c  486s |      25 |  5185999 |  5183398 |      234  53325 |        0 |        0
490.71/490.86	c  488s |      25 |  5206497 |  5203898 |      234  53488 |        0 |        0
492.72/492.86	c  490s |      25 |  5225808 |  5223198 |      234  53635 |        0 |        0
494.71/494.87	c  492s |      25 |  5244813 |  5242198 |      234  53782 |        0 |        0
496.71/496.88	c  494s |      25 |  5264127 |  5261498 |      234  53932 |        0 |        0
498.72/498.88	c  496s |      25 |  5283536 |  5280898 |      234  54084 |        0 |        0
500.72/500.88	c  498s |      25 |  5302946 |  5300298 |      234  54235 |        0 |        0
502.72/502.88	c  500s |      25 |  5322553 |  5319898 |      234  54387 |        0 |        0
504.72/504.88	c  502s |      25 |  5342263 |  5339598 |      234  54541 |        0 |        0
506.72/506.89	c  504s |      25 |  5362367 |  5359698 |      234  54699 |        0 |        0
508.71/508.89	c  506s |      25 |  5382277 |  5379598 |      234  54855 |        0 |        0
510.71/510.89	c  508s |      25 |  5401894 |  5399198 |      234  55008 |        0 |        0
512.71/512.89	c  510s |      25 |  5422293 |  5419598 |      234  55168 |        0 |        0
514.82/514.90	c  512s |      25 |  5441814 |  5439098 |      234  55321 |        0 |        0
516.81/516.91	c  514s |      25 |  5461621 |  5458898 |      234  55476 |        0 |        0
518.81/518.92	c  516s |      25 |  5481232 |  5478498 |      234  55631 |        0 |        0
520.81/520.92	c  518s |      25 |  5501339 |  5498598 |      234  55789 |        0 |        0
522.81/522.93	c  520s |      25 |  5521264 |  5518498 |      234  55946 |        0 |        0
524.81/524.94	c  522s |      25 |  5541473 |  5538698 |      234  56107 |        0 |        0
526.81/526.94	c  524s |      25 |  5561487 |  5558698 |      234  56265 |        0 |        0
528.81/528.94	c  526s |      25 |  5581600 |  5578798 |      234  56427 |        0 |        0
530.81/530.95	c  528s |      25 |  5601007 |  5598198 |      234  56576 |        0 |        0
532.80/532.95	c  530s |      25 |  5620315 |  5617498 |      234  56723 |        0 |        0
534.80/534.96	c  532s |      25 |  5639929 |  5637098 |      234  56874 |        0 |        0
536.82/536.96	c  534s |      25 |  5659437 |  5656598 |      234  57024 |        0 |        0
538.81/538.97	c  536s |      25 |  5679246 |  5676398 |      234  57177 |        0 |        0
540.81/540.97	c  538s |      25 |  5699052 |  5696198 |      234  57330 |        0 |        0
542.81/542.98	c  540s |      25 |  5718956 |  5716098 |      234  57485 |        0 |        0
544.81/544.99	c  542s |      25 |  5739262 |  5736398 |      234  57643 |        0 |        0
546.81/547.00	c  544s |      25 |  5759164 |  5756298 |      234  57800 |        0 |        0
548.92/549.00	c  546s |      25 |  5778963 |  5776098 |      234  57953 |        0 |        0
550.91/551.01	c  548s |      25 |  5798972 |  5796098 |      234  58109 |        0 |        0
552.91/553.02	c  550s |      25 |  5819283 |  5816398 |      234  58268 |        0 |        0
554.91/555.02	c  552s |      25 |  5838590 |  5835698 |      234  58415 |        0 |        0
556.91/557.03	c  554s |      25 |  5857894 |  5854998 |      234  58564 |        0 |        0
558.90/559.03	c  556s |      25 |  5877398 |  5874498 |      234  58716 |        0 |        0
560.91/561.03	c  558s |      25 |  5896701 |  5893798 |      234  58865 |        0 |        0
562.90/563.03	c  560s |      25 |  5915912 |  5912998 |      234  59016 |        0 |        0
564.90/565.04	c  562s |      25 |  5935508 |  5932598 |      234  59169 |        0 |        0
566.90/567.04	c  564s |      25 |  5954517 |  5951598 |      234  59317 |        0 |        0
568.90/569.05	c  566s |      25 |  5974424 |  5971498 |      234  59471 |        0 |        0
570.90/571.06	c  568s |      25 |  5993728 |  5990798 |      234  59621 |        0 |        0
572.90/573.06	c  570s |      25 |  6013128 |  6010198 |      234  59773 |        0 |        0
574.91/575.07	c  572s |      25 |  6032244 |  6029298 |      234  59921 |        0 |        0
576.91/577.07	c  574s |      25 |  6051453 |  6048498 |      234  60071 |        0 |        0
578.91/579.08	c  576s |      25 |  6071163 |  6068198 |      234  60225 |        0 |        0
580.90/581.08	c  578s |      25 |  6090669 |  6087698 |      234  60379 |        0 |        0
582.91/583.09	c  580s |      25 |  6110180 |  6107198 |      234  60533 |        0 |        0
584.90/585.09	c  582s |      25 |  6129493 |  6126498 |      234  60684 |        0 |        0
587.00/587.10	c  584s |      25 |  6148597 |  6145598 |      234  60834 |        0 |        0
589.00/589.10	c  586s |      25 |  6168405 |  6165398 |      234  60990 |        0 |        0
591.00/591.11	c  588s |      25 |  6188311 |  6185298 |      234  61150 |        0 |        0
593.00/593.11	c  590s |      25 |  6207911 |  6204898 |      234  61306 |        0 |        0
595.01/595.12	c  592s |      25 |  6227324 |  6224298 |      234  61460 |        0 |        0
597.00/597.12	c  595s |      25 |  6246626 |  6243598 |      234  61614 |        0 |        0
599.00/599.13	c  597s |      25 |  6266135 |  6263098 |      234  61770 |        0 |        0
601.00/601.14	c  599s |      25 |  6285937 |  6282898 |      234  61923 |        0 |        0
603.00/603.14	c  601s |      25 |  6306340 |  6303298 |      234  62082 |        0 |        0
605.00/605.14	c  603s |      25 |  6326548 |  6323498 |      234  62240 |        0 |        0
607.00/607.15	c  605s |      25 |  6346865 |  6343798 |      234  62400 |        0 |        0
609.00/609.15	c  607s |      25 |  6367567 |  6364498 |      234  62558 |        0 |        0
611.00/611.15	c  609s |      25 |  6387660 |  6384598 |      234  62713 |        0 |        0
612.99/613.16	c  611s |      25 |  6407563 |  6404498 |      234  62867 |        0 |        0
614.99/615.16	c  613s |      25 |  6427074 |  6423998 |      234  63019 |        0 |        0
617.00/617.17	c  615s |      25 |  6447174 |  6444098 |      234  63177 |        0 |        0
618.99/619.18	c  617s |      25 |  6467280 |  6464198 |      234  63334 |        0 |        0
620.99/621.19	c  619s |      25 |  6486881 |  6483798 |      234  63487 |        0 |        0
622.99/623.19	c  621s |      25 |  6506489 |  6503398 |      234  63641 |        0 |        0
625.09/625.20	c  623s |      25 |  6526191 |  6523098 |      234  63796 |        0 |        0
627.10/627.20	c  625s |      25 |  6546201 |  6543098 |      234  63955 |        0 |        0
629.10/629.21	c  627s |      25 |  6565705 |  6562598 |      234  64108 |        0 |        0
631.10/631.21	c  629s |      25 |  6584709 |  6581598 |      234  64257 |        0 |        0
633.10/633.22	c  631s |      25 |  6603913 |  6600798 |      234  64407 |        0 |        0
635.10/635.22	c  633s |      25 |  6623420 |  6620298 |      234  64561 |        0 |        0
637.10/637.23	c  635s |      25 |  6642428 |  6639298 |      234  64710 |        0 |        0
639.10/639.24	c  637s |      25 |  6661927 |  6658798 |      234  64865 |        0 |        0
641.09/641.25	c  639s |      25 |  6681533 |  6678398 |      234  65021 |        0 |        0
643.09/643.25	c  641s |      25 |  6701644 |  6698498 |      234  65183 |        0 |        0
645.09/645.25	c  643s |      25 |  6720848 |  6717698 |      234  65334 |        0 |        0
647.09/647.25	c  645s |      25 |  6740648 |  6737498 |      234  65491 |        0 |        0
649.09/649.26	c  647s |      25 |  6760672 |  6757498 |      234  65649 |        0 |        0
651.10/651.26	c  649s |      25 |  6780864 |  6777698 |      234  65807 |        0 |        0
653.09/653.27	c  651s |      25 |  6800766 |  6797598 |      234  65965 |        0 |        0
655.09/655.28	c  653s |      25 |  6820372 |  6817198 |      234  66121 |        0 |        0
657.09/657.28	c  655s |      25 |  6839971 |  6836798 |      234  66279 |        0 |        0
659.09/659.29	c  657s |      25 |  6860177 |  6856998 |      234  66440 |        0 |        0
661.10/661.29	c  659s |      25 |  6880781 |  6877598 |      234  66604 |        0 |        0
663.09/663.30	c  661s |      25 |  6901381 |  6898198 |      234  66766 |        0 |        0
665.19/665.31	c  663s |      25 |  6921280 |  6918098 |      234  66922 |        0 |        0
667.19/667.31	c  665s |      25 |  6941679 |  6938498 |      234  67084 |        0 |        0
669.19/669.31	c  667s |      25 |  6961591 |  6958398 |      234  67241 |        0 |        0
671.19/671.32	c  669s |      25 |  6981797 |  6978598 |      234  67402 |        0 |        0
673.19/673.32	c  671s |      25 |  7002202 |  6998998 |      234  67565 |        0 |        0
675.19/675.33	c  673s |      25 |  7022906 |  7019698 |      234  67730 |        0 |        0
677.19/677.33	c  675s |      25 |  7042807 |  7039598 |      234  67887 |        0 |        0
679.18/679.33	c  677s |      25 |  7062715 |  7059498 |      234  68047 |        0 |        0
681.18/681.34	c  679s |      25 |  7082816 |  7079598 |      234  68209 |        0 |        0
683.18/683.35	c  681s |      25 |  7103117 |  7099898 |      234  68372 |        0 |        0
685.19/685.36	c  683s |      25 |  7123927 |  7120698 |      234  68541 |        0 |        0
687.18/687.36	c  685s |      25 |  7144426 |  7141198 |      234  68706 |        0 |        0
689.18/689.37	c  687s |      25 |  7164933 |  7161698 |      234  68871 |        0 |        0
691.18/691.38	c  689s |      25 |  7185434 |  7182198 |      234  69038 |        0 |        0
693.18/693.39	c  691s |      25 |  7205743 |  7202498 |      234  69203 |        0 |        0
695.19/695.39	c  693s |      25 |  7226159 |  7222898 |      234  69369 |        0 |        0
697.19/697.40	c  695s |      25 |  7246969 |  7243698 |      234  69541 |        0 |        0
699.29/699.40	c  697s |      25 |  7267376 |  7264098 |      234  69707 |        0 |        0
701.29/701.41	c  699s |      25 |  7287778 |  7284498 |      234  69866 |        0 |        0
703.29/703.41	c  701s |      25 |  7308084 |  7304798 |      234  70025 |        0 |        0
705.28/705.42	c  703s |      25 |  7328088 |  7324798 |      234  70183 |        0 |        0
707.29/707.42	c  705s |      25 |  7348587 |  7345298 |      234  70345 |        0 |        0
709.28/709.42	c  707s |      25 |  7368896 |  7365598 |      234  70508 |        0 |        0
711.28/711.43	c  709s |      25 |  7389499 |  7386198 |      234  70673 |        0 |        0
713.28/713.43	c  711s |      25 |  7410008 |  7406698 |      234  70837 |        0 |        0
715.28/715.44	c  713s |      25 |  7430105 |  7426798 |      234  70993 |        0 |        0
717.28/717.45	c  715s |      25 |  7450610 |  7447298 |      234  71156 |        0 |        0
719.28/719.45	c  717s |      25 |  7471110 |  7467798 |      234  71317 |        0 |        0
721.28/721.45	c  719s |      25 |  7491818 |  7488498 |      234  71482 |        0 |        0
723.28/723.46	c  721s |      25 |  7512517 |  7509198 |      234  71648 |        0 |        0
725.27/725.46	c  723s |      25 |  7533727 |  7530398 |      234  71819 |        0 |        0
727.27/727.46	c  725s |      25 |  7554928 |  7551598 |      258  71984 |        0 |        0
729.29/729.47	c  727s |      25 |  7576425 |  7573098 |      258  72144 |        0 |        0
731.28/731.47	c  729s |      25 |  7596945 |  7593598 |      258  72289 |        0 |        0
731.68/731.89	c  729s |      26 |  7601094 |  7597752 |      258  72318 |        0 |        0
733.78/733.90	c  731s |      26 |  7621022 |  7617652 |      258  72457 |        0 |        0
735.79/735.91	c  733s |      26 |  7641432 |  7638052 |      258  72600 |        0 |        0
737.78/737.91	c  735s |      26 |  7661546 |  7658152 |      258  72742 |        0 |        0
739.78/739.91	c  737s |      26 |  7682238 |  7678852 |      258  72886 |        0 |        0
741.78/741.92	c  739s |      26 |  7702441 |  7699052 |      258  73027 |        0 |        0
743.78/743.92	c  741s |      26 |  7723044 |  7719652 |      258  73172 |        0 |        0
745.78/745.93	c  743s |      26 |  7743847 |  7740452 |      258  73320 |        0 |        0
747.78/747.94	c  745s |      26 |  7764851 |  7761452 |      258  73470 |        0 |        0
749.78/749.94	c  747s |      26 |  7785756 |  7782352 |      258  73619 |        0 |        0
751.78/751.94	c  749s |      26 |  7806955 |  7803552 |      258  73771 |        0 |        0
753.78/753.95	c  751s |      26 |  7828458 |  7825052 |      258  73927 |        0 |        0
755.77/755.95	c  753s |      26 |  7849658 |  7846252 |      258  74080 |        0 |        0
757.78/757.96	c  755s |      26 |  7870766 |  7867352 |      258  74235 |        0 |        0
759.77/759.97	c  757s |      26 |  7892184 |  7888752 |      258  74389 |        0 |        0
761.77/761.98	c  759s |      26 |  7912186 |  7908752 |      258  74528 |        0 |        0
763.77/763.98	c  761s |      26 |  7931984 |  7928552 |      258  74666 |        0 |        0
765.77/765.98	c  763s |      26 |  7951688 |  7948252 |      258  74803 |        0 |        0
767.78/767.98	c  765s |      26 |  7970397 |  7966952 |      258  74934 |        0 |        0
769.77/769.99	c  767s |      26 |  7989994 |  7986552 |      258  75072 |        0 |        0
771.77/771.99	c  769s |      26 |  8009394 |  8005952 |      258  75209 |        0 |        0
773.87/774.00	c  771s |      26 |  8028593 |  8025152 |      258  75343 |        0 |        0
775.87/776.00	c  773s |      26 |  8047702 |  8044252 |      258  75477 |        0 |        0
777.87/778.01	c  775s |      26 |  8067006 |  8063552 |      258  75614 |        0 |        0
779.87/780.02	c  777s |      26 |  8086807 |  8083352 |      258  75753 |        0 |        0
781.87/782.02	c  779s |      26 |  8106110 |  8102652 |      258  75889 |        0 |        0
783.87/784.02	c  781s |      26 |  8125425 |  8121952 |      258  76026 |        0 |        0
785.87/786.03	c  783s |      26 |  8144721 |  8141252 |      258  76161 |        0 |        0
787.87/788.03	c  785s |      26 |  8164527 |  8161052 |      258  76301 |        0 |        0
789.86/790.03	c  787s |      26 |  8184623 |  8181152 |      258  76444 |        0 |        0
791.87/792.04	c  789s |      26 |  8204137 |  8200652 |      258  76581 |        0 |        0
793.86/794.04	c  791s |      26 |  8223639 |  8220152 |      258  76718 |        0 |        0
795.86/796.05	c  793s |      26 |  8243143 |  8239652 |      258  76856 |        0 |        0
797.87/798.05	c  795s |      26 |  8262549 |  8259052 |      258  76994 |        0 |        0
799.87/800.06	c  797s |      26 |  8281951 |  8278452 |      258  77132 |        0 |        0
801.88/802.07	c  799s |      26 |  8301662 |  8298152 |      258  77272 |        0 |        0
803.87/804.08	c  801s |      26 |  8321362 |  8317852 |      258  77413 |        0 |        0
805.87/806.08	c  803s |      26 |  8340768 |  8337252 |      258  77551 |        0 |        0
807.87/808.09	c  805s |      26 |  8360170 |  8356652 |      258  77687 |        0 |        0
809.87/810.09	c  807s |      26 |  8379777 |  8376252 |      258  77827 |        0 |        0
811.87/812.09	c  809s |      26 |  8398985 |  8395452 |      258  77962 |        0 |        0
813.87/814.09	c  811s |      26 |  8418388 |  8414852 |      258  78100 |        0 |        0
815.97/816.10	c  813s |      26 |  8437593 |  8434052 |      258  78235 |        0 |        0
817.96/818.10	c  815s |      26 |  8456802 |  8453252 |      258  78372 |        0 |        0
819.96/820.11	c  817s |      26 |  8476101 |  8472552 |      258  78510 |        0 |        0
821.96/822.11	c  819s |      26 |  8495605 |  8492052 |      258  78650 |        0 |        0
823.96/824.12	c  821s |      26 |  8515207 |  8511652 |      258  78791 |        0 |        0
825.97/826.12	c  823s |      26 |  8534814 |  8531252 |      258  78929 |        0 |        0
827.96/828.13	c  826s |      26 |  8554718 |  8551152 |      258  79071 |        0 |        0
829.96/830.13	c  828s |      26 |  8574721 |  8571152 |      258  79213 |        0 |        0
831.96/832.13	c  830s |      26 |  8594931 |  8591352 |      258  79357 |        0 |        0
833.96/834.14	c  832s |      26 |  8614734 |  8611152 |      258  79498 |        0 |        0
835.96/836.15	c  834s |      26 |  8634348 |  8630752 |      258  79638 |        0 |        0
837.96/838.15	c  836s |      26 |  8653061 |  8649452 |      258  79770 |        0 |        0
839.96/840.16	c  838s |      26 |  8671972 |  8668352 |      258  79906 |        0 |        0
841.96/842.16	c  840s |      26 |  8691180 |  8687552 |      258  80044 |        0 |        0
843.96/844.17	c  842s |      26 |  8710092 |  8706452 |      258  80178 |        0 |        0
845.96/846.17	c  844s |      26 |  8729296 |  8725652 |      258  80316 |        0 |        0
847.96/848.18	c  846s |      26 |  8748206 |  8744552 |      258  80453 |        0 |        0
849.96/850.18	c  848s |      26 |  8767610 |  8763952 |      258  80594 |        0 |        0
851.95/852.20	c  850s |      26 |  8786317 |  8782652 |      258  80731 |        0 |        0
854.05/854.20	c  852s |      26 |  8804921 |  8801252 |      258  80865 |        0 |        0
856.05/856.21	c  854s |      26 |  8823832 |  8820152 |      258  81002 |        0 |        0
858.05/858.21	c  856s |      26 |  8842841 |  8839152 |      258  81141 |        0 |        0
860.06/860.21	c  858s |      26 |  8862046 |  8858352 |      258  81281 |        0 |        0
862.05/862.22	c  860s |      26 |  8881148 |  8877452 |      258  81421 |        0 |        0
864.05/864.22	c  862s |      26 |  8900562 |  8896852 |      258  81563 |        0 |        0
866.05/866.23	c  864s |      26 |  8919754 |  8916052 |      258  81700 |        0 |        0
868.05/868.24	c  866s |      26 |  8939371 |  8935652 |      258  81840 |        0 |        0
870.05/870.24	c  868s |      26 |  8959080 |  8955352 |      258  81982 |        0 |        0
872.04/872.25	c  870s |      26 |  8978586 |  8974852 |      258  82123 |        0 |        0
874.04/874.26	c  872s |      26 |  8997597 |  8993852 |      258  82260 |        0 |        0
876.04/876.27	c  874s |      26 |  9017004 |  9013252 |      258  82401 |        0 |        0
878.04/878.27	c  876s |      26 |  9036611 |  9032852 |      258  82544 |        0 |        0
880.04/880.27	c  878s |      26 |  9055819 |  9052052 |      258  82683 |        0 |        0
882.04/882.27	c  880s |      26 |  9075217 |  9071452 |      258  82824 |        0 |        0
884.04/884.28	c  882s |      26 |  9094521 |  9090752 |      258  82964 |        0 |        0
886.04/886.28	c  884s |      26 |  9114232 |  9110452 |      258  83109 |        0 |        0
888.04/888.29	c  886s |      26 |  9133836 |  9130052 |      258  83251 |        0 |        0
890.04/890.29	c  888s |      26 |  9153743 |  9149952 |      258  83398 |        0 |        0
892.14/892.30	c  890s |      26 |  9173440 |  9169652 |      258  83542 |        0 |        0
894.14/894.30	c  892s |      26 |  9193247 |  9189452 |      258  83688 |        0 |        0
896.14/896.31	c  894s |      26 |  9213353 |  9209552 |      258  83837 |        0 |        0
898.13/898.31	c  896s |      26 |  9233465 |  9229652 |      258  83981 |        0 |        0
900.13/900.31	c  898s |      26 |  9253774 |  9249952 |      258  84126 |        0 |        0
902.13/902.31	c  900s |      26 |  9274374 |  9270552 |      258  84274 |        0 |        0
904.14/904.32	c  902s |      26 |  9295188 |  9291352 |      258  84424 |        0 |        0
906.13/906.33	c  904s |      26 |  9315892 |  9312052 |      258  84573 |        0 |        0
908.13/908.33	c  906s |      26 |  9336799 |  9332952 |      258  84725 |        0 |        0
910.13/910.34	c  908s |      26 |  9356610 |  9352752 |      258  84865 |        0 |        0
912.13/912.34	c  910s |      26 |  9377018 |  9373152 |      258  85011 |        0 |        0
914.13/914.35	c  912s |      26 |  9397023 |  9393152 |      258  85155 |        0 |        0
916.13/916.36	c  914s |      26 |  9416432 |  9412552 |      258  85292 |        0 |        0
918.12/918.36	c  916s |      26 |  9435635 |  9431752 |      258  85430 |        0 |        0
920.12/920.36	c  918s |      26 |  9455240 |  9451352 |      258  85570 |        0 |        0
922.12/922.37	c  920s |      26 |  9474846 |  9470952 |      258  85712 |        0 |        0
924.12/924.37	c  922s |      26 |  9494447 |  9490552 |      258  85854 |        0 |        0
926.13/926.37	c  924s |      26 |  9513856 |  9509952 |      258  85993 |        0 |        0
928.12/928.38	c  926s |      26 |  9533670 |  9529752 |      258  86136 |        0 |        0
930.12/930.38	c  928s |      26 |  9553065 |  9549152 |      258  86274 |        0 |        0
932.12/932.38	c  930s |      26 |  9573068 |  9569152 |      258  86419 |        0 |        0
934.12/934.39	c  932s |      26 |  9593175 |  9589252 |      258  86567 |        0 |        0
936.22/936.40	c  934s |      26 |  9612977 |  9609052 |      258  86709 |        0 |        0
938.22/938.40	c  936s |      26 |  9632384 |  9628452 |      258  86848 |        0 |        0
940.21/940.41	c  938s |      26 |  9652184 |  9648252 |      258  86990 |        0 |        0
942.22/942.41	c  940s |      26 |  9672195 |  9668252 |      258  87134 |        0 |        0
944.22/944.42	c  942s |      26 |  9691990 |  9688052 |      258  87275 |        0 |        0
946.22/946.42	c  944s |      26 |  9711889 |  9707952 |      258  87419 |        0 |        0
948.22/948.42	c  946s |      26 |  9731390 |  9727452 |      258  87559 |        0 |        0
950.22/950.43	c  948s |      26 |  9751097 |  9747152 |      258  87701 |        0 |        0
952.22/952.44	c  950s |      26 |  9770798 |  9766852 |      258  87844 |        0 |        0
954.22/954.45	c  952s |      26 |  9790897 |  9786952 |      258  87991 |        0 |        0
956.21/956.45	c  954s |      26 |  9811005 |  9807052 |      258  88138 |        0 |        0
958.21/958.46	c  956s |      26 |  9830516 |  9826552 |      258  88278 |        0 |        0
960.22/960.47	c  958s |      26 |  9850313 |  9846352 |      258  88421 |        0 |        0
962.21/962.48	c  960s |      26 |  9870119 |  9866152 |      258  88563 |        0 |        0
964.21/964.48	c  962s |      26 |  9889825 |  9885852 |      258  88705 |        0 |        0
966.21/966.48	c  964s |      26 |  9909530 |  9905552 |      258  88848 |        0 |        0
968.21/968.49	c  966s |      26 |  9929129 |  9925152 |      258  88991 |        0 |        0
970.30/970.50	c  968s |      26 |  9948734 |  9944752 |      258  89132 |        0 |        0
972.31/972.51	c  970s |      26 |  9968637 |  9964652 |      258  89277 |        0 |        0
974.30/974.51	c  972s |      26 |  9988742 |  9984752 |      258  89422 |        0 |        0
976.30/976.52	c  974s |      26 | 10008940 | 10004952 |      258  89570 |        0 |        0
978.30/978.52	c  976s |      26 | 10028744 | 10024752 |      258  89713 |        0 |        0
980.30/980.53	c  978s |      26 | 10048848 | 10044852 |      258  89859 |        0 |        0
982.30/982.54	c  980s |      26 | 10069357 | 10065352 |      258  90007 |        0 |        0
984.30/984.54	c  982s |      26 | 10089659 | 10085652 |      258  90156 |        0 |        0
986.30/986.55	c  984s |      26 | 10110360 | 10106352 |      258  90308 |        0 |        0
988.29/988.55	c  986s |      26 | 10130467 | 10126452 |      258  90456 |        0 |        0
990.29/990.56	c  988s |      26 | 10150169 | 10146152 |      258  90600 |        0 |        0
992.29/992.57	c  990s |      26 | 10170284 | 10166252 |      258  90747 |        0 |        0
994.30/994.58	c  992s |      26 | 10190588 | 10186552 |      258  90896 |        0 |        0
996.29/996.58	c  994s |      26 | 10210795 | 10206752 |      258  91044 |        0 |        0
998.30/998.59	c  996s |      26 | 10231196 | 10227152 |      258  91195 |        0 |        0
1000.39/1000.60	c  998s |      26 | 10251405 | 10247352 |      258  91344 |        0 |        0
1002.39/1002.61	c 1000s |      26 | 10271810 | 10267752 |      258  91496 |        0 |        0
1004.39/1004.62	c 1002s |      26 | 10292212 | 10288152 |      258  91648 |        0 |        0
1006.40/1006.62	c 1004s |      26 | 10313217 | 10309152 |      258  91805 |        0 |        0
1008.39/1008.63	c 1006s |      26 | 10332630 | 10328552 |      258  91940 |        0 |        0
1010.39/1010.63	c 1008s |      26 | 10351231 | 10347152 |      258  92071 |        0 |        0
1012.39/1012.64	c 1010s |      26 | 10369834 | 10365752 |      258  92202 |        0 |        0
1014.39/1014.64	c 1012s |      26 | 10388740 | 10384652 |      258  92336 |        0 |        0
1016.39/1016.64	c 1014s |      26 | 10407647 | 10403552 |      258  92470 |        0 |        0
1018.39/1018.65	c 1016s |      26 | 10426561 | 10422452 |      258  92605 |        0 |        0
1020.38/1020.65	c 1018s |      26 | 10445264 | 10441152 |      258  92738 |        0 |        0
1022.38/1022.65	c 1020s |      26 | 10464272 | 10460152 |      258  92875 |        0 |        0
1024.38/1024.66	c 1022s |      26 | 10483379 | 10479252 |      258  93012 |        0 |        0
1026.38/1026.67	c 1024s |      26 | 10502084 | 10497952 |      258  93145 |        0 |        0
1028.39/1028.67	c 1026s |      26 | 10521189 | 10517052 |      258  93281 |        0 |        0
1030.38/1030.67	c 1028s |      26 | 10540102 | 10535952 |      258  93416 |        0 |        0
1032.38/1032.67	c 1030s |      26 | 10559402 | 10555252 |      258  93555 |        0 |        0
1034.38/1034.68	c 1032s |      26 | 10578413 | 10574252 |      258  93692 |        0 |        0
1036.38/1036.68	c 1034s |      26 | 10597620 | 10593452 |      258  93831 |        0 |        0
1038.38/1038.68	c 1036s |      26 | 10616922 | 10612752 |      258  93967 |        0 |        0
1040.38/1040.69	c 1038s |      26 | 10636330 | 10632152 |      258  94105 |        0 |        0
1042.38/1042.70	c 1040s |      26 | 10655427 | 10651252 |      258  94241 |        0 |        0
1044.48/1044.70	c 1042s |      26 | 10674530 | 10670352 |      258  94378 |        0 |        0
1046.48/1046.71	c 1044s |      26 | 10693033 | 10688852 |      258  94510 |        0 |        0
1048.48/1048.71	c 1046s |      26 | 10711835 | 10707652 |      258  94644 |        0 |        0
1050.48/1050.71	c 1048s |      26 | 10730737 | 10726552 |      258  94781 |        0 |        0
1052.49/1052.72	c 1050s |      26 | 10749536 | 10745352 |      258  94916 |        0 |        0
1054.48/1054.72	c 1052s |      26 | 10768441 | 10764252 |      258  95052 |        0 |        0
1056.48/1056.73	c 1054s |      26 | 10787252 | 10783052 |      258  95187 |        0 |        0
1058.48/1058.74	c 1056s |      26 | 10806466 | 10802252 |      258  95326 |        0 |        0
1060.47/1060.74	c 1058s |      26 | 10825167 | 10820952 |      258  95461 |        0 |        0
1062.48/1062.75	c 1060s |      26 | 10844079 | 10839852 |      258  95594 |        0 |        0
1064.47/1064.75	c 1062s |      26 | 10862991 | 10858752 |      258  95728 |        0 |        0
1066.47/1066.75	c 1064s |      26 | 10882101 | 10877852 |      258  95864 |        0 |        0
1068.47/1068.76	c 1066s |      26 | 10900911 | 10896652 |      258  95997 |        0 |        0
1070.46/1070.77	c 1068s |      26 | 10919909 | 10915652 |      258  96133 |        0 |        0
1072.46/1072.77	c 1070s |      26 | 10939209 | 10934952 |      258  96272 |        0 |        0
1074.47/1074.77	c 1072s |      26 | 10958717 | 10954452 |      258  96411 |        0 |        0
1076.46/1076.77	c 1074s |      26 | 10977921 | 10973652 |      258  96547 |        0 |        0
1078.46/1078.78	c 1076s |      26 | 10997125 | 10992852 |      258  96684 |        0 |        0
1080.46/1080.78	c 1078s |      26 | 11016939 | 11012652 |      258  96825 |        0 |        0
1082.46/1082.79	c 1080s |      26 | 11037040 | 11032752 |      258  96968 |        0 |        0
1084.46/1084.79	c 1082s |      26 | 11056836 | 11052552 |      258  97109 |        0 |        0
1086.46/1086.80	c 1084s |      26 | 11076636 | 11072352 |      258  97250 |        0 |        0
1088.56/1088.80	c 1086s |      26 | 11096242 | 11091952 |      258  97390 |        0 |        0
1090.55/1090.80	c 1088s |      26 | 11115749 | 11111452 |      258  97531 |        0 |        0
1092.55/1092.80	c 1090s |      26 | 11135746 | 11131452 |      258  97673 |        0 |        0
1094.55/1094.81	c 1092s |      26 | 11155251 | 11150952 |      258  97811 |        0 |        0
1096.56/1096.81	c 1094s |      26 | 11174758 | 11170452 |      258  97950 |        0 |        0
1098.55/1098.82	c 1096s |      26 | 11194166 | 11189852 |      258  98088 |        0 |        0
1100.55/1100.83	c 1098s |      26 | 11213671 | 11209352 |      258  98228 |        0 |        0
1102.55/1102.84	c 1100s |      26 | 11233275 | 11228952 |      258  98367 |        0 |        0
1104.55/1104.84	c 1102s |      26 | 11252777 | 11248452 |      258  98506 |        0 |        0
1106.55/1106.84	c 1104s |      26 | 11272285 | 11267952 |      258  98646 |        0 |        0
1108.55/1108.85	c 1106s |      26 | 11291985 | 11287652 |      258  98789 |        0 |        0
1110.54/1110.86	c 1108s |      26 | 11311490 | 11307152 |      258  98929 |        0 |        0
1112.54/1112.87	c 1110s |      26 | 11331092 | 11326752 |      284  99063 |        0 |        0
1114.54/1114.87	c 1112s |      26 | 11350694 | 11346352 |      284  99193 |        0 |        0
1116.54/1116.88	c 1114s |      26 | 11369294 | 11364952 |      284  99314 |        0 |        0
1118.55/1118.89	c 1116s |      26 | 11387703 | 11383352 |      284  99434 |        0 |        0
1120.05/1120.34	c 1118s |      27 | 11401081 | 11396733 |      284  99522 |        0 |        0
1122.05/1122.35	c 1120s |      27 | 11419704 | 11415333 |      284  99640 |        0 |        0
1124.05/1124.35	c 1122s |      27 | 11438806 | 11434433 |      284  99763 |        0 |        0
1126.05/1126.35	c 1124s |      27 | 11457820 | 11453433 |      284  99885 |        0 |        0
1128.04/1128.36	c 1126s |      27 | 11476821 | 11472433 |      284 100007 |        0 |        0
1130.04/1130.36	c 1128s |      27 | 11496127 | 11491733 |      284 100131 |        0 |        0
1132.04/1132.37	c 1130s |      27 | 11515142 | 11510733 |      284 100254 |        0 |        0
1134.04/1134.37	c 1132s |      27 | 11534441 | 11530033 |      284 100379 |        0 |        0
1136.05/1136.38	c 1134s |      27 | 11553548 | 11549133 |      284 100502 |        0 |        0
1138.04/1138.38	c 1136s |      27 | 11572456 | 11568033 |      284 100623 |        0 |        0
1140.04/1140.38	c 1138s |      27 | 11591455 | 11587033 |      284 100745 |        0 |        0
1142.04/1142.39	c 1140s |      27 | 11610359 | 11605933 |      284 100867 |        0 |        0
1144.13/1144.40	c 1142s |      27 | 11628982 | 11624533 |      284 100987 |        0 |        0
1146.13/1146.41	c 1144s |      27 | 11647386 | 11642933 |      284 101106 |        0 |        0
1148.14/1148.42	c 1146s |      27 | 11665991 | 11661533 |      284 101226 |        0 |        0
1150.13/1150.43	c 1148s |      27 | 11684803 | 11680333 |      284 101349 |        0 |        0
1152.13/1152.44	c 1150s |      27 | 11703519 | 11699033 |      284 101471 |        0 |        0
1154.13/1154.44	c 1152s |      27 | 11722237 | 11717733 |      284 101592 |        0 |        0
1156.14/1156.45	c 1154s |      27 | 11740943 | 11736433 |      284 101714 |        0 |        0
1158.15/1158.46	c 1156s |      27 | 11760253 | 11755733 |      284 101839 |        0 |        0
1160.14/1160.47	c 1158s |      27 | 11779279 | 11774733 |      284 101964 |        0 |        0
1162.13/1162.48	c 1160s |      27 | 11797789 | 11793233 |      284 102085 |        0 |        0
1164.13/1164.48	c 1162s |      27 | 11816602 | 11812033 |      284 102207 |        0 |        0
1166.13/1166.49	c 1164s |      27 | 11835518 | 11830933 |      284 102329 |        0 |        0
1168.13/1168.49	c 1166s |      27 | 11854841 | 11850233 |      284 102455 |        0 |        0
1170.14/1170.49	c 1168s |      27 | 11873754 | 11869133 |      284 102579 |        0 |        0
1172.13/1172.49	c 1170s |      27 | 11892678 | 11888033 |      284 102701 |        0 |        0
1174.23/1174.50	c 1172s |      27 | 11911790 | 11907133 |      284 102826 |        0 |        0
1176.23/1176.50	c 1174s |      27 | 11931197 | 11926533 |      284 102953 |        0 |        0
1178.23/1178.51	c 1176s |      27 | 11950707 | 11946033 |      284 103082 |        0 |        0
1180.23/1180.51	c 1178s |      27 | 11970226 | 11965533 |      284 103212 |        0 |        0
1182.23/1182.52	c 1180s |      27 | 11989340 | 11984633 |      284 103337 |        0 |        0
1184.22/1184.52	c 1182s |      27 | 12008639 | 12003933 |      284 103463 |        0 |        0
1186.22/1186.53	c 1184s |      27 | 12027842 | 12023133 |      284 103587 |        0 |        0
1188.22/1188.53	c 1186s |      27 | 12046745 | 12042033 |      284 103709 |        0 |        0
1190.22/1190.54	c 1188s |      27 | 12065358 | 12060633 |      284 103830 |        0 |        0
1192.22/1192.55	c 1190s |      27 | 12084458 | 12079733 |      284 103954 |        0 |        0
1194.21/1194.55	c 1192s |      27 | 12103762 | 12099033 |      284 104079 |        0 |        0
1196.21/1196.56	c 1194s |      27 | 12122968 | 12118233 |      284 104206 |        0 |        0
1198.21/1198.57	c 1196s |      27 | 12141675 | 12136933 |      284 104328 |        0 |        0
1200.21/1200.58	c 1198s |      27 | 12160276 | 12155533 |      284 104449 |        0 |        0
1202.21/1202.58	c 1200s |      27 | 12178883 | 12174133 |      284 104571 |        0 |        0
1204.22/1204.58	c 1202s |      27 | 12197490 | 12192733 |      284 104694 |        0 |        0
1206.21/1206.58	c 1204s |      27 | 12216298 | 12211533 |      284 104814 |        0 |        0
1208.21/1208.58	c 1206s |      27 | 12235198 | 12230433 |      284 104935 |        0 |        0
1210.21/1210.59	c 1208s |      27 | 12254506 | 12249733 |      284 105060 |        0 |        0
1212.31/1212.60	c 1210s |      27 | 12273112 | 12268333 |      284 105180 |        0 |        0
1214.31/1214.60	c 1212s |      27 | 12291518 | 12286733 |      284 105299 |        0 |        0
1216.31/1216.61	c 1214s |      27 | 12310523 | 12305733 |      284 105423 |        0 |        0
1218.30/1218.61	c 1216s |      27 | 12329727 | 12324933 |      284 105548 |        0 |        0
1220.30/1220.61	c 1218s |      27 | 12349240 | 12344433 |      284 105675 |        0 |        0
1222.30/1222.62	c 1220s |      27 | 12368842 | 12364033 |      284 105804 |        0 |        0
1224.30/1224.62	c 1222s |      27 | 12388450 | 12383633 |      284 105933 |        0 |        0
1226.31/1226.63	c 1224s |      27 | 12407364 | 12402533 |      284 106057 |        0 |        0
1228.30/1228.64	c 1226s |      27 | 12425869 | 12421033 |      284 106176 |        0 |        0
1230.30/1230.64	c 1228s |      27 | 12444481 | 12439633 |      284 106296 |        0 |        0
1232.30/1232.65	c 1230s |      27 | 12463197 | 12458333 |      284 106418 |        0 |        0
1234.31/1234.66	c 1232s |      27 | 12481923 | 12477033 |      284 106540 |        0 |        0
1236.30/1236.67	c 1234s |      27 | 12501060 | 12496133 |      284 106663 |        0 |        0
1238.31/1238.67	c 1236s |      27 | 12519969 | 12515033 |      284 106785 |        0 |        0
1240.30/1240.68	c 1238s |      27 | 12538677 | 12533733 |      284 106906 |        0 |        0
1242.30/1242.68	c 1240s |      27 | 12557603 | 12552633 |      284 107029 |        0 |        0
1244.30/1244.69	c 1242s |      27 | 12575516 | 12570533 |      284 107146 |        0 |        0
1246.30/1246.69	c 1244s |      27 | 12594042 | 12589033 |      284 107268 |        0 |        0
1248.40/1248.70	c 1246s |      27 | 12612872 | 12607833 |      284 107392 |        0 |        0
1250.40/1250.71	c 1248s |      27 | 12631575 | 12626533 |      284 107512 |        0 |        0
1252.40/1252.71	c 1250s |      27 | 12650292 | 12645233 |      284 107634 |        0 |        0
1254.40/1254.72	c 1252s |      27 | 12668903 | 12663833 |      284 107755 |        0 |        0
1256.40/1256.72	c 1254s |      27 | 12687607 | 12682533 |      284 107877 |        0 |        0
1258.40/1258.72	c 1256s |      27 | 12706316 | 12701233 |      284 107999 |        0 |        0
1260.40/1260.73	c 1258s |      27 | 12725222 | 12720133 |      284 108124 |        0 |        0
1262.40/1262.73	c 1260s |      27 | 12744249 | 12739133 |      284 108249 |        0 |        0
1264.39/1264.75	c 1262s |      27 | 12763363 | 12758233 |      284 108376 |        0 |        0
1266.39/1266.75	c 1264s |      27 | 12782569 | 12777433 |      284 108503 |        0 |        0
1268.39/1268.76	c 1266s |      27 | 12799969 | 12794833 |      284 108616 |        0 |        0
1270.39/1270.77	c 1268s |      27 | 12817981 | 12812833 |      284 108734 |        0 |        0
1272.39/1272.78	c 1270s |      27 | 12836189 | 12831033 |      284 108854 |        0 |        0
1274.39/1274.78	c 1272s |      27 | 12854500 | 12849333 |      284 108974 |        0 |        0
1276.39/1276.78	c 1274s |      27 | 12872908 | 12867733 |      284 109095 |        0 |        0
1278.38/1278.78	c 1276s |      27 | 12891522 | 12886333 |      284 109218 |        0 |        0
1280.38/1280.79	c 1278s |      27 | 12910342 | 12905133 |      284 109342 |        0 |        0
1282.48/1282.80	c 1280s |      27 | 12929158 | 12923933 |      284 109466 |        0 |        0
1284.49/1284.81	c 1282s |      27 | 12948059 | 12942833 |      284 109591 |        0 |        0
1286.48/1286.81	c 1284s |      27 | 12966765 | 12961533 |      284 109715 |        0 |        0
1288.48/1288.82	c 1286s |      27 | 12985274 | 12980033 |      284 109837 |        0 |        0
1290.48/1290.82	c 1288s |      27 | 13003987 | 12998733 |      284 109962 |        0 |        0
1292.48/1292.83	c 1290s |      27 | 13022392 | 13017133 |      284 110084 |        0 |        0
1294.48/1294.83	c 1292s |      27 | 13040607 | 13035333 |      284 110205 |        0 |        0
1296.48/1296.83	c 1294s |      27 | 13059214 | 13053933 |      284 110328 |        0 |        0
1298.48/1298.84	c 1296s |      27 | 13077927 | 13072633 |      284 110449 |        0 |        0
1300.47/1300.84	c 1298s |      27 | 13096530 | 13091233 |      284 110569 |        0 |        0
1302.47/1302.85	c 1300s |      27 | 13115342 | 13110033 |      284 110692 |        0 |        0
1304.47/1304.85	c 1302s |      27 | 13134755 | 13129433 |      284 110820 |        0 |        0
1306.48/1306.86	c 1304s |      27 | 13154270 | 13148933 |      284 110948 |        0 |        0
1308.47/1308.86	c 1306s |      27 | 13173968 | 13168633 |      284 111076 |        0 |        0
1310.46/1310.87	c 1308s |      27 | 13192874 | 13187533 |      284 111199 |        0 |        0
1312.46/1312.87	c 1310s |      27 | 13211972 | 13206633 |      284 111324 |        0 |        0
1314.47/1314.88	c 1312s |      27 | 13231173 | 13225833 |      284 111449 |        0 |        0
1316.48/1316.89	c 1314s |      27 | 13250580 | 13245233 |      284 111575 |        0 |        0
1318.47/1318.89	c 1316s |      27 | 13270279 | 13264933 |      284 111704 |        0 |        0
1320.47/1320.89	c 1318s |      27 | 13289580 | 13284233 |      284 111830 |        0 |        0
1322.47/1322.89	c 1320s |      27 | 13309083 | 13303733 |      284 111958 |        0 |        0
1324.57/1324.90	c 1322s |      27 | 13328192 | 13322833 |      284 112083 |        0 |        0
1326.57/1326.90	c 1324s |      27 | 13347303 | 13341933 |      284 112207 |        0 |        0
1328.57/1328.91	c 1326s |      27 | 13366008 | 13360633 |      284 112329 |        0 |        0
1330.56/1330.91	c 1328s |      27 | 13384810 | 13379433 |      284 112453 |        0 |        0
1332.56/1332.91	c 1330s |      27 | 13403619 | 13398233 |      284 112576 |        0 |        0
1334.56/1334.92	c 1332s |      27 | 13422531 | 13417133 |      284 112701 |        0 |        0
1336.56/1336.92	c 1334s |      27 | 13441843 | 13436433 |      284 112827 |        0 |        0
1338.56/1338.93	c 1336s |      27 | 13461740 | 13456333 |      284 112959 |        0 |        0
1340.56/1340.94	c 1338s |      27 | 13481151 | 13475733 |      284 113087 |        0 |        0
1342.55/1342.94	c 1340s |      27 | 13500457 | 13495033 |      284 113214 |        0 |        0
1344.55/1344.95	c 1342s |      27 | 13520361 | 13514933 |      284 113346 |        0 |        0
1346.55/1346.96	c 1344s |      27 | 13539476 | 13534033 |      284 113472 |        0 |        0
1348.55/1348.96	c 1346s |      27 | 13557768 | 13552333 |      284 113594 |        0 |        0
1350.56/1350.96	c 1348s |      27 | 13576283 | 13570833 |      284 113717 |        0 |        0
1352.55/1352.97	c 1350s |      27 | 13595000 | 13589533 |      284 113842 |        0 |        0
1354.55/1354.97	c 1352s |      27 | 13613406 | 13607933 |      284 113964 |        0 |        0
1356.55/1356.98	c 1354s |      27 | 13631930 | 13626433 |      284 114087 |        0 |        0
1358.55/1358.98	c 1356s |      27 | 13650956 | 13645433 |      284 114217 |        0 |        0
1360.54/1360.98	c 1358s |      27 | 13669472 | 13663933 |      284 114339 |        0 |        0
1362.56/1362.98	c 1360s |      27 | 13688272 | 13682733 |      284 114464 |        0 |        0
1364.55/1364.99	c 1362s |      27 | 13707292 | 13701733 |      284 114592 |        0 |        0
1366.65/1367.00	c 1364s |      27 | 13726317 | 13720733 |      284 114720 |        0 |        0
1368.65/1369.00	c 1366s |      27 | 13745220 | 13739633 |      284 114847 |        0 |        0
1370.65/1371.00	c 1368s |      27 | 13764148 | 13758533 |      284 114974 |        0 |        0
1372.65/1373.01	c 1370s |      27 | 13783156 | 13777533 |      284 115102 |        0 |        0
1374.65/1375.01	c 1372s |      27 | 13802380 | 13796733 |      284 115231 |        0 |        0
1376.64/1377.02	c 1374s |      27 | 13821575 | 13815933 |      284 115358 |        0 |        0
1378.64/1379.03	c 1376s |      27 | 13840786 | 13835133 |      284 115486 |        0 |        0
1380.64/1381.03	c 1378s |      27 | 13859887 | 13854233 |      284 115615 |        0 |        0
1382.64/1383.04	c 1380s |      27 | 13878800 | 13873133 |      284 115742 |        0 |        0
1384.65/1385.05	c 1382s |      27 | 13897711 | 13892033 |      284 115870 |        0 |        0
1386.64/1387.06	c 1384s |      27 | 13916617 | 13910933 |      284 115998 |        0 |        0
1388.64/1389.06	c 1386s |      27 | 13935248 | 13929533 |      284 116123 |        0 |        0
1390.64/1391.07	c 1388s |      27 | 13954059 | 13948333 |      284 116250 |        0 |        0
1392.64/1393.07	c 1390s |      27 | 13973072 | 13967333 |      284 116380 |        0 |        0
1394.64/1395.08	c 1392s |      27 | 13991684 | 13985933 |      284 116505 |        0 |        0
1396.64/1397.09	c 1394s |      27 | 14010708 | 14004933 |      284 116633 |        0 |        0
1398.73/1399.10	c 1396s |      27 | 14028820 | 14023033 |      284 116752 |        0 |        0
1400.73/1401.11	c 1398s |      27 | 14046527 | 14040733 |      284 116866 |        0 |        0
1402.73/1403.11	c 1400s |      27 | 14064528 | 14058733 |      284 116981 |        0 |        0
1404.73/1405.12	c 1402s |      27 | 14082542 | 14076733 |      284 117098 |        0 |        0
1406.73/1407.13	c 1405s |      27 | 14100555 | 14094733 |      284 117213 |        0 |        0
1408.74/1409.14	c 1407s |      27 | 14118863 | 14113033 |      284 117332 |        0 |        0
1410.73/1411.14	c 1409s |      27 | 14137077 | 14131233 |      284 117450 |        0 |        0
1412.73/1413.15	c 1411s |      27 | 14155281 | 14149433 |      284 117569 |        0 |        0
1414.73/1415.15	c 1413s |      27 | 14173589 | 14167733 |      284 117688 |        0 |        0
1416.72/1417.16	c 1415s |      27 | 14192000 | 14186133 |      284 117809 |        0 |        0
1418.73/1419.16	c 1417s |      27 | 14210504 | 14204633 |      284 117928 |        0 |        0
1420.72/1421.17	c 1419s |      27 | 14229111 | 14223233 |      284 118049 |        0 |        0
1422.72/1423.18	c 1421s |      27 | 14246922 | 14241033 |      284 118164 |        0 |        0
1424.72/1425.19	c 1423s |      27 | 14265133 | 14259233 |      284 118283 |        0 |        0
1426.72/1427.19	c 1425s |      27 | 14283650 | 14277733 |      284 118404 |        0 |        0
1428.82/1429.20	c 1427s |      27 | 14302866 | 14296933 |      284 118529 |        0 |        0
1430.73/1431.20	c 1429s |      27 | 14322175 | 14316233 |      284 118655 |        0 |        0
1432.82/1433.21	c 1431s |      27 | 14340482 | 14334533 |      284 118776 |        0 |        0
1434.82/1435.21	c 1433s |      27 | 14359284 | 14353333 |      284 118900 |        0 |        0
1436.82/1437.22	c 1435s |      27 | 14378588 | 14372633 |      284 119028 |        0 |        0
1438.82/1439.23	c 1437s |      27 | 14397496 | 14391533 |      284 119153 |        0 |        0
1440.81/1441.23	c 1439s |      27 | 14416501 | 14410533 |      284 119278 |        0 |        0
1442.82/1443.24	c 1441s |      27 | 14435204 | 14429233 |      284 119400 |        0 |        0
1444.81/1445.25	c 1443s |      27 | 14453519 | 14447533 |      284 119519 |        0 |        0
1446.81/1447.25	c 1445s |      27 | 14472020 | 14466033 |      284 119638 |        0 |        0
1448.81/1449.25	c 1447s |      27 | 14490844 | 14484833 |      284 119761 |        0 |        0
1450.81/1451.26	c 1449s |      27 | 14509654 | 14503633 |      284 119883 |        0 |        0
1452.82/1453.27	c 1451s |      27 | 14527973 | 14521933 |      284 120001 |        0 |        0
1454.81/1455.28	c 1453s |      27 | 14546279 | 14540233 |      284 120121 |        0 |        0
1456.81/1457.29	c 1455s |      27 | 14565285 | 14559233 |      284 120244 |        0 |        0
1458.91/1459.30	c 1457s |      27 | 14584095 | 14578033 |      284 120366 |        0 |        0
1460.90/1461.31	c 1459s |      27 | 14602919 | 14596833 |      284 120489 |        0 |        0
1462.90/1463.31	c 1461s |      27 | 14621524 | 14615433 |      284 120612 |        0 |        0
1464.91/1465.31	c 1463s |      27 | 14640829 | 14634733 |      284 120739 |        0 |        0
1466.90/1467.31	c 1465s |      27 | 14659543 | 14653433 |      284 120861 |        0 |        0
1468.90/1469.32	c 1467s |      27 | 14678057 | 14671933 |      284 120983 |        0 |        0
1470.90/1471.32	c 1469s |      27 | 14696577 | 14690433 |      284 121104 |        0 |        0
1472.90/1473.32	c 1471s |      27 | 14714995 | 14708833 |      284 121227 |        0 |        0
1474.90/1475.33	c 1473s |      27 | 14733704 | 14727533 |      284 121351 |        0 |        0
1476.90/1477.33	c 1475s |      27 | 14751628 | 14745433 |      284 121468 |        0 |        0
1478.90/1479.34	c 1477s |      27 | 14769641 | 14763433 |      284 121586 |        0 |        0
1480.89/1481.34	c 1479s |      27 | 14787646 | 14781433 |      284 121704 |        0 |        0
1482.89/1483.35	c 1481s |      27 | 14806357 | 14800133 |      284 121827 |        0 |        0
1484.89/1485.35	c 1483s |      27 | 14824663 | 14818433 |      284 121947 |        0 |        0
1486.90/1487.36	c 1485s |      27 | 14843370 | 14837133 |      284 122071 |        0 |        0
1488.89/1489.36	c 1487s |      27 | 14862369 | 14856133 |      284 122196 |        0 |        0
1490.89/1491.36	c 1489s |      27 | 14881174 | 14874933 |      284 122321 |        0 |        0
1492.89/1493.37	c 1491s |      27 | 14900082 | 14893833 |      284 122447 |        0 |        0
1494.89/1495.37	c 1493s |      27 | 14918890 | 14912633 |      284 122570 |        0 |        0
1496.89/1497.37	c 1495s |      27 | 14936594 | 14930333 |      284 122683 |        0 |        0
1498.90/1499.38	c 1497s |      27 | 14954405 | 14948133 |      284 122798 |        0 |        0
1500.89/1501.39	c 1499s |      27 | 14972611 | 14966333 |      284 122916 |        0 |        0
1502.89/1503.40	c 1501s |      27 | 14990716 | 14984433 |      284 123033 |        0 |        0
1504.99/1505.40	c 1503s |      27 | 15009126 | 15002833 |      284 123152 |        0 |        0
1506.99/1507.41	c 1505s |      27 | 15027731 | 15021433 |      284 123273 |        0 |        0
1508.99/1509.41	c 1507s |      27 | 15046239 | 15039933 |      284 123393 |        0 |        0
1511.00/1511.41	c 1509s |      27 | 15064245 | 15057933 |      284 123510 |        0 |        0
1512.99/1513.42	c 1511s |      27 | 15082653 | 15076333 |      284 123630 |        0 |        0
1514.99/1515.42	c 1513s |      27 | 15101262 | 15094933 |      284 123753 |        0 |        0
1516.99/1517.43	c 1515s |      27 | 15119663 | 15113333 |      284 123874 |        0 |        0
1518.99/1519.44	c 1517s |      27 | 15138173 | 15131833 |      284 123996 |        0 |        0
1521.00/1521.44	c 1519s |      27 | 15156888 | 15150533 |      284 124120 |        0 |        0
1522.99/1523.44	c 1521s |      27 | 15176212 | 15169833 |      284 124248 |        0 |        0
1524.99/1525.44	c 1523s |      27 | 15195511 | 15189133 |      284 124372 |        0 |        0
1526.99/1527.45	c 1525s |      27 | 15214422 | 15208033 |      284 124494 |        0 |        0
1528.99/1529.46	c 1527s |      27 | 15233929 | 15227533 |      284 124621 |        0 |        0
1530.99/1531.46	c 1529s |      27 | 15252641 | 15246233 |      284 124743 |        0 |        0
1533.00/1533.46	c 1531s |      27 | 15271551 | 15265133 |      284 124868 |        0 |        0
1534.99/1535.47	c 1533s |      27 | 15290158 | 15283733 |      284 124990 |        0 |        0
1536.99/1537.48	c 1535s |      27 | 15308764 | 15302333 |      284 125113 |        0 |        0
1538.99/1539.49	c 1537s |      27 | 15327567 | 15321133 |      284 125237 |        0 |        0
1540.99/1541.49	c 1539s |      27 | 15346782 | 15340333 |      284 125366 |        0 |        0
1543.09/1543.50	c 1541s |      27 | 15366197 | 15359733 |      284 125493 |        0 |        0
1545.09/1545.51	c 1543s |      27 | 15384301 | 15377833 |      284 125611 |        0 |        0
1547.08/1547.51	c 1545s |      27 | 15403209 | 15396733 |      284 125735 |        0 |        0
1549.08/1549.52	c 1547s |      27 | 15421608 | 15415133 |      284 125858 |        0 |        0
1551.08/1551.52	c 1549s |      27 | 15439613 | 15433133 |      284 125976 |        0 |        0
1553.08/1553.53	c 1551s |      27 | 15457729 | 15451233 |      284 126096 |        0 |        0
1555.09/1555.53	c 1553s |      27 | 15475931 | 15469433 |      284 126216 |        0 |        0
1557.08/1557.54	c 1555s |      27 | 15493436 | 15486933 |      284 126329 |        0 |        0
1559.08/1559.54	c 1557s |      27 | 15511147 | 15504633 |      284 126444 |        0 |        0
1561.08/1561.55	c 1559s |      27 | 15528957 | 15522433 |      284 126560 |        0 |        0
1563.08/1563.56	c 1561s |      27 | 15546962 | 15540433 |      284 126678 |        0 |        0
1565.09/1565.56	c 1563s |      27 | 15564274 | 15557733 |      284 126791 |        0 |        0
1567.09/1567.57	c 1565s |      27 | 15581885 | 15575333 |      284 126905 |        0 |        0
1569.09/1569.57	c 1567s |      27 | 15599989 | 15593433 |      284 127024 |        0 |        0
1571.09/1571.57	c 1569s |      27 | 15618300 | 15611733 |      284 127144 |        0 |        0
1573.08/1573.57	c 1571s |      27 | 15636798 | 15630233 |      284 127265 |        0 |        0
1575.08/1575.58	c 1573s |      27 | 15655007 | 15648433 |      284 127385 |        0 |        0
1577.09/1577.58	c 1575s |      27 | 15673109 | 15666533 |      284 127504 |        0 |        0
1579.08/1579.58	c 1577s |      27 | 15691411 | 15684833 |      284 127625 |        0 |        0
1581.08/1581.59	c 1579s |      27 | 15709918 | 15703333 |      284 127749 |        0 |        0
1583.08/1583.59	c 1581s |      27 | 15728920 | 15722333 |      284 127873 |        0 |        0
1585.08/1585.59	c 1583s |      27 | 15748230 | 15741633 |      284 128000 |        0 |        0
1587.18/1587.60	c 1585s |      27 | 15767332 | 15760733 |      284 128125 |        0 |        0
1589.19/1589.61	c 1587s |      27 | 15786640 | 15780033 |      284 128252 |        0 |        0
1591.18/1591.62	c 1589s |      27 | 15806241 | 15799633 |      284 128382 |        0 |        0
1593.18/1593.62	c 1591s |      27 | 15825552 | 15818933 |      284 128508 |        0 |        0
1595.18/1595.63	c 1593s |      27 | 15844555 | 15837933 |      284 128634 |        0 |        0
1597.18/1597.64	c 1595s |      27 | 15863357 | 15856733 |      284 128758 |        0 |        0
1599.18/1599.64	c 1597s |      27 | 15882461 | 15875833 |      284 128885 |        0 |        0
1601.19/1601.65	c 1599s |      27 | 15900975 | 15894333 |      284 129008 |        0 |        0
1603.18/1603.66	c 1601s |      27 | 15919577 | 15912933 |      284 129131 |        0 |        0
1605.18/1605.66	c 1603s |      27 | 15938580 | 15931933 |      284 129257 |        0 |        0
1607.18/1607.67	c 1605s |      27 | 15957688 | 15951033 |      284 129384 |        0 |        0
1609.17/1609.67	c 1607s |      27 | 15976496 | 15969833 |      284 129510 |        0 |        0
1611.18/1611.68	c 1609s |      27 | 15995301 | 15988633 |      284 129636 |        0 |        0
1613.17/1613.68	c 1611s |      27 | 16014308 | 16007633 |      284 129764 |        0 |        0
1615.17/1615.69	c 1613s |      27 | 16033323 | 16026633 |      284 129891 |        0 |        0
1617.27/1617.70	c 1615s |      27 | 16051439 | 16044733 |      284 130009 |        0 |        0
1619.27/1619.70	c 1617s |      27 | 16069454 | 16062733 |      284 130128 |        0 |        0
1621.27/1621.70	c 1619s |      27 | 16087658 | 16080933 |      284 130246 |        0 |        0
1623.28/1623.71	c 1621s |      27 | 16105671 | 16098933 |      284 130365 |        0 |        0
1625.27/1625.71	c 1623s |      27 | 16123978 | 16117233 |      284 130485 |        0 |        0
1627.27/1627.72	c 1625s |      27 | 16142796 | 16136033 |      284 130608 |        0 |        0
1629.27/1629.72	c 1627s |      27 | 16161804 | 16155033 |      284 130734 |        0 |        0
1631.27/1631.73	c 1629s |      27 | 16181114 | 16174333 |      284 130862 |        0 |        0
1633.27/1633.73	c 1631s |      27 | 16200025 | 16193233 |      284 130987 |        0 |        0
1635.28/1635.74	c 1633s |      27 | 16219225 | 16212433 |      284 131113 |        0 |        0
1637.27/1637.75	c 1635s |      27 | 16238428 | 16231633 |      284 131239 |        0 |        0
1639.27/1639.75	c 1637s |      27 | 16257835 | 16251033 |      284 131366 |        0 |        0
1641.27/1641.76	c 1639s |      27 | 16277344 | 16270533 |      284 131495 |        0 |        0
1643.27/1643.76	c 1641s |      27 | 16296865 | 16290033 |      284 131624 |        0 |        0
1645.27/1645.77	c 1643s |      27 | 16316673 | 16309833 |      284 131755 |        0 |        0
1647.27/1647.77	c 1645s |      27 | 16336472 | 16329633 |      284 131885 |        0 |        0
1649.27/1649.78	c 1647s |      27 | 16356275 | 16349433 |      284 132016 |        0 |        0
1651.27/1651.79	c 1649s |      27 | 16375586 | 16368733 |      284 132143 |        0 |        0
1653.27/1653.79	c 1651s |      27 | 16394690 | 16387833 |      284 132270 |        0 |        0
1655.37/1655.80	c 1653s |      27 | 16413604 | 16406733 |      284 132396 |        0 |        0
1657.28/1657.80	c 1655s |      27 | 16432714 | 16425833 |      284 132525 |        0 |        0
1659.37/1659.80	c 1657s |      27 | 16452139 | 16445233 |      284 132657 |        0 |        0
1661.37/1661.81	c 1659s |      27 | 16471462 | 16464533 |      284 132788 |        0 |        0
1663.37/1663.81	c 1661s |      27 | 16489472 | 16482533 |      284 132906 |        0 |        0
1665.37/1665.82	c 1663s |      27 | 16507576 | 16500633 |      284 133025 |        0 |        0
1667.37/1667.82	c 1665s |      27 | 16525787 | 16518833 |      284 133145 |        0 |        0
1669.38/1669.83	c 1667s |      27 | 16543993 | 16537033 |      284 133265 |        0 |        0
1671.37/1671.84	c 1669s |      27 | 16562410 | 16555433 |      284 133387 |        0 |        0
1673.37/1673.84	c 1671s |      27 | 16581014 | 16574033 |      284 133512 |        0 |        0
1675.37/1675.85	c 1673s |      27 | 16599513 | 16592533 |      284 133636 |        0 |        0
1677.37/1677.86	c 1675s |      27 | 16618028 | 16611033 |      284 133758 |        0 |        0
1679.37/1679.86	c 1677s |      27 | 16636541 | 16629533 |      284 133882 |        0 |        0
1681.37/1681.86	c 1679s |      27 | 16654957 | 16647933 |      284 134004 |        0 |        0
1683.36/1683.87	c 1681s |      27 | 16673871 | 16666833 |      284 134132 |        0 |        0
1685.36/1685.88	c 1683s |      27 | 16692776 | 16685733 |      284 134258 |        0 |        0
1687.36/1687.89	c 1685s |      27 | 16711786 | 16704733 |      284 134385 |        0 |        0
1689.46/1689.90	c 1687s |      27 | 16731204 | 16724133 |      284 134517 |        0 |        0
1691.37/1691.90	c 1689s |      27 | 16750530 | 16743433 |      284 134648 |        0 |        0
1693.46/1693.91	c 1691s |      27 | 16770336 | 16763233 |      284 134780 |        0 |        0
1695.46/1695.91	c 1693s |      27 | 16790436 | 16783333 |      284 134913 |        0 |        0
1697.46/1697.92	c 1695s |      27 | 16810141 | 16803033 |      284 135044 |        0 |        0
1699.46/1699.92	c 1697s |      27 | 16829651 | 16822533 |      284 135175 |        0 |        0
1701.46/1701.92	c 1699s |      27 | 16849346 | 16842233 |      284 135305 |        0 |        0
1703.47/1703.93	c 1701s |      27 | 16869252 | 16862133 |      284 135438 |        0 |        0
1705.46/1705.94	c 1703s |      27 | 16888459 | 16881333 |      284 135565 |        0 |        0
1707.46/1707.94	c 1705s |      27 | 16907157 | 16900033 |      284 135690 |        0 |        0
1709.46/1709.95	c 1707s |      27 | 16926093 | 16918933 |      284 135816 |        0 |        0
1711.46/1711.95	c 1709s |      27 | 16944503 | 16937333 |      284 135940 |        0 |        0
1713.46/1713.96	c 1711s |      27 | 16963125 | 16955933 |      284 136067 |        0 |        0
1715.46/1715.96	c 1713s |      27 | 16981845 | 16974633 |      313 136191 |        0 |        0
1717.46/1717.97	c 1715s |      27 | 17000459 | 16993233 |      313 136305 |        0 |        0
1719.45/1719.97	c 1717s |      27 | 17018800 | 17011533 |      313 136418 |        0 |        0
1721.45/1721.97	c 1719s |      27 | 17037817 | 17030533 |      313 136536 |        0 |        0
1723.45/1723.97	c 1721s |      27 | 17056742 | 17049433 |      313 136654 |        0 |        0
1725.46/1725.98	c 1723s |      27 | 17076053 | 17068733 |      313 136773 |        0 |        0
1727.45/1727.99	c 1725s |      27 | 17095851 | 17088533 |      313 136895 |        0 |        0
1728.25/1728.71	c 1726s |      28 | 17102534 | 17095205 |      313 136935 |        0 |        0
1730.25/1730.72	c 1728s |      28 | 17119967 | 17112605 |      313 137037 |        0 |        0
1732.25/1732.72	c 1730s |      28 | 17137190 | 17129805 |      313 137138 |        0 |        0
1734.26/1734.73	c 1732s |      28 | 17154406 | 17147005 |      313 137239 |        0 |        0
1736.25/1736.73	c 1734s |      28 | 17171821 | 17164405 |      313 137340 |        0 |        0
1738.26/1738.74	c 1736s |      28 | 17189139 | 17181705 |      313 137442 |        0 |        0
1740.26/1740.74	c 1738s |      28 | 17206659 | 17199205 |      313 137545 |        0 |        0
1742.26/1742.75	c 1740s |      28 | 17224269 | 17216805 |      313 137648 |        0 |        0
1744.26/1744.76	c 1742s |      28 | 17241685 | 17234205 |      313 137750 |        0 |        0
1746.26/1746.76	c 1744s |      28 | 17259201 | 17251705 |      313 137853 |        0 |        0
1748.26/1748.77	c 1746s |      28 | 17276714 | 17269205 |      313 137957 |        0 |        0
1750.26/1750.77	c 1748s |      28 | 17294426 | 17286905 |      313 138061 |        0 |        0
1752.26/1752.78	c 1750s |      28 | 17311937 | 17304405 |      313 138163 |        0 |        0
1754.26/1754.78	c 1752s |      28 | 17328960 | 17321405 |      313 138263 |        0 |        0
1756.26/1756.79	c 1754s |      28 | 17346172 | 17338605 |      313 138366 |        0 |        0
1758.25/1758.79	c 1756s |      28 | 17363288 | 17355705 |      313 138467 |        0 |        0
1760.25/1760.79	c 1758s |      28 | 17380616 | 17373005 |      313 138571 |        0 |        0
1762.25/1762.80	c 1760s |      28 | 17397638 | 17390005 |      313 138672 |        0 |        0
1764.35/1764.80	c 1762s |      28 | 17414859 | 17407205 |      313 138774 |        0 |        0
1766.35/1766.80	c 1764s |      28 | 17432175 | 17424505 |      313 138878 |        0 |        0
1768.36/1768.81	c 1766s |      28 | 17449894 | 17442205 |      313 138983 |        0 |        0
1770.35/1770.82	c 1768s |      28 | 17467412 | 17459705 |      313 139086 |        0 |        0
1772.35/1772.83	c 1770s |      28 | 17484830 | 17477105 |      313 139188 |        0 |        0
1774.35/1774.83	c 1772s |      28 | 17502043 | 17494305 |      313 139289 |        0 |        0
1776.35/1776.84	c 1774s |      28 | 17519246 | 17511505 |      313 139390 |        0 |        0
1778.36/1778.85	c 1776s |      28 | 17536054 | 17528305 |      313 139490 |        0 |        0
1780.35/1780.85	c 1778s |      28 | 17553465 | 17545705 |      313 139592 |        0 |        0
1782.35/1782.85	c 1780s |      28 | 17570773 | 17563005 |      313 139695 |        0 |        0
1784.35/1784.86	c 1782s |      28 | 17588503 | 17580705 |      313 139801 |        0 |        0
1786.35/1786.86	c 1784s |      28 | 17606238 | 17598405 |      313 139907 |        0 |        0
1788.35/1788.86	c 1786s |      28 | 17623546 | 17615705 |      313 140012 |        0 |        0
1790.35/1790.87	c 1788s |      28 | 17641262 | 17633405 |      313 140117 |        0 |        0
1792.34/1792.87	c 1790s |      28 | 17658265 | 17650405 |      313 140218 |        0 |        0
1794.34/1794.88	c 1792s |      28 | 17675161 | 17667305 |      313 140319 |        0 |        0
1796.34/1796.88	c 1794s |      28 | 17692178 | 17684305 |      313 140420 |        0 |        0
1798.34/1798.89	c 1796s |      28 | 17709090 | 17701205 |      313 140520 |        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-4078590-1465238732/watcher-4078590-1465238732 -o /tmp/evaluation-result-4078590-1465238732/solver-4078590-1465238732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078590-1465238732.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.19 2.17 3/179 2074
/proc/meminfo: memFree=29217216/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 2640 0 0 0 0 0 0 0 20 0 4 0 105806779 726069248 2491 33554432000 4194304 16246674 140733794650464 140733794649888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 177775 2499 441 2943 0 174669 0
[pid=2074/tid=2075] ppid=2071 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 770109440 2663 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=757180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 775352320 2682 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105806779 780595200 2699 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.27 2.19 2.17 3/179 2074
/proc/meminfo: memFree=29217216/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 26814 0 0 0 6 3 0 0 20 0 4 0 105806779 1247350784 26656 33554432000 4194304 16246674 140733794650464 140733794649888 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 304529 26668 601 2943 0 301423 0
[pid=2074/tid=2075] ppid=2071 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1247350784 26677 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1247350784 26687 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105806779 1247350784 26696 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200542 s]
/proc/loadavg: 2.27 2.19 2.17 3/179 2074
/proc/meminfo: memFree=29217216/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 49084 0 0 0 13 6 0 0 20 0 4 0 105806779 1247350784 48926 33554432000 4194304 16246674 140733794650464 140733794649888 12652021 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 304529 48931 601 2943 0 301423 0
[pid=2074/tid=2075] ppid=2071 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1247350784 48935 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1247350784 48939 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105806779 1247350784 48943 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300497 s]
/proc/loadavg: 2.27 2.19 2.17 3/179 2074
/proc/meminfo: memFree=29217216/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 72277 0 0 0 20 9 0 0 20 0 4 0 105806779 1247350784 72119 33554432000 4194304 16246674 140733794650464 140733794649888 13007928 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 304529 72134 601 2943 0 301423 0
[pid=2074/tid=2075] ppid=2071 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1247350784 72145 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1247350784 72154 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105806779 1247350784 72163 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70036 s]
/proc/loadavg: 2.27 2.19 2.17 3/179 2074
/proc/meminfo: memFree=29217216/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 160310 0 0 0 48 21 0 0 20 0 4 0 105806779 1247350784 160151 33554432000 4194304 16246674 140733794650464 140733794649888 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 304529 160156 601 2943 0 301423 0
[pid=2074/tid=2075] ppid=2071 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1247350784 160159 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1247350784 160161 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105806779 1247350784 160164 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.27 2.19 2.17 3/183 2078
/proc/meminfo: memFree=28230896/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1258052 CPUtime=1.49 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 255575 0 0 0 118 31 0 0 20 0 4 0 105806779 1288245248 255372 33554432000 4194304 16246674 140733794650464 140733794649776 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 314513 255372 832 2943 0 311407 0
[pid=2074/tid=2075] ppid=2071 vsize=1258052 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1288245248 255372 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1258052 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1288245248 255372 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1258052 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1288245248 255372 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1258052

[startup+3.10042 s]
/proc/loadavg: 2.27 2.19 2.17 3/183 2078
/proc/meminfo: memFree=28188356/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1305156 CPUtime=3.08 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267446 0 0 0 276 32 0 0 20 0 4 0 105806779 1336479744 267243 33554432000 4194304 16246674 140733794650464 140733794632384 5861864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326289 267243 880 2943 0 323183 0
[pid=2074/tid=2075] ppid=2071 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1336479744 267243 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1336479744 267243 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1336479744 267243 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1305156

[startup+6.30043 s]
/proc/loadavg: 2.25 2.18 2.17 3/183 2078
/proc/meminfo: memFree=28149200/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267564 0 0 0 596 32 0 0 20 0 4 0 105806779 1337528320 267361 33554432000 4194304 16246674 140733794650464 140733794632384 5711369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267361 882 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267361 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267361 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267361 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.23 2.18 2.17 4/183 2078
/proc/meminfo: memFree=28149688/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267564 0 0 0 1236 32 0 0 20 0 4 0 105806779 1337528320 267361 33554432000 4194304 16246674 140733794650464 140733794632384 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267361 882 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267361 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267361 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267361 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.25 2.19 2.17 4/183 2078
/proc/meminfo: memFree=28150392/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267570 0 0 0 2516 33 0 0 20 0 4 0 105806779 1337528320 267367 33554432000 4194304 16246674 140733794650464 140733794633464 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267367 882 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267367 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267367 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267367 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.22 2.18 2.17 3/183 2078
/proc/meminfo: memFree=28145188/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267576 0 0 0 5075 33 0 0 20 0 4 0 105806779 1337528320 267373 33554432000 4194304 16246674 140733794650464 140733794632384 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267373 887 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267373 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267373 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267373 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.31 2.21 2.18 3/183 2080
/proc/meminfo: memFree=28054912/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267582 0 0 0 10193 35 0 0 20 0 4 0 105806779 1337528320 267379 33554432000 4194304 16246674 140733794650464 140733794633464 5712128 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267379 888 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267379 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267379 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267379 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 2.22 2.25 2.21 3/183 2182
/proc/meminfo: memFree=27478712/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=1361.94 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267941 0 0 0 136134 60 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140733794632384 5712090 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267745 889 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1306180

[startup+1422.3 s]
/proc/loadavg: 2.29 2.26 2.21 4/183 2183
/proc/meminfo: memFree=27478680/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=1421.93 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267967 0 0 0 142131 62 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140733794632384 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267745 889 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1306180

[startup+1482.3 s]
/proc/loadavg: 2.26 2.26 2.21 3/184 2187
/proc/meminfo: memFree=27478100/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=1481.89 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267998 0 0 0 148127 62 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140733794632384 13906983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267745 889 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1306180

[startup+1542.31 s]
/proc/loadavg: 2.22 2.24 2.20 3/183 2188
/proc/meminfo: memFree=27478616/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=1541.89 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267998 0 0 0 154126 63 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140733794632384 6021251 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267745 889 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1306180

[startup+1602.3 s]
/proc/loadavg: 2.31 2.25 2.21 3/183 2189
/proc/meminfo: memFree=27478516/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=1601.88 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267998 0 0 0 160124 64 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140733794632384 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267745 889 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1306180

[startup+1662.3 s]
/proc/loadavg: 2.25 2.24 2.20 3/183 2191
/proc/meminfo: memFree=27478300/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=1661.87 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267998 0 0 0 166122 65 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140733794633464 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267745 889 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1306180

[startup+1722.3 s]
/proc/loadavg: 2.31 2.25 2.21 4/183 2192
/proc/meminfo: memFree=27478580/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=1721.85 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267998 0 0 0 172120 65 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140733794633464 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267745 889 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1306180

[startup+1782.3 s]
/proc/loadavg: 2.37 2.28 2.22 3/183 2193
/proc/meminfo: memFree=27478112/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=1781.85 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267998 0 0 0 178119 66 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140733794632320 5600275 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267745 889 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1306180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.35 2.28 2.21 3/183 2194
/proc/meminfo: memFree=27478092/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=1800.04 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267998 0 0 0 179938 66 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140733794632384 5553792 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267745 889 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1306180

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2074 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.35 2.28 2.21 3/183 2194
/proc/meminfo: memFree=27478092/32872528 swapFree=16080/1655368
[pid=2074] ppid=2071 vsize=1306180 CPUtime=1800.04 cores=1,3,5,7
/proc/2074/stat : 2074 (toysat) R 2071 2074 32454 0 -1 4202496 267998 0 0 0 179938 66 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140733794632384 5553792 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 326545 267745 889 2943 0 323439 0
[pid=2074/tid=2075] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2075/stat : 2075 (toysat) S 2071 2074 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136305110256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2074/tid=2076] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2076/stat : 2076 (toysat) S 2071 2074 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136294620400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2074/tid=2077] ppid=2071 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2074/task/2077/stat : 2077 (toysat) S 2071 2074 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105806779 1337528320 267745 33554432000 4194304 16246674 140733794650464 140136284146864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1306180

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.669898
maximum resident set size= 1070980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267998
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= 320
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.35134 second user time and 7.17091 second system time

The end

Begin job on node122 at 2016-06-06 20:45:32
IDJOB=4078590
IDBENCH=2562
IDSOLVER=2542
FILE ID=node122/4078590-1465238732
RUNJOBID= node122-1465218907-32471
PBS_JOBID= 19843205
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078590-1465238732/watcher-4078590-1465238732 -o /tmp/evaluation-result-4078590-1465238732/solver-4078590-1465238732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078590-1465238732.opb

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

MD5SUM BENCH= d900242764082ad39bc001b38a8b6b82
RANDOM SEED=1255334663

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29217752 kB
Buffers:           39768 kB
Cached:           106804 kB
SwapCached:          860 kB
Active:          1230164 kB
Inactive:          64384 kB
Active(anon):    1148700 kB
Inactive(anon):     1584 kB
Active(file):      81464 kB
Inactive(file):    62800 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099464 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:       2802836 kB
Mapped:            10744 kB
Shmem:                 0 kB
Slab:             568232 kB
SReclaimable:      12132 kB
SUnreclaim:       556100 kB
KernelStack:        1448 kB
PageTables:         9536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2946192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2783232 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= 71712 MiB
End job on node122 at 2016-06-06 21:15:33