0.00/0.00	c 2016-06-30T21:01:19+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-4121050-1467313279.opb"]
0.00/0.01	c use --random-gen="2157455904 1375781595 3601358079 756587651 1016493435 1569957939 993889906 1678705464 4017495219 1242600955 2504609805 1994574114 581136867 3168313893 779972688 3163084764 1208922525 120580895 3554229767 1057469582 1640413464 2353356488 4042890906 3690857031 1467015108 3375233911 4128797250 1325023948 1155056862 2395342060 1946760171 2719993804 3415175901 849748573 2675814931 4782856 841341165 2770437842 105529996 1903787781 1427976673 592546341 1883351357 3810877646 3744445997 3953137351 1963510985 2164144963 3421524591 3698693378 3535743576 1799877927 468179922 246201799 1063728320 1096359519 3553604976 4152646652 1510628932 2610501369 2152170433 4176562910 1269235164 2403407606 3948214555 3999069245 4226401162 4030045736 2664811770 3337432904 2628250626 3789350801 356270416 3457024178 3402038894 1739386501 1034283450 2725181470 2034369879 3244346542 1805666086 488712571 2780455796 776808710 4082598363 2140787085 2961006053 4012634394 1557599126 2251193282 2928110238 2877934863 2225918364 882083399 2787290505 2587648264 2298182741 1948207932 3715935437 2771206689 1113811732 1353786816 2814808438 2131087164 1251841995 578380965 2404361602 1549247111 2582518910 1752267161 2775918685 1474335155 968711490 2849545106 3605669083 4005711415 3864794146 3845862335 1865489301 3396756438 2702889501 949090177 2376736771 34373494 3037921603 2774476292 3575597765 2455462842 4105039907 2974091013 627621582 1269740146 2968807040 532987113 1916903200 927882379 1979715366 2760412805 587193873 628551829 1040880234 2694425555 2918348640 3729785316 889118567 866492200 688657749 3389729031 825194151 468261733 2443431226 347090364 2734787886 566047790 2405475142 62273393 3794786224 4071069366 3172000520 3869831408 3595056745 3713738019 1971764910 389406934 876533901 1610401756 765703371 1036214307 1545194386 437850584 1430844585 3088581456 3900344596 4108373151 2600568329 3292023599 1308081423 3163056888 480916597 4292814704 2282518076 2465990636 119725245 2881261496 1195801285 3555323692 1839107642 2521672379 718714363 3918960963 3092338716 2444621743 299030302 3374833288 3430810557 4063914998 535447069 3285078649 1773153684 2176473206 2947723307 2995444695 2983535485 2983394940 406518014 3858709300 288563216 101602564 3238304991 1539150729 1393234855 2263755598 1285600653 2130220764 3761298981 3059077811 2263995567 696849038 2475203875 3666298450 4284286895 3628840285 1616813578 3224136664 3881241439 824048027 2904935497 3038144705 367472758 2592781716 2013913942 3092379807 2752552825 557171514 823192099 770577977 2304751421 2065696338 4108173098 2465440216 306364016 3541670474 4189093623 1346308376 3189939692 3333092371 2898195377 2657235828 1468540224 380223333 2254747951 3269740557 2951197549 4174051494 1471846546 3413888628 255 362436" option to reproduce the execution
0.00/0.01	c #vars 109
0.00/0.01	c #constraints 108
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       72      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      137 |      100 |       72      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      371 |      250 |       80      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      713 |      475 |       88      7 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1229 |      813 |       97     12 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2061 |     1320 |      107     19 |        0 |        0
0.19/0.21	c  0.2s |       6 |     3425 |     2081 |      130     30 |        0 |        0
0.28/0.31	c  0.3s |       7 |     5034 |     3223 |      143     43 |        0 |        0
0.39/0.47	c  0.5s |       8 |     7595 |     4936 |      158     65 |        0 |        0
0.69/0.70	c  0.7s |       9 |    11379 |     7506 |      174     92 |        0 |        0
0.99/1.08	c  1.1s |      10 |    16337 |    11361 |      192    130 |        0 |        0
1.39/1.45	c  1.4s |      11 |    24988 |    17144 |      212    183 |        0 |        0
1.99/2.03	c  2.0s |      12 |    36564 |    25819 |      234    257 |        0 |        0
2.88/2.91	c  2.9s |      13 |    54292 |    38832 |      258    354 |        0 |        0
4.29/4.35	c  4.3s |      14 |    80461 |    58352 |      284    490 |        0 |        0
6.29/6.36	c  6.3s |      14 |   116475 |    84652 |      284    659 |        0 |        0
6.49/6.58	c  6.6s |      15 |   120292 |    87632 |      313    678 |        0 |        0
8.49/8.59	c  8.6s |      15 |   162161 |   115532 |      313    846 |        0 |        0
9.68/9.73	c  9.7s |      16 |   185791 |   131552 |      345    942 |        0 |        0
11.69/11.73	c 11.7s |      16 |   226061 |   159652 |      345   1095 |        0 |        0
13.68/13.74	c 13.7s |      16 |   260863 |   186352 |      345   1243 |        0 |        0
14.49/14.56	c 14.5s |      17 |   276443 |   197432 |      380   1303 |        0 |        0
16.50/16.56	c 16.5s |      17 |   315129 |   224732 |      380   1439 |        0 |        0
18.49/18.56	c 18.6s |      17 |   352857 |   251332 |      380   1573 |        0 |        0
20.48/20.57	c 20.6s |      17 |   387000 |   276132 |      380   1697 |        0 |        0
22.19/22.20	c 22.2s |      18 |   414754 |   296252 |      419   1795 |        0 |        0
24.08/24.20	c 24.2s |      18 |   449479 |   322152 |      419   1913 |        0 |        0
26.19/26.21	c 26.2s |      18 |   485402 |   348152 |      419   2030 |        0 |        0
28.18/28.21	c 28.2s |      18 |   519907 |   374252 |      419   2148 |        0 |        0
30.18/30.21	c 30.2s |      18 |   555181 |   400852 |      419   2269 |        0 |        0
32.18/32.22	c 32.2s |      18 |   590332 |   427552 |      419   2392 |        0 |        0
33.48/33.51	c 33.5s |      19 |   614055 |   444482 |      461   2469 |        0 |        0
35.49/35.51	c 35.5s |      19 |   644084 |   467882 |      461   2565 |        0 |        0
37.49/37.52	c 37.5s |      19 |   675392 |   492082 |      461   2665 |        0 |        0
39.49/39.52	c 39.5s |      19 |   708192 |   516382 |      461   2766 |        0 |        0
41.49/41.53	c 41.5s |      19 |   741344 |   540782 |      461   2867 |        0 |        0
43.48/43.53	c 43.5s |      19 |   772563 |   563982 |      461   2964 |        0 |        0
45.48/45.53	c 45.5s |      19 |   807606 |   589082 |      461   3069 |        0 |        0
47.48/47.54	c 47.5s |      19 |   837510 |   612182 |      461   3162 |        0 |        0
49.49/49.55	c 49.5s |      19 |   869485 |   636182 |      461   3261 |        0 |        0
51.49/51.55	c 51.5s |      19 |   899879 |   659982 |      461   3360 |        0 |        0
52.08/52.14	c 52.1s |      20 |   908742 |   666827 |      508   3387 |        0 |        0
54.08/54.14	c 54.1s |      20 |   945155 |   692727 |      508   3484 |        0 |        0
56.09/56.14	c 56.1s |      20 |   980351 |   718027 |      508   3580 |        0 |        0
58.08/58.15	c 58.1s |      20 |  1015873 |   743427 |      508   3677 |        0 |        0
60.08/60.16	c 60.1s |      20 |  1047084 |   767227 |      508   3767 |        0 |        0
62.08/62.16	c 62.1s |      20 |  1082764 |   792627 |      508   3863 |        0 |        0
64.08/64.16	c 64.1s |      20 |  1111035 |   814727 |      508   3947 |        0 |        0
66.09/66.16	c 66.2s |      20 |  1140046 |   837627 |      508   4032 |        0 |        0
68.08/68.17	c 68.2s |      20 |  1169405 |   860827 |      508   4121 |        0 |        0
70.08/70.17	c 70.2s |      20 |  1197726 |   883127 |      508   4206 |        0 |        0
72.08/72.18	c 72.2s |      20 |  1228042 |   906327 |      508   4293 |        0 |        0
74.08/74.18	c 74.2s |      20 |  1258953 |   930027 |      508   4384 |        0 |        0
76.08/76.18	c 76.2s |      20 |  1292729 |   954527 |      508   4477 |        0 |        0
78.08/78.18	c 78.2s |      20 |  1328817 |   979827 |      508   4574 |        0 |        0
79.88/79.93	c 79.9s |      21 |  1356535 |  1000345 |      559   4649 |        0 |        0
81.88/81.93	c 81.9s |      21 |  1394028 |  1025845 |      559   4738 |        0 |        0
83.87/83.93	c 83.9s |      21 |  1430825 |  1051345 |      559   4826 |        0 |        0
85.88/85.94	c 85.9s |      21 |  1465976 |  1077045 |      559   4916 |        0 |        0
87.88/87.94	c 87.9s |      21 |  1500018 |  1102745 |      559   5005 |        0 |        0
89.87/89.94	c 89.9s |      21 |  1534302 |  1128045 |      559   5093 |        0 |        0
91.88/91.94	c 91.9s |      21 |  1566813 |  1152545 |      559   5177 |        0 |        0
93.88/93.94	c 93.9s |      21 |  1601055 |  1178445 |      559   5267 |        0 |        0
95.87/95.95	c 95.9s |      21 |  1639674 |  1205045 |      559   5360 |        0 |        0
97.88/97.95	c 97.9s |      21 |  1676799 |  1231245 |      559   5451 |        0 |        0
99.87/99.96	c 99.9s |      21 |  1712942 |  1257145 |      559   5542 |        0 |        0
101.88/101.96	c  101s |      21 |  1751077 |  1283245 |      559   5633 |        0 |        0
103.88/103.97	c  103s |      21 |  1788355 |  1309345 |      559   5724 |        0 |        0
105.88/105.97	c  105s |      21 |  1823508 |  1334345 |      559   5812 |        0 |        0
107.88/107.97	c  107s |      21 |  1853685 |  1357245 |      559   5892 |        0 |        0
109.87/109.98	c  109s |      21 |  1885531 |  1380845 |      559   5975 |        0 |        0
111.88/111.98	c  111s |      21 |  1917336 |  1405145 |      559   6061 |        0 |        0
113.88/113.99	c  113s |      21 |  1948870 |  1429045 |      559   6146 |        0 |        0
115.97/116.00	c  115s |      21 |  1980331 |  1452945 |      559   6231 |        0 |        0
117.97/118.00	c  117s |      21 |  2012526 |  1477145 |      559   6315 |        0 |        0
119.98/120.01	c  119s |      21 |  2042650 |  1499945 |      615   6391 |        0 |        0
119.98/120.06	c  120s |      22 |  2043550 |  1500622 |      615   6393 |        0 |        0
121.97/122.07	c  122s |      22 |  2076728 |  1524022 |      615   6466 |        0 |        0
123.97/124.07	c  124s |      22 |  2106933 |  1546722 |      615   6538 |        0 |        0
125.97/126.08	c  126s |      22 |  2136397 |  1568922 |      615   6608 |        0 |        0
127.97/128.08	c  128s |      22 |  2165386 |  1591322 |      615   6678 |        0 |        0
129.97/130.09	c  130s |      22 |  2198553 |  1615822 |      615   6756 |        0 |        0
131.97/132.09	c  132s |      22 |  2234433 |  1640822 |      615   6835 |        0 |        0
134.07/134.10	c  134s |      22 |  2268331 |  1665122 |      615   6912 |        0 |        0
136.07/136.10	c  136s |      22 |  2301200 |  1688922 |      615   6989 |        0 |        0
138.07/138.11	c  138s |      22 |  2338490 |  1715022 |      615   7071 |        0 |        0
140.07/140.12	c  140s |      22 |  2372507 |  1740022 |      615   7151 |        0 |        0
142.07/142.12	c  142s |      22 |  2405780 |  1764722 |      615   7229 |        0 |        0
144.08/144.12	c  144s |      22 |  2438713 |  1789522 |      615   7308 |        0 |        0
146.07/146.13	c  146s |      22 |  2468205 |  1812122 |      615   7379 |        0 |        0
148.07/148.13	c  148s |      22 |  2500085 |  1835922 |      615   7455 |        0 |        0
150.07/150.13	c  150s |      22 |  2530071 |  1859322 |      615   7529 |        0 |        0
152.06/152.14	c  152s |      22 |  2560251 |  1882422 |      615   7603 |        0 |        0
154.07/154.14	c  154s |      22 |  2591731 |  1905622 |      615   7677 |        0 |        0
156.06/156.14	c  156s |      22 |  2626882 |  1929622 |      615   7753 |        0 |        0
158.07/158.15	c  158s |      22 |  2664265 |  1954922 |      615   7833 |        0 |        0
160.06/160.15	c  160s |      22 |  2696684 |  1978322 |      615   7908 |        0 |        0
162.06/162.15	c  162s |      22 |  2730142 |  2002322 |      615   7984 |        0 |        0
164.07/164.16	c  164s |      22 |  2764045 |  2026022 |      615   8059 |        0 |        0
166.07/166.16	c  166s |      22 |  2798065 |  2049922 |      615   8135 |        0 |        0
168.07/168.17	c  168s |      22 |  2827144 |  2072522 |      615   8208 |        0 |        0
170.06/170.17	c  170s |      22 |  2858717 |  2095722 |      615   8282 |        0 |        0
172.06/172.18	c  172s |      22 |  2889449 |  2118722 |      615   8355 |        0 |        0
174.07/174.18	c  174s |      22 |  2917693 |  2140222 |      615   8423 |        0 |        0
176.07/176.19	c  176s |      22 |  2948159 |  2163022 |      615   8495 |        0 |        0
178.06/178.19	c  178s |      22 |  2979305 |  2185922 |      615   8568 |        0 |        0
180.16/180.20	c  180s |      22 |  3007609 |  2208222 |      615   8639 |        0 |        0
182.17/182.21	c  182s |      22 |  3038068 |  2231222 |      615   8712 |        0 |        0
183.86/183.96	c  183s |      23 |  3065645 |  2251038 |      677   8770 |        0 |        0
185.87/185.96	c  185s |      23 |  3096600 |  2274238 |      677   8837 |        0 |        0
187.86/187.97	c  187s |      23 |  3125187 |  2296538 |      677   8901 |        0 |        0
189.86/189.97	c  189s |      23 |  3149012 |  2316238 |      677   8956 |        0 |        0
191.86/191.97	c  191s |      23 |  3178106 |  2338438 |      677   9019 |        0 |        0
193.86/193.98	c  193s |      23 |  3204777 |  2359538 |      677   9079 |        0 |        0
195.87/195.99	c  195s |      23 |  3232526 |  2381238 |      677   9141 |        0 |        0
197.86/197.99	c  197s |      23 |  3263678 |  2404238 |      677   9206 |        0 |        0
199.86/199.99	c  199s |      23 |  3292546 |  2426338 |      677   9269 |        0 |        0
201.96/202.00	c  201s |      23 |  3318537 |  2446738 |      677   9328 |        0 |        0
203.96/204.00	c  203s |      23 |  3344799 |  2467238 |      677   9388 |        0 |        0
205.96/206.01	c  205s |      23 |  3371809 |  2488238 |      677   9449 |        0 |        0
207.96/208.01	c  207s |      23 |  3402725 |  2511038 |      677   9514 |        0 |        0
209.96/210.01	c  209s |      23 |  3434789 |  2534638 |      677   9582 |        0 |        0
211.96/212.02	c  212s |      23 |  3465351 |  2556938 |      677   9646 |        0 |        0
213.96/214.02	c  214s |      23 |  3492958 |  2578238 |      677   9706 |        0 |        0
215.96/216.02	c  216s |      23 |  3522455 |  2600638 |      677   9770 |        0 |        0
217.96/218.03	c  218s |      23 |  3551945 |  2622838 |      677   9834 |        0 |        0
219.96/220.04	c  220s |      23 |  3579823 |  2644138 |      677   9896 |        0 |        0
221.95/222.04	c  222s |      23 |  3610003 |  2666538 |      677   9960 |        0 |        0
223.96/224.04	c  224s |      23 |  3639346 |  2688638 |      677  10023 |        0 |        0
225.95/226.04	c  226s |      23 |  3667832 |  2710438 |      677  10086 |        0 |        0
227.96/228.05	c  228s |      23 |  3696084 |  2731438 |      677  10146 |        0 |        0
229.96/230.06	c  230s |      23 |  3721893 |  2751538 |      677  10204 |        0 |        0
231.96/232.06	c  232s |      23 |  3747832 |  2772038 |      677  10262 |        0 |        0
233.95/234.06	c  234s |      23 |  3775825 |  2793338 |      677  10322 |        0 |        0
235.95/236.06	c  236s |      23 |  3802928 |  2814138 |      677  10381 |        0 |        0
237.95/238.07	c  238s |      23 |  3831480 |  2835738 |      677  10443 |        0 |        0
239.95/240.08	c  240s |      23 |  3860735 |  2857638 |      677  10507 |        0 |        0
241.96/242.08	c  242s |      23 |  3889350 |  2879138 |      677  10569 |        0 |        0
243.95/244.09	c  244s |      23 |  3918381 |  2901138 |      677  10631 |        0 |        0
245.95/246.10	c  246s |      23 |  3946744 |  2922538 |      677  10692 |        0 |        0
248.05/248.10	c  248s |      23 |  3971179 |  2942338 |      677  10748 |        0 |        0
250.05/250.11	c  250s |      23 |  3995918 |  2962038 |      677  10805 |        0 |        0
252.05/252.11	c  252s |      23 |  4022467 |  2982538 |      677  10863 |        0 |        0
254.05/254.11	c  254s |      23 |  4047963 |  3002938 |      677  10921 |        0 |        0
256.05/256.11	c  256s |      23 |  4070913 |  3021738 |      677  10975 |        0 |        0
258.05/258.12	c  258s |      23 |  4094695 |  3040838 |      677  11029 |        0 |        0
260.05/260.12	c  260s |      23 |  4121528 |  3061438 |      677  11088 |        0 |        0
262.05/262.12	c  262s |      23 |  4147232 |  3081138 |      677  11144 |        0 |        0
264.05/264.13	c  264s |      23 |  4172789 |  3101238 |      677  11202 |        0 |        0
266.05/266.14	c  266s |      23 |  4201493 |  3122338 |      677  11263 |        0 |        0
268.04/268.14	c  268s |      23 |  4228688 |  3142838 |      677  11321 |        0 |        0
270.05/270.15	c  270s |      23 |  4255516 |  3163538 |      677  11381 |        0 |        0
272.05/272.16	c  272s |      23 |  4282204 |  3184138 |      677  11440 |        0 |        0
274.04/274.16	c  274s |      23 |  4310306 |  3205538 |      677  11501 |        0 |        0
276.06/276.17	c  276s |      23 |  4338398 |  3227238 |      677  11563 |        0 |        0
278.05/278.17	c  278s |      23 |  4365850 |  3248038 |      677  11622 |        0 |        0
280.05/280.18	c  280s |      23 |  4394032 |  3269438 |      677  11683 |        0 |        0
282.05/282.19	c  282s |      23 |  4421367 |  3290438 |      677  11743 |        0 |        0
284.15/284.20	c  284s |      23 |  4449532 |  3311138 |      677  11802 |        0 |        0
286.14/286.20	c  286s |      23 |  4477291 |  3332038 |      677  11862 |        0 |        0
288.15/288.21	c  288s |      23 |  4502091 |  3351838 |      677  11919 |        0 |        0
290.14/290.21	c  290s |      23 |  4528444 |  3372038 |      745  11972 |        0 |        0
290.55/290.66	c  290s |      24 |  4534407 |  3376662 |      745  11984 |        0 |        0
292.55/292.67	c  292s |      24 |  4563185 |  3398662 |      745  12041 |        0 |        0
294.55/294.67	c  294s |      24 |  4591396 |  3420062 |      745  12098 |        0 |        0
296.55/296.68	c  296s |      24 |  4618945 |  3441462 |      745  12154 |        0 |        0
298.54/298.68	c  298s |      24 |  4644749 |  3461562 |      745  12206 |        0 |        0
300.54/300.69	c  300s |      24 |  4674143 |  3483262 |      745  12263 |        0 |        0
302.55/302.70	c  302s |      24 |  4704016 |  3504462 |      745  12318 |        0 |        0
304.55/304.70	c  304s |      24 |  4732715 |  3525862 |      745  12374 |        0 |        0
306.64/306.70	c  306s |      24 |  4760101 |  3546962 |      745  12429 |        0 |        0
308.65/308.71	c  308s |      24 |  4785686 |  3567562 |      745  12483 |        0 |        0
310.64/310.72	c  310s |      24 |  4809951 |  3587162 |      745  12534 |        0 |        0
312.65/312.72	c  312s |      24 |  4832824 |  3606062 |      745  12584 |        0 |        0
314.65/314.73	c  314s |      24 |  4857346 |  3625262 |      745  12634 |        0 |        0
316.64/316.73	c  316s |      24 |  4881966 |  3644962 |      745  12685 |        0 |        0
318.64/318.73	c  318s |      24 |  4908224 |  3665462 |      745  12738 |        0 |        0
320.64/320.73	c  320s |      24 |  4935863 |  3686262 |      745  12793 |        0 |        0
322.64/322.74	c  322s |      24 |  4965500 |  3707362 |      745  12848 |        0 |        0
324.64/324.74	c  324s |      24 |  4992604 |  3728262 |      745  12903 |        0 |        0
326.65/326.75	c  326s |      24 |  5022135 |  3749962 |      745  12960 |        0 |        0
328.64/328.75	c  328s |      24 |  5053754 |  3772262 |      745  13018 |        0 |        0
330.64/330.76	c  330s |      24 |  5084656 |  3794362 |      745  13076 |        0 |        0
332.64/332.77	c  332s |      24 |  5116169 |  3816562 |      745  13134 |        0 |        0
334.64/334.77	c  334s |      24 |  5145097 |  3838162 |      745  13191 |        0 |        0
336.65/336.77	c  336s |      24 |  5174242 |  3859462 |      745  13247 |        0 |        0
338.64/338.77	c  338s |      24 |  5204316 |  3881262 |      745  13305 |        0 |        0
340.64/340.78	c  340s |      24 |  5231479 |  3901962 |      745  13359 |        0 |        0
342.64/342.78	c  342s |      24 |  5259172 |  3922862 |      745  13414 |        0 |        0
344.64/344.79	c  344s |      24 |  5286074 |  3943962 |      745  13470 |        0 |        0
346.64/346.80	c  346s |      24 |  5314204 |  3965262 |      745  13526 |        0 |        0
348.64/348.80	c  348s |      24 |  5342983 |  3986562 |      745  13582 |        0 |        0
350.74/350.80	c  350s |      24 |  5372609 |  4008162 |      745  13638 |        0 |        0
352.73/352.81	c  352s |      24 |  5398977 |  4028262 |      745  13691 |        0 |        0
354.74/354.81	c  354s |      24 |  5426909 |  4048962 |      745  13746 |        0 |        0
356.74/356.82	c  356s |      24 |  5456078 |  4070562 |      745  13803 |        0 |        0
358.73/358.82	c  358s |      24 |  5483613 |  4091562 |      745  13858 |        0 |        0
360.75/360.83	c  360s |      24 |  5511852 |  4113062 |      745  13914 |        0 |        0
362.73/362.83	c  362s |      24 |  5541113 |  4135062 |      745  13972 |        0 |        0
364.73/364.84	c  364s |      24 |  5571420 |  4157562 |      745  14031 |        0 |        0
366.73/366.84	c  366s |      24 |  5600810 |  4179462 |      745  14088 |        0 |        0
368.73/368.85	c  368s |      24 |  5632775 |  4202262 |      745  14148 |        0 |        0
370.75/370.85	c  370s |      24 |  5662925 |  4224262 |      745  14206 |        0 |        0
372.74/372.85	c  372s |      24 |  5695166 |  4247562 |      745  14268 |        0 |        0
374.73/374.86	c  374s |      24 |  5725820 |  4270162 |      745  14327 |        0 |        0
376.73/376.86	c  376s |      24 |  5753277 |  4291362 |      745  14382 |        0 |        0
378.74/378.86	c  378s |      24 |  5784244 |  4313962 |      745  14442 |        0 |        0
380.74/380.87	c  380s |      24 |  5811459 |  4335062 |      745  14497 |        0 |        0
382.74/382.87	c  382s |      24 |  5840416 |  4356362 |      745  14553 |        0 |        0
384.73/384.87	c  384s |      24 |  5867702 |  4376962 |      745  14607 |        0 |        0
386.74/386.88	c  386s |      24 |  5897092 |  4399062 |      745  14664 |        0 |        0
388.74/388.89	c  388s |      24 |  5925173 |  4420462 |      745  14720 |        0 |        0
390.73/390.89	c  390s |      24 |  5952416 |  4441562 |      745  14776 |        0 |        0
392.74/392.89	c  392s |      24 |  5981563 |  4463462 |      745  14833 |        0 |        0
394.73/394.90	c  394s |      24 |  6010989 |  4485562 |      745  14891 |        0 |        0
396.83/396.90	c  396s |      24 |  6039011 |  4506662 |      745  14946 |        0 |        0
398.83/398.91	c  398s |      24 |  6067224 |  4527862 |      745  15002 |        0 |        0
400.83/400.92	c  400s |      24 |  6094780 |  4548762 |      745  15056 |        0 |        0
402.82/402.92	c  402s |      24 |  6124627 |  4570562 |      745  15114 |        0 |        0
404.83/404.92	c  404s |      24 |  6156360 |  4593062 |      745  15173 |        0 |        0
406.82/406.93	c  406s |      24 |  6184103 |  4614562 |      745  15230 |        0 |        0
408.82/408.93	c  408s |      24 |  6210363 |  4635162 |      745  15284 |        0 |        0
410.82/410.94	c  410s |      24 |  6238083 |  4656162 |      745  15339 |        0 |        0
412.83/412.94	c  412s |      24 |  6267150 |  4677762 |      745  15395 |        0 |        0
414.83/414.94	c  414s |      24 |  6294076 |  4698562 |      745  15449 |        0 |        0
416.84/416.95	c  416s |      24 |  6321232 |  4719162 |      745  15503 |        0 |        0
418.83/418.95	c  418s |      24 |  6347941 |  4739362 |      745  15556 |        0 |        0
420.82/420.96	c  420s |      24 |  6373666 |  4759662 |      745  15609 |        0 |        0
422.83/422.96	c  422s |      24 |  6402036 |  4781562 |      745  15667 |        0 |        0
424.83/424.97	c  424s |      24 |  6430384 |  4803362 |      745  15723 |        0 |        0
426.84/426.97	c  426s |      24 |  6457707 |  4823862 |      745  15777 |        0 |        0
428.83/428.98	c  428s |      24 |  6483274 |  4843862 |      745  15829 |        0 |        0
430.82/430.99	c  430s |      24 |  6506961 |  4863162 |      745  15879 |        0 |        0
432.82/432.99	c  432s |      24 |  6533025 |  4883362 |      745  15932 |        0 |        0
434.92/435.00	c  434s |      24 |  6557890 |  4903262 |      745  15983 |        0 |        0
436.92/437.00	c  436s |      24 |  6582770 |  4923162 |      745  16035 |        0 |        0
438.93/439.01	c  438s |      24 |  6608725 |  4943962 |      745  16090 |        0 |        0
440.92/441.02	c  441s |      24 |  6634570 |  4964862 |      745  16144 |        0 |        0
442.92/443.02	c  443s |      24 |  6661221 |  4985562 |      745  16198 |        0 |        0
444.92/445.02	c  445s |      24 |  6689236 |  5006262 |      745  16252 |        0 |        0
446.92/447.03	c  447s |      24 |  6719678 |  5028062 |      745  16310 |        0 |        0
448.92/449.03	c  449s |      24 |  6747797 |  5049162 |      820  16360 |        0 |        0
450.42/450.57	c  450s |      25 |  6769728 |  5065098 |      820  16398 |        0 |        0
452.42/452.58	c  452s |      25 |  6795342 |  5085498 |      820  16447 |        0 |        0
454.42/454.58	c  454s |      25 |  6821549 |  5106098 |      820  16496 |        0 |        0
456.43/456.58	c  456s |      25 |  6851108 |  5128698 |      820  16550 |        0 |        0
458.42/458.58	c  458s |      25 |  6881662 |  5151398 |      820  16604 |        0 |        0
460.42/460.58	c  460s |      25 |  6913419 |  5174298 |      820  16659 |        0 |        0
462.42/462.59	c  462s |      25 |  6940042 |  5194998 |      820  16709 |        0 |        0
464.52/464.60	c  464s |      25 |  6968105 |  5215998 |      820  16759 |        0 |        0
466.52/466.60	c  466s |      25 |  6999304 |  5238298 |      820  16812 |        0 |        0
468.53/468.61	c  468s |      25 |  7028416 |  5260298 |      820  16865 |        0 |        0
470.52/470.61	c  470s |      25 |  7053346 |  5280598 |      820  16914 |        0 |        0
472.51/472.62	c  472s |      25 |  7077877 |  5300698 |      820  16962 |        0 |        0
474.51/474.63	c  474s |      25 |  7102432 |  5320598 |      820  17009 |        0 |        0
476.52/476.63	c  476s |      25 |  7127113 |  5340398 |      820  17056 |        0 |        0
478.53/478.64	c  478s |      25 |  7152444 |  5360298 |      820  17103 |        0 |        0
480.52/480.65	c  480s |      25 |  7181306 |  5381898 |      820  17155 |        0 |        0
482.52/482.65	c  482s |      25 |  7209078 |  5403298 |      820  17206 |        0 |        0
484.52/484.66	c  484s |      25 |  7237386 |  5425298 |      820  17259 |        0 |        0
486.52/486.66	c  486s |      25 |  7267319 |  5446698 |      820  17311 |        0 |        0
488.51/488.67	c  488s |      25 |  7298259 |  5468998 |      820  17364 |        0 |        0
490.52/490.67	c  490s |      25 |  7327989 |  5490698 |      820  17416 |        0 |        0
492.51/492.67	c  492s |      25 |  7357582 |  5511798 |      820  17467 |        0 |        0
494.51/494.68	c  494s |      25 |  7388464 |  5534098 |      820  17520 |        0 |        0
496.52/496.69	c  496s |      25 |  7415854 |  5554498 |      820  17569 |        0 |        0
498.51/498.69	c  498s |      25 |  7445558 |  5575998 |      820  17620 |        0 |        0
500.62/500.70	c  500s |      25 |  7477237 |  5598698 |      820  17675 |        0 |        0
502.62/502.71	c  502s |      25 |  7504658 |  5619598 |      820  17725 |        0 |        0
504.62/504.72	c  504s |      25 |  7533436 |  5640998 |      820  17777 |        0 |        0
506.61/506.73	c  506s |      25 |  7560344 |  5661898 |      820  17827 |        0 |        0
508.61/508.73	c  508s |      25 |  7584907 |  5681598 |      820  17874 |        0 |        0
510.61/510.73	c  510s |      25 |  7614264 |  5703198 |      820  17926 |        0 |        0
512.62/512.73	c  512s |      25 |  7644368 |  5725298 |      820  17979 |        0 |        0
514.61/514.74	c  514s |      25 |  7674007 |  5747198 |      820  18032 |        0 |        0
516.61/516.74	c  516s |      25 |  7701201 |  5767898 |      820  18081 |        0 |        0
518.62/518.75	c  518s |      25 |  7729992 |  5789198 |      820  18133 |        0 |        0
520.61/520.75	c  520s |      25 |  7759170 |  5810998 |      820  18185 |        0 |        0
522.61/522.76	c  522s |      25 |  7789078 |  5833598 |      820  18239 |        0 |        0
524.62/524.77	c  524s |      25 |  7816813 |  5855098 |      820  18291 |        0 |        0
526.61/526.77	c  526s |      25 |  7846026 |  5876498 |      820  18342 |        0 |        0
528.61/528.78	c  528s |      25 |  7872024 |  5897298 |      820  18392 |        0 |        0
530.61/530.79	c  530s |      25 |  7899011 |  5917998 |      820  18441 |        0 |        0
532.61/532.79	c  532s |      25 |  7925053 |  5938698 |      820  18490 |        0 |        0
534.61/534.79	c  534s |      25 |  7950858 |  5958898 |      820  18538 |        0 |        0
536.61/536.80	c  536s |      25 |  7974971 |  5978998 |      820  18587 |        0 |        0
538.71/538.80	c  538s |      25 |  8000650 |  5999398 |      820  18636 |        0 |        0
540.71/540.81	c  540s |      25 |  8026945 |  6019898 |      820  18684 |        0 |        0
542.71/542.82	c  542s |      25 |  8053882 |  6040698 |      820  18734 |        0 |        0
544.71/544.82	c  544s |      25 |  8081342 |  6061798 |      820  18784 |        0 |        0
546.72/546.83	c  546s |      25 |  8109788 |  6083498 |      820  18836 |        0 |        0
548.71/548.84	c  548s |      25 |  8136451 |  6104798 |      820  18887 |        0 |        0
550.71/550.84	c  550s |      25 |  8161298 |  6124898 |      820  18935 |        0 |        0
552.70/552.85	c  552s |      25 |  8187381 |  6145498 |      820  18984 |        0 |        0
554.70/554.85	c  554s |      25 |  8217212 |  6167898 |      820  19038 |        0 |        0
556.71/556.85	c  556s |      25 |  8245663 |  6189198 |      820  19089 |        0 |        0
558.71/558.86	c  558s |      25 |  8273156 |  6210598 |      820  19140 |        0 |        0
560.70/560.87	c  560s |      25 |  8298830 |  6231498 |      820  19190 |        0 |        0
562.71/562.87	c  562s |      25 |  8328114 |  6253298 |      820  19243 |        0 |        0
564.71/564.87	c  564s |      25 |  8354943 |  6274698 |      820  19294 |        0 |        0
566.70/566.88	c  566s |      25 |  8378475 |  6294198 |      820  19341 |        0 |        0
568.71/568.89	c  568s |      25 |  8405466 |  6315298 |      820  19391 |        0 |        0
570.70/570.89	c  570s |      25 |  8432747 |  6336198 |      820  19441 |        0 |        0
572.71/572.89	c  572s |      25 |  8460462 |  6357598 |      820  19492 |        0 |        0
574.70/574.89	c  574s |      25 |  8489368 |  6379298 |      820  19545 |        0 |        0
576.70/576.90	c  576s |      25 |  8518633 |  6400798 |      820  19596 |        0 |        0
578.80/578.90	c  578s |      25 |  8547277 |  6421898 |      820  19647 |        0 |        0
580.81/580.91	c  580s |      25 |  8574781 |  6442998 |      820  19698 |        0 |        0
582.80/582.91	c  582s |      25 |  8602413 |  6464098 |      820  19748 |        0 |        0
584.80/584.91	c  584s |      25 |  8631785 |  6485698 |      820  19800 |        0 |        0
586.80/586.92	c  586s |      25 |  8659763 |  6506998 |      820  19852 |        0 |        0
588.80/588.93	c  588s |      25 |  8689187 |  6528598 |      820  19903 |        0 |        0
590.80/590.93	c  590s |      25 |  8717185 |  6549398 |      820  19953 |        0 |        0
592.81/592.94	c  592s |      25 |  8742756 |  6569698 |      820  20002 |        0 |        0
594.80/594.95	c  594s |      25 |  8768845 |  6590698 |      820  20052 |        0 |        0
596.80/596.95	c  596s |      25 |  8794783 |  6610898 |      820  20101 |        0 |        0
598.80/598.96	c  598s |      25 |  8821199 |  6631598 |      820  20150 |        0 |        0
600.80/600.96	c  600s |      25 |  8847844 |  6652198 |      820  20199 |        0 |        0
602.81/602.97	c  602s |      25 |  8876517 |  6673398 |      820  20250 |        0 |        0
604.80/604.97	c  604s |      25 |  8899187 |  6692098 |      820  20295 |        0 |        0
606.80/606.97	c  606s |      25 |  8925244 |  6712098 |      820  20342 |        0 |        0
608.79/608.98	c  608s |      25 |  8950247 |  6731498 |      820  20389 |        0 |        0
610.79/610.99	c  610s |      25 |  8975564 |  6750898 |      820  20435 |        0 |        0
612.79/612.99	c  612s |      25 |  9003330 |  6771498 |      820  20485 |        0 |        0
614.81/615.00	c  614s |      25 |  9031176 |  6792198 |      820  20534 |        0 |        0
616.90/617.00	c  616s |      25 |  9057781 |  6812698 |      820  20583 |        0 |        0
618.90/619.00	c  618s |      25 |  9081531 |  6831798 |      820  20629 |        0 |        0
620.89/621.01	c  620s |      25 |  9106337 |  6850898 |      820  20674 |        0 |        0
622.89/623.02	c  623s |      25 |  9129793 |  6869598 |      820  20719 |        0 |        0
624.90/625.03	c  625s |      25 |  9153228 |  6888298 |      820  20763 |        0 |        0
626.91/627.03	c  627s |      25 |  9177098 |  6907498 |      820  20809 |        0 |        0
628.89/629.03	c  629s |      25 |  9203151 |  6927398 |      820  20857 |        0 |        0
630.90/631.04	c  631s |      25 |  9228121 |  6946598 |      820  20902 |        0 |        0
632.89/633.05	c  633s |      25 |  9251998 |  6965498 |      820  20947 |        0 |        0
634.89/635.05	c  635s |      25 |  9274694 |  6983798 |      820  20991 |        0 |        0
636.90/637.06	c  637s |      25 |  9299924 |  7003598 |      820  21038 |        0 |        0
638.89/639.07	c  639s |      25 |  9323300 |  7022698 |      820  21083 |        0 |        0
640.89/641.07	c  641s |      25 |  9347301 |  7041698 |      820  21128 |        0 |        0
642.89/643.08	c  643s |      25 |  9371917 |  7061498 |      820  21175 |        0 |        0
644.89/645.08	c  645s |      25 |  9397805 |  7081398 |      820  21222 |        0 |        0
646.89/647.09	c  647s |      25 |  9421723 |  7100398 |      820  21267 |        0 |        0
648.90/649.09	c  649s |      25 |  9446581 |  7119798 |      820  21313 |        0 |        0
650.89/651.10	c  651s |      25 |  9468938 |  7138398 |      820  21358 |        0 |        0
652.99/653.10	c  653s |      25 |  9494243 |  7158198 |      820  21405 |        0 |        0
654.99/655.10	c  655s |      25 |  9520173 |  7177698 |      820  21451 |        0 |        0
656.99/657.11	c  657s |      25 |  9544323 |  7196498 |      820  21496 |        0 |        0
658.99/659.11	c  659s |      25 |  9569669 |  7216098 |      820  21543 |        0 |        0
660.99/661.12	c  661s |      25 |  9592991 |  7234598 |      820  21587 |        0 |        0
662.99/663.12	c  663s |      25 |  9621239 |  7255398 |      820  21637 |        0 |        0
664.99/665.12	c  665s |      25 |  9648851 |  7276298 |      820  21686 |        0 |        0
666.99/667.13	c  667s |      25 |  9677799 |  7297698 |      820  21737 |        0 |        0
668.99/669.13	c  669s |      25 |  9707418 |  7318998 |      820  21788 |        0 |        0
671.00/671.14	c  671s |      25 |  9736851 |  7340198 |      820  21839 |        0 |        0
672.98/673.15	c  673s |      25 |  9762024 |  7359698 |      820  21885 |        0 |        0
674.99/675.16	c  675s |      25 |  9787705 |  7379598 |      820  21933 |        0 |        0
676.99/677.16	c  677s |      25 |  9813346 |  7399198 |      820  21979 |        0 |        0
678.99/679.16	c  679s |      25 |  9840110 |  7419198 |      820  22027 |        0 |        0
680.98/681.17	c  681s |      25 |  9866440 |  7439798 |      820  22076 |        0 |        0
682.99/683.18	c  683s |      25 |  9892114 |  7459898 |      820  22124 |        0 |        0
684.99/685.18	c  685s |      25 |  9918711 |  7480798 |      820  22174 |        0 |        0
686.98/687.18	c  687s |      25 |  9942617 |  7499798 |      820  22219 |        0 |        0
688.98/689.19	c  689s |      25 |  9967231 |  7519398 |      820  22266 |        0 |        0
690.98/691.19	c  691s |      25 |  9995098 |  7540698 |      820  22317 |        0 |        0
692.99/693.20	c  693s |      25 | 10022786 |  7561398 |      903  22363 |        0 |        0
694.98/695.20	c  695s |      25 | 10050570 |  7582198 |      903  22408 |        0 |        0
696.68/696.80	c  696s |      26 | 10070028 |  7597752 |      903  22442 |        0 |        0
698.68/698.80	c  698s |      26 | 10094122 |  7616352 |      903  22482 |        0 |        0
700.69/700.81	c  700s |      26 | 10120286 |  7635852 |      903  22525 |        0 |        0
702.68/702.81	c  702s |      26 | 10146653 |  7655552 |      903  22568 |        0 |        0
704.67/704.82	c  704s |      26 | 10170313 |  7674352 |      903  22609 |        0 |        0
706.68/706.83	c  706s |      26 | 10195875 |  7694352 |      903  22652 |        0 |        0
708.68/708.83	c  708s |      26 | 10222718 |  7714652 |      903  22697 |        0 |        0
710.67/710.83	c  710s |      26 | 10246682 |  7733852 |      903  22739 |        0 |        0
712.68/712.84	c  712s |      26 | 10272944 |  7754252 |      903  22783 |        0 |        0
714.67/714.84	c  714s |      26 | 10299108 |  7774452 |      903  22827 |        0 |        0
716.67/716.84	c  716s |      26 | 10326227 |  7795152 |      903  22873 |        0 |        0
718.67/718.85	c  718s |      26 | 10354761 |  7816352 |      903  22919 |        0 |        0
720.67/720.85	c  720s |      26 | 10379633 |  7835952 |      903  22962 |        0 |        0
722.67/722.85	c  722s |      26 | 10404818 |  7855652 |      903  23005 |        0 |        0
724.67/724.86	c  724s |      26 | 10431168 |  7876352 |      903  23050 |        0 |        0
726.67/726.86	c  726s |      26 | 10455407 |  7895552 |      903  23092 |        0 |        0
728.67/728.87	c  728s |      26 | 10481037 |  7915252 |      903  23135 |        0 |        0
730.67/730.87	c  730s |      26 | 10505720 |  7934852 |      903  23178 |        0 |        0
732.67/732.87	c  732s |      26 | 10530080 |  7954352 |      903  23221 |        0 |        0
734.67/734.88	c  734s |      26 | 10558122 |  7974852 |      903  23266 |        0 |        0
736.66/736.89	c  736s |      26 | 10585172 |  7995552 |      903  23311 |        0 |        0
738.67/738.89	c  738s |      26 | 10610793 |  8014952 |      903  23353 |        0 |        0
740.76/740.90	c  740s |      26 | 10637503 |  8034652 |      903  23396 |        0 |        0
742.76/742.91	c  742s |      26 | 10663230 |  8054652 |      903  23440 |        0 |        0
744.76/744.91	c  744s |      26 | 10686959 |  8073752 |      903  23482 |        0 |        0
746.76/746.92	c  746s |      26 | 10713974 |  8094052 |      903  23526 |        0 |        0
748.76/748.92	c  748s |      26 | 10739437 |  8113652 |      903  23568 |        0 |        0
750.76/750.93	c  750s |      26 | 10766939 |  8134052 |      903  23613 |        0 |        0
752.76/752.94	c  752s |      26 | 10792507 |  8153452 |      903  23655 |        0 |        0
754.75/754.95	c  754s |      26 | 10817234 |  8172852 |      903  23697 |        0 |        0
756.76/756.95	c  756s |      26 | 10844149 |  8192952 |      903  23741 |        0 |        0
758.76/758.96	c  758s |      26 | 10872074 |  8213552 |      903  23786 |        0 |        0
760.75/760.96	c  760s |      26 | 10898007 |  8233352 |      903  23829 |        0 |        0
762.75/762.97	c  762s |      26 | 10925035 |  8253552 |      903  23873 |        0 |        0
764.75/764.97	c  764s |      26 | 10955543 |  8274952 |      903  23920 |        0 |        0
766.75/766.98	c  766s |      26 | 10983074 |  8295752 |      903  23965 |        0 |        0
768.76/768.99	c  768s |      26 | 11008630 |  8315452 |      903  24007 |        0 |        0
770.84/771.00	c  770s |      26 | 11031018 |  8333552 |      903  24047 |        0 |        0
772.84/773.01	c  772s |      26 | 11054661 |  8352152 |      903  24087 |        0 |        0
774.85/775.01	c  774s |      26 | 11081362 |  8372652 |      903  24131 |        0 |        0
776.85/777.02	c  777s |      26 | 11102884 |  8390452 |      903  24170 |        0 |        0
778.85/779.02	c  779s |      26 | 11124859 |  8408552 |      903  24209 |        0 |        0
780.85/781.03	c  781s |      26 | 11147528 |  8426852 |      903  24249 |        0 |        0
782.84/783.03	c  783s |      26 | 11169760 |  8444952 |      903  24288 |        0 |        0
784.84/785.04	c  785s |      26 | 11193122 |  8463552 |      903  24329 |        0 |        0
786.84/787.05	c  787s |      26 | 11214797 |  8481152 |      903  24367 |        0 |        0
788.84/789.05	c  789s |      26 | 11238058 |  8499552 |      903  24407 |        0 |        0
790.84/791.06	c  791s |      26 | 11259091 |  8516852 |      903  24444 |        0 |        0
792.84/793.07	c  793s |      26 | 11279799 |  8533852 |      903  24481 |        0 |        0
794.83/795.08	c  795s |      26 | 11304479 |  8553052 |      903  24522 |        0 |        0
796.84/797.08	c  797s |      26 | 11326965 |  8571252 |      903  24562 |        0 |        0
798.83/799.08	c  799s |      26 | 11351799 |  8590752 |      903  24604 |        0 |        0
800.83/801.08	c  801s |      26 | 11376980 |  8610352 |      903  24647 |        0 |        0
802.83/803.09	c  803s |      26 | 11403272 |  8630052 |      903  24689 |        0 |        0
804.83/805.10	c  805s |      26 | 11429162 |  8649952 |      903  24733 |        0 |        0
806.93/807.10	c  807s |      26 | 11454483 |  8669152 |      903  24775 |        0 |        0
808.93/809.10	c  809s |      26 | 11482429 |  8689752 |      903  24820 |        0 |        0
810.92/811.11	c  811s |      26 | 11508879 |  8710152 |      903  24865 |        0 |        0
812.92/813.11	c  813s |      26 | 11536698 |  8730852 |      903  24910 |        0 |        0
814.93/815.12	c  815s |      26 | 11565087 |  8751952 |      903  24957 |        0 |        0
816.92/817.12	c  817s |      26 | 11595309 |  8774452 |      903  25005 |        0 |        0
818.93/819.13	c  819s |      26 | 11625540 |  8797052 |      903  25054 |        0 |        0
820.92/821.13	c  821s |      26 | 11655074 |  8819052 |      903  25102 |        0 |        0
822.92/823.14	c  823s |      26 | 11681926 |  8839452 |      903  25147 |        0 |        0
824.93/825.15	c  825s |      26 | 11708357 |  8859652 |      903  25191 |        0 |        0
826.92/827.15	c  827s |      26 | 11736593 |  8881452 |      903  25238 |        0 |        0
828.92/829.16	c  829s |      26 | 11766919 |  8903552 |      903  25286 |        0 |        0
830.91/831.16	c  831s |      26 | 11798101 |  8926752 |      903  25337 |        0 |        0
832.91/833.17	c  833s |      26 | 11824626 |  8947352 |      903  25382 |        0 |        0
834.91/835.17	c  835s |      26 | 11850138 |  8967652 |      903  25427 |        0 |        0
836.92/837.17	c  837s |      26 | 11875427 |  8987752 |      903  25471 |        0 |        0
838.91/839.18	c  839s |      26 | 11901154 |  9008052 |      903  25515 |        0 |        0
840.92/841.18	c  841s |      26 | 11927103 |  9028952 |      903  25561 |        0 |        0
842.91/843.18	c  843s |      26 | 11954899 |  9050052 |      903  25607 |        0 |        0
844.92/845.19	c  845s |      26 | 11979995 |  9069952 |      903  25651 |        0 |        0
847.01/847.20	c  847s |      26 | 12006087 |  9090052 |      903  25694 |        0 |        0
849.02/849.21	c  849s |      26 | 12029364 |  9109252 |      903  25737 |        0 |        0
851.01/851.21	c  851s |      26 | 12053782 |  9129052 |      903  25780 |        0 |        0
853.00/853.22	c  853s |      26 | 12077785 |  9148652 |      903  25823 |        0 |        0
855.01/855.22	c  855s |      26 | 12104609 |  9168952 |      903  25867 |        0 |        0
857.01/857.22	c  857s |      26 | 12132472 |  9189752 |      903  25913 |        0 |        0
859.01/859.23	c  859s |      26 | 12161137 |  9210752 |      903  25959 |        0 |        0
861.00/861.23	c  861s |      26 | 12184420 |  9229352 |      903  25999 |        0 |        0
863.00/863.24	c  863s |      26 | 12211943 |  9249552 |      903  26043 |        0 |        0
865.00/865.24	c  865s |      26 | 12238087 |  9269252 |      903  26085 |        0 |        0
867.00/867.25	c  867s |      26 | 12261799 |  9287852 |      903  26126 |        0 |        0
869.01/869.26	c  869s |      26 | 12289413 |  9307852 |      903  26169 |        0 |        0
871.01/871.26	c  871s |      26 | 12318828 |  9328452 |      903  26214 |        0 |        0
873.00/873.27	c  873s |      26 | 12347299 |  9349552 |      903  26260 |        0 |        0
875.00/875.27	c  875s |      26 | 12373908 |  9369452 |      903  26303 |        0 |        0
876.99/877.27	c  877s |      26 | 12399238 |  9389252 |      903  26347 |        0 |        0
879.00/879.28	c  879s |      26 | 12424387 |  9408452 |      903  26388 |        0 |        0
881.00/881.28	c  881s |      26 | 12448184 |  9427452 |      903  26429 |        0 |        0
882.99/883.29	c  883s |      26 | 12475594 |  9447752 |      903  26474 |        0 |        0
884.99/885.29	c  885s |      26 | 12502278 |  9467352 |      903  26516 |        0 |        0
887.09/887.30	c  887s |      26 | 12528213 |  9487052 |      903  26559 |        0 |        0
889.09/889.30	c  889s |      26 | 12554902 |  9506652 |      903  26602 |        0 |        0
891.09/891.31	c  891s |      26 | 12581861 |  9526652 |      903  26645 |        0 |        0
893.09/893.31	c  893s |      26 | 12609882 |  9547052 |      903  26690 |        0 |        0
895.09/895.32	c  895s |      26 | 12634455 |  9566252 |      903  26731 |        0 |        0
897.09/897.33	c  897s |      26 | 12658933 |  9584652 |      903  26771 |        0 |        0
899.09/899.34	c  899s |      26 | 12682547 |  9603452 |      903  26812 |        0 |        0
901.08/901.35	c  901s |      26 | 12706579 |  9622352 |      903  26853 |        0 |        0
903.09/903.36	c  903s |      26 | 12731847 |  9641752 |      903  26895 |        0 |        0
905.09/905.36	c  905s |      26 | 12756872 |  9660652 |      903  26936 |        0 |        0
907.08/907.36	c  907s |      26 | 12780410 |  9679052 |      903  26976 |        0 |        0
909.08/909.37	c  909s |      26 | 12805290 |  9697952 |      903  27018 |        0 |        0
911.08/911.38	c  911s |      26 | 12828681 |  9716352 |      903  27058 |        0 |        0
913.08/913.38	c  913s |      26 | 12852688 |  9735152 |      903  27099 |        0 |        0
915.09/915.38	c  915s |      26 | 12878011 |  9754852 |      903  27142 |        0 |        0
917.08/917.38	c  917s |      26 | 12903082 |  9774352 |      903  27184 |        0 |        0
919.08/919.39	c  919s |      26 | 12927007 |  9793352 |      903  27225 |        0 |        0
921.07/921.39	c  921s |      26 | 12952853 |  9813352 |      903  27268 |        0 |        0
923.18/923.40	c  923s |      26 | 12978191 |  9833352 |      903  27312 |        0 |        0
925.18/925.40	c  925s |      26 | 13002519 |  9852452 |      903  27354 |        0 |        0
927.18/927.41	c  927s |      26 | 13028801 |  9871952 |      903  27396 |        0 |        0
929.17/929.41	c  929s |      26 | 13057577 |  9892452 |      903  27441 |        0 |        0
931.16/931.42	c  931s |      26 | 13080972 |  9911152 |      903  27481 |        0 |        0
933.17/933.42	c  933s |      26 | 13107964 |  9931352 |      903  27525 |        0 |        0
935.17/935.43	c  935s |      26 | 13133693 |  9951452 |      903  27569 |        0 |        0
937.17/937.43	c  937s |      26 | 13160420 |  9971952 |      903  27614 |        0 |        0
939.17/939.43	c  939s |      26 | 13187662 |  9992652 |      903  27659 |        0 |        0
941.16/941.44	c  941s |      26 | 13214176 | 10012852 |      903  27703 |        0 |        0
943.16/943.44	c  943s |      26 | 13240483 | 10032752 |      903  27747 |        0 |        0
945.16/945.45	c  945s |      26 | 13263512 | 10051152 |      903  27786 |        0 |        0
947.17/947.45	c  947s |      26 | 13286463 | 10069852 |      903  27827 |        0 |        0
949.16/949.45	c  949s |      26 | 13312546 | 10089852 |      903  27871 |        0 |        0
951.16/951.46	c  951s |      26 | 13340395 | 10110152 |      903  27915 |        0 |        0
953.16/953.47	c  953s |      26 | 13368959 | 10130952 |      903  27960 |        0 |        0
955.15/955.47	c  955s |      26 | 13392841 | 10150052 |      903  28002 |        0 |        0
957.15/957.48	c  957s |      26 | 13418383 | 10169752 |      903  28045 |        0 |        0
959.16/959.48	c  959s |      26 | 13442752 | 10188852 |      903  28087 |        0 |        0
961.16/961.48	c  961s |      26 | 13470497 | 10209552 |      903  28132 |        0 |        0
963.15/963.49	c  963s |      26 | 13496504 | 10229752 |      903  28176 |        0 |        0
965.25/965.50	c  965s |      26 | 13517638 | 10247552 |      903  28215 |        0 |        0
967.25/967.50	c  967s |      26 | 13538539 | 10264952 |      903  28252 |        0 |        0
969.25/969.51	c  969s |      26 | 13561288 | 10283152 |      903  28292 |        0 |        0
971.25/971.51	c  971s |      26 | 13584809 | 10302152 |      903  28334 |        0 |        0
973.25/973.51	c  973s |      26 | 13610832 | 10322152 |      903  28377 |        0 |        0
975.24/975.52	c  975s |      26 | 13637668 | 10342652 |      903  28422 |        0 |        0
977.25/977.53	c  977s |      26 | 13661642 | 10361552 |      903  28464 |        0 |        0
979.24/979.54	c  979s |      26 | 13686379 | 10380852 |      903  28505 |        0 |        0
981.23/981.54	c  981s |      26 | 13711816 | 10400252 |      903  28548 |        0 |        0
983.25/983.55	c  983s |      26 | 13738262 | 10420252 |      903  28591 |        0 |        0
985.24/985.56	c  985s |      26 | 13766291 | 10440652 |      903  28636 |        0 |        0
987.24/987.56	c  987s |      26 | 13792099 | 10460452 |      903  28679 |        0 |        0
989.23/989.56	c  989s |      26 | 13820985 | 10481352 |      903  28725 |        0 |        0
991.23/991.57	c  991s |      26 | 13850168 | 10502352 |      903  28770 |        0 |        0
993.23/993.57	c  993s |      26 | 13878068 | 10522752 |      903  28815 |        0 |        0
995.24/995.57	c  995s |      26 | 13907030 | 10543552 |      903  28860 |        0 |        0
997.23/997.58	c  997s |      26 | 13935385 | 10564752 |      903  28907 |        0 |        0
999.23/999.59	c  999s |      26 | 13966288 | 10586152 |      903  28953 |        0 |        0
1001.23/1001.59	c 1001s |      26 | 13993418 | 10606352 |      903  28998 |        0 |        0
1003.22/1003.60	c 1003s |      26 | 14023308 | 10627652 |      903  29044 |        0 |        0
1005.33/1005.60	c 1005s |      26 | 14050928 | 10648252 |      903  29089 |        0 |        0
1007.33/1007.61	c 1007s |      26 | 14077965 | 10668652 |      903  29134 |        0 |        0
1009.32/1009.61	c 1009s |      26 | 14104384 | 10689052 |      903  29178 |        0 |        0
1011.32/1011.61	c 1011s |      26 | 14133220 | 10710652 |      903  29226 |        0 |        0
1013.32/1013.61	c 1013s |      26 | 14162524 | 10731952 |      903  29272 |        0 |        0
1015.33/1015.62	c 1015s |      26 | 14192155 | 10753252 |      903  29319 |        0 |        0
1017.32/1017.63	c 1017s |      26 | 14222643 | 10774452 |      903  29365 |        0 |        0
1019.32/1019.63	c 1019s |      26 | 14250669 | 10794952 |      903  29410 |        0 |        0
1021.31/1021.64	c 1021s |      26 | 14272505 | 10813252 |      903  29450 |        0 |        0
1023.31/1023.64	c 1023s |      26 | 14299987 | 10833752 |      903  29494 |        0 |        0
1025.32/1025.65	c 1025s |      26 | 14327034 | 10854052 |      903  29539 |        0 |        0
1027.32/1027.66	c 1027s |      26 | 14355222 | 10874952 |      903  29585 |        0 |        0
1029.32/1029.67	c 1029s |      26 | 14383715 | 10895652 |      903  29630 |        0 |        0
1031.31/1031.67	c 1031s |      26 | 14412615 | 10916652 |      903  29676 |        0 |        0
1033.30/1033.68	c 1033s |      26 | 14438728 | 10936452 |      903  29719 |        0 |        0
1035.31/1035.68	c 1035s |      26 | 14466792 | 10956952 |      903  29764 |        0 |        0
1037.30/1037.69	c 1037s |      26 | 14495235 | 10977352 |      903  29809 |        0 |        0
1039.31/1039.69	c 1039s |      26 | 14521909 | 10997752 |      903  29853 |        0 |        0
1041.30/1041.69	c 1041s |      26 | 14549870 | 11018452 |      903  29899 |        0 |        0
1043.41/1043.70	c 1043s |      26 | 14579157 | 11040052 |      903  29946 |        0 |        0
1045.40/1045.71	c 1045s |      26 | 14605293 | 11060252 |      903  29990 |        0 |        0
1047.40/1047.71	c 1047s |      26 | 14634089 | 11080752 |      903  30035 |        0 |        0
1049.40/1049.71	c 1049s |      26 | 14659254 | 11100452 |      903  30078 |        0 |        0
1051.41/1051.72	c 1051s |      26 | 14685226 | 11120452 |      903  30121 |        0 |        0
1053.40/1053.72	c 1053s |      26 | 14715117 | 11142452 |      903  30169 |        0 |        0
1055.40/1055.73	c 1055s |      26 | 14743030 | 11163652 |      903  30215 |        0 |        0
1057.40/1057.73	c 1057s |      26 | 14770417 | 11184052 |      903  30260 |        0 |        0
1059.39/1059.73	c 1059s |      26 | 14796286 | 11203852 |      903  30303 |        0 |        0
1061.40/1061.74	c 1061s |      26 | 14822231 | 11223952 |      903  30347 |        0 |        0
1063.40/1063.74	c 1063s |      26 | 14846313 | 11243252 |      903  30389 |        0 |        0
1065.39/1065.74	c 1065s |      26 | 14870545 | 11262652 |      903  30431 |        0 |        0
1067.39/1067.75	c 1067s |      26 | 14898267 | 11283552 |      903  30476 |        0 |        0
1069.39/1069.76	c 1069s |      26 | 14926731 | 11304952 |      903  30523 |        0 |        0
1071.39/1071.76	c 1071s |      26 | 14955462 | 11325952 |      994  30567 |        0 |        0
1073.40/1073.76	c 1073s |      26 | 14983183 | 11346452 |      994  30607 |        0 |        0
1075.39/1075.76	c 1075s |      26 | 15012718 | 11367352 |      994  30649 |        0 |        0
1077.39/1077.77	c 1077s |      26 | 15040017 | 11387552 |      994  30689 |        0 |        0
1078.29/1078.61	c 1078s |      27 | 15052931 | 11396733 |      994  30707 |        0 |        0
1080.29/1080.61	c 1080s |      27 | 15080662 | 11417233 |      994  30748 |        0 |        0
1082.28/1082.62	c 1082s |      27 | 15108348 | 11437733 |      994  30788 |        0 |        0
1084.29/1084.63	c 1084s |      27 | 15136165 | 11458533 |      994  30830 |        0 |        0
1086.29/1086.63	c 1086s |      27 | 15164482 | 11479633 |      994  30872 |        0 |        0
1088.28/1088.63	c 1088s |      27 | 15196984 | 11501533 |      994  30915 |        0 |        0
1090.28/1090.64	c 1090s |      27 | 15227107 | 11522733 |      994  30957 |        0 |        0
1092.28/1092.65	c 1092s |      27 | 15255585 | 11543633 |      994  30998 |        0 |        0
1094.29/1094.66	c 1094s |      27 | 15284344 | 11563933 |      994  31038 |        0 |        0
1096.28/1096.66	c 1096s |      27 | 15314636 | 11585133 |      994  31080 |        0 |        0
1098.28/1098.66	c 1098s |      27 | 15345622 | 11606633 |      994  31123 |        0 |        0
1100.28/1100.67	c 1100s |      27 | 15371793 | 11626633 |      994  31163 |        0 |        0
1102.28/1102.67	c 1102s |      27 | 15400453 | 11647433 |      994  31204 |        0 |        0
1104.28/1104.67	c 1104s |      27 | 15430890 | 11668933 |      994  31247 |        0 |        0
1106.29/1106.68	c 1106s |      27 | 15459739 | 11689833 |      994  31288 |        0 |        0
1108.27/1108.68	c 1108s |      27 | 15487158 | 11710033 |      994  31328 |        0 |        0
1110.27/1110.68	c 1110s |      27 | 15515680 | 11730833 |      994  31369 |        0 |        0
1112.28/1112.69	c 1112s |      27 | 15542443 | 11750733 |      994  31409 |        0 |        0
1114.27/1114.69	c 1114s |      27 | 15568355 | 11770533 |      994  31448 |        0 |        0
1116.28/1116.69	c 1116s |      27 | 15594373 | 11790233 |      994  31487 |        0 |        0
1118.38/1118.70	c 1118s |      27 | 15620841 | 11810033 |      994  31527 |        0 |        0
1120.37/1120.71	c 1120s |      27 | 15651281 | 11831233 |      994  31569 |        0 |        0
1122.37/1122.72	c 1122s |      27 | 15679172 | 11851733 |      994  31609 |        0 |        0
1124.37/1124.72	c 1124s |      27 | 15706729 | 11871833 |      994  31649 |        0 |        0
1126.36/1126.72	c 1126s |      27 | 15736383 | 11893033 |      994  31691 |        0 |        0
1128.37/1128.73	c 1128s |      27 | 15768375 | 11915133 |      994  31735 |        0 |        0
1130.36/1130.74	c 1130s |      27 | 15799188 | 11936833 |      994  31778 |        0 |        0
1132.36/1132.74	c 1132s |      27 | 15829601 | 11958533 |      994  31821 |        0 |        0
1134.36/1134.75	c 1134s |      27 | 15856598 | 11978533 |      994  31860 |        0 |        0
1136.36/1136.75	c 1136s |      27 | 15886551 | 11999933 |      994  31903 |        0 |        0
1138.36/1138.77	c 1138s |      27 | 15916452 | 12021233 |      994  31945 |        0 |        0
1140.37/1140.77	c 1140s |      27 | 15946688 | 12042733 |      994  31987 |        0 |        0
1142.35/1142.78	c 1142s |      27 | 15977335 | 12064833 |      994  32031 |        0 |        0
1144.35/1144.79	c 1144s |      27 | 16007055 | 12086233 |      994  32074 |        0 |        0
1146.35/1146.79	c 1146s |      27 | 16039191 | 12108133 |      994  32117 |        0 |        0
1148.46/1148.80	c 1148s |      27 | 16071388 | 12130733 |      994  32162 |        0 |        0
1150.45/1150.81	c 1150s |      27 | 16102548 | 12152833 |      994  32206 |        0 |        0
1152.45/1152.82	c 1152s |      27 | 16133791 | 12174733 |      994  32250 |        0 |        0
1154.45/1154.82	c 1154s |      27 | 16162982 | 12196033 |      994  32292 |        0 |        0
1156.45/1156.82	c 1156s |      27 | 16193620 | 12217533 |      994  32335 |        0 |        0
1158.45/1158.83	c 1158s |      27 | 16221777 | 12238433 |      994  32376 |        0 |        0
1160.44/1160.84	c 1160s |      27 | 16251857 | 12259933 |      994  32419 |        0 |        0
1162.44/1162.84	c 1162s |      27 | 16278787 | 12279933 |      994  32458 |        0 |        0
1164.44/1164.86	c 1164s |      27 | 16305030 | 12299233 |      994  32497 |        0 |        0
1166.44/1166.86	c 1166s |      27 | 16329499 | 12318233 |      994  32534 |        0 |        0
1168.45/1168.87	c 1168s |      27 | 16354024 | 12336833 |      994  32571 |        0 |        0
1170.44/1170.87	c 1170s |      27 | 16376853 | 12355333 |      994  32608 |        0 |        0
1172.44/1172.88	c 1172s |      27 | 16402047 | 12374833 |      994  32646 |        0 |        0
1174.44/1174.88	c 1174s |      27 | 16427912 | 12394333 |      994  32685 |        0 |        0
1176.44/1176.89	c 1176s |      27 | 16452093 | 12413133 |      994  32722 |        0 |        0
1178.43/1178.89	c 1178s |      27 | 16476448 | 12432033 |      994  32760 |        0 |        0
1180.53/1180.90	c 1180s |      27 | 16502335 | 12451633 |      994  32799 |        0 |        0
1182.53/1182.90	c 1182s |      27 | 16526399 | 12470433 |      994  32836 |        0 |        0
1184.53/1184.90	c 1184s |      27 | 16551758 | 12490133 |      994  32875 |        0 |        0
1186.54/1186.91	c 1186s |      27 | 16577638 | 12509933 |      994  32914 |        0 |        0
1188.53/1188.91	c 1188s |      27 | 16602606 | 12528733 |      994  32952 |        0 |        0
1190.52/1190.92	c 1190s |      27 | 16626550 | 12547333 |      994  32989 |        0 |        0
1192.53/1192.92	c 1192s |      27 | 16652662 | 12566933 |      994  33027 |        0 |        0
1194.53/1194.92	c 1194s |      27 | 16676691 | 12586033 |      994  33065 |        0 |        0
1196.53/1196.93	c 1196s |      27 | 16704821 | 12607033 |      994  33107 |        0 |        0
1198.53/1198.94	c 1198s |      27 | 16734763 | 12628433 |      994  33150 |        0 |        0
1200.52/1200.94	c 1200s |      27 | 16762611 | 12648833 |      994  33190 |        0 |        0
1202.52/1202.95	c 1202s |      27 | 16787403 | 12667833 |      994  33228 |        0 |        0
1204.52/1204.95	c 1204s |      27 | 16814741 | 12687733 |      994  33267 |        0 |        0
1206.52/1206.95	c 1206s |      27 | 16840665 | 12707033 |      994  33305 |        0 |        0
1208.53/1208.96	c 1208s |      27 | 16866801 | 12726833 |      994  33345 |        0 |        0
1210.52/1210.97	c 1210s |      27 | 16895335 | 12746933 |      994  33385 |        0 |        0
1212.51/1212.97	c 1212s |      27 | 16923196 | 12766833 |      994  33424 |        0 |        0
1214.52/1214.98	c 1214s |      27 | 16952543 | 12787433 |      994  33465 |        0 |        0
1216.52/1216.98	c 1216s |      27 | 16984092 | 12809233 |      994  33508 |        0 |        0
1218.52/1218.98	c 1218s |      27 | 17012400 | 12829733 |      994  33549 |        0 |        0
1220.51/1220.98	c 1220s |      27 | 17041627 | 12850633 |      994  33591 |        0 |        0
1222.51/1222.99	c 1222s |      27 | 17068999 | 12871133 |      994  33631 |        0 |        0
1224.51/1224.99	c 1224s |      27 | 17098652 | 12892533 |      994  33674 |        0 |        0
1226.62/1227.00	c 1226s |      27 | 17126642 | 12913233 |      994  33715 |        0 |        0
1228.61/1229.01	c 1229s |      27 | 17154525 | 12933833 |      994  33756 |        0 |        0
1230.62/1231.02	c 1231s |      27 | 17181018 | 12953133 |      994  33793 |        0 |        0
1232.61/1233.02	c 1233s |      27 | 17205642 | 12972033 |      994  33831 |        0 |        0
1234.61/1235.03	c 1235s |      27 | 17233287 | 12992233 |      994  33871 |        0 |        0
1236.61/1237.04	c 1237s |      27 | 17259383 | 13011433 |      994  33908 |        0 |        0
1238.60/1239.05	c 1239s |      27 | 17285694 | 13030933 |      994  33947 |        0 |        0
1240.60/1241.05	c 1241s |      27 | 17312194 | 13050333 |      994  33985 |        0 |        0
1242.61/1243.06	c 1243s |      27 | 17335007 | 13068633 |      994  34021 |        0 |        0
1244.60/1245.07	c 1245s |      27 | 17358213 | 13086733 |      994  34057 |        0 |        0
1246.60/1247.07	c 1247s |      27 | 17382127 | 13105633 |      994  34094 |        0 |        0
1248.60/1249.08	c 1249s |      27 | 17408695 | 13125233 |      994  34132 |        0 |        0
1250.60/1251.08	c 1251s |      27 | 17434805 | 13145433 |      994  34172 |        0 |        0
1252.60/1253.08	c 1253s |      27 | 17461675 | 13166133 |      994  34213 |        0 |        0
1254.59/1255.09	c 1255s |      27 | 17491634 | 13187333 |      994  34255 |        0 |        0
1256.60/1257.09	c 1257s |      27 | 17520847 | 13208533 |      994  34297 |        0 |        0
1258.69/1259.10	c 1259s |      27 | 17548118 | 13228733 |      994  34337 |        0 |        0
1260.69/1261.11	c 1261s |      27 | 17575294 | 13248533 |      994  34377 |        0 |        0
1262.69/1263.11	c 1263s |      27 | 17600315 | 13267833 |      994  34415 |        0 |        0
1264.70/1265.12	c 1265s |      27 | 17626255 | 13287833 |      994  34455 |        0 |        0
1266.69/1267.12	c 1267s |      27 | 17653608 | 13308433 |      994  34496 |        0 |        0
1268.69/1269.13	c 1269s |      27 | 17680468 | 13328633 |      994  34536 |        0 |        0
1270.69/1271.14	c 1271s |      27 | 17710125 | 13349733 |      994  34578 |        0 |        0
1272.69/1273.14	c 1273s |      27 | 17738893 | 13370333 |      994  34619 |        0 |        0
1274.68/1275.15	c 1275s |      27 | 17767453 | 13391133 |      994  34660 |        0 |        0
1276.69/1277.16	c 1277s |      27 | 17796798 | 13412333 |      994  34703 |        0 |        0
1278.68/1279.16	c 1279s |      27 | 17823210 | 13432633 |      994  34743 |        0 |        0
1280.68/1281.17	c 1281s |      27 | 17850747 | 13452933 |      994  34783 |        0 |        0
1282.68/1283.17	c 1283s |      27 | 17876221 | 13472433 |      994  34822 |        0 |        0
1284.68/1285.17	c 1285s |      27 | 17904952 | 13493533 |      994  34863 |        0 |        0
1286.69/1287.18	c 1287s |      27 | 17930141 | 13512833 |      994  34902 |        0 |        0
1288.67/1289.19	c 1289s |      27 | 17958611 | 13533533 |      994  34943 |        0 |        0
1290.67/1291.19	c 1291s |      27 | 17985772 | 13554233 |      994  34984 |        0 |        0
1292.77/1293.20	c 1293s |      27 | 18013740 | 13575033 |      994  35026 |        0 |        0
1294.77/1295.20	c 1295s |      27 | 18039651 | 13594733 |      994  35064 |        0 |        0
1296.77/1297.21	c 1297s |      27 | 18066023 | 13615133 |      994  35105 |        0 |        0
1298.78/1299.21	c 1299s |      27 | 18093414 | 13635933 |      994  35146 |        0 |        0
1300.77/1301.21	c 1301s |      27 | 18123550 | 13657633 |      994  35189 |        0 |        0
1302.77/1303.22	c 1303s |      27 | 18149910 | 13677933 |      994  35229 |        0 |        0
1304.77/1305.23	c 1305s |      27 | 18177777 | 13698733 |      994  35270 |        0 |        0
1306.77/1307.23	c 1307s |      27 | 18204584 | 13719333 |      994  35311 |        0 |        0
1308.77/1309.24	c 1309s |      27 | 18231606 | 13739733 |      994  35352 |        0 |        0
1310.77/1311.24	c 1311s |      27 | 18261309 | 13760433 |      994  35393 |        0 |        0
1312.76/1313.25	c 1313s |      27 | 18288137 | 13780833 |      994  35433 |        0 |        0
1314.77/1315.25	c 1315s |      27 | 18315613 | 13801333 |      994  35474 |        0 |        0
1316.77/1317.26	c 1317s |      27 | 18339935 | 13820533 |      994  35512 |        0 |        0
1318.77/1319.26	c 1319s |      27 | 18363710 | 13839433 |      994  35549 |        0 |        0
1320.76/1321.26	c 1321s |      27 | 18389879 | 13859333 |      994  35588 |        0 |        0
1322.76/1323.26	c 1323s |      27 | 18417474 | 13879433 |      994  35628 |        0 |        0
1324.76/1325.27	c 1325s |      27 | 18445204 | 13899833 |      994  35669 |        0 |        0
1326.76/1327.28	c 1327s |      27 | 18471516 | 13919333 |      994  35707 |        0 |        0
1328.76/1329.28	c 1329s |      27 | 18501652 | 13940833 |      994  35750 |        0 |        0
1330.76/1331.28	c 1331s |      27 | 18530550 | 13962133 |      994  35792 |        0 |        0
1332.77/1333.29	c 1333s |      27 | 18561343 | 13984233 |      994  35836 |        0 |        0
1334.75/1335.29	c 1335s |      27 | 18593828 | 14006833 |      994  35881 |        0 |        0
1336.85/1337.30	c 1337s |      27 | 18624847 | 14029233 |      994  35925 |        0 |        0
1338.85/1339.30	c 1339s |      27 | 18653135 | 14049933 |      994  35966 |        0 |        0
1340.86/1341.30	c 1341s |      27 | 18680667 | 14070433 |      994  36007 |        0 |        0
1342.85/1343.31	c 1343s |      27 | 18706143 | 14090033 |      994  36046 |        0 |        0
1344.86/1345.32	c 1345s |      27 | 18728590 | 14108433 |      994  36082 |        0 |        0
1346.85/1347.33	c 1347s |      27 | 18752493 | 14126933 |      994  36119 |        0 |        0
1348.85/1349.33	c 1349s |      27 | 18776756 | 14145933 |      994  36157 |        0 |        0
1350.85/1351.33	c 1351s |      27 | 18804084 | 14166533 |      994  36197 |        0 |        0
1352.85/1353.34	c 1353s |      27 | 18832328 | 14187133 |      994  36238 |        0 |        0
1354.86/1355.34	c 1355s |      27 | 18860972 | 14208233 |      994  36280 |        0 |        0
1356.85/1357.35	c 1357s |      27 | 18888626 | 14228533 |      994  36321 |        0 |        0
1358.85/1359.35	c 1359s |      27 | 18915885 | 14248633 |      994  36360 |        0 |        0
1360.85/1361.36	c 1361s |      27 | 18945073 | 14269133 |      994  36401 |        0 |        0
1362.85/1363.36	c 1363s |      27 | 18969499 | 14288233 |      994  36439 |        0 |        0
1364.85/1365.37	c 1365s |      27 | 19000208 | 14308633 |      994  36480 |        0 |        0
1366.85/1367.37	c 1367s |      27 | 19025649 | 14328333 |      994  36519 |        0 |        0
1368.85/1369.37	c 1369s |      27 | 19052995 | 14348833 |      994  36559 |        0 |        0
1370.84/1371.38	c 1371s |      27 | 19078796 | 14368633 |      994  36599 |        0 |        0
1372.85/1373.39	c 1373s |      27 | 19109619 | 14389633 |      994  36641 |        0 |        0
1374.85/1375.40	c 1375s |      27 | 19141489 | 14411533 |      994  36684 |        0 |        0
1376.95/1377.40	c 1377s |      27 | 19172524 | 14433133 |      994  36727 |        0 |        0
1378.96/1379.40	c 1379s |      27 | 19202044 | 14454033 |      994  36769 |        0 |        0
1380.95/1381.41	c 1381s |      27 | 19227734 | 14473933 |      994  36808 |        0 |        0
1382.95/1383.41	c 1383s |      27 | 19255500 | 14494833 |      994  36850 |        0 |        0
1384.95/1385.41	c 1385s |      27 | 19284322 | 14515533 |      994  36890 |        0 |        0
1386.95/1387.42	c 1387s |      27 | 19312939 | 14536633 |      994  36932 |        0 |        0
1388.96/1389.42	c 1389s |      27 | 19341987 | 14557233 |      994  36973 |        0 |        0
1390.95/1391.42	c 1391s |      27 | 19367383 | 14576733 |      994  37012 |        0 |        0
1392.95/1393.43	c 1393s |      27 | 19395242 | 14597133 |      994  37053 |        0 |        0
1394.94/1395.43	c 1395s |      27 | 19425601 | 14618433 |      994  37095 |        0 |        0
1396.95/1397.44	c 1397s |      27 | 19451877 | 14638333 |      994  37135 |        0 |        0
1398.95/1399.44	c 1399s |      27 | 19483100 | 14659333 |      994  37177 |        0 |        0
1400.95/1401.45	c 1401s |      27 | 19512928 | 14680333 |      994  37218 |        0 |        0
1402.94/1403.45	c 1403s |      27 | 19541201 | 14701333 |      994  37260 |        0 |        0
1404.95/1405.45	c 1405s |      27 | 19568708 | 14722033 |      994  37301 |        0 |        0
1406.94/1407.46	c 1407s |      27 | 19597580 | 14743133 |      994  37343 |        0 |        0
1408.94/1409.46	c 1409s |      27 | 19625791 | 14763433 |      994  37383 |        0 |        0
1410.95/1411.47	c 1411s |      27 | 19651691 | 14782933 |      994  37422 |        0 |        0
1412.94/1413.47	c 1413s |      27 | 19679263 | 14802833 |      994  37462 |        0 |        0
1414.94/1415.48	c 1415s |      27 | 19709156 | 14824033 |      994  37504 |        0 |        0
1416.94/1417.49	c 1417s |      27 | 19739677 | 14845633 |      994  37547 |        0 |        0
1418.95/1419.49	c 1419s |      27 | 19769051 | 14866633 |      994  37588 |        0 |        0
1420.94/1421.49	c 1421s |      27 | 19799623 | 14888533 |      994  37632 |        0 |        0
1422.95/1423.49	c 1423s |      27 | 19826652 | 14908633 |      994  37672 |        0 |        0
1424.94/1425.50	c 1425s |      27 | 19852982 | 14928533 |      994  37712 |        0 |        0
1427.04/1427.50	c 1427s |      27 | 19877776 | 14948033 |      994  37750 |        0 |        0
1429.04/1429.50	c 1429s |      27 | 19905019 | 14968533 |      994  37791 |        0 |        0
1431.04/1431.51	c 1431s |      27 | 19933212 | 14989433 |      994  37833 |        0 |        0
1433.04/1433.51	c 1433s |      27 | 19962157 | 15010233 |      994  37874 |        0 |        0
1435.04/1435.52	c 1435s |      27 | 19989882 | 15030533 |      994  37914 |        0 |        0
1437.04/1437.52	c 1437s |      27 | 20016419 | 15050133 |      994  37953 |        0 |        0
1439.04/1439.53	c 1439s |      27 | 20043045 | 15070033 |      994  37993 |        0 |        0
1441.04/1441.53	c 1441s |      27 | 20071722 | 15090633 |      994  38034 |        0 |        0
1443.03/1443.54	c 1443s |      27 | 20100609 | 15111633 |      994  38076 |        0 |        0
1445.04/1445.55	c 1445s |      27 | 20129848 | 15132633 |      994  38117 |        0 |        0
1447.04/1447.56	c 1447s |      27 | 20157814 | 15153333 |      994  38158 |        0 |        0
1449.04/1449.56	c 1449s |      27 | 20186722 | 15173933 |      994  38199 |        0 |        0
1451.04/1451.56	c 1451s |      27 | 20215521 | 15194833 |      994  38241 |        0 |        0
1453.04/1453.56	c 1453s |      27 | 20243274 | 15215233 |      994  38282 |        0 |        0
1455.03/1455.57	c 1455s |      27 | 20264486 | 15233033 |      994  38317 |        0 |        0
1457.04/1457.58	c 1457s |      27 | 20284414 | 15250133 |      994  38351 |        0 |        0
1459.03/1459.58	c 1459s |      27 | 20308481 | 15269333 |      994  38389 |        0 |        0
1461.03/1461.58	c 1461s |      27 | 20335397 | 15289533 |      994  38429 |        0 |        0
1463.04/1463.59	c 1463s |      27 | 20360489 | 15308633 |      994  38467 |        0 |        0
1465.04/1465.59	c 1465s |      27 | 20387253 | 15328733 |      994  38507 |        0 |        0
1467.04/1467.60	c 1467s |      27 | 20413387 | 15348533 |      994  38546 |        0 |        0
1469.04/1469.60	c 1469s |      27 | 20435549 | 15366433 |      994  38581 |        0 |        0
1471.13/1471.60	c 1471s |      27 | 20459970 | 15385333 |      994  38619 |        0 |        0
1473.14/1473.61	c 1473s |      27 | 20485015 | 15404433 |      994  38657 |        0 |        0
1475.14/1475.62	c 1475s |      27 | 20512227 | 15424333 |      994  38696 |        0 |        0
1477.13/1477.63	c 1477s |      27 | 20538856 | 15444433 |      994  38736 |        0 |        0
1479.14/1479.63	c 1479s |      27 | 20564876 | 15464233 |      994  38775 |        0 |        0
1481.13/1481.63	c 1481s |      27 | 20594733 | 15485433 |      994  38817 |        0 |        0
1483.13/1483.63	c 1483s |      27 | 20622279 | 15505833 |      994  38858 |        0 |        0
1485.13/1485.65	c 1485s |      27 | 20653268 | 15527633 |      994  38902 |        0 |        0
1487.13/1487.65	c 1487s |      27 | 20682440 | 15548733 |      994  38944 |        0 |        0
1489.13/1489.66	c 1489s |      27 | 20710222 | 15569033 |      994  38984 |        0 |        0
1491.14/1491.67	c 1491s |      27 | 20738141 | 15589433 |      994  39025 |        0 |        0
1493.13/1493.67	c 1493s |      27 | 20766717 | 15610233 |      994  39066 |        0 |        0
1495.13/1495.68	c 1495s |      27 | 20794234 | 15630333 |      994  39106 |        0 |        0
1497.13/1497.69	c 1497s |      27 | 20823077 | 15651233 |      994  39148 |        0 |        0
1499.22/1499.70	c 1499s |      27 | 20851297 | 15671733 |      994  39189 |        0 |        0
1501.23/1501.70	c 1501s |      27 | 20877447 | 15691533 |      994  39228 |        0 |        0
1503.24/1503.70	c 1503s |      27 | 20904225 | 15711533 |      994  39268 |        0 |        0
1505.23/1505.71	c 1505s |      27 | 20932474 | 15732033 |      994  39308 |        0 |        0
1507.23/1507.72	c 1507s |      27 | 20960230 | 15752633 |      994  39350 |        0 |        0
1509.23/1509.73	c 1509s |      27 | 20989779 | 15774033 |      994  39392 |        0 |        0
1511.23/1511.73	c 1511s |      27 | 21020639 | 15796033 |      994  39436 |        0 |        0
1513.24/1513.73	c 1513s |      27 | 21049365 | 15817133 |      994  39478 |        0 |        0
1515.22/1515.74	c 1515s |      27 | 21076807 | 15838133 |      994  39520 |        0 |        0
1517.23/1517.74	c 1517s |      27 | 21104717 | 15858333 |      994  39560 |        0 |        0
1519.22/1519.75	c 1519s |      27 | 21129887 | 15877433 |      994  39597 |        0 |        0
1521.23/1521.75	c 1521s |      27 | 21154915 | 15896633 |      994  39636 |        0 |        0
1523.22/1523.75	c 1523s |      27 | 21181472 | 15916433 |      994  39675 |        0 |        0
1525.23/1525.76	c 1525s |      27 | 21204014 | 15934533 |      994  39711 |        0 |        0
1527.23/1527.77	c 1527s |      27 | 21230892 | 15954333 |      994  39750 |        0 |        0
1529.22/1529.77	c 1529s |      27 | 21258275 | 15974433 |      994  39790 |        0 |        0
1531.22/1531.78	c 1531s |      27 | 21283250 | 15993433 |      994  39828 |        0 |        0
1533.23/1533.78	c 1533s |      27 | 21304097 | 16010833 |      994  39862 |        0 |        0
1535.23/1535.79	c 1535s |      27 | 21327020 | 16029033 |      994  39898 |        0 |        0
1537.22/1537.79	c 1537s |      27 | 21350752 | 16047533 |      994  39935 |        0 |        0
1539.33/1539.80	c 1539s |      27 | 21374613 | 16066133 |      994  39972 |        0 |        0
1541.33/1541.80	c 1541s |      27 | 21396658 | 16083933 |      994  40007 |        0 |        0
1543.32/1543.81	c 1543s |      27 | 21420744 | 16102633 |      994  40044 |        0 |        0
1545.32/1545.82	c 1545s |      27 | 21446102 | 16121633 |      994  40082 |        0 |        0
1547.33/1547.82	c 1547s |      27 | 21467923 | 16139233 |      994  40117 |        0 |        0
1549.32/1549.83	c 1549s |      27 | 21488744 | 16157033 |      994  40152 |        0 |        0
1551.32/1551.83	c 1551s |      27 | 21512933 | 16176233 |      994  40190 |        0 |        0
1553.32/1553.84	c 1553s |      27 | 21537074 | 16195133 |      994  40227 |        0 |        0
1555.32/1555.85	c 1555s |      27 | 21560445 | 16213433 |      994  40263 |        0 |        0
1557.32/1557.85	c 1557s |      27 | 21587030 | 16233133 |      994  40302 |        0 |        0
1559.33/1559.85	c 1559s |      27 | 21612372 | 16252433 |      994  40340 |        0 |        0
1561.32/1561.85	c 1561s |      27 | 21639867 | 16272533 |      994  40380 |        0 |        0
1563.32/1563.86	c 1563s |      27 | 21667432 | 16292533 |      994  40420 |        0 |        0
1565.32/1565.86	c 1565s |      27 | 21696020 | 16313333 |      994  40461 |        0 |        0
1567.32/1567.86	c 1567s |      27 | 21725587 | 16334533 |      994  40503 |        0 |        0
1569.33/1569.87	c 1569s |      27 | 21752327 | 16354733 |      994  40543 |        0 |        0
1571.32/1571.87	c 1571s |      27 | 21780282 | 16375233 |      994  40583 |        0 |        0
1573.32/1573.88	c 1573s |      27 | 21808012 | 16395433 |      994  40623 |        0 |        0
1575.31/1575.88	c 1575s |      27 | 21835110 | 16415533 |      994  40663 |        0 |        0
1577.32/1577.89	c 1577s |      27 | 21865321 | 16436733 |      994  40705 |        0 |        0
1579.42/1579.90	c 1579s |      27 | 21894051 | 16457233 |      994  40746 |        0 |        0
1581.32/1581.90	c 1581s |      27 | 21921496 | 16477533 |      994  40787 |        0 |        0
1583.42/1583.91	c 1583s |      27 | 21948915 | 16498133 |      994  40828 |        0 |        0
1585.41/1585.92	c 1585s |      27 | 21974835 | 16518133 |      994  40867 |        0 |        0
1587.42/1587.93	c 1587s |      27 | 22003615 | 16538733 |      994  40908 |        0 |        0
1589.41/1589.93	c 1589s |      27 | 22031476 | 16559333 |      994  40949 |        0 |        0
1591.42/1591.94	c 1591s |      27 | 22058381 | 16579533 |      994  40989 |        0 |        0
1593.42/1593.94	c 1593s |      27 | 22084027 | 16599033 |      994  41028 |        0 |        0
1595.42/1595.95	c 1595s |      27 | 22111902 | 16618933 |      994  41067 |        0 |        0
1597.42/1597.95	c 1597s |      27 | 22138551 | 16638833 |      994  41107 |        0 |        0
1599.42/1599.96	c 1599s |      27 | 22164787 | 16658533 |      994  41146 |        0 |        0
1601.41/1601.96	c 1601s |      27 | 22188628 | 16677233 |      994  41183 |        0 |        0
1603.42/1603.97	c 1603s |      27 | 22213821 | 16696633 |      994  41222 |        0 |        0
1605.41/1605.97	c 1605s |      27 | 22242872 | 16718033 |      994  41264 |        0 |        0
1607.41/1607.98	c 1607s |      27 | 22270889 | 16738433 |      994  41304 |        0 |        0
1609.41/1609.98	c 1609s |      27 | 22298521 | 16758733 |      994  41345 |        0 |        0
1611.42/1611.98	c 1611s |      27 | 22326554 | 16779033 |      994  41385 |        0 |        0
1613.41/1613.98	c 1613s |      27 | 22354972 | 16799833 |      994  41426 |        0 |        0
1615.42/1615.99	c 1615s |      27 | 22385699 | 16821033 |      994  41468 |        0 |        0
1617.41/1617.99	c 1617s |      27 | 22412256 | 16840833 |      994  41508 |        0 |        0
1619.51/1620.00	c 1619s |      27 | 22437702 | 16860233 |      994  41546 |        0 |        0
1621.51/1622.00	c 1621s |      27 | 22461850 | 16879133 |      994  41584 |        0 |        0
1623.51/1624.01	c 1623s |      27 | 22488665 | 16899033 |      994  41623 |        0 |        0
1625.51/1626.02	c 1626s |      27 | 22514695 | 16918433 |      994  41662 |        0 |        0
1627.52/1628.02	c 1628s |      27 | 22540018 | 16938033 |      994  41701 |        0 |        0
1629.51/1630.02	c 1630s |      27 | 22565584 | 16958033 |      994  41740 |        0 |        0
1631.51/1632.03	c 1632s |      27 | 22594760 | 16978833 |     1094  41780 |        0 |        0
1633.51/1634.04	c 1634s |      27 | 22620309 | 16998133 |     1094  41815 |        0 |        0
1635.51/1636.04	c 1636s |      27 | 22648652 | 17018533 |     1094  41852 |        0 |        0
1637.52/1638.04	c 1638s |      27 | 22675771 | 17038133 |     1094  41887 |        0 |        0
1639.51/1640.05	c 1640s |      27 | 22704960 | 17059033 |     1094  41925 |        0 |        0
1641.50/1642.05	c 1642s |      27 | 22733783 | 17079633 |     1094  41962 |        0 |        0
1643.01/1643.55	c 1643s |      28 | 22755501 | 17095205 |     1094  41990 |        0 |        0
1645.01/1645.55	c 1645s |      28 | 22784151 | 17115805 |     1094  42027 |        0 |        0
1647.01/1647.55	c 1647s |      28 | 22813446 | 17136805 |     1094  42065 |        0 |        0
1649.01/1649.56	c 1649s |      28 | 22837666 | 17156105 |     1094  42099 |        0 |        0
1651.01/1651.56	c 1651s |      28 | 22861637 | 17175105 |     1094  42133 |        0 |        0
1653.01/1653.56	c 1653s |      28 | 22882560 | 17192405 |     1094  42164 |        0 |        0
1655.02/1655.56	c 1655s |      28 | 22904140 | 17210105 |     1094  42196 |        0 |        0
1657.01/1657.57	c 1657s |      28 | 22930430 | 17229605 |     1094  42231 |        0 |        0
1659.00/1659.58	c 1659s |      28 | 22958279 | 17249405 |     1094  42267 |        0 |        0
1661.01/1661.58	c 1661s |      28 | 22985207 | 17268805 |     1094  42302 |        0 |        0
1663.01/1663.59	c 1663s |      28 | 23010183 | 17287705 |     1094  42335 |        0 |        0
1665.11/1665.60	c 1665s |      28 | 23034763 | 17306505 |     1094  42369 |        0 |        0
1667.11/1667.60	c 1667s |      28 | 23059667 | 17325805 |     1094  42404 |        0 |        0
1669.11/1669.60	c 1669s |      28 | 23084916 | 17345105 |     1094  42438 |        0 |        0
1671.11/1671.62	c 1671s |      28 | 23109975 | 17364505 |     1094  42473 |        0 |        0
1673.10/1673.62	c 1673s |      28 | 23135540 | 17384505 |     1094  42508 |        0 |        0
1675.11/1675.63	c 1675s |      28 | 23163720 | 17405605 |     1094  42546 |        0 |        0
1677.10/1677.63	c 1677s |      28 | 23191652 | 17426505 |     1094  42584 |        0 |        0
1679.10/1679.64	c 1679s |      28 | 23218120 | 17446505 |     1094  42620 |        0 |        0
1681.10/1681.64	c 1681s |      28 | 23243847 | 17466705 |     1094  42657 |        0 |        0
1683.10/1683.64	c 1683s |      28 | 23271314 | 17487105 |     1094  42693 |        0 |        0
1685.10/1685.65	c 1685s |      28 | 23298988 | 17507105 |     1094  42729 |        0 |        0
1687.10/1687.65	c 1687s |      28 | 23324668 | 17526605 |     1094  42764 |        0 |        0
1689.10/1689.67	c 1689s |      28 | 23347604 | 17545005 |     1094  42797 |        0 |        0
1691.10/1691.67	c 1691s |      28 | 23372555 | 17564305 |     1094  42832 |        0 |        0
1693.10/1693.68	c 1693s |      28 | 23400800 | 17584705 |     1094  42869 |        0 |        0
1695.10/1695.68	c 1695s |      28 | 23428299 | 17604905 |     1094  42905 |        0 |        0
1697.10/1697.69	c 1697s |      28 | 23453942 | 17623805 |     1094  42939 |        0 |        0
1699.10/1699.69	c 1699s |      28 | 23480828 | 17643105 |     1094  42974 |        0 |        0
1701.10/1701.69	c 1701s |      28 | 23502836 | 17660805 |     1094  43006 |        0 |        0
1703.20/1703.70	c 1703s |      28 | 23526507 | 17678905 |     1094  43039 |        0 |        0
1705.20/1705.70	c 1705s |      28 | 23550562 | 17697605 |     1094  43072 |        0 |        0
1707.20/1707.71	c 1707s |      28 | 23580028 | 17717705 |     1094  43108 |        0 |        0
1709.19/1709.72	c 1709s |      28 | 23605682 | 17735805 |     1094  43141 |        0 |        0
1711.21/1711.72	c 1711s |      28 | 23629166 | 17754305 |     1094  43174 |        0 |        0
1713.19/1713.73	c 1713s |      28 | 23650900 | 17772405 |     1094  43206 |        0 |        0
1715.20/1715.74	c 1715s |      28 | 23675337 | 17791405 |     1094  43240 |        0 |        0
1717.20/1717.74	c 1717s |      28 | 23697820 | 17809105 |     1094  43272 |        0 |        0
1719.19/1719.74	c 1719s |      28 | 23721485 | 17827305 |     1094  43305 |        0 |        0
1721.20/1721.75	c 1721s |      28 | 23743959 | 17845105 |     1094  43336 |        0 |        0
1723.20/1723.76	c 1723s |      28 | 23767232 | 17863305 |     1094  43369 |        0 |        0
1725.19/1725.76	c 1725s |      28 | 23789153 | 17880805 |     1094  43400 |        0 |        0
1727.20/1727.77	c 1727s |      28 | 23809489 | 17897905 |     1094  43431 |        0 |        0
1729.19/1729.77	c 1729s |      28 | 23829436 | 17914405 |     1094  43461 |        0 |        0
1731.19/1731.78	c 1731s |      28 | 23851310 | 17931805 |     1094  43492 |        0 |        0
1733.20/1733.78	c 1733s |      28 | 23873855 | 17949705 |     1094  43524 |        0 |        0
1735.20/1735.79	c 1735s |      28 | 23896409 | 17967105 |     1094  43555 |        0 |        0
1737.19/1737.79	c 1737s |      28 | 23918991 | 17985305 |     1094  43588 |        0 |        0
1739.29/1739.80	c 1739s |      28 | 23942297 | 18003605 |     1094  43621 |        0 |        0
1741.29/1741.80	c 1741s |      28 | 23963924 | 18021105 |     1094  43652 |        0 |        0
1743.29/1743.81	c 1743s |      28 | 23987477 | 18039305 |     1094  43685 |        0 |        0
1745.30/1745.82	c 1745s |      28 | 24011830 | 18058505 |     1094  43719 |        0 |        0
1747.29/1747.82	c 1747s |      28 | 24035023 | 18077005 |     1094  43752 |        0 |        0
1749.29/1749.83	c 1749s |      28 | 24060930 | 18097005 |     1094  43788 |        0 |        0
1751.29/1751.84	c 1751s |      28 | 24085239 | 18116105 |     1094  43822 |        0 |        0
1753.29/1753.84	c 1753s |      28 | 24108682 | 18134705 |     1094  43855 |        0 |        0
1755.29/1755.85	c 1755s |      28 | 24132443 | 18153505 |     1094  43889 |        0 |        0
1757.30/1757.85	c 1757s |      28 | 24154498 | 18171105 |     1094  43920 |        0 |        0
1759.29/1759.87	c 1759s |      28 | 24174380 | 18187305 |     1094  43950 |        0 |        0
1761.29/1761.87	c 1761s |      28 | 24195821 | 18204505 |     1094  43980 |        0 |        0
1763.29/1763.87	c 1763s |      28 | 24217145 | 18221805 |     1094  44011 |        0 |        0
1765.29/1765.88	c 1765s |      28 | 24238929 | 18239205 |     1094  44043 |        0 |        0
1767.29/1767.89	c 1767s |      28 | 24260202 | 18256405 |     1094  44074 |        0 |        0
1769.29/1769.89	c 1769s |      28 | 24281657 | 18273505 |     1094  44104 |        0 |        0
1771.29/1771.90	c 1771s |      28 | 24304286 | 18291205 |     1094  44136 |        0 |        0
1773.39/1773.90	c 1773s |      28 | 24328014 | 18309705 |     1094  44169 |        0 |        0
1775.39/1775.91	c 1775s |      28 | 24352273 | 18328305 |     1094  44203 |        0 |        0
1777.38/1777.92	c 1777s |      28 | 24376252 | 18346505 |     1094  44235 |        0 |        0
1779.39/1779.92	c 1779s |      28 | 24399130 | 18364805 |     1094  44268 |        0 |        0
1781.39/1781.93	c 1781s |      28 | 24423612 | 18383405 |     1094  44302 |        0 |        0
1783.38/1783.94	c 1783s |      28 | 24446964 | 18401705 |     1094  44335 |        0 |        0
1785.39/1785.94	c 1785s |      28 | 24474419 | 18421805 |     1094  44371 |        0 |        0
1787.38/1787.95	c 1787s |      28 | 24501914 | 18441905 |     1094  44407 |        0 |        0
1789.39/1789.95	c 1789s |      28 | 24529484 | 18462105 |     1094  44444 |        0 |        0
1791.39/1791.96	c 1791s |      28 | 24553428 | 18480705 |     1094  44477 |        0 |        0
1793.39/1793.97	c 1793s |      28 | 24580808 | 18500805 |     1094  44513 |        0 |        0
1795.38/1795.98	c 1795s |      28 | 24607702 | 18520905 |     1094  44550 |        0 |        0
1797.38/1797.98	c 1797s |      28 | 24634452 | 18540605 |     1094  44585 |        0 |        0
1799.39/1799.99	c 1799s |      28 | 24660831 | 18560305 |     1094  44621 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.24 2.17 1.89 3/180 19014
/proc/meminfo: memFree=27276036/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 2928 0 0 0 0 0 0 0 20 0 4 0 12286394 801566720 3288 33554432000 4194304 16246674 140735515191984 140735515191408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 196207 3298 441 2943 0 193101 0
[pid=19014/tid=19015] ppid=19011 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 819392512 3360 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 824635392 3377 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=809404 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 828829696 3393 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.24 2.17 1.89 3/180 19014
/proc/meminfo: memFree=27276036/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 24995 0 0 0 5 4 0 0 20 0 4 0 12286394 1247350784 25344 33554432000 4194304 16246674 140735515191984 140735515191408 6024617 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 304529 25351 707 2943 0 301423 0
[pid=19014/tid=19015] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 25359 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 25366 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 25372 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200471 s]
/proc/loadavg: 2.24 2.17 1.89 3/180 19014
/proc/meminfo: memFree=27276036/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 48106 0 0 0 12 7 0 0 20 0 4 0 12286394 1247350784 48455 33554432000 4194304 16246674 140735515191984 140735515191408 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 304529 48463 708 2943 0 301423 0
[pid=19014/tid=19015] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 48469 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 48475 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 48481 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30045 s]
/proc/loadavg: 2.24 2.17 1.89 3/180 19014
/proc/meminfo: memFree=27276036/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 70618 0 0 0 18 10 0 0 20 0 4 0 12286394 1247350784 70968 33554432000 4194304 16246674 140735515191984 140735515191408 13195385 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 304529 70976 708 2943 0 301423 0
[pid=19014/tid=19015] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 70983 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 70990 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 70997 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700378 s]
/proc/loadavg: 2.24 2.17 1.89 3/180 19014
/proc/meminfo: memFree=27276036/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 161903 0 0 0 42 27 0 0 20 0 4 0 12286394 1247350784 162253 33554432000 4194304 16246674 140735515191984 140735515191408 5830026 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 304529 162261 708 2943 0 301423 0
[pid=19014/tid=19015] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 162269 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 162274 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 162279 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50033 s]
/proc/loadavg: 2.22 2.17 1.89 4/184 19018
/proc/meminfo: memFree=26294092/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 245479 0 0 0 105 44 0 0 20 0 4 0 12286394 1247350784 245808 33554432000 4194304 16246674 140735515191984 140735515191296 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 304529 245808 782 2943 0 301423 0
[pid=19014/tid=19015] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 245808 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 245808 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1247350784 245808 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10038 s]
/proc/loadavg: 2.22 2.17 1.89 4/184 19018
/proc/meminfo: memFree=26206044/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 267412 0 0 0 256 53 0 0 20 0 4 0 12286394 1337528320 267741 33554432000 4194304 16246674 140735515191984 140735515174984 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326545 267741 782 2943 0 323439 0
[pid=19014/tid=19015] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267741 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267741 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267741 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30034 s]
/proc/loadavg: 2.22 2.17 1.89 3/184 19018
/proc/meminfo: memFree=26205448/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 267412 0 0 0 564 65 0 0 20 0 4 0 12286394 1337528320 267741 33554432000 4194304 16246674 140735515191984 140735515174984 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326545 267741 782 2943 0 323439 0
[pid=19014/tid=19015] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267741 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267741 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267741 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.26 2.18 1.89 3/184 19018
/proc/meminfo: memFree=26205156/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 267417 0 0 0 1174 95 0 0 20 0 4 0 12286394 1337528320 267746 33554432000 4194304 16246674 140735515191984 140735515174984 5839820 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326545 267746 782 2943 0 323439 0
[pid=19014/tid=19015] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267746 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267746 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267746 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.30 2.19 1.90 3/184 19018
/proc/meminfo: memFree=26205284/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 267448 0 0 0 2389 159 0 0 20 0 4 0 12286394 1337528320 267777 33554432000 4194304 16246674 140735515191984 140735515174984 6021055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326545 267777 784 2943 0 323439 0
[pid=19014/tid=19015] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267777 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267777 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267777 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.27 2.19 1.91 3/183 19018
/proc/meminfo: memFree=26205060/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 267450 0 0 0 4817 291 0 0 20 0 4 0 12286394 1337528320 267779 33554432000 4194304 16246674 140735515191984 140735515174984 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326545 267779 786 2943 0 323439 0
[pid=19014/tid=19015] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267779 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267779 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267779 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.21 2.18 1.92 4/183 19019
/proc/meminfo: memFree=26204980/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 267475 0 0 0 9644 584 0 0 20 0 4 0 12286394 1337528320 267804 33554432000 4194304 16246674 140735515191984 140735515174984 5822275 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326545 267804 786 2943 0 323439 0
[pid=19014/tid=19015] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267804 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267804 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1337528320 267804 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.25 2.30 2.19 3/183 19098
/proc/meminfo: memFree=26197404/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1307204 CPUtime=1301.87 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 268159 0 0 0 122542 7645 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140735515174984 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326801 268326 788 2943 0 323695 0
[pid=19014/tid=19015] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.19 2.27 2.18 4/183 19099
/proc/meminfo: memFree=26197356/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1307204 CPUtime=1361.85 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 268184 0 0 0 128272 7913 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140735515174984 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326801 268326 788 2943 0 323695 0
[pid=19014/tid=19015] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.27 2.28 2.19 3/183 19101
/proc/meminfo: memFree=26195764/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1307204 CPUtime=1421.84 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 268184 0 0 0 133916 8268 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140735515173888 13191307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326801 268326 788 2943 0 323695 0
[pid=19014/tid=19015] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.31 2.29 2.19 4/183 19102
/proc/meminfo: memFree=26195668/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1307204 CPUtime=1481.83 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 268184 0 0 0 139546 8637 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140735515174984 5523360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326801 268326 788 2943 0 323695 0
[pid=19014/tid=19015] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.32 2.29 2.19 3/183 19103
/proc/meminfo: memFree=26192968/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1307204 CPUtime=1541.83 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 268184 0 0 0 145191 8992 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140735515174984 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326801 268326 788 2943 0 323695 0
[pid=19014/tid=19015] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.25 2.28 2.19 3/183 19104
/proc/meminfo: memFree=26192796/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1307204 CPUtime=1601.81 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 268184 0 0 0 150846 9335 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140735515174984 6861768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326801 268326 788 2943 0 323695 0
[pid=19014/tid=19015] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.31 2.29 2.20 3/183 19105
/proc/meminfo: memFree=26193136/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1307204 CPUtime=1661.8 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 268184 0 0 0 156482 9698 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140735515174984 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326801 268326 788 2943 0 323695 0
[pid=19014/tid=19015] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.33 2.30 2.20 4/182 19106
/proc/meminfo: memFree=26193176/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1307204 CPUtime=1721.79 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 268184 0 0 0 162138 10041 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140735515174976 12483222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326801 268326 788 2943 0 323695 0
[pid=19014/tid=19015] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.36 2.31 2.21 3/184 19111
/proc/meminfo: memFree=26192608/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1307204 CPUtime=1781.78 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 268184 0 0 0 167830 10348 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140735515174984 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326801 268326 788 2943 0 323695 0
[pid=19014/tid=19015] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.35 2.31 2.21 3/183 19111
/proc/meminfo: memFree=26192104/32872528 swapFree=1590004/1720820
[pid=19014] ppid=19011 vsize=1307204 CPUtime=1800.08 cores=0,2,4,6
/proc/19014/stat : 19014 (toysat) R 19011 19014 13693 0 -1 4202496 268184 0 0 0 169568 10440 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140735515173888 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19014/statm: 326801 268326 788 2943 0 323695 0
[pid=19014/tid=19015] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19015/stat : 19015 (toysat) S 19011 19014 13693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722511523056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19014/tid=19016] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19016/stat : 19016 (toysat) S 19011 19014 13693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722501033200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19014/tid=19017] ppid=19011 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19014/task/19017/stat : 19017 (toysat) S 19011 19014 13693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12286394 1338576896 268326 33554432000 4194304 16246674 140735515191984 140722388855984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1307204

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19014 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.1
CPU user time (s): 1695.69
CPU system time (s): 104.41
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1695.69
system time used= 104.41
maximum resident set size= 1073304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268184
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= 459
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54931 second user time and 6.97694 second system time

