0.00/0.00	c 2016-06-16T02:05:29+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-4089932-1466035529.opb"]
0.00/0.01	c use --random-gen="396516304 1160668682 4255653829 782835193 2339638778 3843048830 3990729520 1794422107 2429324317 2462016666 2403256337 4005462132 2789613079 1516943573 4146393618 833294189 3469634000 1733637182 2510653250 2981470858 1229462606 1563749573 1780962879 3929894404 2846868960 2881907498 4284823792 2677064809 2203162724 3104333898 1919436511 1070774313 2977201118 4195846435 1912653824 776985215 1621737108 3866039171 899463109 3145928406 1606741297 1315488813 871984924 2664979880 4277325882 1453771386 1317171512 1679175470 3874185503 931640135 3359195114 2945385523 3989052221 4183631422 340638762 649615025 2530179329 3119186553 3982856286 2732609641 688375888 3713385491 3768300457 1203088114 3532915684 3094028339 2075298603 3691832445 259201073 4274970810 2206144949 441438185 1722473757 1115348905 3067661806 260724762 235711105 537208955 591011937 1031878238 3793793696 3756337794 4023185134 543424917 2255236349 2763506164 46201068 1681861290 1763403590 1314028277 4214837293 1213931712 3157218835 2009586831 1701300246 42443544 4278825021 2540982484 1097177366 1945042095 661659904 3805492067 1811228049 805009757 756557551 4071744313 3226161690 172872887 2546741877 10985106 3688055170 3433002096 1215567340 3270812364 357748637 3680767123 602432512 3939478749 2938641639 1764546113 1395114089 3334942918 905281951 936636774 3998409377 1971060613 3406205051 2664533909 653289619 1710537082 404313713 2298187925 4182272101 2208691281 4288824949 2707376166 2156746828 3863836745 572621615 888173782 2622319530 1972150698 2497591250 2468685315 3858622538 124404639 3517504304 3524080657 2020119236 2748077323 46160086 1325235321 123188342 856963756 3399490332 373329787 2796913554 712330510 551675776 1030743817 270529622 555516990 2398453954 3380314392 3505365714 3224259190 3311284129 2057726327 2776130749 4153766544 3873514378 3394293364 1949663336 4186366175 4020591609 935370149 26304392 2926658005 1944300962 1388233303 514453307 3301151031 3205850353 4212271707 617862157 3511200800 2990122138 3732034953 3539132208 1491694512 180810710 3480978084 1751406271 2447592546 3242231810 2511991708 2901550961 3292840288 828510041 3696040186 3521411880 3571611198 35864318 3265747585 1983596095 2151478770 1846053440 2567587352 893874181 3170804827 3146221619 3592712235 4005382127 3387989631 3682337117 1243100685 448501776 3722124993 3340896746 3566121266 1988480084 47119138 4293102487 1568993512 1172055572 3911422979 3428006358 2008705797 3830744792 1379630272 1478196225 45553770 793818678 3090178176 2053976551 3968114368 2293051858 3543977938 2481803286 3555648824 27534079 2387420498 227461415 730507476 63246610 3937692604 3327839307 1807103995 1614917329 1736317083 933412804 48206103 3782830830 1884083441 2854363018 266090862 255 362436" option to reproduce the execution
0.00/0.01	c #vars 153
0.00/0.01	c #constraints 51
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 |       85      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      135 |      100 |       85      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      352 |      250 |       94      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      645 |      475 |      104      4 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1065 |      813 |      115      7 |        0 |        0
0.19/0.22	c  0.2s |       5 |     1675 |     1320 |      127     12 |        0 |        0
0.29/0.35	c  0.3s |       6 |     2593 |     2081 |      154     18 |        0 |        0
0.49/0.55	c  0.5s |       7 |     3938 |     3223 |      170     27 |        0 |        0
0.79/0.86	c  0.9s |       8 |     5889 |     4936 |      188     40 |        0 |        0
1.10/1.17	c  1.2s |       9 |     8846 |     7506 |      207     57 |        0 |        0
1.59/1.66	c  1.6s |      10 |    13100 |    11361 |      228     82 |        0 |        0
2.39/2.48	c  2.5s |      11 |    19414 |    17144 |      251    117 |        0 |        0
3.59/3.67	c  3.7s |      12 |    29598 |    25819 |      277    169 |        0 |        0
5.50/5.59	c  5.6s |      13 |    43800 |    38832 |      305    239 |        0 |        0
7.49/7.59	c  7.6s |      13 |    57982 |    52032 |      305    304 |        0 |        0
8.59/8.60	c  8.6s |      14 |    64665 |    58352 |      336    336 |        0 |        0
10.59/10.61	c 10.6s |      14 |    78646 |    71252 |      336    395 |        0 |        0
12.59/12.61	c 12.6s |      14 |    91714 |    83552 |      336    452 |        0 |        0
13.19/13.30	c 13.3s |      15 |    96000 |    87632 |      370    471 |        0 |        0
15.29/15.30	c 15.3s |      15 |   110527 |   101032 |      370    529 |        0 |        0
17.29/17.31	c 17.3s |      15 |   124189 |   113732 |      370    583 |        0 |        0
19.28/19.32	c 19.3s |      15 |   137353 |   125932 |      370    636 |        0 |        0
20.18/20.21	c 20.2s |      16 |   143450 |   131552 |      408    660 |        0 |        0
22.18/22.22	c 22.2s |      16 |   159128 |   145452 |      408    716 |        0 |        0
24.19/24.23	c 24.2s |      16 |   172684 |   157952 |      408    766 |        0 |        0
26.18/26.23	c 26.2s |      16 |   187167 |   170852 |      408    818 |        0 |        0
28.18/28.23	c 28.2s |      16 |   202021 |   183652 |      408    871 |        0 |        0
30.19/30.24	c 30.2s |      16 |   215756 |   196052 |      408    921 |        0 |        0
30.39/30.45	c 30.4s |      17 |   217342 |   197432 |      449    926 |        0 |        0
32.39/32.46	c 32.5s |      17 |   231935 |   210532 |      449    975 |        0 |        0
34.39/34.47	c 34.5s |      17 |   245174 |   222732 |      449   1020 |        0 |        0
36.39/36.49	c 36.5s |      17 |   259130 |   235332 |      449   1068 |        0 |        0
38.39/38.49	c 38.5s |      17 |   273772 |   248432 |      449   1116 |        0 |        0
40.48/40.50	c 40.5s |      17 |   288449 |   261432 |      449   1165 |        0 |        0
42.48/42.52	c 42.5s |      17 |   302125 |   273832 |      449   1212 |        0 |        0
44.48/44.53	c 44.5s |      17 |   315854 |   286232 |      449   1259 |        0 |        0
46.08/46.18	c 46.2s |      18 |   326899 |   296252 |      494   1297 |        0 |        0
48.08/48.19	c 48.2s |      18 |   341990 |   309452 |      494   1344 |        0 |        0
50.18/50.20	c 50.2s |      18 |   357196 |   322852 |      494   1392 |        0 |        0
52.18/52.20	c 52.2s |      18 |   371979 |   336052 |      494   1440 |        0 |        0
54.18/54.20	c 54.2s |      18 |   385083 |   348152 |      494   1484 |        0 |        0
56.19/56.20	c 56.2s |      18 |   398440 |   360452 |      494   1527 |        0 |        0
58.18/58.21	c 58.2s |      18 |   412579 |   373252 |      494   1572 |        0 |        0
60.18/60.22	c 60.2s |      18 |   426030 |   385352 |      494   1614 |        0 |        0
62.18/62.23	c 62.2s |      18 |   439525 |   397452 |      494   1656 |        0 |        0
64.18/64.23	c 64.2s |      18 |   453917 |   410152 |      494   1701 |        0 |        0
66.18/66.25	c 66.2s |      18 |   469176 |   423252 |      494   1748 |        0 |        0
68.19/68.25	c 68.2s |      18 |   483469 |   435852 |      494   1792 |        0 |        0
69.58/69.64	c 69.6s |      19 |   492920 |   444482 |      544   1822 |        0 |        0
71.59/71.65	c 71.6s |      19 |   506821 |   456782 |      544   1861 |        0 |        0
73.58/73.66	c 73.7s |      19 |   520099 |   468582 |      544   1899 |        0 |        0
75.58/75.68	c 75.7s |      19 |   532468 |   479882 |      544   1935 |        0 |        0
77.57/77.69	c 77.7s |      19 |   546539 |   492282 |      544   1974 |        0 |        0
79.67/79.70	c 79.7s |      19 |   559848 |   504182 |      544   2013 |        0 |        0
81.67/81.71	c 81.7s |      19 |   572515 |   515782 |      544   2050 |        0 |        0
83.69/83.72	c 83.7s |      19 |   584516 |   526782 |      544   2085 |        0 |        0
85.68/85.74	c 85.7s |      19 |   597210 |   538282 |      544   2122 |        0 |        0
87.68/87.74	c 87.7s |      19 |   609010 |   549182 |      544   2156 |        0 |        0
89.68/89.75	c 89.7s |      19 |   622572 |   561282 |      544   2195 |        0 |        0
91.68/91.75	c 91.7s |      19 |   635927 |   573482 |      544   2234 |        0 |        0
93.68/93.77	c 93.8s |      19 |   649353 |   585382 |      544   2272 |        0 |        0
95.68/95.79	c 95.8s |      19 |   661631 |   596382 |      544   2307 |        0 |        0
97.78/97.80	c 97.8s |      19 |   673552 |   607182 |      544   2342 |        0 |        0
99.77/99.81	c 99.8s |      19 |   685604 |   618082 |      544   2376 |        0 |        0
101.77/101.82	c  101s |      19 |   698092 |   629682 |      544   2413 |        0 |        0
103.77/103.83	c  103s |      19 |   711626 |   641982 |      544   2452 |        0 |        0
105.77/105.84	c  105s |      19 |   724162 |   653482 |      544   2489 |        0 |        0
107.78/107.84	c  107s |      19 |   736526 |   664682 |      599   2524 |        0 |        0
108.17/108.25	c  108s |      20 |   738817 |   666827 |      599   2530 |        0 |        0
110.17/110.26	c  110s |      20 |   752545 |   678727 |      599   2565 |        0 |        0
112.18/112.27	c  112s |      20 |   765523 |   690227 |      599   2599 |        0 |        0
114.17/114.27	c  114s |      20 |   778656 |   701927 |      599   2633 |        0 |        0
116.17/116.28	c  116s |      20 |   792418 |   714027 |      599   2669 |        0 |        0
118.17/118.29	c  118s |      20 |   806690 |   726127 |      599   2704 |        0 |        0
120.17/120.29	c  120s |      20 |   819573 |   737727 |      599   2738 |        0 |        0
122.27/122.30	c  122s |      20 |   833373 |   749727 |      599   2774 |        0 |        0
124.28/124.31	c  124s |      20 |   847078 |   761627 |      599   2809 |        0 |        0
126.27/126.32	c  126s |      20 |   860698 |   773327 |      599   2844 |        0 |        0
128.27/128.32	c  128s |      20 |   873779 |   784927 |      599   2878 |        0 |        0
130.28/130.33	c  130s |      20 |   886826 |   796427 |      599   2912 |        0 |        0
132.27/132.34	c  132s |      20 |   899166 |   807527 |      599   2945 |        0 |        0
134.28/134.35	c  134s |      20 |   911563 |   818627 |      599   2978 |        0 |        0
136.27/136.35	c  136s |      20 |   924753 |   830027 |      599   3012 |        0 |        0
138.27/138.36	c  138s |      20 |   939212 |   842127 |      599   3047 |        0 |        0
140.27/140.36	c  140s |      20 |   954659 |   854527 |      599   3084 |        0 |        0
142.27/142.37	c  142s |      20 |   967620 |   865727 |      599   3117 |        0 |        0
144.27/144.38	c  144s |      20 |   980150 |   877027 |      599   3151 |        0 |        0
146.28/146.39	c  146s |      20 |   994380 |   889427 |      599   3187 |        0 |        0
148.37/148.41	c  148s |      20 |  1008706 |   901527 |      599   3223 |        0 |        0
150.37/150.41	c  150s |      20 |  1021146 |   912527 |      599   3256 |        0 |        0
152.37/152.42	c  152s |      20 |  1033668 |   923827 |      599   3289 |        0 |        0
154.37/154.42	c  154s |      20 |  1046708 |   935727 |      599   3324 |        0 |        0
156.37/156.43	c  156s |      20 |  1060205 |   947827 |      599   3360 |        0 |        0
158.37/158.43	c  158s |      20 |  1073126 |   959427 |      599   3394 |        0 |        0
160.37/160.43	c  160s |      20 |  1084710 |   970227 |      599   3426 |        0 |        0
162.37/162.44	c  162s |      20 |  1095019 |   979927 |      599   3454 |        0 |        0
164.37/164.44	c  164s |      20 |  1104950 |   989227 |      599   3482 |        0 |        0
166.36/166.46	c  166s |      20 |  1115500 |   999027 |      659   3509 |        0 |        0
166.66/166.70	c  166s |      21 |  1116918 |  1000345 |      659   3512 |        0 |        0
168.66/168.72	c  168s |      21 |  1129073 |  1011645 |      659   3543 |        0 |        0
170.66/170.72	c  170s |      21 |  1140561 |  1022245 |      659   3571 |        0 |        0
172.67/172.72	c  172s |      21 |  1152103 |  1032745 |      659   3600 |        0 |        0
174.66/174.73	c  174s |      21 |  1163878 |  1043745 |      659   3630 |        0 |        0
176.66/176.74	c  176s |      21 |  1175941 |  1054945 |      659   3660 |        0 |        0
178.66/178.76	c  178s |      21 |  1188116 |  1066245 |      659   3690 |        0 |        0
180.66/180.77	c  180s |      21 |  1199589 |  1076845 |      659   3719 |        0 |        0
182.67/182.77	c  182s |      21 |  1212326 |  1088345 |      659   3750 |        0 |        0
184.66/184.78	c  184s |      21 |  1223353 |  1098545 |      659   3778 |        0 |        0
186.66/186.79	c  186s |      21 |  1234962 |  1109145 |      659   3806 |        0 |        0
188.76/188.80	c  188s |      21 |  1247095 |  1120245 |      659   3837 |        0 |        0
190.76/190.82	c  190s |      21 |  1259193 |  1131345 |      659   3867 |        0 |        0
192.76/192.83	c  192s |      21 |  1271715 |  1142745 |      659   3897 |        0 |        0
194.76/194.84	c  194s |      21 |  1283229 |  1153545 |      659   3927 |        0 |        0
196.76/196.85	c  196s |      21 |  1294243 |  1163745 |      659   3954 |        0 |        0
198.76/198.87	c  198s |      21 |  1304497 |  1173245 |      659   3980 |        0 |        0
200.76/200.87	c  200s |      21 |  1315352 |  1183245 |      659   4006 |        0 |        0
202.76/202.88	c  202s |      21 |  1327475 |  1194545 |      659   4037 |        0 |        0
204.76/204.89	c  204s |      21 |  1339124 |  1205445 |      659   4066 |        0 |        0
206.77/206.90	c  206s |      21 |  1351060 |  1216545 |      659   4097 |        0 |        0
208.86/208.91	c  208s |      21 |  1362003 |  1226745 |      659   4124 |        0 |        0
210.86/210.92	c  210s |      21 |  1373606 |  1237445 |      659   4153 |        0 |        0
212.86/212.93	c  212s |      21 |  1385494 |  1248245 |      659   4182 |        0 |        0
214.86/214.95	c  214s |      21 |  1397057 |  1258745 |      659   4211 |        0 |        0
216.86/216.95	c  216s |      21 |  1408142 |  1269045 |      659   4239 |        0 |        0
218.87/218.95	c  218s |      21 |  1418850 |  1279045 |      659   4265 |        0 |        0
220.86/220.96	c  220s |      21 |  1429067 |  1288645 |      659   4291 |        0 |        0
222.86/222.97	c  222s |      21 |  1439367 |  1298345 |      659   4317 |        0 |        0
224.86/224.97	c  224s |      21 |  1451283 |  1309345 |      659   4347 |        0 |        0
226.86/226.99	c  226s |      21 |  1462843 |  1320145 |      659   4376 |        0 |        0
228.86/228.99	c  228s |      21 |  1473875 |  1330445 |      659   4404 |        0 |        0
230.86/231.00	c  230s |      21 |  1485247 |  1340945 |      659   4433 |        0 |        0
232.96/233.01	c  232s |      21 |  1497242 |  1352045 |      659   4463 |        0 |        0
234.96/235.02	c  235s |      21 |  1508669 |  1362645 |      659   4491 |        0 |        0
236.96/237.03	c  237s |      21 |  1519503 |  1372845 |      659   4519 |        0 |        0
238.95/239.03	c  239s |      21 |  1530832 |  1383545 |      659   4548 |        0 |        0
240.96/241.04	c  241s |      21 |  1541307 |  1393445 |      659   4574 |        0 |        0
242.95/243.05	c  243s |      21 |  1553671 |  1404945 |      659   4605 |        0 |        0
244.95/245.05	c  245s |      21 |  1565287 |  1415845 |      659   4634 |        0 |        0
246.95/247.05	c  247s |      21 |  1576945 |  1426745 |      659   4663 |        0 |        0
248.95/249.07	c  249s |      21 |  1588926 |  1437945 |      659   4693 |        0 |        0
250.95/251.08	c  251s |      21 |  1600472 |  1448745 |      659   4722 |        0 |        0
252.96/253.09	c  253s |      21 |  1612000 |  1459445 |      659   4751 |        0 |        0
255.05/255.11	c  255s |      21 |  1622523 |  1469445 |      659   4777 |        0 |        0
257.05/257.12	c  257s |      21 |  1633314 |  1479345 |      659   4804 |        0 |        0
259.05/259.14	c  259s |      21 |  1645366 |  1490345 |      725   4834 |        0 |        0
260.95/261.07	c  261s |      22 |  1656671 |  1500622 |      725   4859 |        0 |        0
262.96/263.09	c  263s |      22 |  1669045 |  1512122 |      725   4887 |        0 |        0
265.06/265.11	c  265s |      22 |  1680791 |  1523022 |      725   4914 |        0 |        0
267.05/267.12	c  267s |      22 |  1692500 |  1533822 |      725   4941 |        0 |        0
269.05/269.13	c  269s |      22 |  1704184 |  1544622 |      725   4968 |        0 |        0
271.05/271.14	c  271s |      22 |  1715687 |  1555122 |      725   4994 |        0 |        0
273.05/273.16	c  273s |      22 |  1726619 |  1565322 |      725   5019 |        0 |        0
275.05/275.16	c  275s |      22 |  1738053 |  1575922 |      725   5045 |        0 |        0
277.04/277.18	c  277s |      22 |  1749512 |  1586522 |      725   5072 |        0 |        0
279.04/279.18	c  279s |      22 |  1759845 |  1596322 |      725   5096 |        0 |        0
281.04/281.19	c  281s |      22 |  1771193 |  1606922 |      725   5122 |        0 |        0
283.14/283.20	c  283s |      22 |  1782002 |  1616922 |      725   5147 |        0 |        0
285.14/285.21	c  285s |      22 |  1793044 |  1627022 |      725   5172 |        0 |        0
287.15/287.22	c  287s |      22 |  1805248 |  1638022 |      725   5199 |        0 |        0
289.14/289.24	c  289s |      22 |  1819109 |  1649822 |      725   5229 |        0 |        0
291.14/291.25	c  291s |      22 |  1833538 |  1662022 |      725   5259 |        0 |        0
293.14/293.25	c  293s |      22 |  1847567 |  1674122 |      725   5290 |        0 |        0
295.14/295.27	c  295s |      22 |  1861009 |  1685922 |      725   5320 |        0 |        0
297.14/297.28	c  297s |      22 |  1874280 |  1697222 |      725   5348 |        0 |        0
299.15/299.28	c  299s |      22 |  1887782 |  1708722 |      725   5377 |        0 |        0
301.24/301.30	c  301s |      22 |  1901247 |  1720522 |      725   5407 |        0 |        0
303.25/303.31	c  303s |      22 |  1914318 |  1732322 |      725   5436 |        0 |        0
305.25/305.32	c  305s |      22 |  1926623 |  1743622 |      725   5465 |        0 |        0
307.25/307.32	c  307s |      22 |  1937810 |  1753922 |      725   5490 |        0 |        0
309.25/309.33	c  309s |      22 |  1949777 |  1764922 |      725   5518 |        0 |        0
311.25/311.34	c  311s |      22 |  1961376 |  1775522 |      725   5544 |        0 |        0
313.25/313.35	c  313s |      22 |  1972946 |  1786122 |      725   5571 |        0 |        0
315.25/315.35	c  315s |      22 |  1985207 |  1797122 |      725   5599 |        0 |        0
317.25/317.36	c  317s |      22 |  1997640 |  1808322 |      725   5627 |        0 |        0
319.25/319.38	c  319s |      22 |  2010784 |  1819822 |      725   5656 |        0 |        0
321.25/321.39	c  321s |      22 |  2023061 |  1830922 |      725   5684 |        0 |        0
323.35/323.40	c  323s |      22 |  2035637 |  1842122 |      725   5712 |        0 |        0
325.34/325.41	c  325s |      22 |  2047451 |  1852722 |      725   5739 |        0 |        0
327.34/327.41	c  327s |      22 |  2058600 |  1862922 |      725   5764 |        0 |        0
329.34/329.42	c  329s |      22 |  2070025 |  1873422 |      725   5790 |        0 |        0
331.34/331.42	c  331s |      22 |  2081581 |  1884122 |      725   5817 |        0 |        0
333.35/333.42	c  333s |      22 |  2093512 |  1895022 |      725   5845 |        0 |        0
335.34/335.44	c  335s |      22 |  2105931 |  1906122 |      725   5873 |        0 |        0
337.34/337.45	c  337s |      22 |  2118503 |  1917522 |      725   5901 |        0 |        0
339.34/339.46	c  339s |      22 |  2130903 |  1928622 |      725   5929 |        0 |        0
341.34/341.47	c  341s |      22 |  2142668 |  1939322 |      725   5956 |        0 |        0
343.34/343.48	c  343s |      22 |  2155277 |  1950622 |      725   5984 |        0 |        0
345.35/345.48	c  345s |      22 |  2167244 |  1961322 |      725   6011 |        0 |        0
347.34/347.49	c  347s |      22 |  2179444 |  1972422 |      725   6039 |        0 |        0
349.34/349.49	c  349s |      22 |  2190879 |  1983022 |      725   6065 |        0 |        0
351.44/351.50	c  351s |      22 |  2201660 |  1993022 |      725   6090 |        0 |        0
353.44/353.50	c  353s |      22 |  2214130 |  2004322 |      725   6119 |        0 |        0
355.44/355.52	c  355s |      22 |  2224999 |  2014522 |      725   6144 |        0 |        0
357.44/357.52	c  357s |      22 |  2236808 |  2025222 |      725   6171 |        0 |        0
359.44/359.54	c  359s |      22 |  2248155 |  2035622 |      725   6197 |        0 |        0
361.44/361.56	c  361s |      22 |  2259117 |  2045822 |      725   6222 |        0 |        0
363.44/363.57	c  363s |      22 |  2271164 |  2056622 |      725   6249 |        0 |        0
365.44/365.57	c  365s |      22 |  2283628 |  2067822 |      725   6277 |        0 |        0
367.44/367.59	c  367s |      22 |  2295567 |  2078722 |      725   6304 |        0 |        0
369.54/369.61	c  369s |      22 |  2308315 |  2090322 |      725   6334 |        0 |        0
371.54/371.62	c  371s |      22 |  2320279 |  2101222 |      725   6361 |        0 |        0
373.54/373.64	c  373s |      22 |  2332961 |  2112722 |      725   6390 |        0 |        0
375.53/375.65	c  375s |      22 |  2345053 |  2124022 |      725   6418 |        0 |        0
377.53/377.66	c  377s |      22 |  2357568 |  2135322 |      725   6447 |        0 |        0
379.54/379.66	c  379s |      22 |  2369861 |  2146522 |      725   6475 |        0 |        0
381.53/381.67	c  381s |      22 |  2381001 |  2156822 |      725   6500 |        0 |        0
383.53/383.67	c  383s |      22 |  2392548 |  2167522 |      725   6527 |        0 |        0
385.53/385.67	c  385s |      22 |  2404247 |  2178222 |      725   6554 |        0 |        0
387.53/387.68	c  387s |      22 |  2415246 |  2188422 |      725   6579 |        0 |        0
389.53/389.69	c  389s |      22 |  2427205 |  2199522 |      725   6607 |        0 |        0
391.64/391.70	c  391s |      22 |  2438754 |  2210022 |      725   6633 |        0 |        0
393.63/393.72	c  393s |      22 |  2450247 |  2220622 |      725   6659 |        0 |        0
395.63/395.72	c  395s |      22 |  2461823 |  2231122 |      725   6685 |        0 |        0
397.63/397.72	c  397s |      22 |  2474461 |  2242522 |      798   6712 |        0 |        0
399.13/399.29	c  399s |      23 |  2483823 |  2251038 |      798   6731 |        0 |        0
401.23/401.31	c  401s |      23 |  2497088 |  2262738 |      798   6758 |        0 |        0
403.22/403.32	c  403s |      23 |  2509652 |  2273838 |      798   6784 |        0 |        0
405.22/405.33	c  405s |      23 |  2522561 |  2285038 |      798   6809 |        0 |        0
407.22/407.35	c  407s |      23 |  2534662 |  2295838 |      798   6834 |        0 |        0
409.24/409.36	c  409s |      23 |  2546910 |  2306638 |      798   6858 |        0 |        0
411.23/411.38	c  411s |      23 |  2558653 |  2316938 |      798   6881 |        0 |        0
413.23/413.39	c  413s |      23 |  2572115 |  2328438 |      798   6908 |        0 |        0
415.33/415.40	c  415s |      23 |  2585060 |  2339938 |      798   6934 |        0 |        0
417.33/417.41	c  417s |      23 |  2597771 |  2351338 |      798   6960 |        0 |        0
419.33/419.41	c  419s |      23 |  2611105 |  2362938 |      798   6987 |        0 |        0
421.34/421.42	c  421s |      23 |  2624464 |  2374438 |      798   7013 |        0 |        0
423.33/423.42	c  423s |      23 |  2636994 |  2385438 |      798   7038 |        0 |        0
425.33/425.43	c  425s |      23 |  2648800 |  2396138 |      798   7063 |        0 |        0
427.33/427.45	c  427s |      23 |  2660584 |  2406838 |      798   7087 |        0 |        0
429.33/429.46	c  429s |      23 |  2672848 |  2417838 |      798   7112 |        0 |        0
431.33/431.46	c  431s |      23 |  2685207 |  2429038 |      798   7138 |        0 |        0
433.34/433.48	c  433s |      23 |  2697156 |  2439938 |      798   7163 |        0 |        0
435.33/435.48	c  435s |      23 |  2709219 |  2450938 |      798   7188 |        0 |        0
437.33/437.49	c  437s |      23 |  2722055 |  2462238 |      798   7214 |        0 |        0
439.43/439.50	c  439s |      23 |  2734984 |  2473838 |      798   7241 |        0 |        0
441.43/441.52	c  441s |      23 |  2746493 |  2484438 |      798   7265 |        0 |        0
443.42/443.52	c  443s |      23 |  2757102 |  2494138 |      798   7287 |        0 |        0
445.43/445.53	c  445s |      23 |  2768501 |  2504538 |      798   7311 |        0 |        0
447.42/447.54	c  447s |      23 |  2780336 |  2515138 |      798   7335 |        0 |        0
449.42/449.55	c  449s |      23 |  2791447 |  2525238 |      798   7358 |        0 |        0
451.42/451.55	c  451s |      23 |  2802667 |  2535438 |      798   7381 |        0 |        0
453.42/453.56	c  453s |      23 |  2814221 |  2545738 |      798   7405 |        0 |        0
455.43/455.57	c  455s |      23 |  2826437 |  2556638 |      798   7430 |        0 |        0
457.42/457.58	c  457s |      23 |  2837866 |  2566838 |      798   7453 |        0 |        0
459.42/459.59	c  459s |      23 |  2849230 |  2577238 |      798   7477 |        0 |        0
461.42/461.60	c  461s |      23 |  2861303 |  2587738 |      798   7501 |        0 |        0
463.52/463.61	c  463s |      23 |  2873259 |  2598438 |      798   7526 |        0 |        0
465.52/465.61	c  465s |      23 |  2885563 |  2609138 |      798   7550 |        0 |        0
467.52/467.61	c  467s |      23 |  2898502 |  2620338 |      798   7576 |        0 |        0
469.52/469.63	c  469s |      23 |  2910653 |  2631238 |      798   7601 |        0 |        0
471.52/471.63	c  471s |      23 |  2922361 |  2641738 |      798   7624 |        0 |        0
473.52/473.65	c  473s |      23 |  2933646 |  2651938 |      798   7648 |        0 |        0
475.51/475.66	c  475s |      23 |  2945317 |  2662438 |      798   7671 |        0 |        0
477.51/477.67	c  477s |      23 |  2957087 |  2673138 |      798   7696 |        0 |        0
479.52/479.68	c  479s |      23 |  2969105 |  2684038 |      798   7720 |        0 |        0
481.51/481.69	c  481s |      23 |  2980763 |  2694738 |      798   7745 |        0 |        0
483.61/483.70	c  483s |      23 |  2992199 |  2705238 |      798   7769 |        0 |        0
485.62/485.70	c  485s |      23 |  3003372 |  2715438 |      798   7793 |        0 |        0
487.62/487.71	c  487s |      23 |  3015409 |  2725938 |      798   7817 |        0 |        0
489.62/489.72	c  489s |      23 |  3026557 |  2735938 |      798   7839 |        0 |        0
491.63/491.72	c  491s |      23 |  3037652 |  2746038 |      798   7863 |        0 |        0
493.62/493.74	c  493s |      23 |  3049496 |  2756838 |      798   7887 |        0 |        0
495.62/495.75	c  495s |      23 |  3060899 |  2767138 |      798   7911 |        0 |        0
497.62/497.75	c  497s |      23 |  3072751 |  2777838 |      798   7935 |        0 |        0
499.62/499.77	c  499s |      23 |  3084640 |  2788438 |      798   7959 |        0 |        0
501.63/501.77	c  501s |      23 |  3095963 |  2798538 |      798   7982 |        0 |        0
503.62/503.78	c  503s |      23 |  3107834 |  2809038 |      798   8006 |        0 |        0
505.62/505.79	c  505s |      23 |  3119465 |  2819338 |      798   8030 |        0 |        0
507.72/507.80	c  507s |      23 |  3130727 |  2829538 |      798   8053 |        0 |        0
509.72/509.81	c  509s |      23 |  3141934 |  2839838 |      798   8077 |        0 |        0
511.72/511.81	c  511s |      23 |  3153615 |  2850438 |      798   8101 |        0 |        0
513.72/513.82	c  513s |      23 |  3165270 |  2861138 |      798   8125 |        0 |        0
515.72/515.83	c  515s |      23 |  3176904 |  2871438 |      798   8149 |        0 |        0
517.72/517.85	c  517s |      23 |  3187608 |  2881438 |      798   8171 |        0 |        0
519.72/519.86	c  519s |      23 |  3198677 |  2891638 |      798   8194 |        0 |        0
521.72/521.87	c  521s |      23 |  3210498 |  2902538 |      798   8219 |        0 |        0
523.72/523.87	c  523s |      23 |  3221927 |  2913138 |      798   8243 |        0 |        0
525.72/525.88	c  525s |      23 |  3233112 |  2923438 |      798   8267 |        0 |        0
527.81/527.90	c  527s |      23 |  3244629 |  2933938 |      798   8291 |        0 |        0
529.81/529.90	c  529s |      23 |  3256037 |  2944538 |      798   8315 |        0 |        0
531.81/531.90	c  531s |      23 |  3267682 |  2955138 |      798   8340 |        0 |        0
533.81/533.92	c  533s |      23 |  3278895 |  2965438 |      798   8363 |        0 |        0
535.81/535.93	c  535s |      23 |  3289827 |  2975538 |      798   8386 |        0 |        0
537.82/537.95	c  537s |      23 |  3300723 |  2985538 |      798   8408 |        0 |        0
539.81/539.96	c  539s |      23 |  3311395 |  2995338 |      798   8431 |        0 |        0
541.81/541.97	c  541s |      23 |  3322628 |  3005538 |      798   8454 |        0 |        0
543.81/543.97	c  543s |      23 |  3333910 |  3015738 |      798   8477 |        0 |        0
545.91/546.00	c  545s |      23 |  3345674 |  3026338 |      798   8501 |        0 |        0
547.91/548.01	c  548s |      23 |  3357079 |  3036638 |      798   8524 |        0 |        0
549.92/550.01	c  550s |      23 |  3369426 |  3047638 |      798   8549 |        0 |        0
551.91/552.03	c  552s |      23 |  3380486 |  3057838 |      798   8573 |        0 |        0
553.91/554.04	c  554s |      23 |  3391917 |  3068138 |      798   8597 |        0 |        0
555.91/556.04	c  556s |      23 |  3404172 |  3079138 |      798   8622 |        0 |        0
557.91/558.05	c  558s |      23 |  3416127 |  3089838 |      798   8647 |        0 |        0
559.92/560.06	c  560s |      23 |  3428140 |  3100438 |      798   8671 |        0 |        0
561.91/562.07	c  562s |      23 |  3439924 |  3110638 |      798   8694 |        0 |        0
563.91/564.08	c  564s |      23 |  3451887 |  3121038 |      798   8718 |        0 |        0
566.01/566.10	c  566s |      23 |  3463399 |  3131238 |      798   8741 |        0 |        0
568.01/568.10	c  568s |      23 |  3475040 |  3141638 |      798   8765 |        0 |        0
570.00/570.12	c  570s |      23 |  3486635 |  3152038 |      798   8789 |        0 |        0
572.01/572.14	c  572s |      23 |  3498640 |  3162838 |      798   8814 |        0 |        0
574.00/574.15	c  574s |      23 |  3509814 |  3173038 |      798   8837 |        0 |        0
576.00/576.17	c  576s |      23 |  3520253 |  3182738 |      798   8859 |        0 |        0
578.00/578.18	c  578s |      23 |  3530661 |  3192438 |      798   8881 |        0 |        0
580.10/580.20	c  580s |      23 |  3540438 |  3201638 |      798   8902 |        0 |        0
582.10/582.21	c  582s |      23 |  3550947 |  3211338 |      798   8924 |        0 |        0
584.10/584.21	c  584s |      23 |  3562028 |  3221338 |      798   8947 |        0 |        0
586.09/586.22	c  586s |      23 |  3572515 |  3230938 |      798   8969 |        0 |        0
588.09/588.24	c  588s |      23 |  3582747 |  3240338 |      798   8990 |        0 |        0
590.09/590.26	c  590s |      23 |  3592938 |  3249638 |      798   9012 |        0 |        0
592.09/592.27	c  592s |      23 |  3602890 |  3258638 |      798   9032 |        0 |        0
594.09/594.29	c  594s |      23 |  3613199 |  3267938 |      798   9054 |        0 |        0
596.10/596.30	c  596s |      23 |  3622767 |  3276838 |      798   9074 |        0 |        0
598.19/598.30	c  598s |      23 |  3633186 |  3286638 |      798   9096 |        0 |        0
600.19/600.32	c  600s |      23 |  3645075 |  3297638 |      798   9121 |        0 |        0
602.19/602.33	c  602s |      23 |  3656415 |  3308138 |      798   9145 |        0 |        0
604.19/604.34	c  604s |      23 |  3668896 |  3319338 |      798   9170 |        0 |        0
606.19/606.36	c  606s |      23 |  3680718 |  3329938 |      798   9195 |        0 |        0
608.19/608.37	c  608s |      23 |  3691804 |  3340038 |      798   9217 |        0 |        0
610.18/610.37	c  610s |      23 |  3702789 |  3350138 |      798   9240 |        0 |        0
612.18/612.39	c  612s |      23 |  3714386 |  3360238 |      878   9262 |        0 |        0
614.28/614.40	c  614s |      23 |  3725315 |  3370138 |      878   9283 |        0 |        0
615.58/615.70	c  615s |      24 |  3732401 |  3376662 |      878   9296 |        0 |        0
617.58/617.71	c  617s |      24 |  3744719 |  3387562 |      878   9319 |        0 |        0
619.57/619.73	c  619s |      24 |  3756511 |  3398062 |      878   9341 |        0 |        0
621.58/621.74	c  621s |      24 |  3768553 |  3408862 |      878   9364 |        0 |        0
623.59/623.74	c  623s |      24 |  3782362 |  3420262 |      878   9388 |        0 |        0
625.57/625.76	c  625s |      24 |  3795344 |  3431462 |      878   9411 |        0 |        0
627.57/627.76	c  627s |      24 |  3808217 |  3442562 |      878   9435 |        0 |        0
629.57/629.76	c  629s |      24 |  3819960 |  3453062 |      878   9457 |        0 |        0
631.57/631.77	c  631s |      24 |  3831443 |  3463562 |      878   9479 |        0 |        0
633.58/633.77	c  633s |      24 |  3844189 |  3474662 |      878   9502 |        0 |        0
635.57/635.79	c  635s |      24 |  3856026 |  3485262 |      878   9524 |        0 |        0
637.57/637.79	c  637s |      24 |  3867995 |  3495962 |      878   9547 |        0 |        0
639.67/639.80	c  639s |      24 |  3881187 |  3507162 |      878   9570 |        0 |        0
641.66/641.81	c  641s |      24 |  3893845 |  3518262 |      878   9594 |        0 |        0
643.66/643.83	c  643s |      24 |  3905820 |  3528862 |      878   9616 |        0 |        0
645.67/645.85	c  645s |      24 |  3916464 |  3538662 |      878   9637 |        0 |        0
647.66/647.86	c  647s |      24 |  3927197 |  3548562 |      878   9657 |        0 |        0
649.66/649.88	c  649s |      24 |  3938985 |  3558762 |      878   9679 |        0 |        0
651.66/651.88	c  651s |      24 |  3951560 |  3569562 |      878   9701 |        0 |        0
653.76/653.90	c  653s |      24 |  3962413 |  3579562 |      878   9722 |        0 |        0
655.75/655.91	c  655s |      24 |  3973983 |  3589862 |      878   9744 |        0 |        0
657.76/657.91	c  657s |      24 |  3985403 |  3600362 |      878   9766 |        0 |        0
659.75/659.93	c  659s |      24 |  3996173 |  3610362 |      878   9787 |        0 |        0
661.75/661.95	c  661s |      24 |  4007520 |  3620562 |      878   9808 |        0 |        0
663.75/663.96	c  663s |      24 |  4018939 |  3630862 |      878   9829 |        0 |        0
665.75/665.96	c  665s |      24 |  4030121 |  3640962 |      878   9850 |        0 |        0
667.75/667.98	c  667s |      24 |  4041548 |  3651362 |      878   9872 |        0 |        0
669.76/669.99	c  669s |      24 |  4053062 |  3661962 |      878   9895 |        0 |        0
671.85/672.01	c  671s |      24 |  4064733 |  3672462 |      878   9917 |        0 |        0
673.85/674.02	c  674s |      24 |  4076776 |  3683262 |      878   9939 |        0 |        0
675.84/676.03	c  676s |      24 |  4088360 |  3693462 |      878   9961 |        0 |        0
677.84/678.05	c  678s |      24 |  4098859 |  3703062 |      878   9981 |        0 |        0
679.84/680.06	c  680s |      24 |  4111483 |  3713962 |      878  10004 |        0 |        0
681.85/682.07	c  682s |      24 |  4124163 |  3724862 |      878  10027 |        0 |        0
683.84/684.08	c  684s |      24 |  4135680 |  3735262 |      878  10048 |        0 |        0
685.84/686.09	c  686s |      24 |  4147184 |  3745762 |      878  10071 |        0 |        0
687.84/688.09	c  688s |      24 |  4159278 |  3756662 |      878  10093 |        0 |        0
689.93/690.10	c  690s |      24 |  4172143 |  3768062 |      878  10117 |        0 |        0
691.93/692.12	c  692s |      24 |  4185478 |  3779562 |      878  10141 |        0 |        0
693.94/694.13	c  694s |      24 |  4197944 |  3790662 |      878  10165 |        0 |        0
695.93/696.13	c  696s |      24 |  4209649 |  3801262 |      878  10187 |        0 |        0
697.93/698.14	c  698s |      24 |  4222254 |  3812262 |      878  10210 |        0 |        0
699.93/700.15	c  700s |      24 |  4235125 |  3823162 |      878  10233 |        0 |        0
701.93/702.15	c  702s |      24 |  4246345 |  3833062 |      878  10254 |        0 |        0
703.93/704.15	c  704s |      24 |  4257599 |  3842962 |      878  10275 |        0 |        0
705.92/706.17	c  706s |      24 |  4268750 |  3853062 |      878  10296 |        0 |        0
707.92/708.17	c  708s |      24 |  4279418 |  3862762 |      878  10316 |        0 |        0
709.92/710.17	c  710s |      24 |  4289901 |  3872262 |      878  10336 |        0 |        0
711.92/712.18	c  712s |      24 |  4300614 |  3882062 |      878  10357 |        0 |        0
713.92/714.18	c  714s |      24 |  4313216 |  3893062 |      878  10380 |        0 |        0
715.92/716.20	c  716s |      24 |  4325308 |  3903962 |      878  10403 |        0 |        0
718.01/718.22	c  718s |      24 |  4336577 |  3914262 |      878  10424 |        0 |        0
720.02/720.23	c  720s |      24 |  4347540 |  3924362 |      878  10445 |        0 |        0
722.02/722.24	c  722s |      24 |  4358100 |  3934162 |      878  10466 |        0 |        0
724.02/724.26	c  724s |      24 |  4369045 |  3944162 |      878  10487 |        0 |        0
726.02/726.26	c  726s |      24 |  4379799 |  3953962 |      878  10507 |        0 |        0
728.02/728.28	c  728s |      24 |  4390856 |  3963762 |      878  10528 |        0 |        0
730.12/730.30	c  730s |      24 |  4403120 |  3974262 |      878  10550 |        0 |        0
732.12/732.32	c  732s |      24 |  4413797 |  3983562 |      878  10569 |        0 |        0
734.11/734.33	c  734s |      24 |  4422859 |  3991862 |      878  10586 |        0 |        0
736.11/736.34	c  736s |      24 |  4433532 |  4001462 |      878  10606 |        0 |        0
738.11/738.34	c  738s |      24 |  4443799 |  4010662 |      878  10625 |        0 |        0
740.12/740.36	c  740s |      24 |  4454417 |  4020062 |      878  10645 |        0 |        0
742.11/742.37	c  742s |      24 |  4464383 |  4029162 |      878  10664 |        0 |        0
744.10/744.37	c  744s |      24 |  4475054 |  4038762 |      878  10684 |        0 |        0
746.10/746.38	c  746s |      24 |  4487105 |  4049562 |      878  10707 |        0 |        0
748.20/748.40	c  748s |      24 |  4498041 |  4059362 |      878  10727 |        0 |        0
750.20/750.40	c  750s |      24 |  4509114 |  4069462 |      878  10748 |        0 |        0
752.21/752.41	c  752s |      24 |  4520279 |  4079662 |      878  10769 |        0 |        0
754.20/754.41	c  754s |      24 |  4530771 |  4089362 |      878  10790 |        0 |        0
756.20/756.42	c  756s |      24 |  4541366 |  4099062 |      878  10810 |        0 |        0
758.20/758.45	c  758s |      24 |  4551797 |  4108362 |      878  10829 |        0 |        0
760.20/760.46	c  760s |      24 |  4562417 |  4117562 |      878  10849 |        0 |        0
762.20/762.47	c  762s |      24 |  4572360 |  4126562 |      878  10868 |        0 |        0
764.19/764.48	c  764s |      24 |  4583057 |  4136462 |      878  10888 |        0 |        0
766.19/766.49	c  766s |      24 |  4593685 |  4146262 |      878  10909 |        0 |        0
768.29/768.51	c  768s |      24 |  4604420 |  4156162 |      878  10929 |        0 |        0
770.29/770.52	c  770s |      24 |  4614595 |  4165662 |      878  10949 |        0 |        0
772.29/772.53	c  772s |      24 |  4624786 |  4175062 |      878  10969 |        0 |        0
774.29/774.54	c  774s |      24 |  4635451 |  4184862 |      878  10989 |        0 |        0
776.29/776.55	c  776s |      24 |  4646589 |  4194862 |      878  11010 |        0 |        0
778.28/778.56	c  778s |      24 |  4656914 |  4204262 |      878  11030 |        0 |        0
780.28/780.59	c  780s |      24 |  4666489 |  4213162 |      878  11048 |        0 |        0
782.28/782.59	c  782s |      24 |  4676938 |  4222862 |      878  11068 |        0 |        0
784.28/784.59	c  784s |      24 |  4687259 |  4232462 |      878  11088 |        0 |        0
786.38/786.61	c  786s |      24 |  4698070 |  4242362 |      878  11109 |        0 |        0
788.38/788.61	c  788s |      24 |  4708318 |  4251862 |      878  11129 |        0 |        0
790.38/790.62	c  790s |      24 |  4718581 |  4261362 |      878  11149 |        0 |        0
792.38/792.62	c  792s |      24 |  4729080 |  4270962 |      878  11169 |        0 |        0
794.37/794.63	c  794s |      24 |  4739175 |  4280362 |      878  11188 |        0 |        0
796.37/796.65	c  796s |      24 |  4749556 |  4289962 |      878  11208 |        0 |        0
798.38/798.65	c  798s |      24 |  4759295 |  4299062 |      878  11227 |        0 |        0
800.37/800.66	c  800s |      24 |  4769877 |  4308862 |      878  11248 |        0 |        0
802.37/802.69	c  802s |      24 |  4780076 |  4318362 |      878  11268 |        0 |        0
804.46/804.70	c  804s |      24 |  4790157 |  4327762 |      878  11287 |        0 |        0
806.46/806.71	c  806s |      24 |  4800262 |  4337162 |      878  11307 |        0 |        0
808.46/808.71	c  808s |      24 |  4810810 |  4347062 |      878  11327 |        0 |        0
810.47/810.72	c  810s |      24 |  4820962 |  4356562 |      878  11347 |        0 |        0
812.46/812.72	c  812s |      24 |  4831664 |  4366362 |      878  11367 |        0 |        0
814.46/814.72	c  814s |      24 |  4841927 |  4375862 |      878  11387 |        0 |        0
816.45/816.73	c  816s |      24 |  4852447 |  4385562 |      878  11407 |        0 |        0
818.45/818.75	c  818s |      24 |  4863745 |  4395762 |      878  11428 |        0 |        0
820.47/820.76	c  820s |      24 |  4875286 |  4406262 |      878  11450 |        0 |        0
822.46/822.77	c  822s |      24 |  4887148 |  4416862 |      878  11473 |        0 |        0
824.46/824.79	c  824s |      24 |  4897428 |  4425962 |      878  11492 |        0 |        0
826.56/826.80	c  826s |      24 |  4908133 |  4435662 |      878  11512 |        0 |        0
828.56/828.81	c  828s |      24 |  4918256 |  4444962 |      878  11531 |        0 |        0
830.56/830.83	c  830s |      24 |  4927630 |  4453762 |      878  11550 |        0 |        0
832.56/832.86	c  832s |      24 |  4937622 |  4462862 |      878  11569 |        0 |        0
834.55/834.86	c  834s |      24 |  4948160 |  4472562 |      878  11589 |        0 |        0
836.55/836.87	c  836s |      24 |  4958025 |  4481662 |      878  11608 |        0 |        0
838.55/838.87	c  838s |      24 |  4968458 |  4491062 |      878  11627 |        0 |        0
840.55/840.87	c  840s |      24 |  4978414 |  4500062 |      878  11646 |        0 |        0
842.55/842.88	c  842s |      24 |  4988225 |  4509162 |      878  11665 |        0 |        0
844.55/844.88	c  844s |      24 |  4998300 |  4518362 |      878  11684 |        0 |        0
846.54/846.88	c  846s |      24 |  5009441 |  4528562 |      878  11706 |        0 |        0
848.54/848.90	c  848s |      24 |  5020738 |  4538662 |      878  11727 |        0 |        0
850.64/850.90	c  850s |      24 |  5031844 |  4548562 |      878  11747 |        0 |        0
852.64/852.91	c  852s |      24 |  5042480 |  4558462 |      878  11768 |        0 |        0
854.64/854.92	c  854s |      24 |  5052670 |  4567762 |      878  11787 |        0 |        0
856.64/856.92	c  856s |      24 |  5062153 |  4576562 |      878  11806 |        0 |        0
858.64/858.94	c  858s |      24 |  5071447 |  4585262 |      878  11824 |        0 |        0
860.64/860.96	c  860s |      24 |  5081492 |  4594562 |      878  11843 |        0 |        0
862.64/862.97	c  862s |      24 |  5091731 |  4603962 |      878  11863 |        0 |        0
864.63/864.99	c  864s |      24 |  5102282 |  4613462 |      878  11883 |        0 |        0
866.64/866.99	c  866s |      24 |  5114368 |  4623962 |      878  11905 |        0 |        0
868.63/869.00	c  868s |      24 |  5124915 |  4633562 |      878  11925 |        0 |        0
870.73/871.02	c  871s |      24 |  5134766 |  4642662 |      878  11944 |        0 |        0
872.73/873.03	c  873s |      24 |  5145518 |  4652362 |      878  11964 |        0 |        0
874.73/875.03	c  875s |      24 |  5156493 |  4662162 |      878  11985 |        0 |        0
876.73/877.03	c  877s |      24 |  5167575 |  4671962 |      878  12005 |        0 |        0
878.73/879.04	c  879s |      24 |  5178733 |  4681962 |      878  12026 |        0 |        0
880.72/881.05	c  881s |      24 |  5189132 |  4691362 |      878  12046 |        0 |        0
882.72/883.05	c  883s |      24 |  5199768 |  4700962 |      878  12066 |        0 |        0
884.72/885.07	c  885s |      24 |  5211398 |  4711062 |      878  12087 |        0 |        0
886.72/887.07	c  887s |      24 |  5223125 |  4721462 |      878  12109 |        0 |        0
888.71/889.07	c  889s |      24 |  5235268 |  4732062 |      878  12131 |        0 |        0
890.72/891.08	c  891s |      24 |  5247059 |  4742362 |      878  12153 |        0 |        0
892.71/893.09	c  893s |      24 |  5258630 |  4752562 |      878  12174 |        0 |        0
894.81/895.10	c  895s |      24 |  5270198 |  4762562 |      878  12195 |        0 |        0
896.81/897.11	c  897s |      24 |  5281984 |  4772962 |      878  12217 |        0 |        0
898.81/899.13	c  899s |      24 |  5293720 |  4783462 |      878  12239 |        0 |        0
900.81/901.13	c  901s |      24 |  5304937 |  4793762 |      878  12261 |        0 |        0
902.81/903.14	c  903s |      24 |  5316127 |  4803762 |      878  12282 |        0 |        0
904.80/905.16	c  905s |      24 |  5327366 |  4813762 |      878  12302 |        0 |        0
906.80/907.17	c  907s |      24 |  5338733 |  4823762 |      878  12323 |        0 |        0
908.80/909.18	c  909s |      24 |  5350077 |  4834062 |      878  12345 |        0 |        0
910.90/911.20	c  911s |      24 |  5361925 |  4844562 |      878  12367 |        0 |        0
912.90/913.22	c  913s |      24 |  5373135 |  4854562 |      878  12388 |        0 |        0
914.90/915.22	c  915s |      24 |  5384760 |  4864862 |      878  12410 |        0 |        0
916.90/917.22	c  917s |      24 |  5395515 |  4874662 |      878  12430 |        0 |        0
918.90/919.24	c  919s |      24 |  5406750 |  4884862 |      878  12451 |        0 |        0
920.90/921.25	c  921s |      24 |  5418387 |  4894962 |      878  12472 |        0 |        0
922.90/923.27	c  923s |      24 |  5428158 |  4903662 |      878  12491 |        0 |        0
924.91/925.28	c  925s |      24 |  5439036 |  4913362 |      878  12511 |        0 |        0
926.90/927.30	c  927s |      24 |  5451036 |  4924062 |      878  12533 |        0 |        0
929.00/929.31	c  929s |      24 |  5461866 |  4934062 |      878  12554 |        0 |        0
931.00/931.32	c  931s |      24 |  5472529 |  4943862 |      878  12574 |        0 |        0
933.00/933.33	c  933s |      24 |  5484564 |  4954362 |      878  12596 |        0 |        0
934.99/935.34	c  935s |      24 |  5496282 |  4964462 |      878  12618 |        0 |        0
937.00/937.35	c  937s |      24 |  5507738 |  4974562 |      878  12639 |        0 |        0
938.99/939.35	c  939s |      24 |  5518669 |  4984362 |      878  12659 |        0 |        0
940.99/941.36	c  941s |      24 |  5529504 |  4994062 |      878  12679 |        0 |        0
942.99/943.37	c  943s |      24 |  5540177 |  5003962 |      878  12700 |        0 |        0
944.99/945.38	c  945s |      24 |  5550262 |  5013262 |      878  12719 |        0 |        0
946.99/947.38	c  947s |      24 |  5560780 |  5022962 |      878  12740 |        0 |        0
948.99/949.40	c  949s |      24 |  5570529 |  5032062 |      966  12758 |        0 |        0
951.08/951.41	c  951s |      24 |  5580063 |  5040962 |      966  12775 |        0 |        0
953.08/953.41	c  953s |      24 |  5590890 |  5050762 |      966  12794 |        0 |        0
955.08/955.43	c  955s |      24 |  5602461 |  5060762 |      966  12813 |        0 |        0
955.88/956.29	c  956s |      25 |  5607366 |  5065098 |      966  12821 |        0 |        0
957.98/958.31	c  958s |      25 |  5619616 |  5075698 |      966  12841 |        0 |        0
959.98/960.31	c  960s |      25 |  5632064 |  5086898 |      966  12863 |        0 |        0
961.97/962.32	c  962s |      25 |  5644361 |  5097898 |      966  12884 |        0 |        0
963.98/964.33	c  964s |      25 |  5656011 |  5108298 |      966  12904 |        0 |        0
965.98/966.33	c  966s |      25 |  5667057 |  5118298 |      966  12923 |        0 |        0
967.98/968.34	c  968s |      25 |  5678520 |  5128698 |      966  12943 |        0 |        0
969.99/970.34	c  970s |      25 |  5689935 |  5138998 |      966  12963 |        0 |        0
971.98/972.35	c  972s |      25 |  5701549 |  5149298 |      966  12982 |        0 |        0
973.98/974.35	c  974s |      25 |  5712414 |  5159098 |      966  13001 |        0 |        0
975.98/976.36	c  976s |      25 |  5723237 |  5168898 |      966  13020 |        0 |        0
977.98/978.37	c  978s |      25 |  5735196 |  5179498 |      966  13040 |        0 |        0
979.98/980.37	c  980s |      25 |  5747115 |  5189898 |      966  13060 |        0 |        0
981.98/982.38	c  982s |      25 |  5758814 |  5200198 |      966  13080 |        0 |        0
983.97/984.39	c  984s |      25 |  5770521 |  5210598 |      966  13100 |        0 |        0
986.07/986.41	c  986s |      25 |  5783249 |  5221698 |      966  13121 |        0 |        0
988.07/988.42	c  988s |      25 |  5795790 |  5232498 |      966  13142 |        0 |        0
990.07/990.43	c  990s |      25 |  5807622 |  5243198 |      966  13162 |        0 |        0
992.07/992.43	c  992s |      25 |  5818874 |  5253398 |      966  13182 |        0 |        0
994.07/994.44	c  994s |      25 |  5830074 |  5263398 |      966  13201 |        0 |        0
996.07/996.44	c  996s |      25 |  5841573 |  5273798 |      966  13221 |        0 |        0
998.07/998.45	c  998s |      25 |  5852659 |  5283998 |      966  13241 |        0 |        0
1000.07/1000.46	c 1000s |      25 |  5862988 |  5293298 |      966  13259 |        0 |        0
1002.07/1002.48	c 1002s |      25 |  5874314 |  5303398 |      966  13278 |        0 |        0
1004.07/1004.49	c 1004s |      25 |  5885764 |  5313698 |      966  13298 |        0 |        0
1006.06/1006.50	c 1006s |      25 |  5896540 |  5323598 |      966  13317 |        0 |        0
1008.16/1008.51	c 1008s |      25 |  5907958 |  5333798 |      966  13336 |        0 |        0
1010.16/1010.51	c 1010s |      25 |  5919021 |  5343698 |      966  13355 |        0 |        0
1012.16/1012.51	c 1012s |      25 |  5929314 |  5353198 |      966  13373 |        0 |        0
1014.16/1014.51	c 1014s |      25 |  5940377 |  5363198 |      966  13392 |        0 |        0
1016.16/1016.52	c 1016s |      25 |  5951684 |  5373398 |      966  13412 |        0 |        0
1018.16/1018.53	c 1018s |      25 |  5963815 |  5384098 |      966  13433 |        0 |        0
1020.15/1020.54	c 1020s |      25 |  5975341 |  5394498 |      966  13453 |        0 |        0
1022.15/1022.55	c 1022s |      25 |  5985748 |  5404198 |      966  13471 |        0 |        0
1024.15/1024.57	c 1024s |      25 |  5997745 |  5415098 |      966  13492 |        0 |        0
1026.15/1026.57	c 1026s |      25 |  6009069 |  5425498 |      966  13512 |        0 |        0
1028.15/1028.59	c 1028s |      25 |  6019824 |  5435398 |      966  13531 |        0 |        0
1030.14/1030.59	c 1030s |      25 |  6031003 |  5445698 |      966  13551 |        0 |        0
1032.24/1032.60	c 1032s |      25 |  6043573 |  5456598 |      966  13572 |        0 |        0
1034.24/1034.62	c 1034s |      25 |  6055176 |  5466998 |      966  13592 |        0 |        0
1036.24/1036.64	c 1036s |      25 |  6065325 |  5476598 |      966  13610 |        0 |        0
1038.24/1038.64	c 1038s |      25 |  6076593 |  5486698 |      966  13630 |        0 |        0
1040.25/1040.66	c 1040s |      25 |  6088035 |  5496898 |      966  13649 |        0 |        0
1042.24/1042.67	c 1042s |      25 |  6099007 |  5506898 |      966  13668 |        0 |        0
1044.24/1044.68	c 1044s |      25 |  6110674 |  5517398 |      966  13689 |        0 |        0
1046.34/1046.70	c 1046s |      25 |  6121493 |  5527298 |      966  13708 |        0 |        0
1048.34/1048.72	c 1048s |      25 |  6133496 |  5538098 |      966  13728 |        0 |        0
1050.34/1050.72	c 1050s |      25 |  6146083 |  5548998 |      966  13749 |        0 |        0
1052.35/1052.73	c 1052s |      25 |  6157757 |  5559598 |      966  13769 |        0 |        0
1054.34/1054.73	c 1054s |      25 |  6169564 |  5570098 |      966  13790 |        0 |        0
1056.34/1056.74	c 1056s |      25 |  6181148 |  5580498 |      966  13810 |        0 |        0
1058.34/1058.74	c 1058s |      25 |  6192810 |  5590698 |      966  13829 |        0 |        0
1060.34/1060.75	c 1060s |      25 |  6204359 |  5600898 |      966  13849 |        0 |        0
1062.34/1062.76	c 1062s |      25 |  6216104 |  5611298 |      966  13869 |        0 |        0
1064.33/1064.76	c 1064s |      25 |  6227581 |  5621698 |      966  13889 |        0 |        0
1066.33/1066.77	c 1066s |      25 |  6238957 |  5631998 |      966  13908 |        0 |        0
1068.33/1068.77	c 1068s |      25 |  6249904 |  5641998 |      966  13928 |        0 |        0
1070.33/1070.79	c 1070s |      25 |  6261122 |  5652198 |      966  13947 |        0 |        0
1072.43/1072.80	c 1072s |      25 |  6272828 |  5662898 |      966  13968 |        0 |        0
1074.43/1074.81	c 1074s |      25 |  6284094 |  5673198 |      966  13987 |        0 |        0
1076.43/1076.82	c 1076s |      25 |  6295126 |  5683298 |      966  14007 |        0 |        0
1078.43/1078.84	c 1078s |      25 |  6306025 |  5693098 |      966  14025 |        0 |        0
1080.42/1080.86	c 1080s |      25 |  6316209 |  5702498 |      966  14043 |        0 |        0
1082.42/1082.87	c 1082s |      25 |  6326701 |  5712298 |      966  14062 |        0 |        0
1084.42/1084.88	c 1084s |      25 |  6337145 |  5721898 |      966  14080 |        0 |        0
1086.42/1086.89	c 1086s |      25 |  6348187 |  5732098 |      966  14100 |        0 |        0
1088.52/1088.91	c 1088s |      25 |  6358692 |  5741898 |      966  14119 |        0 |        0
1090.52/1090.92	c 1090s |      25 |  6369573 |  5751998 |      966  14138 |        0 |        0
1092.52/1092.92	c 1092s |      25 |  6381163 |  5762498 |      966  14158 |        0 |        0
1094.51/1094.93	c 1094s |      25 |  6392486 |  5772898 |      966  14178 |        0 |        0
1096.51/1096.93	c 1096s |      25 |  6404732 |  5783798 |      966  14199 |        0 |        0
1098.52/1098.95	c 1098s |      25 |  6416561 |  5794398 |      966  14219 |        0 |        0
1100.51/1100.96	c 1100s |      25 |  6427705 |  5804498 |      966  14239 |        0 |        0
1102.51/1102.96	c 1102s |      25 |  6438506 |  5814398 |      966  14258 |        0 |        0
1104.51/1104.98	c 1104s |      25 |  6449335 |  5824398 |      966  14277 |        0 |        0
1106.51/1106.98	c 1106s |      25 |  6460164 |  5834298 |      966  14296 |        0 |        0
1108.51/1108.99	c 1108s |      25 |  6469648 |  5843098 |      966  14313 |        0 |        0
1110.51/1111.00	c 1110s |      25 |  6480476 |  5852998 |      966  14332 |        0 |        0
1112.60/1113.02	c 1113s |      25 |  6491104 |  5862998 |      966  14351 |        0 |        0
1114.60/1115.02	c 1115s |      25 |  6500853 |  5872198 |      966  14369 |        0 |        0
1116.60/1117.02	c 1117s |      25 |  6510447 |  5881298 |      966  14386 |        0 |        0
1118.60/1119.03	c 1119s |      25 |  6520809 |  5890898 |      966  14404 |        0 |        0
1120.61/1121.04	c 1121s |      25 |  6531476 |  5900798 |      966  14423 |        0 |        0
1122.60/1123.06	c 1123s |      25 |  6541602 |  5910298 |      966  14442 |        0 |        0
1124.59/1125.06	c 1125s |      25 |  6551655 |  5919698 |      966  14460 |        0 |        0
1126.59/1127.07	c 1127s |      25 |  6562211 |  5929598 |      966  14479 |        0 |        0
1128.59/1129.08	c 1129s |      25 |  6573900 |  5940098 |      966  14499 |        0 |        0
1130.59/1131.09	c 1131s |      25 |  6585880 |  5950698 |      966  14520 |        0 |        0
1132.60/1133.09	c 1133s |      25 |  6597593 |  5961198 |      966  14540 |        0 |        0
1134.69/1135.10	c 1135s |      25 |  6609283 |  5971898 |      966  14560 |        0 |        0
1136.69/1137.11	c 1137s |      25 |  6621444 |  5982698 |      966  14581 |        0 |        0
1138.69/1139.12	c 1139s |      25 |  6632867 |  5993098 |      966  14601 |        0 |        0
1140.69/1141.13	c 1141s |      25 |  6644153 |  6003398 |      966  14621 |        0 |        0
1142.69/1143.15	c 1143s |      25 |  6654972 |  6013398 |      966  14640 |        0 |        0
1144.69/1145.17	c 1145s |      25 |  6665712 |  6023298 |      966  14659 |        0 |        0
1146.68/1147.18	c 1147s |      25 |  6676738 |  6033398 |      966  14678 |        0 |        0
1148.68/1149.19	c 1149s |      25 |  6688414 |  6043998 |      966  14698 |        0 |        0
1150.78/1151.20	c 1151s |      25 |  6699604 |  6054198 |      966  14718 |        0 |        0
1152.78/1153.20	c 1153s |      25 |  6710363 |  6064098 |      966  14737 |        0 |        0
1154.77/1155.21	c 1155s |      25 |  6721591 |  6074098 |      966  14756 |        0 |        0
1156.78/1157.22	c 1157s |      25 |  6731827 |  6083598 |      966  14774 |        0 |        0
1158.77/1159.22	c 1159s |      25 |  6742077 |  6093198 |      966  14793 |        0 |        0
1160.77/1161.22	c 1161s |      25 |  6753172 |  6103398 |      966  14812 |        0 |        0
1162.77/1163.23	c 1163s |      25 |  6763679 |  6113298 |      966  14831 |        0 |        0
1164.77/1165.24	c 1165s |      25 |  6774362 |  6123198 |      966  14850 |        0 |        0
1166.78/1167.25	c 1167s |      25 |  6785202 |  6133298 |      966  14869 |        0 |        0
1168.77/1169.27	c 1169s |      25 |  6796125 |  6143398 |      966  14889 |        0 |        0
1170.77/1171.27	c 1171s |      25 |  6807998 |  6153898 |      966  14909 |        0 |        0
1172.77/1173.28	c 1173s |      25 |  6819248 |  6164198 |      966  14929 |        0 |        0
1174.76/1175.29	c 1175s |      25 |  6830705 |  6174498 |      966  14948 |        0 |        0
1176.86/1177.30	c 1177s |      25 |  6841448 |  6184498 |      966  14967 |        0 |        0
1178.87/1179.31	c 1179s |      25 |  6853043 |  6194898 |      966  14987 |        0 |        0
1180.86/1181.32	c 1181s |      25 |  6863753 |  6204898 |      966  15006 |        0 |        0
1182.86/1183.34	c 1183s |      25 |  6874525 |  6214998 |      966  15026 |        0 |        0
1184.86/1185.36	c 1185s |      25 |  6884950 |  6224698 |      966  15044 |        0 |        0
1186.86/1187.38	c 1187s |      25 |  6895517 |  6234598 |      966  15063 |        0 |        0
1188.86/1189.39	c 1189s |      25 |  6905663 |  6243998 |      966  15081 |        0 |        0
1190.86/1191.39	c 1191s |      25 |  6916620 |  6254198 |      966  15100 |        0 |        0
1192.96/1193.41	c 1193s |      25 |  6927253 |  6264198 |      966  15120 |        0 |        0
1194.95/1195.42	c 1195s |      25 |  6938440 |  6274498 |      966  15139 |        0 |        0
1196.95/1197.42	c 1197s |      25 |  6949253 |  6284498 |      966  15159 |        0 |        0
1198.95/1199.44	c 1199s |      25 |  6960235 |  6294598 |      966  15178 |        0 |        0
1200.95/1201.45	c 1201s |      25 |  6970909 |  6304498 |      966  15197 |        0 |        0
1202.96/1203.46	c 1203s |      25 |  6981606 |  6314398 |      966  15217 |        0 |        0
1204.95/1205.46	c 1205s |      25 |  6992428 |  6324398 |      966  15236 |        0 |        0
1206.96/1207.48	c 1207s |      25 |  7003319 |  6334398 |      966  15255 |        0 |        0
1208.96/1209.49	c 1209s |      25 |  7014361 |  6344398 |      966  15274 |        0 |        0
1211.06/1211.50	c 1211s |      25 |  7024575 |  6353898 |      966  15293 |        0 |        0
1213.06/1213.52	c 1213s |      25 |  7034640 |  6363398 |      966  15311 |        0 |        0
1215.06/1215.53	c 1215s |      25 |  7044420 |  6372598 |      966  15329 |        0 |        0
1217.05/1217.55	c 1217s |      25 |  7055229 |  6382698 |      966  15348 |        0 |        0
1219.05/1219.57	c 1219s |      25 |  7065663 |  6392398 |      966  15367 |        0 |        0
1221.05/1221.59	c 1221s |      25 |  7076029 |  6401998 |      966  15385 |        0 |        0
1223.15/1223.60	c 1223s |      25 |  7087067 |  6412198 |      966  15404 |        0 |        0
1225.14/1225.61	c 1225s |      25 |  7098487 |  6422698 |      966  15425 |        0 |        0
1227.15/1227.62	c 1227s |      25 |  7109603 |  6432898 |      966  15444 |        0 |        0
1229.14/1229.63	c 1229s |      25 |  7120140 |  6442698 |      966  15463 |        0 |        0
1231.14/1231.63	c 1231s |      25 |  7130926 |  6452698 |      966  15483 |        0 |        0
1233.14/1233.64	c 1233s |      25 |  7141880 |  6462698 |      966  15502 |        0 |        0
1235.14/1235.65	c 1235s |      25 |  7152784 |  6472598 |      966  15521 |        0 |        0
1237.15/1237.65	c 1237s |      25 |  7163717 |  6482698 |      966  15540 |        0 |        0
1239.14/1239.67	c 1239s |      25 |  7174537 |  6492598 |      966  15559 |        0 |        0
1241.14/1241.68	c 1241s |      25 |  7184609 |  6501898 |      966  15577 |        0 |        0
1243.24/1243.70	c 1243s |      25 |  7194282 |  6510998 |      966  15594 |        0 |        0
1245.24/1245.72	c 1245s |      25 |  7204548 |  6520498 |      966  15612 |        0 |        0
1247.24/1247.72	c 1247s |      25 |  7215296 |  6530198 |      966  15631 |        0 |        0
1249.25/1249.73	c 1249s |      25 |  7225806 |  6539898 |      966  15649 |        0 |        0
1251.24/1251.74	c 1251s |      25 |  7236215 |  6549498 |      966  15667 |        0 |        0
1253.24/1253.75	c 1253s |      25 |  7246094 |  6558598 |      966  15685 |        0 |        0
1255.24/1255.76	c 1255s |      25 |  7255916 |  6567598 |      966  15702 |        0 |        0
1257.23/1257.78	c 1257s |      25 |  7265929 |  6576898 |      966  15720 |        0 |        0
1259.23/1259.79	c 1259s |      25 |  7275905 |  6586198 |      966  15737 |        0 |        0
1261.34/1261.81	c 1261s |      25 |  7285383 |  6595198 |      966  15754 |        0 |        0
1263.33/1263.82	c 1263s |      25 |  7295080 |  6604198 |      966  15772 |        0 |        0
1265.33/1265.83	c 1265s |      25 |  7305168 |  6613598 |      966  15789 |        0 |        0
1267.33/1267.83	c 1267s |      25 |  7314423 |  6622298 |      966  15806 |        0 |        0
1269.33/1269.84	c 1269s |      25 |  7323929 |  6631198 |      966  15823 |        0 |        0
1271.33/1271.84	c 1271s |      25 |  7334278 |  6640798 |      966  15841 |        0 |        0
1273.34/1273.84	c 1273s |      25 |  7344796 |  6650398 |      966  15859 |        0 |        0
1275.33/1275.85	c 1275s |      25 |  7354263 |  6659198 |      966  15876 |        0 |        0
1277.33/1277.87	c 1277s |      25 |  7364036 |  6668298 |      966  15894 |        0 |        0
1279.33/1279.87	c 1279s |      25 |  7374963 |  6678098 |      966  15912 |        0 |        0
1281.33/1281.88	c 1281s |      25 |  7385122 |  6687498 |      966  15930 |        0 |        0
1283.43/1283.91	c 1283s |      25 |  7395397 |  6696998 |      966  15948 |        0 |        0
1285.44/1285.91	c 1285s |      25 |  7405865 |  6706498 |      966  15966 |        0 |        0
1287.43/1287.92	c 1287s |      25 |  7416848 |  6716498 |      966  15985 |        0 |        0
1289.43/1289.94	c 1289s |      25 |  7427609 |  6726398 |      966  16004 |        0 |        0
1291.43/1291.96	c 1291s |      25 |  7438190 |  6735998 |      966  16023 |        0 |        0
1293.43/1293.97	c 1293s |      25 |  7448756 |  6745698 |      966  16041 |        0 |        0
1295.44/1295.99	c 1295s |      25 |  7458980 |  6755098 |      966  16060 |        0 |        0
1297.53/1298.01	c 1297s |      25 |  7469409 |  6764598 |      966  16078 |        0 |        0
1299.53/1300.01	c 1299s |      25 |  7479241 |  6773698 |      966  16095 |        0 |        0
1301.53/1302.01	c 1301s |      25 |  7488776 |  6782598 |      966  16112 |        0 |        0
1303.53/1304.01	c 1304s |      25 |  7499041 |  6792198 |      966  16130 |        0 |        0
1305.53/1306.02	c 1306s |      25 |  7509151 |  6801598 |      966  16148 |        0 |        0
1307.53/1308.03	c 1308s |      25 |  7519686 |  6811098 |      966  16167 |        0 |        0
1309.52/1310.05	c 1310s |      25 |  7530725 |  6820898 |      966  16185 |        0 |        0
1311.52/1312.06	c 1312s |      25 |  7541483 |  6830698 |      966  16204 |        0 |        0
1313.52/1314.07	c 1314s |      25 |  7552581 |  6840598 |      966  16223 |        0 |        0
1315.52/1316.08	c 1316s |      25 |  7563392 |  6850298 |      966  16242 |        0 |        0
1317.52/1318.08	c 1318s |      25 |  7573639 |  6859698 |      966  16260 |        0 |        0
1319.53/1320.10	c 1320s |      25 |  7585175 |  6870098 |      966  16280 |        0 |        0
1321.62/1322.11	c 1322s |      25 |  7596077 |  6879998 |      966  16299 |        0 |        0
1323.62/1324.13	c 1324s |      25 |  7606808 |  6889698 |      966  16317 |        0 |        0
1325.62/1326.14	c 1326s |      25 |  7617146 |  6899198 |      966  16335 |        0 |        0
1327.62/1328.15	c 1328s |      25 |  7628893 |  6909598 |      966  16355 |        0 |        0
1329.62/1330.16	c 1330s |      25 |  7639666 |  6919398 |      966  16374 |        0 |        0
1331.63/1332.18	c 1332s |      25 |  7650171 |  6929098 |      966  16393 |        0 |        0
1333.62/1334.19	c 1334s |      25 |  7662156 |  6939698 |      966  16413 |        0 |        0
1335.63/1336.19	c 1336s |      25 |  7673220 |  6949698 |      966  16432 |        0 |        0
1337.73/1338.21	c 1338s |      25 |  7684236 |  6959898 |      966  16452 |        0 |        0
1339.73/1340.21	c 1340s |      25 |  7695545 |  6970198 |      966  16472 |        0 |        0
1341.73/1342.22	c 1342s |      25 |  7705569 |  6979498 |      966  16489 |        0 |        0
1343.73/1344.23	c 1344s |      25 |  7715629 |  6988898 |      966  16507 |        0 |        0
1345.73/1346.23	c 1346s |      25 |  7726938 |  6999098 |      966  16527 |        0 |        0
1347.73/1348.24	c 1348s |      25 |  7738023 |  7009198 |      966  16546 |        0 |        0
1349.73/1350.24	c 1350s |      25 |  7748429 |  7018798 |      966  16565 |        0 |        0
1351.73/1352.26	c 1352s |      25 |  7759467 |  7028698 |      966  16584 |        0 |        0
1353.73/1354.27	c 1354s |      25 |  7770460 |  7038698 |      966  16603 |        0 |        0
1355.72/1356.27	c 1356s |      25 |  7780513 |  7047898 |      966  16621 |        0 |        0
1357.72/1358.28	c 1358s |      25 |  7789996 |  7056698 |      966  16637 |        0 |        0
1359.72/1360.29	c 1360s |      25 |  7799192 |  7065298 |      966  16654 |        0 |        0
1361.82/1362.31	c 1362s |      25 |  7808128 |  7073698 |      966  16670 |        0 |        0
1363.82/1364.33	c 1364s |      25 |  7817408 |  7082198 |      966  16686 |        0 |        0
1365.83/1366.35	c 1366s |      25 |  7828052 |  7091898 |      966  16705 |        0 |        0
1367.82/1368.36	c 1368s |      25 |  7838230 |  7101298 |      966  16723 |        0 |        0
1369.82/1370.37	c 1370s |      25 |  7848393 |  7110698 |      966  16741 |        0 |        0
1371.82/1372.38	c 1372s |      25 |  7858744 |  7120398 |      966  16759 |        0 |        0
1373.82/1374.39	c 1374s |      25 |  7869399 |  7130398 |      966  16778 |        0 |        0
1375.92/1376.41	c 1376s |      25 |  7879522 |  7139798 |      966  16796 |        0 |        0
1377.92/1378.43	c 1378s |      25 |  7888674 |  7148398 |      966  16813 |        0 |        0
1379.92/1380.44	c 1380s |      25 |  7897975 |  7156998 |      966  16829 |        0 |        0
1381.92/1382.45	c 1382s |      25 |  7908809 |  7166898 |      966  16848 |        0 |        0
1383.92/1384.46	c 1384s |      25 |  7918896 |  7176298 |      966  16866 |        0 |        0
1385.92/1386.47	c 1386s |      25 |  7929269 |  7185698 |      966  16884 |        0 |        0
1387.92/1388.49	c 1388s |      25 |  7939675 |  7195298 |      966  16902 |        0 |        0
1390.02/1390.51	c 1390s |      25 |  7949829 |  7204598 |      966  16920 |        0 |        0
1392.01/1392.51	c 1392s |      25 |  7959966 |  7213898 |      966  16938 |        0 |        0
1394.01/1394.51	c 1394s |      25 |  7970342 |  7223398 |      966  16956 |        0 |        0
1396.01/1396.52	c 1396s |      25 |  7980177 |  7232498 |      966  16974 |        0 |        0
1398.01/1398.52	c 1398s |      25 |  7990064 |  7241698 |      966  16991 |        0 |        0
1400.01/1400.52	c 1400s |      25 |  8000471 |  7251298 |      966  17009 |        0 |        0
1402.02/1402.53	c 1402s |      25 |  8011542 |  7261298 |      966  17029 |        0 |        0
1404.01/1404.54	c 1404s |      25 |  8022511 |  7271198 |      966  17048 |        0 |        0
1406.01/1406.54	c 1406s |      25 |  8032303 |  7280198 |      966  17065 |        0 |        0
1408.01/1408.56	c 1408s |      25 |  8041964 |  7289098 |      966  17082 |        0 |        0
1410.01/1410.57	c 1410s |      25 |  8052072 |  7298398 |      966  17099 |        0 |        0
1412.02/1412.57	c 1412s |      25 |  8062301 |  7307798 |      966  17117 |        0 |        0
1414.01/1414.59	c 1414s |      25 |  8071694 |  7316398 |      966  17134 |        0 |        0
1416.01/1416.60	c 1416s |      25 |  8081507 |  7325498 |      966  17151 |        0 |        0
1418.11/1418.62	c 1418s |      25 |  8091412 |  7334598 |      966  17169 |        0 |        0
1420.11/1420.63	c 1420s |      25 |  8100899 |  7343398 |      966  17185 |        0 |        0
1422.11/1422.63	c 1422s |      25 |  8109346 |  7351298 |      966  17200 |        0 |        0
1424.11/1424.63	c 1424s |      25 |  8117888 |  7359298 |      966  17216 |        0 |        0
1426.11/1426.65	c 1426s |      25 |  8127297 |  7367998 |      966  17232 |        0 |        0
1428.11/1428.67	c 1428s |      25 |  8137880 |  7377698 |      966  17251 |        0 |        0
1430.11/1430.68	c 1430s |      25 |  8148810 |  7387698 |      966  17270 |        0 |        0
1432.11/1432.68	c 1432s |      25 |  8158604 |  7396798 |      966  17287 |        0 |        0
1434.20/1434.70	c 1434s |      25 |  8168644 |  7406298 |      966  17305 |        0 |        0
1436.21/1436.72	c 1436s |      25 |  8179429 |  7416298 |      966  17324 |        0 |        0
1438.20/1438.73	c 1438s |      25 |  8189782 |  7425898 |      966  17343 |        0 |        0
1440.20/1440.75	c 1440s |      25 |  8200327 |  7435798 |      966  17362 |        0 |        0
1442.20/1442.76	c 1442s |      25 |  8210690 |  7445498 |      966  17380 |        0 |        0
1444.21/1444.77	c 1444s |      25 |  8220497 |  7454698 |      966  17398 |        0 |        0
1446.21/1446.77	c 1446s |      25 |  8230609 |  7463998 |      966  17416 |        0 |        0
1448.22/1448.78	c 1448s |      25 |  8241269 |  7473698 |      966  17434 |        0 |        0
1450.21/1450.79	c 1450s |      25 |  8251419 |  7482998 |      966  17452 |        0 |        0
1452.21/1452.79	c 1452s |      25 |  8260759 |  7491798 |      966  17469 |        0 |        0
1454.31/1454.81	c 1454s |      25 |  8270230 |  7500598 |      966  17485 |        0 |        0
1456.31/1456.83	c 1456s |      25 |  8279152 |  7508998 |      966  17501 |        0 |        0
1458.31/1458.83	c 1458s |      25 |  8288732 |  7517998 |      966  17519 |        0 |        0
1460.31/1460.84	c 1460s |      25 |  8299504 |  7527698 |      966  17537 |        0 |        0
1462.31/1462.85	c 1462s |      25 |  8309195 |  7536698 |      966  17554 |        0 |        0
1464.31/1464.86	c 1464s |      25 |  8318960 |  7545798 |     1063  17571 |        0 |        0
1466.31/1466.88	c 1466s |      25 |  8328592 |  7554798 |     1063  17587 |        0 |        0
1468.30/1468.88	c 1468s |      25 |  8338247 |  7563898 |     1063  17603 |        0 |        0
1470.40/1470.90	c 1470s |      25 |  8347720 |  7572798 |     1063  17618 |        0 |        0
1472.30/1472.90	c 1472s |      25 |  8356805 |  7581298 |     1063  17633 |        0 |        0
1474.40/1474.90	c 1474s |      25 |  8366163 |  7589998 |     1063  17648 |        0 |        0
1476.10/1476.63	c 1476s |      26 |  8374310 |  7597752 |     1063  17662 |        0 |        0
1478.10/1478.63	c 1478s |      26 |  8384597 |  7607052 |     1063  17678 |        0 |        0
1480.11/1480.65	c 1480s |      26 |  8394512 |  7616252 |     1063  17694 |        0 |        0
1482.10/1482.66	c 1482s |      26 |  8404902 |  7625652 |     1063  17710 |        0 |        0
1484.10/1484.66	c 1484s |      26 |  8414351 |  7634352 |     1063  17725 |        0 |        0
1486.10/1486.68	c 1486s |      26 |  8424214 |  7643352 |     1063  17741 |        0 |        0
1488.20/1488.70	c 1488s |      26 |  8433866 |  7652152 |     1063  17756 |        0 |        0
1490.20/1490.70	c 1490s |      26 |  8444278 |  7661552 |     1063  17773 |        0 |        0
1492.21/1492.71	c 1492s |      26 |  8454935 |  7671052 |     1063  17790 |        0 |        0
1494.20/1494.71	c 1494s |      26 |  8465562 |  7680552 |     1063  17806 |        0 |        0
1496.20/1496.71	c 1496s |      26 |  8475662 |  7689552 |     1063  17822 |        0 |        0
1498.20/1498.73	c 1498s |      26 |  8486303 |  7698952 |     1063  17838 |        0 |        0
1500.20/1500.75	c 1500s |      26 |  8496483 |  7707952 |     1063  17854 |        0 |        0
1502.21/1502.77	c 1502s |      26 |  8506562 |  7717052 |     1063  17870 |        0 |        0
1504.20/1504.79	c 1504s |      26 |  8515792 |  7725352 |     1063  17885 |        0 |        0
1506.30/1506.80	c 1506s |      26 |  8525819 |  7734152 |     1063  17900 |        0 |        0
1508.30/1508.81	c 1508s |      26 |  8535535 |  7743052 |     1063  17916 |        0 |        0
1510.30/1510.81	c 1510s |      26 |  8545203 |  7751652 |     1063  17931 |        0 |        0
1512.30/1512.82	c 1512s |      26 |  8555908 |  7761252 |     1063  17947 |        0 |        0
1514.30/1514.84	c 1514s |      26 |  8565875 |  7770452 |     1063  17963 |        0 |        0
1516.29/1516.84	c 1516s |      26 |  8576553 |  7779852 |     1063  17980 |        0 |        0
1518.29/1518.84	c 1518s |      26 |  8586758 |  7788852 |     1063  17995 |        0 |        0
1520.29/1520.85	c 1520s |      26 |  8597338 |  7798152 |     1063  18012 |        0 |        0
1522.29/1522.86	c 1522s |      26 |  8607147 |  7806952 |     1063  18027 |        0 |        0
1524.29/1524.86	c 1524s |      26 |  8616565 |  7815452 |     1063  18042 |        0 |        0
1526.30/1526.87	c 1526s |      26 |  8625801 |  7823852 |     1063  18056 |        0 |        0
1528.29/1528.89	c 1528s |      26 |  8633606 |  7831152 |     1063  18069 |        0 |        0
1530.39/1530.91	c 1530s |      26 |  8642379 |  7839252 |     1063  18083 |        0 |        0
1532.39/1532.91	c 1532s |      26 |  8651504 |  7847752 |     1063  18098 |        0 |        0
1534.39/1534.92	c 1534s |      26 |  8660924 |  7856352 |     1063  18113 |        0 |        0
1536.39/1536.94	c 1536s |      26 |  8669791 |  7864452 |     1063  18127 |        0 |        0
1538.40/1538.96	c 1538s |      26 |  8678719 |  7872652 |     1063  18142 |        0 |        0
1540.40/1540.98	c 1540s |      26 |  8687483 |  7880752 |     1063  18156 |        0 |        0
1542.40/1542.99	c 1542s |      26 |  8696518 |  7889052 |     1063  18170 |        0 |        0
1544.50/1545.00	c 1544s |      26 |  8706806 |  7898152 |     1063  18186 |        0 |        0
1546.49/1547.03	c 1547s |      26 |  8716101 |  7906652 |     1063  18201 |        0 |        0
1548.49/1549.03	c 1549s |      26 |  8725070 |  7914952 |     1063  18216 |        0 |        0
1550.50/1551.04	c 1551s |      26 |  8733698 |  7923052 |     1063  18230 |        0 |        0
1552.49/1553.04	c 1553s |      26 |  8742218 |  7931152 |     1063  18244 |        0 |        0
1554.49/1555.06	c 1555s |      26 |  8750909 |  7939352 |     1063  18258 |        0 |        0
1556.49/1557.07	c 1557s |      26 |  8759728 |  7947552 |     1063  18272 |        0 |        0
1558.49/1559.08	c 1559s |      26 |  8768304 |  7955652 |     1063  18286 |        0 |        0
1560.50/1561.09	c 1561s |      26 |  8777319 |  7964152 |     1063  18301 |        0 |        0
1562.60/1563.12	c 1563s |      26 |  8786828 |  7973152 |     1063  18317 |        0 |        0
1564.59/1565.14	c 1565s |      26 |  8795828 |  7981652 |     1063  18331 |        0 |        0
1566.59/1567.15	c 1567s |      26 |  8804350 |  7989652 |     1063  18345 |        0 |        0
1568.59/1569.15	c 1569s |      26 |  8813805 |  7998452 |     1063  18360 |        0 |        0
1570.59/1571.16	c 1571s |      26 |  8823586 |  8007452 |     1063  18376 |        0 |        0
1572.59/1573.17	c 1573s |      26 |  8832844 |  8016052 |     1063  18391 |        0 |        0
1574.59/1575.18	c 1575s |      26 |  8842535 |  8024952 |     1063  18407 |        0 |        0
1576.59/1577.19	c 1577s |      26 |  8851475 |  8033252 |     1063  18421 |        0 |        0
1578.69/1579.20	c 1579s |      26 |  8860134 |  8041352 |     1063  18436 |        0 |        0
1580.68/1581.21	c 1581s |      26 |  8868959 |  8049552 |     1063  18450 |        0 |        0
1582.68/1583.22	c 1583s |      26 |  8878360 |  8058152 |     1063  18465 |        0 |        0
1584.69/1585.22	c 1585s |      26 |  8887402 |  8066652 |     1063  18480 |        0 |        0
1586.68/1587.24	c 1587s |      26 |  8895893 |  8074652 |     1063  18494 |        0 |        0
1588.68/1589.25	c 1589s |      26 |  8904389 |  8082552 |     1063  18507 |        0 |        0
1590.68/1591.26	c 1591s |      26 |  8912626 |  8090252 |     1063  18521 |        0 |        0
1592.68/1593.28	c 1593s |      26 |  8921268 |  8098252 |     1063  18534 |        0 |        0
1594.78/1595.30	c 1595s |      26 |  8929523 |  8105952 |     1063  18548 |        0 |        0
1596.79/1597.32	c 1597s |      26 |  8938889 |  8114452 |     1063  18563 |        0 |        0
1598.78/1599.32	c 1599s |      26 |  8948963 |  8123552 |     1063  18579 |        0 |        0
1600.78/1601.33	c 1601s |      26 |  8958086 |  8132052 |     1063  18593 |        0 |        0
1602.78/1603.33	c 1603s |      26 |  8967972 |  8141052 |     1063  18609 |        0 |        0
1604.78/1605.34	c 1605s |      26 |  8977923 |  8150152 |     1063  18625 |        0 |        0
1606.78/1607.36	c 1607s |      26 |  8987005 |  8158552 |     1063  18640 |        0 |        0
1608.78/1609.36	c 1609s |      26 |  8996723 |  8167452 |     1063  18655 |        0 |        0
1610.78/1611.36	c 1611s |      26 |  9006483 |  8176252 |     1063  18671 |        0 |        0
1612.79/1613.38	c 1613s |      26 |  9015664 |  8184852 |     1063  18686 |        0 |        0
1614.79/1615.40	c 1615s |      26 |  9025558 |  8193952 |     1063  18701 |        0 |        0
1616.89/1617.41	c 1617s |      26 |  9035100 |  8202752 |     1063  18717 |        0 |        0
1618.88/1619.41	c 1619s |      26 |  9045052 |  8211752 |     1063  18732 |        0 |        0
1620.89/1621.42	c 1621s |      26 |  9054282 |  8220352 |     1063  18747 |        0 |        0
1622.88/1623.43	c 1623s |      26 |  9063558 |  8228852 |     1063  18762 |        0 |        0
1624.88/1625.45	c 1625s |      26 |  9072125 |  8236852 |     1063  18776 |        0 |        0
1626.88/1627.46	c 1627s |      26 |  9080247 |  8244452 |     1063  18789 |        0 |        0
1628.88/1629.47	c 1629s |      26 |  9089233 |  8252752 |     1063  18804 |        0 |        0
1630.89/1631.48	c 1631s |      26 |  9099407 |  8262052 |     1063  18820 |        0 |        0
1632.88/1633.50	c 1633s |      26 |  9110129 |  8271452 |     1063  18836 |        0 |        0
1634.98/1635.52	c 1635s |      26 |  9119965 |  8280252 |     1063  18852 |        0 |        0
1636.98/1637.54	c 1637s |      26 |  9128677 |  8288352 |     1063  18866 |        0 |        0
1638.98/1639.55	c 1639s |      26 |  9138141 |  8297052 |     1063  18881 |        0 |        0
1640.98/1641.56	c 1641s |      26 |  9147466 |  8305552 |     1063  18896 |        0 |        0
1642.99/1643.57	c 1643s |      26 |  9156621 |  8314152 |     1063  18911 |        0 |        0
1644.98/1645.59	c 1645s |      26 |  9165390 |  8322252 |     1063  18925 |        0 |        0
1647.08/1647.60	c 1647s |      26 |  9173599 |  8329952 |     1063  18938 |        0 |        0
1649.08/1649.61	c 1649s |      26 |  9182367 |  8338052 |     1063  18952 |        0 |        0
1651.08/1651.62	c 1651s |      26 |  9190692 |  8345652 |     1063  18966 |        0 |        0
1653.07/1653.63	c 1653s |      26 |  9199522 |  8353752 |     1063  18980 |        0 |        0
1655.08/1655.64	c 1655s |      26 |  9208598 |  8361952 |     1063  18994 |        0 |        0
1657.07/1657.65	c 1657s |      26 |  9217510 |  8369952 |     1063  19008 |        0 |        0
1659.07/1659.67	c 1659s |      26 |  9227185 |  8378652 |     1063  19023 |        0 |        0
1661.07/1661.68	c 1661s |      26 |  9236441 |  8387152 |     1063  19038 |        0 |        0
1663.17/1663.70	c 1663s |      26 |  9245142 |  8395252 |     1063  19052 |        0 |        0
1665.17/1665.71	c 1665s |      26 |  9254257 |  8403552 |     1063  19067 |        0 |        0
1667.18/1667.71	c 1667s |      26 |  9263279 |  8411852 |     1063  19081 |        0 |        0
1669.17/1669.72	c 1669s |      26 |  9272272 |  8420252 |     1063  19096 |        0 |        0
1671.17/1671.73	c 1671s |      26 |  9281217 |  8428552 |     1063  19110 |        0 |        0
1673.17/1673.74	c 1673s |      26 |  9290034 |  8436752 |     1063  19125 |        0 |        0
1675.17/1675.76	c 1675s |      26 |  9299398 |  8445352 |     1063  19140 |        0 |        0
1677.17/1677.77	c 1677s |      26 |  9307741 |  8453152 |     1063  19153 |        0 |        0
1679.18/1679.78	c 1679s |      26 |  9316448 |  8461152 |     1063  19167 |        0 |        0
1681.17/1681.78	c 1681s |      26 |  9325381 |  8469252 |     1063  19181 |        0 |        0
1683.27/1683.80	c 1683s |      26 |  9334202 |  8477352 |     1063  19195 |        0 |        0
1685.27/1685.82	c 1685s |      26 |  9342255 |  8484852 |     1063  19208 |        0 |        0
1687.27/1687.84	c 1687s |      26 |  9351614 |  8493652 |     1063  19223 |        0 |        0
1689.27/1689.85	c 1689s |      26 |  9361626 |  8502852 |     1063  19239 |        0 |        0
1691.27/1691.87	c 1691s |      26 |  9372231 |  8512152 |     1063  19256 |        0 |        0
1693.37/1693.90	c 1693s |      26 |  9381846 |  8521052 |     1063  19271 |        0 |        0
1695.37/1695.91	c 1695s |      26 |  9391251 |  8529652 |     1063  19286 |        0 |        0
1697.37/1697.91	c 1697s |      26 |  9400687 |  8538352 |     1063  19301 |        0 |        0
1699.36/1699.93	c 1699s |      26 |  9409586 |  8546652 |     1063  19316 |        0 |        0
1701.36/1701.93	c 1701s |      26 |  9419077 |  8555352 |     1063  19331 |        0 |        0
1703.37/1703.95	c 1703s |      26 |  9428465 |  8564052 |     1063  19346 |        0 |        0
1705.36/1705.96	c 1705s |      26 |  9437483 |  8572452 |     1063  19361 |        0 |        0
1707.36/1707.97	c 1707s |      26 |  9446008 |  8580452 |     1063  19375 |        0 |        0
1709.36/1709.99	c 1709s |      26 |  9454778 |  8588652 |     1063  19389 |        0 |        0
1711.46/1712.01	c 1711s |      26 |  9463461 |  8596752 |     1063  19403 |        0 |        0
1713.46/1714.03	c 1714s |      26 |  9472052 |  8604752 |     1063  19417 |        0 |        0
1715.47/1716.05	c 1716s |      26 |  9480469 |  8612552 |     1063  19431 |        0 |        0
1717.46/1718.06	c 1718s |      26 |  9489447 |  8620852 |     1063  19445 |        0 |        0
1719.47/1720.08	c 1720s |      26 |  9498341 |  8629052 |     1063  19459 |        0 |        0
1721.57/1722.10	c 1722s |      26 |  9507097 |  8637152 |     1063  19473 |        0 |        0
1723.57/1724.11	c 1724s |      26 |  9516408 |  8645852 |     1063  19489 |        0 |        0
1725.57/1726.14	c 1726s |      26 |  9526197 |  8654952 |     1063  19504 |        0 |        0
1727.58/1728.15	c 1728s |      26 |  9535120 |  8663252 |     1063  19519 |        0 |        0
1729.57/1730.16	c 1730s |      26 |  9544061 |  8671552 |     1063  19533 |        0 |        0
1731.57/1732.16	c 1732s |      26 |  9552508 |  8679452 |     1063  19547 |        0 |        0
1733.57/1734.17	c 1734s |      26 |  9560994 |  8687452 |     1063  19561 |        0 |        0
1735.57/1736.18	c 1736s |      26 |  9570633 |  8696252 |     1063  19576 |        0 |        0
1737.67/1738.20	c 1738s |      26 |  9580406 |  8705152 |     1063  19592 |        0 |        0
1739.67/1740.21	c 1740s |      26 |  9589695 |  8713652 |     1063  19607 |        0 |        0
1741.67/1742.22	c 1742s |      26 |  9598146 |  8721452 |     1063  19620 |        0 |        0
1743.67/1744.24	c 1744s |      26 |  9606937 |  8729552 |     1063  19634 |        0 |        0
1745.66/1746.25	c 1746s |      26 |  9616114 |  8737952 |     1063  19649 |        0 |        0
1747.66/1748.26	c 1748s |      26 |  9624395 |  8745652 |     1063  19663 |        0 |        0
1749.67/1750.27	c 1750s |      26 |  9633115 |  8753752 |     1063  19677 |        0 |        0
1751.66/1752.28	c 1752s |      26 |  9642610 |  8762452 |     1063  19692 |        0 |        0
1753.66/1754.29	c 1754s |      26 |  9651435 |  8770652 |     1063  19706 |        0 |        0
1755.76/1756.31	c 1756s |      26 |  9659939 |  8778552 |     1063  19720 |        0 |        0
1757.76/1758.31	c 1758s |      26 |  9668713 |  8786752 |     1063  19734 |        0 |        0
1759.76/1760.33	c 1760s |      26 |  9678089 |  8795352 |     1063  19749 |        0 |        0
1761.77/1762.34	c 1762s |      26 |  9687225 |  8803752 |     1063  19764 |        0 |        0
1763.76/1764.37	c 1764s |      26 |  9695249 |  8811352 |     1063  19777 |        0 |        0
1765.76/1766.38	c 1766s |      26 |  9703422 |  8819052 |     1063  19791 |        0 |        0
1767.76/1768.39	c 1768s |      26 |  9712022 |  8827152 |     1063  19805 |        0 |        0
1769.76/1770.39	c 1770s |      26 |  9720319 |  8834852 |     1063  19818 |        0 |        0
1771.86/1772.40	c 1772s |      26 |  9729096 |  8842952 |     1063  19832 |        0 |        0
1773.87/1774.42	c 1774s |      26 |  9737295 |  8850552 |     1063  19845 |        0 |        0
1775.86/1776.44	c 1776s |      26 |  9746210 |  8858752 |     1063  19860 |        0 |        0
1777.86/1778.46	c 1778s |      26 |  9753637 |  8865652 |     1063  19872 |        0 |        0
1779.86/1780.47	c 1780s |      26 |  9761882 |  8873252 |     1063  19885 |        0 |        0
1781.86/1782.48	c 1782s |      26 |  9770793 |  8881452 |     1063  19899 |        0 |        0
1783.86/1784.49	c 1784s |      26 |  9778946 |  8889052 |     1063  19912 |        0 |        0
1785.86/1786.49	c 1786s |      26 |  9787120 |  8896652 |     1063  19926 |        0 |        0
1787.96/1788.51	c 1788s |      26 |  9795711 |  8904552 |     1063  19939 |        0 |        0
1789.95/1790.54	c 1790s |      26 |  9804377 |  8912652 |     1063  19954 |        0 |        0
1791.95/1792.57	c 1792s |      26 |  9813781 |  8921252 |     1063  19969 |        0 |        0
1793.95/1794.57	c 1794s |      26 |  9823094 |  8929652 |     1063  19983 |        0 |        0
1795.95/1796.59	c 1796s |      26 |  9831954 |  8937752 |     1063  19998 |        0 |        0
1797.96/1798.60	c 1798s |      26 |  9841448 |  8946452 |     1063  20013 |        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-4089932-1466035529/watcher-4089932-1466035529 -o /tmp/evaluation-result-4089932-1466035529/solver-4089932-1466035529 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11970 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089932-1466035529.opb 

