0.00/0.00	c 2016-06-30T19:45:44+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-4120002-1467308744.opb"]
0.00/0.01	c use --random-gen="295518178 908123822 4263302307 4116314944 1656763968 2448893161 594403736 533794123 1070749096 1636488605 1261946625 1237649772 2564415804 1051308210 509672626 1220104516 4055771562 3391292606 793677740 3794367717 2670618191 2144094041 3843468968 2343772545 718096375 3314081299 218818403 3553550852 1406064761 1159527295 635952782 2032515825 1296388966 895443461 337649929 3249801558 1256595071 689813154 1800038646 747415 1018334718 1253697139 1527607480 901324159 1973619135 1103368781 1333787820 3252834108 1517667607 1056310093 463815837 1746719901 2498745153 3472936660 2649363257 3924665904 3416895287 61104947 1794503953 720823426 2297311326 3695668670 2575190417 564932132 879015872 2968835173 3404225783 4206759055 1210677897 859274771 618795415 1249160593 2273658653 3299179713 859550151 520999349 1769112249 2794111078 1060628240 1372485993 837945334 3011313151 3742245024 882012311 2477772847 1513745474 2029758100 250027592 1907471651 3637578488 638541340 2878088100 4223760127 2583589272 475922228 3011309743 799525511 1541829306 3738587711 3942824279 1397151153 938943601 3965732615 2582810622 1082649869 2276832048 407418965 25048804 219791919 2744138947 1315829831 3534997086 482883723 2678680562 1728743899 915075843 2874090802 1954554811 2877730874 516378675 4279079594 149147576 3008488728 996723814 3590346313 3075243496 2565769024 4167543053 9695117 672809461 1284516349 3272265885 908730453 1557778015 3673693681 577021059 1536199680 86829068 312921349 1053417395 3659691012 1832199383 3111111023 1557567643 2787322837 2932630556 1960400015 3259900850 531276348 1420337553 1271015974 3026734956 2967268590 2895130913 3443522465 2742290991 1187148431 3155551307 4077591431 1282462581 822318121 3575290523 1718417486 2934792499 2750832712 2800433427 169176167 3512735488 3533660987 24085686 2333115796 3602149356 1933131957 3313414758 167091476 1092688757 1225118506 674013312 1631666837 360001065 3805343084 307674390 247000778 1513114114 4019517847 2996970060 832940436 164607868 1549680678 3568944629 917587179 1734930055 1254402980 437523646 4130560248 456498017 2249524657 739191897 2406279063 2860420717 459888028 1803421124 526278594 1445741930 472999342 1297035242 905822233 2759419162 825089341 2336064091 2064568206 646165223 3716671901 3255712341 3726035455 210872838 895973396 4281701482 3959745853 2266409164 1688172308 3449905630 2416841498 1921779614 1047860900 16100811 2996887044 3806921864 2723532065 1945079178 2321703606 3970871839 4237378318 2793119785 4207417335 1431628413 1233218195 113111861 2912870373 3777164800 2733215194 1903235129 1861625033 1882510138 2643622971 2087188557 2914430996 4064574486 2003900188 895737223 3902825058 3697202380 3794362274 523775002 4224699327 2313017271 255 362436" option to reproduce the execution
0.00/0.01	c #vars 138
0.00/0.01	c #constraints 368
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      168      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      187 |      100 |      168      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      417 |      250 |      185      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      743 |      475 |      204      2 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1158 |      813 |      225      5 |        0 |        0
0.09/0.16	c  0.1s |       5 |     1725 |     1320 |      248      8 |        0 |        0
0.19/0.23	c  0.2s |       6 |     2771 |     2081 |      301     12 |        0 |        0
0.29/0.35	c  0.3s |       7 |     4159 |     3223 |      332     19 |        0 |        0
0.49/0.54	c  0.5s |       8 |     6381 |     4936 |      366     28 |        0 |        0
0.79/0.82	c  0.8s |       9 |     9827 |     7506 |      403     41 |        0 |        0
1.10/1.14	c  1.1s |      10 |    14604 |    11361 |      444     59 |        0 |        0
1.49/1.52	c  1.5s |      11 |    22204 |    17144 |      489     84 |        0 |        0
1.99/2.09	c  2.1s |      12 |    35191 |    25819 |      538    118 |        0 |        0
2.89/2.95	c  2.9s |      13 |    53008 |    38832 |      592    165 |        0 |        0
4.50/4.55	c  4.5s |      14 |    77813 |    58352 |      652    228 |        0 |        0
6.49/6.55	c  6.5s |      14 |   115913 |    86152 |      652    311 |        0 |        0
6.60/6.66	c  6.6s |      15 |   117929 |    87632 |      718    315 |        0 |        0
8.59/8.67	c  8.7s |      15 |   156203 |   114032 |      718    387 |        0 |        0
9.90/9.99	c 10.0s |      16 |   180569 |   131552 |      790    435 |        0 |        0
11.89/11.99	c 12.0s |      16 |   219378 |   159352 |      790    504 |        0 |        0
13.99/14.00	c 14.0s |      16 |   256004 |   187852 |      790    575 |        0 |        0
14.59/14.69	c 14.7s |      17 |   268576 |   197432 |      870    599 |        0 |        0
16.59/16.69	c 16.7s |      17 |   304324 |   224232 |      870    659 |        0 |        0
18.58/18.70	c 18.7s |      17 |   340469 |   250932 |      870    720 |        0 |        0
20.68/20.70	c 20.7s |      17 |   374102 |   276832 |      870    779 |        0 |        0
22.10/22.12	c 22.1s |      18 |   401365 |   296252 |      958    822 |        0 |        0
24.09/24.12	c 24.1s |      18 |   436304 |   322152 |      958    875 |        0 |        0
26.09/26.13	c 26.1s |      18 |   465717 |   345752 |      958    924 |        0 |        0
28.09/28.13	c 28.1s |      18 |   498789 |   369152 |      958    972 |        0 |        0
30.09/30.14	c 30.1s |      18 |   532626 |   393552 |      958   1023 |        0 |        0
32.09/32.14	c 32.1s |      18 |   567583 |   419152 |      958   1075 |        0 |        0
34.09/34.14	c 34.1s |      18 |   600275 |   444052 |     1054   1126 |        0 |        0
34.09/34.18	c 34.2s |      19 |   600894 |   444482 |     1054   1127 |        0 |        0
36.09/36.18	c 36.2s |      19 |   625231 |   464282 |     1054   1163 |        0 |        0
38.08/38.19	c 38.2s |      19 |   653528 |   486182 |     1054   1204 |        0 |        0
40.08/40.19	c 40.2s |      19 |   686077 |   510282 |     1054   1249 |        0 |        0
42.18/42.20	c 42.2s |      19 |   716516 |   533782 |     1054   1293 |        0 |        0
44.18/44.20	c 44.2s |      19 |   747324 |   556882 |     1054   1337 |        0 |        0
46.19/46.21	c 46.2s |      19 |   780498 |   581282 |     1054   1383 |        0 |        0
48.18/48.21	c 48.2s |      19 |   813280 |   605282 |     1054   1428 |        0 |        0
50.18/50.22	c 50.2s |      19 |   846270 |   630482 |     1054   1475 |        0 |        0
52.18/52.22	c 52.2s |      19 |   878926 |   654182 |     1054   1520 |        0 |        0
53.18/53.27	c 53.3s |      20 |   895552 |   666827 |     1160   1542 |        0 |        0
55.18/55.28	c 55.3s |      20 |   926568 |   689727 |     1160   1581 |        0 |        0
57.19/57.29	c 57.3s |      20 |   957693 |   714227 |     1160   1623 |        0 |        0
59.19/59.29	c 59.3s |      20 |   991072 |   739027 |     1160   1665 |        0 |        0
61.18/61.29	c 61.3s |      20 |  1024712 |   764127 |     1160   1708 |        0 |        0
63.18/63.29	c 63.3s |      20 |  1057582 |   789527 |     1160   1751 |        0 |        0
65.28/65.30	c 65.3s |      20 |  1086906 |   813227 |     1160   1792 |        0 |        0
67.28/67.30	c 67.3s |      20 |  1116149 |   836727 |     1160   1832 |        0 |        0
69.29/69.31	c 69.3s |      20 |  1146454 |   860827 |     1160   1873 |        0 |        0
71.28/71.31	c 71.3s |      20 |  1180508 |   886427 |     1160   1917 |        0 |        0
73.28/73.32	c 73.3s |      20 |  1212188 |   911527 |     1160   1960 |        0 |        0
75.28/75.32	c 75.3s |      20 |  1238645 |   933527 |     1160   1997 |        0 |        0
77.28/77.32	c 77.3s |      20 |  1266075 |   955327 |     1160   2035 |        0 |        0
79.28/79.33	c 79.3s |      20 |  1294116 |   978027 |     1160   2073 |        0 |        0
81.27/81.33	c 81.3s |      20 |  1313180 |   995627 |     1276   2103 |        0 |        0
81.77/81.87	c 81.9s |      21 |  1318938 |  1000345 |     1276   2110 |        0 |        0
83.77/83.87	c 83.9s |      21 |  1351583 |  1024545 |     1276   2148 |        0 |        0
85.78/85.87	c 85.9s |      21 |  1381933 |  1047845 |     1276   2184 |        0 |        0
87.77/87.87	c 87.9s |      21 |  1412234 |  1071245 |     1276   2220 |        0 |        0
89.77/89.87	c 89.9s |      21 |  1442404 |  1094245 |     1276   2256 |        0 |        0
91.77/91.88	c 91.9s |      21 |  1476407 |  1119045 |     1276   2294 |        0 |        0
93.78/93.89	c 93.9s |      21 |  1508671 |  1142745 |     1276   2331 |        0 |        0
95.79/95.89	c 95.9s |      21 |  1534803 |  1163445 |     1276   2363 |        0 |        0
97.78/97.89	c 97.9s |      21 |  1562222 |  1184145 |     1276   2396 |        0 |        0
99.88/99.90	c 99.9s |      21 |  1590320 |  1206645 |     1276   2431 |        0 |        0
101.88/101.90	c  101s |      21 |  1622055 |  1230145 |     1276   2467 |        0 |        0
103.88/103.91	c  103s |      21 |  1653263 |  1253345 |     1276   2503 |        0 |        0
105.87/105.91	c  105s |      21 |  1682944 |  1275945 |     1276   2538 |        0 |        0
107.88/107.91	c  107s |      21 |  1712536 |  1298045 |     1276   2573 |        0 |        0
109.87/109.92	c  109s |      21 |  1743265 |  1320745 |     1276   2608 |        0 |        0
111.87/111.92	c  111s |      21 |  1772690 |  1342845 |     1276   2642 |        0 |        0
113.87/113.93	c  113s |      21 |  1802900 |  1366445 |     1276   2679 |        0 |        0
115.87/115.94	c  115s |      21 |  1834427 |  1389845 |     1276   2716 |        0 |        0
117.87/117.94	c  117s |      21 |  1868946 |  1415245 |     1276   2755 |        0 |        0
119.87/119.95	c  119s |      21 |  1896507 |  1437345 |     1276   2790 |        0 |        0
121.88/121.95	c  121s |      21 |  1930243 |  1462545 |     1276   2829 |        0 |        0
123.88/123.96	c  123s |      21 |  1964063 |  1486645 |     1276   2866 |        0 |        0
124.98/125.06	c  125s |      22 |  1983107 |  1500622 |     1404   2887 |        0 |        0
126.97/127.06	c  127s |      22 |  2014914 |  1524322 |     1404   2920 |        0 |        0
128.97/129.07	c  129s |      22 |  2047487 |  1548722 |     1404   2955 |        0 |        0
130.98/131.07	c  131s |      22 |  2078050 |  1572322 |     1404   2988 |        0 |        0
132.97/133.07	c  133s |      22 |  2107437 |  1595222 |     1404   3020 |        0 |        0
134.97/135.08	c  135s |      22 |  2139447 |  1619122 |     1404   3054 |        0 |        0
136.97/137.09	c  137s |      22 |  2163501 |  1638822 |     1404   3082 |        0 |        0
138.97/139.09	c  139s |      22 |  2190837 |  1660622 |     1404   3113 |        0 |        0
140.97/141.09	c  141s |      22 |  2223697 |  1684822 |     1404   3147 |        0 |        0
142.98/143.10	c  143s |      22 |  2255671 |  1708522 |     1404   3181 |        0 |        0
145.07/145.11	c  145s |      22 |  2287483 |  1732822 |     1404   3215 |        0 |        0
147.07/147.11	c  147s |      22 |  2318662 |  1756022 |     1404   3248 |        0 |        0
149.07/149.11	c  149s |      22 |  2349093 |  1779922 |     1404   3282 |        0 |        0
151.06/151.12	c  151s |      22 |  2381424 |  1803722 |     1404   3315 |        0 |        0
153.06/153.12	c  153s |      22 |  2411625 |  1827022 |     1404   3348 |        0 |        0
155.07/155.12	c  155s |      22 |  2441044 |  1849722 |     1404   3380 |        0 |        0
157.06/157.13	c  157s |      22 |  2473387 |  1873622 |     1404   3414 |        0 |        0
159.06/159.14	c  159s |      22 |  2503161 |  1896822 |     1404   3447 |        0 |        0
161.06/161.14	c  161s |      22 |  2531804 |  1919622 |     1404   3480 |        0 |        0
163.06/163.14	c  163s |      22 |  2565033 |  1944322 |     1404   3515 |        0 |        0
165.07/165.14	c  165s |      22 |  2597697 |  1968322 |     1404   3549 |        0 |        0
167.07/167.14	c  167s |      22 |  2629186 |  1991722 |     1404   3582 |        0 |        0
169.07/169.15	c  169s |      22 |  2658531 |  2013922 |     1404   3613 |        0 |        0
171.07/171.15	c  171s |      22 |  2688677 |  2036822 |     1404   3646 |        0 |        0
173.06/173.15	c  173s |      22 |  2719261 |  2059522 |     1404   3678 |        0 |        0
175.06/175.15	c  175s |      22 |  2750289 |  2082022 |     1404   3710 |        0 |        0
177.07/177.16	c  177s |      22 |  2780487 |  2105222 |     1404   3743 |        0 |        0
179.06/179.17	c  179s |      22 |  2811359 |  2128722 |     1404   3776 |        0 |        0
181.06/181.17	c  181s |      22 |  2844040 |  2153122 |     1404   3810 |        0 |        0
183.06/183.18	c  183s |      22 |  2877548 |  2177822 |     1404   3845 |        0 |        0
185.06/185.18	c  185s |      22 |  2911572 |  2203022 |     1404   3881 |        0 |        0
187.06/187.19	c  187s |      22 |  2943506 |  2226522 |     1404   3915 |        0 |        0
189.05/189.20	c  189s |      22 |  2975409 |  2250522 |     1545   3947 |        0 |        0
189.16/189.24	c  189s |      23 |  2976160 |  2251038 |     1545   3947 |        0 |        0
191.16/191.25	c  191s |      23 |  3001283 |  2271138 |     1545   3973 |        0 |        0
193.16/193.25	c  193s |      23 |  3029714 |  2292138 |     1545   4000 |        0 |        0
195.16/195.25	c  195s |      23 |  3053987 |  2312338 |     1545   4026 |        0 |        0
197.16/197.26	c  197s |      23 |  3082210 |  2333238 |     1545   4053 |        0 |        0
199.16/199.26	c  199s |      23 |  3112591 |  2355238 |     1545   4081 |        0 |        0
201.16/201.27	c  201s |      23 |  3141356 |  2376838 |     1545   4109 |        0 |        0
203.16/203.28	c  203s |      23 |  3166971 |  2397338 |     1545   4135 |        0 |        0
205.15/205.28	c  205s |      23 |  3190886 |  2416638 |     1545   4160 |        0 |        0
207.15/207.29	c  207s |      23 |  3216092 |  2436438 |     1545   4185 |        0 |        0
209.25/209.30	c  209s |      23 |  3245282 |  2457538 |     1545   4213 |        0 |        0
211.15/211.30	c  211s |      23 |  3272698 |  2478638 |     1545   4240 |        0 |        0
213.25/213.30	c  213s |      23 |  3303712 |  2499338 |     1545   4266 |        0 |        0
215.25/215.30	c  215s |      23 |  3336147 |  2521138 |     1545   4295 |        0 |        0
217.24/217.31	c  217s |      23 |  3367126 |  2543538 |     1545   4323 |        0 |        0
219.24/219.31	c  219s |      23 |  3397796 |  2565938 |     1545   4352 |        0 |        0
221.24/221.32	c  221s |      23 |  3424171 |  2586838 |     1545   4379 |        0 |        0
223.25/223.32	c  223s |      23 |  3451723 |  2607438 |     1545   4406 |        0 |        0
225.24/225.32	c  225s |      23 |  3479167 |  2627838 |     1545   4432 |        0 |        0
227.23/227.32	c  227s |      23 |  3507718 |  2649038 |     1545   4459 |        0 |        0
229.24/229.33	c  229s |      23 |  3533233 |  2668938 |     1545   4485 |        0 |        0
231.24/231.33	c  231s |      23 |  3559306 |  2688638 |     1545   4510 |        0 |        0
233.25/233.33	c  233s |      23 |  3584438 |  2708638 |     1545   4536 |        0 |        0
235.24/235.34	c  235s |      23 |  3609343 |  2729038 |     1545   4563 |        0 |        0
237.24/237.35	c  237s |      23 |  3636357 |  2749938 |     1545   4589 |        0 |        0
239.24/239.36	c  239s |      23 |  3664341 |  2771238 |     1545   4617 |        0 |        0
241.24/241.36	c  241s |      23 |  3690539 |  2792438 |     1545   4644 |        0 |        0
243.24/243.37	c  243s |      23 |  3719894 |  2815038 |     1545   4673 |        0 |        0
245.24/245.38	c  245s |      23 |  3747928 |  2836238 |     1545   4701 |        0 |        0
247.23/247.38	c  247s |      23 |  3770975 |  2855138 |     1545   4725 |        0 |        0
249.23/249.39	c  249s |      23 |  3796211 |  2875038 |     1545   4751 |        0 |        0
251.33/251.40	c  251s |      23 |  3824897 |  2896438 |     1545   4778 |        0 |        0
253.33/253.40	c  253s |      23 |  3852288 |  2917938 |     1545   4806 |        0 |        0
255.32/255.40	c  255s |      23 |  3881308 |  2939338 |     1545   4833 |        0 |        0
257.33/257.40	c  257s |      23 |  3911121 |  2961238 |     1545   4862 |        0 |        0
259.32/259.41	c  259s |      23 |  3940114 |  2983638 |     1545   4891 |        0 |        0
261.32/261.41	c  261s |      23 |  3970494 |  3007038 |     1545   4921 |        0 |        0
263.32/263.41	c  263s |      23 |  3998566 |  3028438 |     1545   4948 |        0 |        0
265.32/265.41	c  265s |      23 |  4029267 |  3051238 |     1545   4978 |        0 |        0
267.33/267.42	c  267s |      23 |  4059940 |  3074138 |     1545   5007 |        0 |        0
269.32/269.42	c  269s |      23 |  4090085 |  3096238 |     1545   5036 |        0 |        0
271.32/271.42	c  271s |      23 |  4120605 |  3119238 |     1545   5066 |        0 |        0
273.32/273.43	c  273s |      23 |  4149352 |  3140438 |     1545   5093 |        0 |        0
275.32/275.43	c  275s |      23 |  4182054 |  3164038 |     1545   5123 |        0 |        0
277.31/277.44	c  277s |      23 |  4211341 |  3186238 |     1545   5152 |        0 |        0
279.32/279.45	c  279s |      23 |  4240100 |  3208738 |     1545   5181 |        0 |        0
281.31/281.45	c  281s |      23 |  4270401 |  3232038 |     1545   5211 |        0 |        0
283.31/283.46	c  283s |      23 |  4300010 |  3255038 |     1545   5241 |        0 |        0
285.31/285.46	c  285s |      23 |  4330978 |  3278338 |     1545   5271 |        0 |        0
287.31/287.46	c  287s |      23 |  4360687 |  3301338 |     1545   5300 |        0 |        0
289.32/289.46	c  289s |      23 |  4392283 |  3324838 |     1545   5331 |        0 |        0
291.31/291.46	c  291s |      23 |  4424155 |  3348138 |     1545   5361 |        0 |        0
293.31/293.47	c  293s |      23 |  4455768 |  3371638 |     1700   5389 |        0 |        0
293.81/293.91	c  293s |      24 |  4462511 |  3376662 |     1700   5394 |        0 |        0
295.82/295.92	c  295s |      24 |  4494839 |  3400262 |     1700   5422 |        0 |        0
297.80/297.92	c  297s |      24 |  4524548 |  3422862 |     1700   5448 |        0 |        0
299.80/299.93	c  299s |      24 |  4551485 |  3443862 |     1700   5473 |        0 |        0
301.80/301.93	c  301s |      24 |  4581534 |  3466062 |     1700   5499 |        0 |        0
303.80/303.93	c  303s |      24 |  4612770 |  3489662 |     1700   5527 |        0 |        0
305.82/305.94	c  305s |      24 |  4642677 |  3512162 |     1700   5553 |        0 |        0
307.81/307.94	c  307s |      24 |  4674425 |  3534162 |     1700   5579 |        0 |        0
309.81/309.94	c  309s |      24 |  4708224 |  3557162 |     1700   5606 |        0 |        0
311.81/311.94	c  311s |      24 |  4741614 |  3579962 |     1700   5632 |        0 |        0
313.81/313.95	c  313s |      24 |  4771292 |  3601962 |     1700   5658 |        0 |        0
315.80/315.95	c  315s |      24 |  4801804 |  3623662 |     1700   5684 |        0 |        0
317.81/317.96	c  317s |      24 |  4830700 |  3645862 |     1700   5710 |        0 |        0
319.80/319.97	c  319s |      24 |  4856426 |  3664862 |     1700   5732 |        0 |        0
321.80/321.97	c  321s |      24 |  4886987 |  3686562 |     1700   5757 |        0 |        0
323.80/323.97	c  323s |      24 |  4917514 |  3707962 |     1700   5782 |        0 |        0
325.79/325.98	c  325s |      24 |  4947708 |  3729062 |     1700   5807 |        0 |        0
327.80/327.99	c  327s |      24 |  4975381 |  3749962 |     1700   5832 |        0 |        0
329.79/330.00	c  329s |      24 |  5002304 |  3770462 |     1700   5856 |        0 |        0
331.89/332.00	c  331s |      24 |  5030580 |  3791762 |     1700   5880 |        0 |        0
333.89/334.01	c  333s |      24 |  5057533 |  3811462 |     1700   5904 |        0 |        0
335.89/336.02	c  336s |      24 |  5085679 |  3832462 |     1700   5928 |        0 |        0
337.89/338.03	c  338s |      24 |  5112596 |  3853562 |     1700   5953 |        0 |        0
339.90/340.03	c  340s |      24 |  5138925 |  3874362 |     1700   5977 |        0 |        0
341.90/342.04	c  342s |      24 |  5168940 |  3896462 |     1700   6003 |        0 |        0
343.89/344.04	c  344s |      24 |  5198410 |  3918062 |     1700   6028 |        0 |        0
345.89/346.05	c  346s |      24 |  5224018 |  3938462 |     1700   6052 |        0 |        0
347.89/348.06	c  348s |      24 |  5250837 |  3959062 |     1700   6077 |        0 |        0
349.89/350.07	c  350s |      24 |  5278160 |  3979962 |     1700   6101 |        0 |        0
351.89/352.08	c  352s |      24 |  5304826 |  4000162 |     1700   6125 |        0 |        0
353.89/354.09	c  354s |      24 |  5329112 |  4019862 |     1700   6148 |        0 |        0
355.88/356.09	c  356s |      24 |  5354425 |  4039962 |     1700   6171 |        0 |        0
357.88/358.09	c  358s |      24 |  5380987 |  4060562 |     1700   6195 |        0 |        0
359.98/360.10	c  360s |      24 |  5406814 |  4081162 |     1700   6219 |        0 |        0
361.98/362.10	c  362s |      24 |  5431094 |  4100962 |     1700   6243 |        0 |        0
363.98/364.11	c  364s |      24 |  5457397 |  4120762 |     1700   6266 |        0 |        0
365.97/366.12	c  366s |      24 |  5481509 |  4139362 |     1700   6288 |        0 |        0
367.97/368.12	c  368s |      24 |  5506746 |  4158762 |     1700   6310 |        0 |        0
369.97/370.13	c  370s |      24 |  5533426 |  4179462 |     1700   6335 |        0 |        0
371.97/372.14	c  372s |      24 |  5558823 |  4199962 |     1700   6359 |        0 |        0
373.98/374.14	c  374s |      24 |  5585196 |  4220762 |     1700   6383 |        0 |        0
375.96/376.15	c  376s |      24 |  5610193 |  4240362 |     1700   6406 |        0 |        0
377.96/378.15	c  378s |      24 |  5635171 |  4260762 |     1700   6430 |        0 |        0
379.96/380.16	c  380s |      24 |  5659659 |  4280362 |     1700   6453 |        0 |        0
381.96/382.16	c  382s |      24 |  5685720 |  4299962 |     1700   6476 |        0 |        0
383.96/384.16	c  384s |      24 |  5712237 |  4320662 |     1700   6500 |        0 |        0
385.96/386.17	c  386s |      24 |  5736481 |  4340262 |     1700   6523 |        0 |        0
387.95/388.17	c  388s |      24 |  5763497 |  4360862 |     1700   6547 |        0 |        0
389.95/390.18	c  390s |      24 |  5789321 |  4380762 |     1700   6570 |        0 |        0
391.95/392.18	c  392s |      24 |  5815988 |  4401462 |     1700   6595 |        0 |        0
393.95/394.19	c  394s |      24 |  5843617 |  4422662 |     1700   6620 |        0 |        0
395.96/396.19	c  396s |      24 |  5871836 |  4444462 |     1700   6645 |        0 |        0
397.96/398.19	c  398s |      24 |  5901614 |  4466862 |     1700   6671 |        0 |        0
399.96/400.20	c  400s |      24 |  5928645 |  4487762 |     1700   6696 |        0 |        0
402.05/402.20	c  402s |      24 |  5956420 |  4509562 |     1700   6721 |        0 |        0
404.05/404.21	c  404s |      24 |  5986379 |  4532062 |     1700   6748 |        0 |        0
406.05/406.21	c  406s |      24 |  6013180 |  4553462 |     1700   6773 |        0 |        0
408.05/408.21	c  408s |      24 |  6040961 |  4575362 |     1700   6799 |        0 |        0
410.05/410.22	c  410s |      24 |  6066864 |  4596962 |     1700   6824 |        0 |        0
412.05/412.23	c  412s |      24 |  6091556 |  4616962 |     1700   6847 |        0 |        0
414.05/414.24	c  414s |      24 |  6116556 |  4637062 |     1700   6871 |        0 |        0
416.04/416.24	c  416s |      24 |  6141235 |  4656762 |     1700   6894 |        0 |        0
418.03/418.25	c  418s |      24 |  6171703 |  4678762 |     1700   6920 |        0 |        0
420.04/420.26	c  420s |      24 |  6200677 |  4699862 |     1700   6944 |        0 |        0
422.03/422.26	c  422s |      24 |  6229084 |  4721662 |     1700   6970 |        0 |        0
424.04/424.27	c  424s |      24 |  6257366 |  4742862 |     1700   6995 |        0 |        0
426.04/426.27	c  426s |      24 |  6285262 |  4764362 |     1700   7020 |        0 |        0
428.04/428.28	c  428s |      24 |  6311288 |  4785362 |     1700   7045 |        0 |        0
430.04/430.29	c  430s |      24 |  6337682 |  4806162 |     1700   7069 |        0 |        0
432.04/432.29	c  432s |      24 |  6362301 |  4826562 |     1700   7093 |        0 |        0
434.13/434.30	c  434s |      24 |  6387956 |  4847062 |     1700   7117 |        0 |        0
436.13/436.31	c  436s |      24 |  6412068 |  4866962 |     1700   7140 |        0 |        0
438.13/438.31	c  438s |      24 |  6434084 |  4885862 |     1700   7162 |        0 |        0
440.13/440.32	c  440s |      24 |  6458096 |  4905662 |     1700   7186 |        0 |        0
442.14/442.33	c  442s |      24 |  6484994 |  4926062 |     1700   7210 |        0 |        0
444.13/444.33	c  444s |      24 |  6509620 |  4945862 |     1700   7233 |        0 |        0
446.12/446.33	c  446s |      24 |  6536529 |  4966062 |     1700   7256 |        0 |        0
448.12/448.33	c  448s |      24 |  6564575 |  4986562 |     1700   7280 |        0 |        0
450.12/450.34	c  450s |      24 |  6593147 |  5007462 |     1700   7305 |        0 |        0
452.12/452.34	c  452s |      24 |  6619460 |  5028262 |     1700   7329 |        0 |        0
454.13/454.35	c  454s |      24 |  6645185 |  5047962 |     1871   7350 |        0 |        0
455.82/456.07	c  456s |      25 |  6667928 |  5065098 |     1871   7368 |        0 |        0
457.82/458.07	c  458s |      25 |  6694953 |  5084798 |     1871   7389 |        0 |        0
459.81/460.07	c  460s |      25 |  6721755 |  5105398 |     1871   7411 |        0 |        0
461.82/462.08	c  462s |      25 |  6749028 |  5126098 |     1871   7433 |        0 |        0
463.81/464.08	c  464s |      25 |  6778635 |  5148098 |     1871   7457 |        0 |        0
465.81/466.08	c  466s |      25 |  6806806 |  5168998 |     1871   7479 |        0 |        0
467.81/468.09	c  468s |      25 |  6835221 |  5190398 |     1871   7502 |        0 |        0
469.81/470.09	c  470s |      25 |  6864147 |  5212298 |     1871   7525 |        0 |        0
471.91/472.10	c  472s |      25 |  6889469 |  5232398 |     1871   7546 |        0 |        0
473.91/474.11	c  474s |      25 |  6917195 |  5253598 |     1871   7569 |        0 |        0
475.91/476.11	c  476s |      25 |  6944430 |  5274598 |     1871   7591 |        0 |        0
477.91/478.12	c  478s |      25 |  6968285 |  5293998 |     1871   7612 |        0 |        0
479.91/480.13	c  480s |      25 |  6995062 |  5314498 |     1871   7634 |        0 |        0
481.91/482.13	c  482s |      25 |  7022312 |  5334798 |     1871   7655 |        0 |        0
483.91/484.15	c  484s |      25 |  7053026 |  5356698 |     1871   7679 |        0 |        0
485.91/486.15	c  486s |      25 |  7083121 |  5378998 |     1871   7702 |        0 |        0
487.91/488.16	c  488s |      25 |  7109876 |  5399798 |     1871   7724 |        0 |        0
489.90/490.16	c  490s |      25 |  7137895 |  5420598 |     1871   7747 |        0 |        0
491.90/492.17	c  492s |      25 |  7165171 |  5440498 |     1871   7768 |        0 |        0
493.90/494.17	c  494s |      25 |  7192311 |  5460298 |     1871   7789 |        0 |        0
495.91/496.17	c  496s |      25 |  7220171 |  5481298 |     1871   7811 |        0 |        0
497.90/498.17	c  498s |      25 |  7245075 |  5500698 |     1871   7832 |        0 |        0
499.91/500.18	c  500s |      25 |  7272812 |  5521898 |     1871   7854 |        0 |        0
501.91/502.18	c  502s |      25 |  7300251 |  5542998 |     1871   7877 |        0 |        0
503.91/504.18	c  504s |      25 |  7327183 |  5563398 |     1871   7899 |        0 |        0
505.91/506.19	c  506s |      25 |  7357455 |  5585598 |     1871   7922 |        0 |        0
507.90/508.20	c  508s |      25 |  7385893 |  5606598 |     1871   7945 |        0 |        0
510.00/510.20	c  510s |      25 |  7415128 |  5628198 |     1871   7968 |        0 |        0
512.00/512.21	c  512s |      25 |  7443746 |  5649098 |     1871   7990 |        0 |        0
514.00/514.22	c  514s |      25 |  7474476 |  5671398 |     1871   8014 |        0 |        0
515.99/516.22	c  516s |      25 |  7501675 |  5692298 |     1871   8036 |        0 |        0
518.00/518.23	c  518s |      25 |  7525325 |  5710998 |     1871   8056 |        0 |        0
519.99/520.23	c  520s |      25 |  7551057 |  5730998 |     1871   8077 |        0 |        0
521.99/522.23	c  522s |      25 |  7576857 |  5750498 |     1871   8098 |        0 |        0
523.99/524.23	c  524s |      25 |  7600968 |  5769498 |     1871   8118 |        0 |        0
525.99/526.24	c  526s |      25 |  7626404 |  5788698 |     1871   8138 |        0 |        0
527.99/528.24	c  528s |      25 |  7653670 |  5808698 |     1871   8160 |        0 |        0
530.00/530.25	c  530s |      25 |  7679935 |  5828098 |     1871   8180 |        0 |        0
531.99/532.25	c  532s |      25 |  7705742 |  5847598 |     1871   8201 |        0 |        0
533.99/534.26	c  534s |      25 |  7731666 |  5867498 |     1871   8222 |        0 |        0
535.99/536.27	c  536s |      25 |  7759857 |  5887598 |     1871   8244 |        0 |        0
537.99/538.27	c  538s |      25 |  7787154 |  5908098 |     1871   8266 |        0 |        0
539.99/540.27	c  540s |      25 |  7813381 |  5927698 |     1871   8286 |        0 |        0
541.99/542.27	c  542s |      25 |  7840870 |  5947498 |     1871   8308 |        0 |        0
543.99/544.28	c  544s |      25 |  7867336 |  5967598 |     1871   8329 |        0 |        0
545.98/546.28	c  546s |      25 |  7894615 |  5987798 |     1871   8350 |        0 |        0
547.98/548.29	c  548s |      25 |  7919796 |  6006998 |     1871   8371 |        0 |        0
549.98/550.29	c  550s |      25 |  7943958 |  6026698 |     1871   8392 |        0 |        0
551.98/552.30	c  552s |      25 |  7969455 |  6046098 |     1871   8413 |        0 |        0
554.08/554.30	c  554s |      25 |  7990786 |  6064098 |     1871   8432 |        0 |        0
556.07/556.32	c  556s |      25 |  8011782 |  6081798 |     1871   8451 |        0 |        0
558.07/558.32	c  558s |      25 |  8035671 |  6100698 |     1871   8471 |        0 |        0
560.07/560.33	c  560s |      25 |  8062004 |  6120698 |     1871   8492 |        0 |        0
562.07/562.33	c  562s |      25 |  8089134 |  6140498 |     1871   8513 |        0 |        0
564.08/564.33	c  564s |      25 |  8117735 |  6161998 |     1871   8536 |        0 |        0
566.06/566.34	c  566s |      25 |  8143551 |  6182698 |     1871   8558 |        0 |        0
568.06/568.35	c  568s |      25 |  8171446 |  6203598 |     1871   8580 |        0 |        0
570.07/570.35	c  570s |      25 |  8199224 |  6223398 |     1871   8601 |        0 |        0
572.07/572.35	c  572s |      25 |  8226472 |  6244098 |     1871   8623 |        0 |        0
574.08/574.35	c  574s |      25 |  8254656 |  6265398 |     1871   8646 |        0 |        0
576.07/576.35	c  576s |      25 |  8285122 |  6287898 |     1871   8670 |        0 |        0
578.07/578.36	c  578s |      25 |  8314396 |  6309798 |     1871   8693 |        0 |        0
580.06/580.37	c  580s |      25 |  8344345 |  6332298 |     1871   8717 |        0 |        0
582.06/582.38	c  582s |      25 |  8375196 |  6355098 |     1871   8742 |        0 |        0
584.06/584.38	c  584s |      25 |  8405049 |  6377598 |     1871   8766 |        0 |        0
586.06/586.38	c  586s |      25 |  8435220 |  6399598 |     1871   8789 |        0 |        0
588.05/588.38	c  588s |      25 |  8465353 |  6421498 |     1871   8812 |        0 |        0
590.05/590.39	c  590s |      25 |  8495933 |  6444298 |     1871   8837 |        0 |        0
592.15/592.40	c  592s |      25 |  8522480 |  6464998 |     1871   8859 |        0 |        0
594.15/594.40	c  594s |      25 |  8543220 |  6482498 |     1871   8877 |        0 |        0
596.15/596.41	c  596s |      25 |  8570614 |  6503098 |     1871   8899 |        0 |        0
598.15/598.42	c  598s |      25 |  8595662 |  6522998 |     1871   8920 |        0 |        0
600.15/600.42	c  600s |      25 |  8623527 |  6543798 |     1871   8943 |        0 |        0
602.14/602.42	c  602s |      25 |  8649857 |  6564298 |     1871   8964 |        0 |        0
604.14/604.43	c  604s |      25 |  8678672 |  6585598 |     1871   8987 |        0 |        0
606.14/606.43	c  606s |      25 |  8706517 |  6607098 |     1871   9010 |        0 |        0
608.14/608.44	c  608s |      25 |  8732498 |  6627398 |     1871   9032 |        0 |        0
610.14/610.45	c  610s |      25 |  8759877 |  6648798 |     1871   9054 |        0 |        0
612.14/612.45	c  612s |      25 |  8787253 |  6670598 |     1871   9078 |        0 |        0
614.13/614.46	c  614s |      25 |  8815910 |  6692398 |     1871   9101 |        0 |        0
616.13/616.47	c  616s |      25 |  8843082 |  6713398 |     1871   9123 |        0 |        0
618.13/618.47	c  618s |      25 |  8871013 |  6734798 |     1871   9146 |        0 |        0
620.13/620.48	c  620s |      25 |  8896758 |  6755198 |     1871   9168 |        0 |        0
622.13/622.48	c  622s |      25 |  8924495 |  6776498 |     1871   9191 |        0 |        0
624.13/624.49	c  624s |      25 |  8948089 |  6796198 |     1871   9212 |        0 |        0
626.12/626.49	c  626s |      25 |  8975886 |  6817898 |     1871   9235 |        0 |        0
628.12/628.49	c  628s |      25 |  9006184 |  6840998 |     1871   9259 |        0 |        0
630.22/630.50	c  630s |      25 |  9035857 |  6863298 |     1871   9283 |        0 |        0
632.12/632.50	c  632s |      25 |  9065750 |  6885698 |     1871   9307 |        0 |        0
634.22/634.50	c  634s |      25 |  9092703 |  6906598 |     1871   9329 |        0 |        0
636.22/636.51	c  636s |      25 |  9122065 |  6928198 |     1871   9352 |        0 |        0
638.22/638.52	c  638s |      25 |  9151789 |  6950598 |     1871   9376 |        0 |        0
640.22/640.52	c  640s |      25 |  9179722 |  6971698 |     1871   9399 |        0 |        0
642.22/642.52	c  642s |      25 |  9208898 |  6993198 |     1871   9422 |        0 |        0
644.22/644.52	c  644s |      25 |  9236366 |  7014598 |     1871   9444 |        0 |        0
646.22/646.53	c  646s |      25 |  9260284 |  7034398 |     1871   9465 |        0 |        0
648.22/648.54	c  648s |      25 |  9286629 |  7055298 |     1871   9488 |        0 |        0
650.22/650.55	c  650s |      25 |  9314590 |  7076298 |     1871   9510 |        0 |        0
652.21/652.55	c  652s |      25 |  9342422 |  7097998 |     1871   9533 |        0 |        0
654.22/654.56	c  654s |      25 |  9366308 |  7117398 |     1871   9554 |        0 |        0
656.21/656.56	c  656s |      25 |  9396406 |  7139698 |     1871   9578 |        0 |        0
658.21/658.56	c  658s |      25 |  9425202 |  7161498 |     1871   9601 |        0 |        0
660.21/660.57	c  660s |      25 |  9452512 |  7182298 |     1871   9623 |        0 |        0
662.21/662.57	c  662s |      25 |  9479158 |  7203398 |     1871   9645 |        0 |        0
664.21/664.58	c  664s |      25 |  9507423 |  7224998 |     1871   9668 |        0 |        0
666.20/666.59	c  666s |      25 |  9536834 |  7247398 |     1871   9692 |        0 |        0
668.20/668.59	c  668s |      25 |  9564846 |  7268698 |     1871   9715 |        0 |        0
670.20/670.59	c  670s |      25 |  9591467 |  7289798 |     1871   9737 |        0 |        0
672.20/672.60	c  672s |      25 |  9616596 |  7309898 |     1871   9759 |        0 |        0
674.20/674.60	c  674s |      25 |  9645110 |  7330798 |     1871   9781 |        0 |        0
676.21/676.60	c  676s |      25 |  9673585 |  7352898 |     1871   9805 |        0 |        0
678.30/678.60	c  678s |      25 |  9703176 |  7375098 |     1871   9828 |        0 |        0
680.30/680.60	c  680s |      25 |  9732234 |  7397098 |     1871   9852 |        0 |        0
682.30/682.60	c  682s |      25 |  9760509 |  7418398 |     1871   9875 |        0 |        0
684.30/684.60	c  684s |      25 |  9789621 |  7439898 |     1871   9898 |        0 |        0
686.29/686.61	c  686s |      25 |  9819937 |  7462698 |     1871   9922 |        0 |        0
688.30/688.61	c  688s |      25 |  9848062 |  7484598 |     1871   9945 |        0 |        0
690.29/690.62	c  690s |      25 |  9876768 |  7505798 |     1871   9968 |        0 |        0
692.29/692.62	c  692s |      25 |  9906299 |  7528198 |     1871   9992 |        0 |        0
694.29/694.63	c  694s |      25 |  9936976 |  7551098 |     2059  10015 |        0 |        0
696.29/696.63	c  696s |      25 |  9966562 |  7573298 |     2059  10037 |        0 |        0
698.29/698.64	c  698s |      25 |  9992095 |  7593198 |     2059  10056 |        0 |        0
698.79/699.14	c  699s |      26 |  9998125 |  7597752 |     2059  10060 |        0 |        0
700.79/701.15	c  701s |      26 | 10025278 |  7618652 |     2059  10081 |        0 |        0
702.78/703.15	c  703s |      26 | 10054114 |  7639652 |     2059  10101 |        0 |        0
704.79/705.16	c  705s |      26 | 10082529 |  7660952 |     2059  10122 |        0 |        0
706.78/707.16	c  707s |      26 | 10110501 |  7681852 |     2059  10142 |        0 |        0
708.78/709.16	c  709s |      26 | 10136358 |  7702052 |     2059  10161 |        0 |        0
710.78/711.18	c  711s |      26 | 10164398 |  7722852 |     2059  10182 |        0 |        0
712.78/713.18	c  713s |      26 | 10190192 |  7743052 |     2059  10201 |        0 |        0
714.78/715.18	c  715s |      26 | 10218223 |  7762752 |     2059  10220 |        0 |        0
716.77/717.19	c  717s |      26 | 10245265 |  7783752 |     2059  10240 |        0 |        0
718.77/719.19	c  719s |      26 | 10272545 |  7804252 |     2059  10260 |        0 |        0
720.88/721.20	c  721s |      26 | 10300434 |  7824552 |     2059  10280 |        0 |        0
722.88/723.20	c  723s |      26 | 10326149 |  7844452 |     2059  10299 |        0 |        0
724.88/725.21	c  725s |      26 | 10351476 |  7863852 |     2059  10318 |        0 |        0
726.88/727.21	c  727s |      26 | 10376465 |  7883752 |     2059  10337 |        0 |        0
728.87/729.22	c  729s |      26 | 10401135 |  7903052 |     2059  10356 |        0 |        0
730.87/731.23	c  731s |      26 | 10426670 |  7921952 |     2059  10374 |        0 |        0
732.87/733.23	c  733s |      26 | 10452507 |  7941652 |     2059  10393 |        0 |        0
734.87/735.24	c  735s |      26 | 10476994 |  7961152 |     2059  10412 |        0 |        0
736.86/737.24	c  737s |      26 | 10504421 |  7980952 |     2059  10432 |        0 |        0
738.87/739.24	c  739s |      26 | 10532441 |  8002252 |     2059  10452 |        0 |        0
740.86/741.24	c  741s |      26 | 10559154 |  8023152 |     2059  10472 |        0 |        0
742.86/743.25	c  743s |      26 | 10586020 |  8043552 |     2059  10492 |        0 |        0
744.86/745.25	c  745s |      26 | 10614472 |  8064952 |     2059  10513 |        0 |        0
746.85/747.27	c  747s |      26 | 10643885 |  8085952 |     2059  10533 |        0 |        0
748.86/749.27	c  749s |      26 | 10668163 |  8104952 |     2059  10552 |        0 |        0
750.86/751.27	c  751s |      26 | 10694614 |  8125652 |     2059  10572 |        0 |        0
752.86/753.28	c  753s |      26 | 10719711 |  8145252 |     2059  10591 |        0 |        0
754.86/755.28	c  755s |      26 | 10745996 |  8165252 |     2059  10610 |        0 |        0
756.85/757.29	c  757s |      26 | 10770096 |  8185552 |     2059  10630 |        0 |        0
758.85/759.29	c  759s |      26 | 10797736 |  8207052 |     2059  10651 |        0 |        0
760.86/761.29	c  761s |      26 | 10824803 |  8228252 |     2059  10671 |        0 |        0
762.95/763.30	c  763s |      26 | 10852372 |  8249352 |     2059  10692 |        0 |        0
764.95/765.30	c  765s |      26 | 10878378 |  8269552 |     2059  10711 |        0 |        0
766.95/767.30	c  767s |      26 | 10906471 |  8291252 |     2059  10733 |        0 |        0
768.95/769.31	c  769s |      26 | 10935703 |  8313252 |     2059  10754 |        0 |        0
770.94/771.31	c  771s |      26 | 10962808 |  8333752 |     2059  10774 |        0 |        0
772.95/773.31	c  773s |      26 | 10991005 |  8354852 |     2059  10794 |        0 |        0
774.94/775.31	c  775s |      26 | 11019625 |  8375952 |     2059  10815 |        0 |        0
776.94/777.32	c  777s |      26 | 11047988 |  8396852 |     2059  10835 |        0 |        0
778.94/779.32	c  779s |      26 | 11076664 |  8418252 |     2059  10856 |        0 |        0
780.94/781.34	c  781s |      26 | 11106647 |  8440752 |     2059  10878 |        0 |        0
782.94/783.34	c  783s |      26 | 11136490 |  8461752 |     2059  10898 |        0 |        0
784.94/785.35	c  785s |      26 | 11162235 |  8482052 |     2059  10918 |        0 |        0
786.93/787.35	c  787s |      26 | 11190840 |  8503152 |     2059  10938 |        0 |        0
788.93/789.36	c  789s |      26 | 11220247 |  8525652 |     2059  10960 |        0 |        0
790.93/791.36	c  791s |      26 | 11246141 |  8546152 |     2059  10980 |        0 |        0
792.94/793.37	c  793s |      26 | 11273822 |  8567752 |     2059  11001 |        0 |        0
794.95/795.37	c  795s |      26 | 11299980 |  8587852 |     2059  11020 |        0 |        0
796.93/797.38	c  797s |      26 | 11327157 |  8607252 |     2059  11039 |        0 |        0
798.93/799.38	c  799s |      26 | 11350373 |  8626152 |     2059  11057 |        0 |        0
800.93/801.38	c  801s |      26 | 11374111 |  8644452 |     2059  11075 |        0 |        0
802.93/803.38	c  803s |      26 | 11397891 |  8662852 |     2059  11093 |        0 |        0
804.94/805.39	c  805s |      26 | 11421656 |  8681552 |     2059  11111 |        0 |        0
806.93/807.40	c  807s |      26 | 11446810 |  8700952 |     2059  11129 |        0 |        0
809.03/809.41	c  809s |      26 | 11474959 |  8719752 |     2059  11148 |        0 |        0
811.02/811.41	c  811s |      26 | 11502371 |  8739452 |     2059  11167 |        0 |        0
813.02/813.42	c  813s |      26 | 11531635 |  8760452 |     2059  11187 |        0 |        0
815.02/815.44	c  815s |      26 | 11556286 |  8779752 |     2059  11206 |        0 |        0
817.03/817.44	c  817s |      26 | 11582522 |  8799352 |     2059  11225 |        0 |        0
819.02/819.44	c  819s |      26 | 11609980 |  8819852 |     2059  11244 |        0 |        0
821.02/821.45	c  821s |      26 | 11636845 |  8840852 |     2059  11265 |        0 |        0
823.02/823.45	c  823s |      26 | 11663993 |  8861952 |     2059  11285 |        0 |        0
825.02/825.46	c  825s |      26 | 11691818 |  8883052 |     2059  11305 |        0 |        0
827.02/827.46	c  827s |      26 | 11718672 |  8903952 |     2059  11326 |        0 |        0
829.02/829.47	c  829s |      26 | 11744536 |  8924352 |     2059  11345 |        0 |        0
831.02/831.47	c  831s |      26 | 11770934 |  8944852 |     2059  11365 |        0 |        0
833.02/833.48	c  833s |      26 | 11799440 |  8966252 |     2059  11386 |        0 |        0
835.02/835.48	c  835s |      26 | 11828859 |  8988252 |     2059  11407 |        0 |        0
837.02/837.49	c  837s |      26 | 11859759 |  9010652 |     2059  11429 |        0 |        0
839.03/839.49	c  839s |      26 | 11887494 |  9031852 |     2059  11449 |        0 |        0
841.02/841.50	c  841s |      26 | 11914966 |  9053152 |     2059  11470 |        0 |        0
843.12/843.50	c  843s |      26 | 11941582 |  9074552 |     2059  11491 |        0 |        0
845.12/845.51	c  845s |      26 | 11971174 |  9097052 |     2059  11513 |        0 |        0
847.12/847.51	c  847s |      26 | 11996849 |  9117152 |     2059  11532 |        0 |        0
849.12/849.52	c  849s |      26 | 12024930 |  9138652 |     2059  11553 |        0 |        0
851.13/851.52	c  851s |      26 | 12052519 |  9160552 |     2059  11574 |        0 |        0
853.12/853.53	c  853s |      26 | 12081973 |  9182852 |     2059  11596 |        0 |        0
855.12/855.53	c  855s |      26 | 12109475 |  9204352 |     2059  11616 |        0 |        0
857.12/857.53	c  857s |      26 | 12137873 |  9225952 |     2059  11637 |        0 |        0
859.12/859.53	c  859s |      26 | 12165636 |  9246052 |     2059  11657 |        0 |        0
861.12/861.53	c  861s |      26 | 12192463 |  9265552 |     2059  11676 |        0 |        0
863.12/863.54	c  863s |      26 | 12218784 |  9285452 |     2059  11695 |        0 |        0
865.12/865.55	c  865s |      26 | 12244183 |  9305352 |     2059  11714 |        0 |        0
867.12/867.55	c  867s |      26 | 12266741 |  9324052 |     2059  11732 |        0 |        0
869.11/869.56	c  869s |      26 | 12292331 |  9342952 |     2059  11750 |        0 |        0
871.11/871.56	c  871s |      26 | 12317451 |  9362052 |     2059  11769 |        0 |        0
873.12/873.57	c  873s |      26 | 12344886 |  9382252 |     2059  11788 |        0 |        0
875.11/875.57	c  875s |      26 | 12373902 |  9402852 |     2059  11808 |        0 |        0
877.11/877.58	c  877s |      26 | 12402372 |  9424452 |     2059  11829 |        0 |        0
879.11/879.58	c  879s |      26 | 12431755 |  9445452 |     2059  11850 |        0 |        0
881.11/881.59	c  881s |      26 | 12462744 |  9466652 |     2059  11870 |        0 |        0
883.11/883.59	c  883s |      26 | 12491512 |  9487952 |     2059  11891 |        0 |        0
885.12/885.60	c  885s |      26 | 12518137 |  9508152 |     2059  11910 |        0 |        0
887.21/887.61	c  887s |      26 | 12541560 |  9526852 |     2059  11929 |        0 |        0
889.21/889.61	c  889s |      26 | 12567121 |  9545052 |     2059  11946 |        0 |        0
891.21/891.61	c  891s |      26 | 12595911 |  9566552 |     2059  11967 |        0 |        0
893.21/893.62	c  893s |      26 | 12625401 |  9588452 |     2059  11988 |        0 |        0
895.21/895.62	c  895s |      26 | 12655026 |  9610152 |     2059  12009 |        0 |        0
897.22/897.63	c  897s |      26 | 12685567 |  9632252 |     2059  12031 |        0 |        0
899.21/899.63	c  899s |      26 | 12714877 |  9654152 |     2059  12052 |        0 |        0
901.21/901.63	c  901s |      26 | 12743056 |  9674752 |     2059  12072 |        0 |        0
903.21/903.64	c  903s |      26 | 12768768 |  9693152 |     2059  12090 |        0 |        0
905.21/905.64	c  905s |      26 | 12795961 |  9712652 |     2059  12109 |        0 |        0
907.22/907.65	c  907s |      26 | 12822619 |  9733252 |     2059  12129 |        0 |        0
909.21/909.66	c  909s |      26 | 12850200 |  9754352 |     2059  12149 |        0 |        0
911.21/911.66	c  911s |      26 | 12876593 |  9775052 |     2059  12169 |        0 |        0
913.21/913.67	c  913s |      26 | 12905380 |  9796052 |     2059  12189 |        0 |        0
915.21/915.68	c  915s |      26 | 12931356 |  9816052 |     2059  12209 |        0 |        0
917.21/917.68	c  917s |      26 | 12961311 |  9837152 |     2059  12229 |        0 |        0
919.21/919.69	c  919s |      26 | 12989868 |  9858152 |     2059  12250 |        0 |        0
921.21/921.69	c  921s |      26 | 13019402 |  9879952 |     2059  12271 |        0 |        0
923.30/923.70	c  923s |      26 | 13051009 |  9902252 |     2059  12292 |        0 |        0
925.30/925.70	c  925s |      26 | 13080903 |  9924852 |     2059  12314 |        0 |        0
927.30/927.71	c  927s |      26 | 13110744 |  9947752 |     2059  12336 |        0 |        0
929.30/929.72	c  929s |      26 | 13136719 |  9968252 |     2059  12356 |        0 |        0
931.31/931.73	c  931s |      26 | 13162519 |  9987652 |     2059  12375 |        0 |        0
933.30/933.73	c  933s |      26 | 13188275 | 10006752 |     2059  12394 |        0 |        0
935.30/935.74	c  935s |      26 | 13215957 | 10027352 |     2059  12414 |        0 |        0
937.30/937.74	c  937s |      26 | 13244394 | 10049052 |     2059  12435 |        0 |        0
939.30/939.75	c  939s |      26 | 13273943 | 10070652 |     2059  12456 |        0 |        0
941.31/941.75	c  941s |      26 | 13303692 | 10092952 |     2059  12477 |        0 |        0
943.30/943.75	c  943s |      26 | 13335360 | 10115852 |     2059  12499 |        0 |        0
945.30/945.75	c  945s |      26 | 13366777 | 10138852 |     2059  12522 |        0 |        0
947.30/947.75	c  947s |      26 | 13394367 | 10159952 |     2059  12542 |        0 |        0
949.30/949.76	c  949s |      26 | 13420597 | 10180552 |     2059  12562 |        0 |        0
951.30/951.76	c  951s |      26 | 13449604 | 10201252 |     2059  12582 |        0 |        0
953.31/953.76	c  953s |      26 | 13476312 | 10222252 |     2059  12602 |        0 |        0
955.30/955.77	c  955s |      26 | 13505581 | 10243252 |     2059  12623 |        0 |        0
957.30/957.77	c  957s |      26 | 13535765 | 10265452 |     2059  12644 |        0 |        0
959.30/959.77	c  959s |      26 | 13563207 | 10286752 |     2059  12665 |        0 |        0
961.30/961.77	c  961s |      26 | 13593836 | 10308352 |     2059  12686 |        0 |        0
963.31/963.78	c  963s |      26 | 13622580 | 10329452 |     2059  12706 |        0 |        0
965.30/965.79	c  965s |      26 | 13651562 | 10351252 |     2059  12727 |        0 |        0
967.30/967.79	c  967s |      26 | 13676504 | 10371152 |     2059  12746 |        0 |        0
969.40/969.80	c  969s |      26 | 13705227 | 10393052 |     2059  12767 |        0 |        0
971.40/971.80	c  971s |      26 | 13731749 | 10413452 |     2059  12787 |        0 |        0
973.40/973.80	c  973s |      26 | 13761484 | 10434252 |     2059  12807 |        0 |        0
975.41/975.80	c  975s |      26 | 13791609 | 10456352 |     2059  12829 |        0 |        0
977.40/977.81	c  977s |      26 | 13820640 | 10478752 |     2059  12850 |        0 |        0
979.40/979.81	c  979s |      26 | 13848816 | 10499952 |     2059  12871 |        0 |        0
981.40/981.81	c  981s |      26 | 13875478 | 10519652 |     2059  12890 |        0 |        0
983.40/983.82	c  983s |      26 | 13902668 | 10540452 |     2059  12910 |        0 |        0
985.39/985.82	c  985s |      26 | 13930093 | 10561552 |     2059  12931 |        0 |        0
987.40/987.83	c  987s |      26 | 13958761 | 10583552 |     2059  12952 |        0 |        0
989.39/989.84	c  989s |      26 | 13986835 | 10604952 |     2059  12973 |        0 |        0
991.40/991.84	c  991s |      26 | 14013906 | 10625952 |     2059  12993 |        0 |        0
993.40/993.84	c  993s |      26 | 14040494 | 10647552 |     2059  13014 |        0 |        0
995.40/995.84	c  995s |      26 | 14067368 | 10668552 |     2059  13034 |        0 |        0
997.40/997.85	c  997s |      26 | 14090382 | 10687352 |     2059  13052 |        0 |        0
999.40/999.86	c  999s |      26 | 14115359 | 10707152 |     2059  13071 |        0 |        0
1001.39/1001.86	c 1001s |      26 | 14140817 | 10726952 |     2059  13091 |        0 |        0
1003.39/1003.86	c 1003s |      26 | 14169772 | 10748352 |     2059  13111 |        0 |        0
1005.39/1005.86	c 1005s |      26 | 14199743 | 10771352 |     2059  13134 |        0 |        0
1007.39/1007.87	c 1007s |      26 | 14228317 | 10793552 |     2059  13155 |        0 |        0
1009.40/1009.87	c 1009s |      26 | 14257565 | 10815552 |     2059  13177 |        0 |        0
1011.39/1011.88	c 1011s |      26 | 14289108 | 10838052 |     2059  13198 |        0 |        0
1013.39/1013.88	c 1013s |      26 | 14312460 | 10857752 |     2059  13217 |        0 |        0
1015.39/1015.89	c 1015s |      26 | 14337532 | 10877852 |     2059  13237 |        0 |        0
1017.39/1017.89	c 1017s |      26 | 14363866 | 10898552 |     2059  13257 |        0 |        0
1019.49/1019.90	c 1019s |      26 | 14391997 | 10918852 |     2059  13276 |        0 |        0
1021.39/1021.90	c 1021s |      26 | 14419258 | 10937852 |     2059  13295 |        0 |        0
1023.49/1023.91	c 1023s |      26 | 14446537 | 10958452 |     2059  13315 |        0 |        0
1025.49/1025.91	c 1025s |      26 | 14475001 | 10979652 |     2059  13335 |        0 |        0
1027.49/1027.91	c 1027s |      26 | 14503041 | 11000852 |     2059  13356 |        0 |        0
1029.49/1029.92	c 1029s |      26 | 14533086 | 11023352 |     2059  13377 |        0 |        0
1031.49/1031.92	c 1031s |      26 | 14558847 | 11043952 |     2059  13397 |        0 |        0
1033.49/1033.93	c 1033s |      26 | 14586838 | 11064252 |     2059  13417 |        0 |        0
1035.49/1035.93	c 1035s |      26 | 14610395 | 11083052 |     2059  13435 |        0 |        0
1037.49/1037.93	c 1037s |      26 | 14639357 | 11104552 |     2059  13456 |        0 |        0
1039.48/1039.94	c 1039s |      26 | 14663603 | 11122852 |     2059  13474 |        0 |        0
1041.49/1041.94	c 1041s |      26 | 14694340 | 11144652 |     2059  13495 |        0 |        0
1043.50/1043.95	c 1043s |      26 | 14721980 | 11166352 |     2059  13516 |        0 |        0
1045.49/1045.95	c 1045s |      26 | 14751008 | 11188852 |     2059  13538 |        0 |        0
1047.49/1047.96	c 1047s |      26 | 14778188 | 11210052 |     2059  13558 |        0 |        0
1049.49/1049.96	c 1049s |      26 | 14804565 | 11230652 |     2059  13578 |        0 |        0
1051.49/1051.96	c 1051s |      26 | 14831282 | 11251052 |     2059  13598 |        0 |        0
1053.50/1053.97	c 1053s |      26 | 14861051 | 11272452 |     2059  13618 |        0 |        0
1055.49/1055.98	c 1055s |      26 | 14889692 | 11293952 |     2059  13639 |        0 |        0
1057.49/1057.98	c 1057s |      26 | 14916264 | 11314952 |     2059  13659 |        0 |        0
1059.49/1059.99	c 1059s |      26 | 14942566 | 11335552 |     2265  13677 |        0 |        0
1061.48/1061.99	c 1061s |      26 | 14972173 | 11357752 |     2265  13697 |        0 |        0
1063.48/1063.99	c 1063s |      26 | 14997275 | 11377552 |     2265  13714 |        0 |        0
1065.38/1065.89	c 1065s |      27 | 15021943 | 11396733 |     2265  13731 |        0 |        0
1067.48/1067.90	c 1067s |      27 | 15050813 | 11418633 |     2265  13750 |        0 |        0
1069.48/1069.91	c 1069s |      27 | 15079668 | 11440033 |     2265  13769 |        0 |        0
1071.48/1071.92	c 1071s |      27 | 15109010 | 11461933 |     2265  13788 |        0 |        0
1073.48/1073.93	c 1073s |      27 | 15138004 | 11483833 |     2265  13807 |        1 |        4
1075.49/1075.94	c 1075s |      27 | 15165906 | 11505033 |     2265  13825 |        1 |        4
1077.48/1077.94	c 1077s |      27 | 15192972 | 11525533 |     2265  13843 |        1 |        4
1079.49/1079.95	c 1079s |      27 | 15220590 | 11546233 |     2265  13861 |        1 |        4
1081.49/1081.96	c 1081s |      27 | 15246620 | 11566433 |     2265  13879 |        1 |        4
1083.49/1083.97	c 1083s |      27 | 15272128 | 11586233 |     2265  13897 |        1 |        4
1085.49/1085.97	c 1085s |      27 | 15298667 | 11606333 |     2265  13914 |        1 |        4
1087.49/1087.97	c 1087s |      27 | 15326838 | 11627233 |     2265  13933 |        1 |        4
1089.49/1089.98	c 1089s |      27 | 15353987 | 11647433 |     2265  13950 |        1 |        4
1091.48/1091.98	c 1091s |      27 | 15382900 | 11668933 |     2265  13969 |        1 |        4
1093.48/1093.99	c 1093s |      27 | 15411364 | 11689133 |     2265  13987 |        1 |        4
1095.48/1095.99	c 1095s |      27 | 15439590 | 11710633 |     2265  14006 |        1 |        4
1097.58/1098.00	c 1097s |      27 | 15466130 | 11730433 |     2265  14024 |        1 |        4
1099.48/1100.00	c 1099s |      27 | 15495099 | 11751233 |     2265  14042 |        1 |        4
1101.58/1102.00	c 1101s |      27 | 15521406 | 11771133 |     2265  14059 |        1 |        4
1103.58/1104.00	c 1103s |      27 | 15548969 | 11792233 |     2265  14078 |        1 |        4
1105.58/1106.01	c 1105s |      27 | 15578678 | 11813633 |     2265  14097 |        1 |        4
1107.58/1108.01	c 1107s |      27 | 15606875 | 11833833 |     2265  14115 |        1 |        4
1109.58/1110.02	c 1109s |      27 | 15634234 | 11852533 |     2265  14131 |        1 |        4
1111.58/1112.03	c 1112s |      27 | 15661430 | 11872233 |     2265  14148 |        1 |        4
1113.57/1114.04	c 1114s |      27 | 15689261 | 11892933 |     2265  14167 |        1 |        4
1115.57/1116.04	c 1116s |      27 | 15716977 | 11914133 |     2265  14185 |        1 |        4
1117.57/1118.05	c 1118s |      27 | 15741624 | 11933733 |     2265  14202 |        1 |        4
1119.57/1120.05	c 1120s |      27 | 15765187 | 11952533 |     2265  14219 |        1 |        4
1121.58/1122.06	c 1122s |      27 | 15792248 | 11973033 |     2265  14237 |        1 |        4
1123.57/1124.07	c 1124s |      27 | 15819921 | 11994033 |     2265  14255 |        1 |        4
1125.57/1126.07	c 1126s |      27 | 15846079 | 12014233 |     2265  14273 |        1 |        4
1127.57/1128.08	c 1128s |      27 | 15872325 | 12034733 |     2265  14291 |        1 |        4
1129.58/1130.09	c 1130s |      27 | 15899088 | 12054933 |     2265  14309 |        1 |        4
1131.68/1132.10	c 1132s |      27 | 15926031 | 12075233 |     2265  14327 |        1 |        4
1133.68/1134.10	c 1134s |      27 | 15953515 | 12095333 |     2265  14345 |        1 |        4
1135.68/1136.11	c 1136s |      27 | 15982642 | 12116033 |     2265  14363 |        1 |        4
1137.68/1138.11	c 1138s |      27 | 16010362 | 12137033 |     2265  14381 |        1 |        4
1139.67/1140.11	c 1140s |      27 | 16038129 | 12157733 |     2265  14400 |        1 |        4
1141.67/1142.12	c 1142s |      27 | 16066724 | 12178333 |     2265  14418 |        1 |        4
1143.68/1144.13	c 1144s |      27 | 16095021 | 12199533 |     2265  14436 |        1 |        4
1145.67/1146.14	c 1146s |      27 | 16121576 | 12220133 |     2265  14455 |        1 |        4
1147.67/1148.16	c 1148s |      27 | 16146859 | 12239433 |     2265  14472 |        1 |        4
1149.67/1150.17	c 1150s |      27 | 16173616 | 12259433 |     2265  14489 |        1 |        4
1151.67/1152.17	c 1152s |      27 | 16201992 | 12280033 |     2265  14507 |        1 |        4
1153.67/1154.18	c 1154s |      27 | 16228918 | 12300733 |     2265  14525 |        1 |        4
1155.68/1156.18	c 1156s |      27 | 16253399 | 12320533 |     2265  14543 |        1 |        4
1157.67/1158.19	c 1158s |      27 | 16279018 | 12340333 |     2265  14560 |        1 |        4
1159.67/1160.19	c 1160s |      27 | 16305794 | 12360233 |     2265  14578 |        1 |        4
1161.67/1162.19	c 1162s |      27 | 16332187 | 12379633 |     2265  14595 |        1 |        4
1163.77/1164.20	c 1164s |      27 | 16357871 | 12399033 |     2265  14612 |        1 |        4
1165.77/1166.20	c 1166s |      27 | 16385273 | 12419433 |     2265  14630 |        1 |        4
1167.78/1168.21	c 1168s |      27 | 16412297 | 12439833 |     2265  14648 |        1 |        4
1169.77/1170.22	c 1170s |      27 | 16439987 | 12460733 |     2265  14666 |        1 |        4
1171.77/1172.22	c 1172s |      27 | 16467853 | 12481933 |     2265  14685 |        1 |        4
1173.77/1174.23	c 1174s |      27 | 16497269 | 12503833 |     2265  14704 |        1 |        4
1175.77/1176.24	c 1176s |      27 | 16527685 | 12525733 |     2265  14724 |        1 |        4
1177.78/1178.24	c 1178s |      27 | 16557588 | 12548133 |     2265  14743 |        1 |        4
1179.77/1180.25	c 1180s |      27 | 16585652 | 12568833 |     2265  14762 |        1 |        4
1181.76/1182.26	c 1182s |      27 | 16612134 | 12589133 |     2265  14779 |        1 |        4
1183.76/1184.26	c 1184s |      27 | 16640297 | 12610233 |     2265  14798 |        1 |        4
1185.76/1186.26	c 1186s |      27 | 16667593 | 12630833 |     2265  14816 |        1 |        4
1187.76/1188.26	c 1188s |      27 | 16694779 | 12651333 |     2265  14834 |        1 |        4
1189.77/1190.27	c 1190s |      27 | 16720838 | 12671633 |     2265  14852 |        1 |        4
1191.76/1192.27	c 1192s |      27 | 16743998 | 12689833 |     2265  14868 |        1 |        4
1193.76/1194.27	c 1194s |      27 | 16767228 | 12708033 |     2265  14884 |        1 |        4
1195.77/1196.27	c 1196s |      27 | 16789835 | 12726833 |     2265  14901 |        1 |        4
1197.77/1198.28	c 1198s |      27 | 16809918 | 12743933 |     2265  14916 |        1 |        4
1199.77/1200.28	c 1200s |      27 | 16832267 | 12762033 |     2265  14932 |        1 |        4
1201.77/1202.29	c 1202s |      27 | 16855228 | 12780333 |     2265  14948 |        1 |        4
1203.86/1204.30	c 1204s |      27 | 16878482 | 12798333 |     2265  14964 |        1 |        4
1205.86/1206.30	c 1206s |      27 | 16902604 | 12817133 |     2265  14980 |        1 |        4
1207.86/1208.30	c 1208s |      27 | 16925193 | 12835033 |     2265  14996 |        1 |        4
1209.86/1210.31	c 1210s |      27 | 16948465 | 12853233 |     2265  15012 |        1 |        4
1211.87/1212.31	c 1212s |      27 | 16972061 | 12871333 |     2265  15028 |        1 |        4
1213.86/1214.32	c 1214s |      27 | 16996875 | 12890033 |     2265  15044 |        1 |        4
1215.86/1216.33	c 1216s |      27 | 17020945 | 12908333 |     2265  15061 |        1 |        4
1217.87/1218.34	c 1218s |      27 | 17041488 | 12925633 |     2265  15076 |        1 |        4
1219.86/1220.34	c 1220s |      27 | 17063806 | 12943933 |     2265  15092 |        1 |        4
1221.86/1222.34	c 1222s |      27 | 17088688 | 12963133 |     2265  15109 |        1 |        4
1223.87/1224.35	c 1224s |      27 | 17112344 | 12982233 |     2265  15126 |        1 |        4
1225.86/1226.36	c 1226s |      27 | 17139702 | 13003633 |     2265  15145 |        1 |        4
1227.86/1228.37	c 1228s |      27 | 17167549 | 13025033 |     2265  15163 |        1 |        4
1229.86/1230.37	c 1230s |      27 | 17194917 | 13045333 |     2265  15181 |        1 |        4
1231.86/1232.38	c 1232s |      27 | 17219424 | 13064233 |     2265  15198 |        1 |        4
1233.87/1234.39	c 1234s |      27 | 17242320 | 13082433 |     2265  15214 |        1 |        4
1235.86/1236.39	c 1236s |      27 | 17267216 | 13100833 |     2265  15230 |        1 |        4
1237.96/1238.40	c 1238s |      27 | 17293575 | 13120533 |     2265  15247 |        1 |        4
1239.96/1240.40	c 1240s |      27 | 17320146 | 13140633 |     2265  15265 |        1 |        4
1241.96/1242.40	c 1242s |      27 | 17347125 | 13160233 |     2265  15282 |        1 |        4
1243.95/1244.41	c 1244s |      27 | 17373325 | 13179733 |     2265  15299 |        1 |        4
1245.96/1246.41	c 1246s |      27 | 17397489 | 13198933 |     2265  15316 |        1 |        4
1247.95/1248.43	c 1248s |      27 | 17423676 | 13218633 |     2265  15334 |        1 |        4
1249.95/1250.44	c 1250s |      27 | 17451428 | 13238333 |     2265  15351 |        1 |        4
1251.95/1252.44	c 1252s |      27 | 17478824 | 13258233 |     2265  15368 |        1 |        4
1253.95/1254.44	c 1254s |      27 | 17505420 | 13278133 |     2265  15386 |        1 |        4
1255.95/1256.44	c 1256s |      27 | 17533289 | 13298533 |     2265  15404 |        1 |        4
1257.96/1258.45	c 1258s |      27 | 17561411 | 13319333 |     2265  15422 |        1 |        4
1259.95/1260.46	c 1260s |      27 | 17587695 | 13338733 |     2265  15439 |        1 |        4
1261.95/1262.46	c 1262s |      27 | 17611413 | 13357133 |     2265  15455 |        1 |        4
1263.95/1264.46	c 1264s |      27 | 17639119 | 13377833 |     2265  15474 |        1 |        4
1265.96/1266.47	c 1266s |      27 | 17665545 | 13396933 |     2265  15490 |        1 |        4
1267.97/1268.48	c 1268s |      27 | 17691372 | 13416233 |     2265  15507 |        1 |        4
1269.96/1270.49	c 1270s |      27 | 17718421 | 13436733 |     2265  15525 |        1 |        4
1271.96/1272.49	c 1272s |      27 | 17745475 | 13456633 |     2265  15543 |        1 |        4
1274.06/1274.50	c 1274s |      27 | 17772991 | 13476433 |     2265  15560 |        1 |        4
1276.05/1276.50	c 1276s |      27 | 17800971 | 13496033 |     2265  15578 |        1 |        4
1278.05/1278.51	c 1278s |      27 | 17827571 | 13515333 |     2265  15595 |        1 |        4
1280.06/1280.52	c 1280s |      27 | 17852397 | 13533833 |     2265  15611 |        1 |        4
1282.05/1282.52	c 1282s |      27 | 17876998 | 13552633 |     2265  15627 |        1 |        4
1284.05/1284.53	c 1284s |      27 | 17900379 | 13571033 |     2265  15644 |        1 |        4
1286.05/1286.53	c 1286s |      27 | 17924999 | 13589533 |     2265  15660 |        1 |        4
1288.05/1288.54	c 1288s |      27 | 17952064 | 13608033 |     2265  15676 |        1 |        4
1290.05/1290.54	c 1290s |      27 | 17974823 | 13626133 |     2265  15692 |        1 |        4
1292.06/1292.54	c 1292s |      27 | 18000137 | 13645033 |     2265  15709 |        1 |        4
1294.05/1294.55	c 1294s |      27 | 18021645 | 13662733 |     2265  15724 |        1 |        4
1296.05/1296.56	c 1296s |      27 | 18041671 | 13679133 |     2265  15739 |        1 |        4
1298.05/1298.56	c 1298s |      27 | 18064904 | 13698033 |     2265  15755 |        1 |        4
1300.05/1300.57	c 1300s |      27 | 18089726 | 13717333 |     2265  15772 |        1 |        4
1302.05/1302.57	c 1302s |      27 | 18115909 | 13736533 |     2265  15789 |        1 |        4
1304.04/1304.58	c 1304s |      27 | 18141762 | 13756633 |     2265  15807 |        1 |        4
1306.04/1306.59	c 1306s |      27 | 18166166 | 13776033 |     2265  15824 |        1 |        4
1308.04/1308.59	c 1308s |      27 | 18191559 | 13795033 |     2265  15841 |        1 |        4
1310.04/1310.59	c 1310s |      27 | 18216663 | 13814633 |     2265  15858 |        1 |        4
1312.14/1312.60	c 1312s |      27 | 18243175 | 13834333 |     2265  15875 |        1 |        4
1314.16/1314.61	c 1314s |      27 | 18269278 | 13853433 |     2265  15892 |        1 |        4
1316.15/1316.62	c 1316s |      27 | 18292924 | 13871933 |     2265  15908 |        1 |        4
1318.15/1318.62	c 1318s |      27 | 18315845 | 13889433 |     2265  15924 |        1 |        4
1320.15/1320.62	c 1320s |      27 | 18338967 | 13907333 |     2265  15940 |        1 |        4
1322.15/1322.63	c 1322s |      27 | 18363358 | 13926033 |     2265  15956 |        1 |        4
1324.15/1324.63	c 1324s |      27 | 18388186 | 13945833 |     2265  15973 |        1 |        4
1326.16/1326.64	c 1326s |      27 | 18414656 | 13965133 |     2265  15990 |        1 |        4
1328.15/1328.64	c 1328s |      27 | 18436461 | 13983033 |     2265  16006 |        1 |        4
1330.15/1330.64	c 1330s |      27 | 18462754 | 14002333 |     2265  16023 |        1 |        4
1332.15/1332.64	c 1332s |      27 | 18490249 | 14022733 |     2265  16041 |        1 |        4
1334.15/1334.65	c 1334s |      27 | 18515475 | 14042233 |     2265  16058 |        1 |        4
1336.15/1336.65	c 1336s |      27 | 18542319 | 14062433 |     2265  16076 |        1 |        4
1338.15/1338.66	c 1338s |      27 | 18569337 | 14082633 |     2265  16094 |        1 |        4
1340.15/1340.66	c 1340s |      27 | 18596160 | 14102533 |     2265  16111 |        1 |        4
1342.15/1342.67	c 1342s |      27 | 18623262 | 14122833 |     2265  16129 |        1 |        4
1344.14/1344.67	c 1344s |      27 | 18649547 | 14141533 |     2265  16145 |        1 |        4
1346.14/1346.68	c 1346s |      27 | 18674361 | 14160033 |     2265  16162 |        1 |        4
1348.15/1348.69	c 1348s |      27 | 18701047 | 14180333 |     2265  16180 |        1 |        4
1350.24/1350.70	c 1350s |      27 | 18719573 | 14196833 |     2265  16194 |        1 |        4
1352.24/1352.71	c 1352s |      27 | 18738639 | 14212933 |     2265  16208 |        1 |        4
1354.24/1354.71	c 1354s |      27 | 18759914 | 14229333 |     2265  16222 |        1 |        4
1356.24/1356.72	c 1356s |      27 | 18783788 | 14247033 |     2265  16238 |        1 |        4
1358.24/1358.72	c 1358s |      27 | 18808889 | 14266133 |     2265  16255 |        1 |        4
1360.25/1360.73	c 1360s |      27 | 18835756 | 14285133 |     2265  16272 |        1 |        4
1362.24/1362.74	c 1362s |      27 | 18860625 | 14304233 |     2265  16288 |        1 |        4
1364.24/1364.75	c 1364s |      27 | 18884031 | 14321333 |     2265  16303 |        1 |        4
1366.24/1366.77	c 1366s |      27 | 18908212 | 14338733 |     2265  16319 |        1 |        4
1368.24/1368.78	c 1368s |      27 | 18930268 | 14354833 |     2265  16333 |        1 |        4
1370.25/1370.78	c 1370s |      27 | 18954313 | 14374033 |     2265  16350 |        1 |        4
1372.24/1372.78	c 1372s |      27 | 18977516 | 14392533 |     2265  16366 |        1 |        4
1374.24/1374.79	c 1374s |      27 | 19005836 | 14413633 |     2265  16384 |        1 |        4
1376.34/1376.80	c 1376s |      27 | 19032341 | 14433733 |     2265  16402 |        1 |        4
1378.34/1378.80	c 1378s |      27 | 19055614 | 14451233 |     2265  16418 |        1 |        4
1380.34/1380.81	c 1380s |      27 | 19079097 | 14470033 |     2265  16434 |        1 |        4
1382.34/1382.81	c 1382s |      27 | 19104331 | 14489033 |     2265  16451 |        1 |        4
1384.34/1384.82	c 1384s |      27 | 19131798 | 14508833 |     2265  16468 |        1 |        4
1386.34/1386.82	c 1386s |      27 | 19157867 | 14528933 |     2265  16486 |        1 |        4
1388.34/1388.83	c 1388s |      27 | 19185199 | 14548833 |     2265  16503 |        1 |        4
1390.34/1390.83	c 1390s |      27 | 19211698 | 14568933 |     2265  16521 |        1 |        4
1392.34/1392.83	c 1392s |      27 | 19237070 | 14588433 |     2265  16538 |        1 |        4
1394.34/1394.84	c 1394s |      27 | 19263488 | 14607533 |     2265  16555 |        1 |        4
1396.33/1396.84	c 1396s |      27 | 19290023 | 14626533 |     2265  16572 |        1 |        4
1398.33/1398.85	c 1398s |      27 | 19315640 | 14646333 |     2265  16589 |        1 |        4
1400.33/1400.86	c 1400s |      27 | 19341490 | 14666233 |     2265  16606 |        1 |        4
1402.33/1402.87	c 1402s |      27 | 19360109 | 14682433 |     2265  16621 |        1 |        4
1404.34/1404.88	c 1404s |      27 | 19381066 | 14699833 |     2265  16636 |        1 |        4
1406.33/1406.88	c 1406s |      27 | 19402469 | 14717733 |     2265  16652 |        1 |        4
1408.33/1408.89	c 1408s |      27 | 19424001 | 14736133 |     2265  16668 |        1 |        4
1410.43/1410.91	c 1410s |      27 | 19446589 | 14754033 |     2265  16684 |        1 |        4
1412.43/1412.91	c 1412s |      27 | 19466350 | 14770833 |     2265  16698 |        1 |        4
1414.43/1414.91	c 1414s |      27 | 19491883 | 14789933 |     2265  16715 |        1 |        4
1416.43/1416.92	c 1416s |      27 | 19518192 | 14809933 |     2265  16733 |        1 |        4
1418.43/1418.92	c 1418s |      27 | 19544524 | 14829833 |     2265  16750 |        1 |        4
1420.43/1420.93	c 1420s |      27 | 19571211 | 14850133 |     2265  16768 |        1 |        4
1422.43/1422.93	c 1422s |      27 | 19598795 | 14870933 |     2265  16786 |        1 |        4
1424.43/1424.93	c 1424s |      27 | 19622794 | 14888733 |     2265  16801 |        2 |        8
1426.43/1426.94	c 1426s |      27 | 19643643 | 14905233 |     2265  16816 |        2 |        8
1428.44/1428.95	c 1428s |      27 | 19668371 | 14923833 |     2265  16832 |        2 |        8
1430.43/1430.96	c 1430s |      27 | 19691279 | 14941733 |     2265  16848 |        2 |        8
1432.43/1432.96	c 1432s |      27 | 19710995 | 14957833 |     2265  16862 |        2 |        8
1434.43/1434.97	c 1434s |      27 | 19734384 | 14976233 |     2265  16878 |        2 |        8
1436.43/1436.97	c 1436s |      27 | 19759267 | 14994933 |     2265  16894 |        2 |        8
1438.44/1438.97	c 1438s |      27 | 19782781 | 15013233 |     2265  16910 |        2 |        8
1440.43/1440.98	c 1440s |      27 | 19808379 | 15031733 |     2265  16927 |        2 |        8
1442.43/1442.98	c 1442s |      27 | 19833203 | 15050333 |     2265  16943 |        2 |        8
1444.43/1444.99	c 1444s |      27 | 19858482 | 15069333 |     2265  16960 |        2 |        8
1446.43/1447.00	c 1446s |      27 | 19881912 | 15087533 |     2265  16976 |        2 |        8
1448.53/1449.00	c 1448s |      27 | 19907778 | 15105333 |     2265  16991 |        2 |        8
1450.44/1451.00	c 1450s |      27 | 19932897 | 15124033 |     2265  17008 |        2 |        8
1452.53/1453.00	c 1452s |      27 | 19956394 | 15142933 |     2265  17024 |        2 |        8
1454.53/1455.01	c 1454s |      27 | 19979858 | 15162133 |     2265  17041 |        2 |        8
1456.53/1457.01	c 1456s |      27 | 20004409 | 15181433 |     2265  17058 |        2 |        8
1458.53/1459.01	c 1458s |      27 | 20027771 | 15199733 |     2265  17074 |        2 |        8
1460.53/1461.02	c 1461s |      27 | 20052890 | 15218033 |     2265  17090 |        2 |        8
1462.53/1463.03	c 1463s |      27 | 20074587 | 15235233 |     2265  17106 |        2 |        8
1464.53/1465.03	c 1465s |      27 | 20098944 | 15253833 |     2265  17122 |        2 |        8
1466.52/1467.03	c 1467s |      27 | 20124674 | 15272933 |     2265  17139 |        2 |        8
1468.52/1469.03	c 1469s |      27 | 20149358 | 15290633 |     2265  17154 |        2 |        8
1470.52/1471.04	c 1471s |      27 | 20174339 | 15308733 |     2265  17170 |        2 |        8
1472.53/1473.04	c 1473s |      27 | 20198412 | 15327133 |     2265  17186 |        2 |        8
1474.52/1475.05	c 1475s |      27 | 20224238 | 15345333 |     2265  17202 |        2 |        8
1476.52/1477.05	c 1477s |      27 | 20247404 | 15362733 |     2265  17218 |        2 |        8
1478.52/1479.06	c 1479s |      27 | 20271695 | 15381233 |     2265  17234 |        2 |        8
1480.52/1481.06	c 1481s |      27 | 20297243 | 15399433 |     2265  17250 |        2 |        8
1482.52/1483.07	c 1483s |      27 | 20320573 | 15417533 |     2265  17266 |        2 |        8
1484.53/1485.07	c 1485s |      27 | 20341085 | 15433933 |     2265  17280 |        2 |        8
1486.52/1487.08	c 1487s |      27 | 20365515 | 15452133 |     2265  17296 |        2 |        8
1488.52/1489.09	c 1489s |      27 | 20391577 | 15470433 |     2265  17312 |        2 |        8
1490.52/1491.09	c 1491s |      27 | 20416752 | 15489233 |     2265  17329 |        2 |        8
1492.52/1493.09	c 1493s |      27 | 20441863 | 15507633 |     2265  17345 |        2 |        8
1494.62/1495.10	c 1495s |      27 | 20466502 | 15526333 |     2265  17362 |        2 |        8
1496.62/1497.11	c 1497s |      27 | 20489818 | 15545333 |     2265  17378 |        2 |        8
1498.61/1499.12	c 1499s |      27 | 20514125 | 15562633 |     2265  17394 |        2 |        8
1500.61/1501.12	c 1501s |      27 | 20538897 | 15581133 |     2265  17410 |        2 |        8
1502.61/1503.12	c 1503s |      27 | 20563738 | 15599833 |     2265  17426 |        2 |        8
1504.61/1505.13	c 1505s |      27 | 20589680 | 15617933 |     2265  17442 |        2 |        8
1506.62/1507.13	c 1507s |      27 | 20615972 | 15637233 |     2265  17459 |        2 |        8
1508.62/1509.14	c 1509s |      27 | 20642897 | 15657133 |     2265  17477 |        2 |        8
1510.62/1511.14	c 1511s |      27 | 20666930 | 15676333 |     2265  17494 |        2 |        8
1512.62/1513.15	c 1513s |      27 | 20692376 | 15694333 |     2265  17509 |        2 |        8
1514.62/1515.15	c 1515s |      27 | 20717198 | 15712633 |     2265  17525 |        2 |        8
1516.62/1517.15	c 1517s |      27 | 20742084 | 15730533 |     2265  17541 |        2 |        8
1518.63/1519.15	c 1519s |      27 | 20765926 | 15749733 |     2265  17558 |        2 |        8
1520.62/1521.15	c 1521s |      27 | 20790802 | 15768733 |     2265  17575 |        2 |        8
1522.62/1523.16	c 1523s |      27 | 20815904 | 15787933 |     2265  17592 |        2 |        8
1524.62/1525.17	c 1525s |      27 | 20839986 | 15806533 |     2265  17608 |        2 |        8
1526.62/1527.18	c 1527s |      27 | 20864208 | 15825833 |     2265  17625 |        2 |        8
1528.72/1529.20	c 1529s |      27 | 20888589 | 15844533 |     2265  17642 |        2 |        8
1530.62/1531.20	c 1531s |      27 | 20912978 | 15863833 |     2265  17658 |        2 |        8
1532.72/1533.20	c 1533s |      27 | 20940561 | 15883233 |     2265  17676 |        2 |        8
1534.71/1535.20	c 1535s |      27 | 20964110 | 15901633 |     2265  17692 |        2 |        8
1536.71/1537.21	c 1537s |      27 | 20990715 | 15921433 |     2265  17709 |        2 |        8
1538.71/1539.22	c 1539s |      27 | 21012065 | 15939033 |     2265  17725 |        2 |        8
1540.72/1541.23	c 1541s |      27 | 21031770 | 15955933 |     2265  17740 |        2 |        8
1542.71/1543.24	c 1543s |      27 | 21049907 | 15972033 |     2265  17754 |        2 |        8
1544.71/1545.25	c 1545s |      27 | 21070829 | 15989233 |     2265  17769 |        2 |        8
1546.71/1547.26	c 1547s |      27 | 21089304 | 16005633 |     2265  17783 |        2 |        8
1548.71/1549.28	c 1549s |      27 | 21110381 | 16023033 |     2265  17799 |        2 |        8
1550.71/1551.28	c 1551s |      27 | 21131984 | 16039733 |     2265  17813 |        2 |        8
1552.71/1553.28	c 1553s |      27 | 21152391 | 16056533 |     2265  17828 |        2 |        8
1554.71/1555.29	c 1555s |      27 | 21176638 | 16074433 |     2265  17844 |        2 |        8
1556.81/1557.30	c 1557s |      27 | 21197747 | 16091633 |     2265  17859 |        2 |        8
1558.81/1559.31	c 1559s |      27 | 21221662 | 16109133 |     2265  17874 |        2 |        8
1560.81/1561.32	c 1561s |      27 | 21245821 | 16127633 |     2265  17891 |        2 |        8
1562.81/1563.32	c 1563s |      27 | 21268732 | 16145933 |     2265  17907 |        2 |        8
1564.81/1565.33	c 1565s |      27 | 21289723 | 16162933 |     2265  17922 |        2 |        8
1566.80/1567.33	c 1567s |      27 | 21315033 | 16181233 |     2265  17938 |        2 |        8
1568.81/1569.34	c 1569s |      27 | 21341935 | 16200533 |     2265  17955 |        2 |        8
1570.81/1571.35	c 1571s |      27 | 21368447 | 16220333 |     2265  17972 |        2 |        8
1572.81/1573.35	c 1573s |      27 | 21395138 | 16240533 |     2265  17990 |        2 |        8
1574.82/1575.35	c 1575s |      27 | 21419665 | 16260033 |     2265  18007 |        2 |        8
1576.81/1577.36	c 1577s |      27 | 21446340 | 16279533 |     2265  18024 |        2 |        8
1578.81/1579.37	c 1579s |      27 | 21469121 | 16297833 |     2265  18040 |        2 |        8
1580.81/1581.37	c 1581s |      27 | 21493666 | 16317333 |     2265  18058 |        2 |        8
1582.81/1583.38	c 1583s |      27 | 21518077 | 16337233 |     2265  18075 |        2 |        8
1584.81/1585.39	c 1585s |      27 | 21544779 | 16357333 |     2265  18093 |        2 |        8
1586.81/1587.39	c 1587s |      27 | 21568910 | 16376733 |     2265  18110 |        2 |        8
1588.91/1589.40	c 1589s |      27 | 21593335 | 16394533 |     2265  18126 |        2 |        8
1590.91/1591.40	c 1591s |      27 | 21620493 | 16414033 |     2265  18143 |        2 |        8
1592.90/1593.41	c 1593s |      27 | 21647915 | 16434033 |     2265  18160 |        2 |        8
1594.90/1595.41	c 1595s |      27 | 21674373 | 16454033 |     2265  18178 |        2 |        8
1596.90/1597.42	c 1597s |      27 | 21701252 | 16473833 |     2265  18195 |        2 |        8
1598.91/1599.43	c 1599s |      27 | 21729037 | 16494333 |     2265  18214 |        2 |        8
1600.91/1601.43	c 1601s |      27 | 21756500 | 16514433 |     2265  18231 |        2 |        8
1602.91/1603.44	c 1603s |      27 | 21783940 | 16535333 |     2265  18250 |        2 |        8
1604.91/1605.44	c 1605s |      27 | 21808833 | 16554433 |     2265  18266 |        2 |        8
1606.90/1607.44	c 1607s |      27 | 21835854 | 16574533 |     2265  18284 |        2 |        8
1608.91/1609.45	c 1609s |      27 | 21862452 | 16595433 |     2265  18302 |        2 |        8
1610.90/1611.45	c 1611s |      27 | 21890795 | 16616333 |     2265  18321 |        2 |        8
1612.90/1613.46	c 1613s |      27 | 21917801 | 16637633 |     2265  18340 |        2 |        8
1614.90/1615.47	c 1615s |      27 | 21943605 | 16658333 |     2265  18358 |        2 |        8
1616.90/1617.47	c 1617s |      27 | 21970891 | 16678933 |     2265  18376 |        2 |        8
1618.90/1619.49	c 1619s |      27 | 21999222 | 16700233 |     2265  18395 |        2 |        8
1620.91/1621.49	c 1621s |      27 | 22029115 | 16722233 |     2265  18414 |        2 |        8
1623.00/1623.50	c 1623s |      27 | 22055881 | 16742033 |     2265  18431 |        2 |        8
1625.00/1625.51	c 1625s |      27 | 22079271 | 16760333 |     2265  18447 |        2 |        8
1627.00/1627.52	c 1627s |      27 | 22101902 | 16777333 |     2265  18462 |        2 |        8
1629.00/1629.52	c 1629s |      27 | 22128146 | 16796533 |     2265  18479 |        2 |        8
1631.00/1631.52	c 1631s |      27 | 22154355 | 16816733 |     2265  18497 |        2 |        8
1633.00/1633.53	c 1633s |      27 | 22182834 | 16837333 |     2265  18515 |        2 |        8
1634.99/1635.54	c 1635s |      27 | 22212463 | 16859233 |     2265  18534 |        2 |        8
1636.99/1637.54	c 1637s |      27 | 22238814 | 16879733 |     2265  18552 |        2 |        8
1638.99/1639.55	c 1639s |      27 | 22263291 | 16898933 |     2265  18569 |        2 |        8
1640.99/1641.55	c 1641s |      27 | 22288977 | 16918733 |     2265  18587 |        2 |        8
1643.00/1643.55	c 1643s |      27 | 22315230 | 16938733 |     2265  18604 |        2 |        8
1645.00/1645.55	c 1645s |      27 | 22340559 | 16957733 |     2265  18621 |        2 |        8
1647.00/1647.55	c 1647s |      27 | 22365362 | 16976633 |     2492  18637 |        2 |        8
1649.00/1649.57	c 1649s |      27 | 22389332 | 16994633 |     2492  18652 |        2 |        8
1651.00/1651.58	c 1651s |      27 | 22414472 | 17013833 |     2492  18667 |        2 |        8
1653.00/1653.59	c 1653s |      27 | 22441163 | 17034333 |     2492  18683 |        2 |        8
1655.00/1655.60	c 1655s |      27 | 22465259 | 17053433 |     2492  18699 |        2 |        8
1657.10/1657.60	c 1657s |      27 | 22490362 | 17072333 |     2492  18714 |        2 |        8
1659.10/1659.61	c 1659s |      27 | 22511636 | 17090233 |     2492  18728 |        2 |        8
1659.60/1660.14	c 1660s |      28 | 22518099 | 17095205 |     2492  18732 |        2 |        8
1661.60/1662.14	c 1662s |      28 | 22543191 | 17114105 |     2492  18747 |        2 |        8
1663.60/1664.15	c 1664s |      28 | 22567693 | 17133505 |     2492  18763 |        2 |        8
1665.59/1666.15	c 1666s |      28 | 22592997 | 17153405 |     2492  18778 |        2 |        8
1667.59/1668.16	c 1668s |      28 | 22616634 | 17172005 |     2492  18793 |        2 |        8
1669.59/1670.17	c 1670s |      28 | 22643261 | 17191805 |     2492  18809 |        2 |        8
1671.60/1672.17	c 1672s |      28 | 22667622 | 17210605 |     2492  18824 |        2 |        8
1673.59/1674.17	c 1674s |      28 | 22689156 | 17228005 |     2492  18838 |        2 |        8
1675.59/1676.18	c 1676s |      28 | 22708739 | 17244505 |     2492  18851 |        2 |        8
1677.59/1678.19	c 1678s |      28 | 22732260 | 17262905 |     2492  18866 |        2 |        8
1679.59/1680.19	c 1680s |      28 | 22756298 | 17281705 |     2492  18881 |        2 |        8
1681.69/1682.20	c 1682s |      28 | 22780352 | 17300005 |     2492  18896 |        2 |        8
1683.70/1684.20	c 1684s |      28 | 22803565 | 17318305 |     2492  18910 |        2 |        8
1685.69/1686.21	c 1686s |      28 | 22826398 | 17334605 |     2492  18923 |        2 |        8
1687.69/1688.21	c 1688s |      28 | 22851485 | 17353005 |     2492  18938 |        2 |        8
1689.69/1690.21	c 1690s |      28 | 22875227 | 17371105 |     2492  18952 |        2 |        8
1691.69/1692.21	c 1692s |      28 | 22899238 | 17389205 |     2492  18967 |        2 |        8
1693.69/1694.22	c 1694s |      28 | 22923676 | 17408005 |     2492  18982 |        2 |        8
1695.70/1696.22	c 1696s |      28 | 22946941 | 17426205 |     2492  18996 |        2 |        8
1697.69/1698.23	c 1698s |      28 | 22971070 | 17444805 |     2492  19011 |        2 |        8
1699.69/1700.23	c 1700s |      28 | 22996733 | 17464305 |     2492  19027 |        2 |        8
1701.69/1702.24	c 1702s |      28 | 23019325 | 17482405 |     2492  19041 |        2 |        8
1703.69/1704.25	c 1704s |      28 | 23043985 | 17501705 |     2492  19057 |        2 |        8
1705.70/1706.26	c 1706s |      28 | 23068333 | 17519705 |     2492  19071 |        2 |        8
1707.69/1708.26	c 1708s |      28 | 23092979 | 17538605 |     2492  19086 |        2 |        8
1709.69/1710.26	c 1710s |      28 | 23116759 | 17557305 |     2492  19101 |        2 |        8
1711.69/1712.27	c 1712s |      28 | 23141276 | 17576305 |     2492  19116 |        2 |        8
1713.69/1714.28	c 1714s |      28 | 23166713 | 17595005 |     2492  19131 |        2 |        8
1715.69/1716.28	c 1716s |      28 | 23191435 | 17614505 |     2492  19147 |        2 |        8
1717.69/1718.28	c 1718s |      28 | 23219155 | 17634705 |     2492  19163 |        2 |        8
1719.68/1720.28	c 1720s |      28 | 23247060 | 17655005 |     2492  19179 |        2 |        8
1721.68/1722.29	c 1722s |      28 | 23273371 | 17674205 |     2492  19195 |        2 |        8
1723.68/1724.29	c 1724s |      28 | 23300629 | 17694205 |     2492  19211 |        2 |        8
1725.78/1726.30	c 1726s |      28 | 23323508 | 17712305 |     2492  19225 |        2 |        8
1727.78/1728.32	c 1728s |      28 | 23346343 | 17730305 |     2492  19240 |        2 |        8
1729.79/1730.32	c 1730s |      28 | 23369829 | 17748905 |     2492  19254 |        2 |        8
1731.78/1732.33	c 1732s |      28 | 23394035 | 17767405 |     2492  19269 |        2 |        8
1733.78/1734.33	c 1734s |      28 | 23418721 | 17786105 |     2492  19284 |        2 |        8
1735.78/1736.33	c 1736s |      28 | 23442574 | 17803905 |     2492  19298 |        2 |        8
1737.79/1738.35	c 1738s |      28 | 23463907 | 17821505 |     2492  19313 |        2 |        8
1739.79/1740.35	c 1740s |      28 | 23486933 | 17840005 |     2492  19327 |        2 |        8
1741.79/1742.36	c 1742s |      28 | 23509902 | 17857605 |     2492  19341 |        2 |        8
1743.79/1744.36	c 1744s |      28 | 23531922 | 17875205 |     2492  19355 |        2 |        8
1745.78/1746.37	c 1746s |      28 | 23556219 | 17893605 |     2492  19370 |        2 |        8
1747.78/1748.38	c 1748s |      28 | 23579248 | 17911705 |     2492  19385 |        2 |        8
1749.78/1750.39	c 1750s |      28 | 23603677 | 17930105 |     2492  19399 |        2 |        8
1751.79/1752.40	c 1752s |      28 | 23630369 | 17947005 |     2492  19413 |        2 |        8
1753.88/1754.40	c 1754s |      28 | 23657470 | 17963105 |     2492  19426 |        2 |        8
1755.88/1756.41	c 1756s |      28 | 23685923 | 17980705 |     2492  19440 |        2 |        8
1757.88/1758.42	c 1758s |      28 | 23715397 | 17997605 |     2492  19453 |        2 |        8
1759.88/1760.42	c 1760s |      28 | 23743564 | 18014005 |     2492  19466 |        2 |        8
1761.88/1762.43	c 1762s |      28 | 23769410 | 18030005 |     2492  19479 |        2 |        8
1763.89/1764.43	c 1764s |      28 | 23796737 | 18048805 |     2492  19494 |        2 |        8
1765.88/1766.44	c 1766s |      28 | 23823048 | 18068505 |     2492  19510 |        2 |        8
1767.88/1768.44	c 1768s |      28 | 23847914 | 18086805 |     2492  19524 |        2 |        8
1769.88/1770.45	c 1770s |      28 | 23873403 | 18104705 |     2492  19539 |        2 |        8
1771.88/1772.45	c 1772s |      28 | 23897667 | 18122905 |     2492  19553 |        2 |        8
1773.88/1774.46	c 1774s |      28 | 23919337 | 18140105 |     2492  19567 |        2 |        8
1775.88/1776.46	c 1776s |      28 | 23937744 | 18155805 |     2492  19580 |        2 |        8
1777.88/1778.46	c 1778s |      28 | 23960506 | 18172905 |     2492  19593 |        2 |        8
1779.87/1780.47	c 1780s |      28 | 23985661 | 18191805 |     2492  19608 |        2 |        8
1781.87/1782.47	c 1782s |      28 | 24009906 | 18209405 |     2492  19622 |        2 |        8
1783.87/1784.47	c 1784s |      28 | 24032515 | 18225505 |     2492  19635 |        2 |        8
1785.88/1786.48	c 1786s |      28 | 24055035 | 18241505 |     2492  19648 |        2 |        8
1787.87/1788.48	c 1788s |      28 | 24080627 | 18259805 |     2492  19663 |        2 |        8
1789.87/1790.49	c 1790s |      28 | 24102733 | 18277405 |     2492  19677 |        2 |        8
1791.87/1792.49	c 1792s |      28 | 24125782 | 18295305 |     2492  19691 |        2 |        8
1793.97/1794.50	c 1794s |      28 | 24149399 | 18313505 |     2492  19705 |        2 |        8
1795.97/1796.50	c 1796s |      28 | 24171899 | 18331205 |     2492  19720 |        2 |        8
1797.98/1798.51	c 1798s |      28 | 24194448 | 18349205 |     2492  19734 |        2 |        8
1799.98/1800.51	c 1800s |      28 | 24218812 | 18368105 |     2492  19749 |        2 |        8

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-4120002-1467308744/watcher-4120002-1467308744 -o /tmp/evaluation-result-4120002-1467308744/solver-4120002-1467308744 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11512 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120002-1467308744.opb 