The end

Begin job on node120 at 2016-06-30 21:01:19
IDJOB=4121050
IDBENCH=110261
IDSOLVER=2542
FILE ID=node120/4121050-1467313279
RUNJOBID= node120-1467312316-18592
PBS_JOBID= 20005266
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-27.cnf.gz-extracted.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-4121050-1467313279/watcher-4121050-1467313279 -o /tmp/evaluation-result-4121050-1467313279/solver-4121050-1467313279 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467312316-18592 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121050-1467313279.opb

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

MD5SUM BENCH= f4cccbac4e8884c7988a129175b2cb13
RANDOM SEED=1451859788

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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:        27276580 kB
Buffers:          167012 kB
Cached:          1879792 kB
SwapCached:            0 kB
Active:          1364956 kB
Inactive:        1762868 kB
Active(anon):    1083496 kB
Inactive(anon):        0 kB
Active(file):     281460 kB
Inactive(file):  1762868 kB
Unevictable:     1720820 kB
Mlocked:         1590004 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       2801620 kB
Mapped:            17028 kB
Shmem:               204 kB
Slab:             611980 kB
SReclaimable:      55860 kB
SUnreclaim:       556120 kB
KernelStack:        1480 kB
PageTables:         9696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2938448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 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= 71640 MiB
End job on node120 at 2016-06-30 21:31:20