pid=12314
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.26 2.27 2.19 4/179 12317
/proc/meminfo: memFree=29337700/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=765508 CPUtime=0 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 2868 0 0 0 0 0 0 0 20 0 4 0 5598642 783880192 2718 33554432000 4194304 16246674 140733878887600 140733878887024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 192145 2727 442 2943 0 189039 0
[pid=12317/tid=12318] ppid=12314 vsize=783940 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 802754560 2788 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=788036 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 806948864 2804 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=792132 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5598642 811143168 2822 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100209 s]
/proc/loadavg: 2.26 2.27 2.19 4/179 12317
/proc/meminfo: memFree=29337700/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 28400 0 0 0 5 4 0 0 20 0 4 0 5598642 1247350784 28240 33554432000 4194304 16246674 140733878887600 140733878887024 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 304529 28247 716 2943 0 301423 0
[pid=12317/tid=12318] ppid=12314 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1247350784 28254 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1247350784 28261 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5598642 1247350784 28267 33554432000 4194304 16246674 140733878887600 139680772246704 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.200493 s]
/proc/loadavg: 2.26 2.27 2.19 4/179 12317
/proc/meminfo: memFree=29337700/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 56485 0 0 0 11 8 0 0 20 0 4 0 5598642 1247350784 56324 33554432000 4194304 16246674 140733878887600 140733878887024 5523634 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 304529 56334 717 2943 0 301423 0
[pid=12317/tid=12318] ppid=12314 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1247350784 56339 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1247350784 56345 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5598642 1247350784 56355 33554432000 4194304 16246674 140733878887600 139680772246704 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.300458 s]
/proc/loadavg: 2.26 2.27 2.19 4/179 12317
/proc/meminfo: memFree=29337700/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 84334 0 0 0 18 11 0 0 20 0 4 0 5598642 1247350784 84173 33554432000 4194304 16246674 140733878887600 140733878869504 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 304529 84182 717 2943 0 301423 0
[pid=12317/tid=12318] ppid=12314 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1247350784 84188 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1247350784 84199 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5598642 1247350784 84208 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700346 s]
/proc/loadavg: 2.26 2.27 2.19 4/179 12317
/proc/meminfo: memFree=29337700/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 198081 0 0 0 43 26 0 0 20 0 4 0 5598642 1247350784 197921 33554432000 4194304 16246674 140733878887600 140733878869504 13193365 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 304529 197933 718 2943 0 301423 0
[pid=12317/tid=12318] ppid=12314 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1247350784 197940 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1247350784 197947 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5598642 1247350784 197952 33554432000 4194304 16246674 140733878887600 139680772246704 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.5004 s]
/proc/loadavg: 2.26 2.27 2.19 4/183 12321
/proc/meminfo: memFree=28357316/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 260652 0 0 0 114 35 0 0 20 0 4 0 5598642 1336479744 260472 33554432000 4194304 16246674 140733878887600 140733878870600 5708022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326289 260484 792 2943 0 323183 0
[pid=12317/tid=12318] ppid=12314 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1336479744 260491 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1336479744 260499 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1336479744 260506 33554432000 4194304 16246674 140733878887600 139680772246704 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) 1305156