pid=11639
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: 1.51 1.87 1.70 3/180 11642
/proc/meminfo: memFree=29367320/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 2987 0 0 0 0 0 0 0 20 0 4 0 9903641 816246784 3347 33554432000 4194304 16246674 140737177541648 140737177541072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 200047 3355 441 2943 0 196941 0
[pid=11642/tid=11643] ppid=11639 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 835121152 3417 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=819644 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 839315456 3434 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=823740 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903641 843509760 3451 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 1.51 1.87 1.70 3/180 11642
/proc/meminfo: memFree=29367320/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 26018 0 0 0 6 3 0 0 20 0 4 0 9903641 1247350784 26367 33554432000 4194304 16246674 140737177541648 140737177541072 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 304529 26375 709 2943 0 301423 0
[pid=11642/tid=11643] ppid=11639 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1247350784 26382 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1247350784 26388 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903641 1247350784 26396 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200434 s]
/proc/loadavg: 1.51 1.87 1.70 3/180 11642
/proc/meminfo: memFree=29367320/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 49495 0 0 0 12 7 0 0 20 0 4 0 9903641 1247350784 49844 33554432000 4194304 16246674 140737177541648 140737177541072 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 304529 49857 710 2943 0 301423 0
[pid=11642/tid=11643] ppid=11639 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1247350784 49862 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1247350784 49873 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903641 1247350784 49880 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30043 s]
/proc/loadavg: 1.51 1.87 1.70 3/180 11642
/proc/meminfo: memFree=29367320/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 73258 0 0 0 19 10 0 0 20 0 4 0 9903641 1247350784 73607 33554432000 4194304 16246674 140737177541648 140737177524648 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 304529 73619 710 2943 0 301423 0
[pid=11642/tid=11643] ppid=11639 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1247350784 73625 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1247350784 73634 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903641 1247350784 73642 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700311 s]
/proc/loadavg: 1.51 1.87 1.70 3/180 11642
/proc/meminfo: memFree=29367320/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 166163 0 0 0 46 23 0 0 20 0 4 0 9903641 1247350784 166512 33554432000 4194304 16246674 140737177541648 140737177524648 5723873 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 304529 166524 710 2943 0 301423 0
[pid=11642/tid=11643] ppid=11639 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1247350784 166530 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1247350784 166535 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9903641 1247350784 166541 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 1.51 1.87 1.70 3/184 11646
/proc/meminfo: memFree=28384508/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 245601 0 0 0 115 34 0 0 20 0 4 0 9903641 1248399360 245930 33554432000 4194304 16246674 140737177541648 140737177523520 5974006 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 304785 245930 787 2943 0 301679 0
[pid=11642/tid=11643] ppid=11639 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1248399360 245930 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1248399360 245930 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1248399360 245930 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10036 s]
/proc/loadavg: 1.51 1.87 1.70 2/180 11695
/proc/meminfo: memFree=29366160/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 267444 0 0 0 272 37 0 0 20 0 4 0 9903641 1337528320 267773 33554432000 4194304 16246674 140737177541648 140737177524648 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 326545 267773 787 2943 0 323439 0
[pid=11642/tid=11643] ppid=11639 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1337528320 267773 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1337528320 267773 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1337528320 267773 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 1.55 1.88 1.70 3/183 11744
/proc/meminfo: memFree=28293752/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 267531 0 0 0 592 37 0 0 20 0 4 0 9903641 1337528320 267860 33554432000 4194304 16246674 140737177541648 140737177523520 5723721 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 326545 267860 788 2943 0 323439 0
[pid=11642/tid=11643] ppid=11639 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1337528320 267860 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1337528320 267860 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1337528320 267860 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.58 1.88 1.71 3/183 11744
/proc/meminfo: memFree=28294564/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 267535 0 0 0 1232 37 0 0 20 0 4 0 9903641 1337528320 267864 33554432000 4194304 16246674 140737177541648 140737177524648 5754966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 326545 267864 790 2943 0 323439 0
[pid=11642/tid=11643] ppid=11639 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1337528320 267864 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1337528320 267864 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1337528320 267864 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.67 1.88 1.71 3/183 11744
/proc/meminfo: memFree=28295980/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 267603 0 0 0 2511 38 0 0 20 0 4 0 9903641 1338576896 267932 33554432000 4194304 16246674 140737177541648 140737177523520 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 326801 267932 790 2943 0 323695 0
[pid=11642/tid=11643] ppid=11639 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1338576896 267932 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1338576896 267932 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1338576896 267932 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.78 1.89 1.72 3/183 11744
/proc/meminfo: memFree=28295532/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 267828 0 0 0 5070 38 0 0 20 0 4 0 9903641 1338576896 268157 33554432000 4194304 16246674 140737177541648 140737177523520 13962576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 326801 268157 790 2943 0 323695 0
[pid=11642/tid=11643] ppid=11639 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1338576896 268157 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1338576896 268157 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1338576896 268157 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 1.97 1.92 1.74 3/183 11745
/proc/meminfo: memFree=28295408/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 267828 0 0 0 10188 40 0 0 20 0 4 0 9903641 1338576896 268157 33554432000 4194304 16246674 140737177541648 140737177523520 5673987 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 326801 268157 790 2943 0 323695 0
[pid=11642/tid=11643] ppid=11639 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1338576896 268157 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1338576896 268157 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1338576896 268157 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1316420

[startup+1302.3 s]
/proc/loadavg: 2.12 2.20 2.04 3/183 11798
/proc/meminfo: memFree=28281576/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1316420 CPUtime=1301.85 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 270526 0 0 0 130116 69 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140737177523520 5823627 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 329105 270465 791 2943 0 325999 0
[pid=11642/tid=11643] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.04 2.16 2.03 3/183 11799
/proc/meminfo: memFree=28281888/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1316420 CPUtime=1361.84 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 270526 0 0 0 136114 70 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140737177523520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 329105 270465 791 2943 0 325999 0
[pid=11642/tid=11643] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.08 2.14 2.03 3/183 11800
/proc/meminfo: memFree=28281924/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1316420 CPUtime=1421.84 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 270526 0 0 0 142113 71 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140737177523520 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 329105 270465 791 2943 0 325999 0
[pid=11642/tid=11643] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.23 2.18 2.05 3/184 11805
/proc/meminfo: memFree=28281704/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1316420 CPUtime=1481.82 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 270526 0 0 0 148111 71 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140737177523520 5545988 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 329105 270465 791 2943 0 325999 0
[pid=11642/tid=11643] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.16 2.17 2.05 3/183 11806
/proc/meminfo: memFree=28282092/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1316420 CPUtime=1541.82 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 270526 0 0 0 154110 72 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140737177524648 5808488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 329105 270465 791 2943 0 325999 0
[pid=11642/tid=11643] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.06 2.14 2.04 3/183 11807
/proc/meminfo: memFree=28281924/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1316420 CPUtime=1601.81 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 270526 0 0 0 160107 74 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140737177523520 5673150 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 329105 270465 791 2943 0 325999 0
[pid=11642/tid=11643] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.09 2.12 2.04 3/183 11808
/proc/meminfo: memFree=28282052/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1316420 CPUtime=1661.8 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 270526 0 0 0 166105 75 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140737177523520 5675461 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 329105 270465 791 2943 0 325999 0
[pid=11642/tid=11643] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.11 2.12 2.04 3/183 11809
/proc/meminfo: memFree=28281932/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1316420 CPUtime=1721.78 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 270526 0 0 0 172102 76 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140737177523520 5822432 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 329105 270465 791 2943 0 325999 0
[pid=11642/tid=11643] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.13 2.12 2.05 3/182 11810
/proc/meminfo: memFree=28281704/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1316420 CPUtime=1781.77 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 270526 0 0 0 178100 77 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140737177523520 5677492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 329105 270465 791 2943 0 325999 0
[pid=11642/tid=11643] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.09 2.11 2.05 3/183 11811
/proc/meminfo: memFree=28281696/32872528 swapFree=1102192/1183952
[pid=11642] ppid=11639 vsize=1316420 CPUtime=1800.08 cores=1,3,5,7
/proc/11642/stat : 11642 (toysat) R 11639 11642 11495 0 -1 4202496 270526 0 0 0 179930 78 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140737177523520 13927427 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11642/statm: 329105 270465 791 2943 0 325999 0
[pid=11642/tid=11643] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11643/stat : 11643 (toysat) S 11639 11642 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685183266032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11642/tid=11644] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11644/stat : 11644 (toysat) S 11639 11642 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685172776176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11642/tid=11645] ppid=11639 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11642/task/11645/stat : 11645 (toysat) S 11639 11642 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9903641 1348014080 270465 33554432000 4194304 16246674 140737177541648 140685162302640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1316420

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.31
CPU system time (s): 0.780881
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.780881
maximum resident set size= 1081860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270526
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= 406
involuntary context switches= 2035

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45432 second user time and 7.07492 second system time