[startup+3.1004 s]
/proc/loadavg: 2.26 2.27 2.19 3/183 12321
/proc/meminfo: memFree=28269368/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 267409 0 0 0 273 36 0 0 20 0 4 0 5598642 1337528320 267228 33554432000 4194304 16246674 140733878887600 140733878869504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326545 267228 792 2943 0 323439 0
[pid=12317/tid=12318] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267228 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267228 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267228 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.24 2.27 2.19 3/183 12321
/proc/meminfo: memFree=28268376/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 267428 0 0 0 593 36 0 0 20 0 4 0 5598642 1337528320 267247 33554432000 4194304 16246674 140733878887600 140733878869504 5823765 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326545 267247 792 2943 0 323439 0
[pid=12317/tid=12318] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267247 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267247 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267247 33554432000 4194304 16246674 140733878887600 139680772246704 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.22 2.26 2.18 3/183 12321
/proc/meminfo: memFree=28268548/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 267451 0 0 0 1233 36 0 0 20 0 4 0 5598642 1337528320 267270 33554432000 4194304 16246674 140733878887600 140733878869504 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326545 267270 792 2943 0 323439 0
[pid=12317/tid=12318] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267270 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267270 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267270 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.31 2.28 2.19 3/183 12321
/proc/meminfo: memFree=28268936/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 267454 0 0 0 2512 36 0 0 20 0 4 0 5598642 1337528320 267273 33554432000 4194304 16246674 140733878887600 140733878869504 5823250 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326545 267273 793 2943 0 323439 0
[pid=12317/tid=12318] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267273 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267273 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267273 33554432000 4194304 16246674 140733878887600 139680772246704 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.1005 s]
/proc/loadavg: 2.20 2.26 2.18 3/183 12321
/proc/meminfo: memFree=28268660/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 267457 0 0 0 5071 37 0 0 20 0 4 0 5598642 1337528320 267276 33554432000 4194304 16246674 140733878887600 140733878869504 5717716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326545 267276 795 2943 0 323439 0
[pid=12317/tid=12318] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267276 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267276 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267276 33554432000 4194304 16246674 140733878887600 139680772246704 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.25 2.26 2.18 3/183 12322
/proc/meminfo: memFree=28268584/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 267467 0 0 0 10190 38 0 0 20 0 4 0 5598642 1337528320 267286 33554432000 4194304 16246674 140733878887600 140733878870600 13808416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326545 267286 795 2943 0 323439 0
[pid=12317/tid=12318] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267286 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267286 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1337528320 267286 33554432000 4194304 16246674 140733878887600 139680772246704 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/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.31 2.24 2.22 3/183 12352
/proc/meminfo: memFree=28262872/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1307204 CPUtime=1301.83 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 268107 0 0 0 130132 51 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 140733878869504 5724032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326801 267741 797 2943 0 323695 0
[pid=12317/tid=12318] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.20 2.23 2.21 3/183 12353
/proc/meminfo: memFree=28262628/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1307204 CPUtime=1361.82 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 268107 0 0 0 136130 52 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 140733878869504 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326801 267741 797 2943 0 323695 0
[pid=12317/tid=12318] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.24 2.23 2.21 3/183 12355
/proc/meminfo: memFree=28263120/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1307204 CPUtime=1421.81 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 268107 0 0 0 142129 52 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 140733878869504 5546252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326801 267741 797 2943 0 323695 0
[pid=12317/tid=12318] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.14 2.20 2.20 3/184 12359
/proc/meminfo: memFree=28262480/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1307204 CPUtime=1481.8 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 268107 0 0 0 148127 53 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 140733878870600 5823737 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326801 267741 797 2943 0 323695 0
[pid=12317/tid=12318] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.10 2.18 2.19 4/183 12360
/proc/meminfo: memFree=28262988/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1307204 CPUtime=1541.8 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 268107 0 0 0 154126 54 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 140733878869504 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326801 267741 797 2943 0 323695 0
[pid=12317/tid=12318] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267741 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.19 2.19 2.19 3/183 12361
/proc/meminfo: memFree=28263164/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1307204 CPUtime=1601.78 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 268109 0 0 0 160124 54 0 0 20 0 4 0 5598642 1338576896 267743 33554432000 4194304 16246674 140733878887600 140733878869504 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326801 267743 797 2943 0 323695 0
[pid=12317/tid=12318] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267743 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267743 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267743 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.28 2.21 2.19 3/183 12362
/proc/meminfo: memFree=28262916/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1307204 CPUtime=1661.77 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 268109 0 0 0 166122 55 0 0 20 0 4 0 5598642 1338576896 267743 33554432000 4194304 16246674 140733878887600 140733878869504 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326801 267743 797 2943 0 323695 0
[pid=12317/tid=12318] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267743 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267743 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267743 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 12461
/proc/meminfo: memFree=28265212/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1307204 CPUtime=1721.77 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 268159 0 0 0 172121 56 0 0 20 0 4 0 5598642 1338576896 267793 33554432000 4194304 16246674 140733878887600 140733878869504 5675603 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326801 267793 797 2943 0 323695 0
[pid=12317/tid=12318] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267793 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267793 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267793 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.18 2.19 2.18 4/183 12462
/proc/meminfo: memFree=28264492/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1307204 CPUtime=1781.76 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 268159 0 0 0 178120 56 0 0 20 0 4 0 5598642 1338576896 267793 33554432000 4194304 16246674 140733878887600 140733878869504 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326801 267793 797 2943 0 323695 0
[pid=12317/tid=12318] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267793 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267793 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267793 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.18 2.18 3/183 12462
/proc/meminfo: memFree=28264744/32872528 swapFree=1401752/1579580
[pid=12317] ppid=12314 vsize=1307204 CPUtime=1800.05 cores=0,2,4,6
/proc/12317/stat : 12317 (toysat) R 12314 12317 5813 0 -1 4202496 268159 0 0 0 179949 56 0 0 20 0 4 0 5598642 1338576896 267793 33554432000 4194304 16246674 140733878887600 140733878869504 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12317/statm: 326801 267793 797 2943 0 323695 0
[pid=12317/tid=12318] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12318/stat : 12318 (toysat) S 12314 12317 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267793 33554432000 4194304 16246674 140733878887600 139680793210096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12317/tid=12319] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12319/stat : 12319 (toysat) S 12314 12317 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267793 33554432000 4194304 16246674 140733878887600 139680782720240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12317/tid=12320] ppid=12314 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12317/task/12320/stat : 12320 (toysat) S 12314 12317 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5598642 1338576896 267793 33554432000 4194304 16246674 140733878887600 139680772246704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 12317 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.07
CPU user time (s): 1799.5
CPU system time (s): 0.567913
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.567913
maximum resident set size= 1071172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268159
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= 457
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6073 second user time and 6.90995 second system time