The end

Begin job on node115 at 2016-06-30 19:45:44
IDJOB=4120002
IDBENCH=109651
IDSOLVER=2542
FILE ID=node115/4120002-1467308744
RUNJOBID= node115-1467308742-11512
PBS_JOBID= 20005276
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i3-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120002-1467308744/watcher-4120002-1467308744 -o /tmp/evaluation-result-4120002-1467308744/solver-4120002-1467308744 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11512 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120002-1467308744.opb

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

MD5SUM BENCH= 0aabf89106f4477366533cff37410bf4
RANDOM SEED=22697459

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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		: 2667.087
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:        29367328 kB
Buffers:          151548 kB
Cached:           341632 kB
SwapCached:            0 kB
Active:          1361228 kB
Inactive:         215028 kB
Active(anon):    1079096 kB
Inactive(anon):     6556 kB
Active(file):     282132 kB
Inactive(file):   208472 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32772 kB
Writeback:             0 kB
AnonPages:       2266700 kB
Mapped:            17168 kB
Shmem:               204 kB
Slab:             608244 kB
SReclaimable:      51972 kB
SUnreclaim:       556272 kB
KernelStack:        1520 kB
PageTables:         8284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2404564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 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= 71632 MiB
End job on node115 at 2016-06-30 20:15:45