The end

Begin job on node139 at 2016-06-16 02:05:29
IDJOB=4089932
IDBENCH=107477
IDSOLVER=2542
FILE ID=node139/4089932-1466035529
RUNJOBID= node139-1466033607-11970
PBS_JOBID= 19902810
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/rand6reg/normalized-rand6reg-v051-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089932-1466035529/watcher-4089932-1466035529 -o /tmp/evaluation-result-4089932-1466035529/solver-4089932-1466035529 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11970 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089932-1466035529.opb

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

MD5SUM BENCH= 88a573f213f1fe4c32b0fc4ead18d90d
RANDOM SEED=257042446

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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.56
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.500
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.500
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:        29338080 kB
Buffers:           23516 kB
Cached:           150036 kB
SwapCached:         8924 kB
Active:          1139940 kB
Inactive:         108644 kB
Active(anon):    1069064 kB
Inactive(anon):     8356 kB
Active(file):      70876 kB
Inactive(file):   100288 kB
Unevictable:     1579580 kB
Mlocked:         1401752 kB
SwapTotal:      67108856 kB
SwapFree:       67093328 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2652792 kB
Mapped:            10940 kB
Shmem:                 0 kB
Slab:             567720 kB
SReclaimable:      12132 kB
SUnreclaim:       555588 kB
KernelStack:        1520 kB
PageTables:         9248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2795348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    335872 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= 71596 MiB
End job on node139 at 2016-06-16 02:35:30