0.00/0.00	c 2016-06-06T22:13:32+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079742-1465244011.opb"]
0.00/0.01	c use --random-gen="2130643250 662771508 133429229 3712743340 1240465816 893271979 3332698194 676833775 1922618252 2587554391 3325042370 2891496106 3950205364 1704869095 2292861486 1233703176 1363749531 2238466152 322407097 2100996397 3335900490 3831096211 1729190437 473780735 2743721428 3568272579 1793526635 3793687937 1152882774 2256088375 3364164807 1504921045 1675662674 2968946253 2238258975 2440929615 4009132362 1688022422 2933038909 2751547778 3801395340 4182297531 152547746 3010676487 2314533414 3914056818 3221347028 905685091 4227409140 3640290448 723569254 1320504019 3926395362 1186224233 3950758356 2973756469 1033164066 1265734803 3460702108 2239898956 2166177097 2147323348 3693843315 528671343 1169364049 995957131 1951787698 537218943 1882266666 2050527318 3415061575 1743108176 3609089775 627144642 2387722095 3529009652 332119166 4288624233 3121459489 2003631898 1713742188 386398980 998153009 4246417819 3347840113 1899321578 2427625524 720412476 1203726489 476098099 2738080172 3666943207 2930055736 639138472 701166699 2789250290 488935753 2837177085 3641260253 3327564791 584702547 2814450411 1446464767 2005371719 1330233333 4056137409 3991062486 2355517788 3772210730 1316563371 1987002502 2767747018 397605713 2565104774 3623280854 1383575198 3374026516 3147605985 2062684436 1041882726 1935361389 2831425421 1920940205 2415436440 2061356574 2099859644 3987638806 1725783070 3327641262 4138668537 2321220281 1721862306 3368767315 2335105297 4171125885 4204735544 3372220955 4087396973 2594151443 1375088716 1540079924 25242075 1693399139 384758738 1935265526 1095767357 4226736735 3765581592 228224453 621797214 2595398296 1846814465 1137072764 4230472229 725645413 2661613402 1342246571 772971049 1679996566 988520815 2958672553 2049334607 3564320361 1774069262 2376934 3597891536 657853827 1444492936 1793083530 243250018 4064570336 839819160 1124769269 621217373 826848068 2719225168 1320296821 1017882981 380231561 1703027134 637507590 887290112 1911488886 2265815583 1067565811 655150136 3467105478 3905998715 4197434220 2834775921 393187696 3475702250 265571228 3894874252 166337345 260722306 2576388849 2422927539 1223992068 3316348066 1506212228 1358883117 4185318333 3063495059 1229788935 2745543726 1023430132 3595043592 3167066607 4030013319 416320508 1028598738 1890844566 3327540549 1100408624 2512750135 4132611665 2648505348 408976271 2254912217 1746386071 3179539949 4034662659 2007048777 3798309154 4006698423 201878023 1768687172 3399677265 3760149023 1213117188 1653552563 944639064 9756795 4181076543 4133569284 330175499 1456443041 2686791068 915462531 2484095622 3330139090 1130449846 3244936569 107343236 3700564157 1409240875 3985536104 1529029699 842082591 898195004 1063209418 870845293 1806427519 2937412976 1877307939 255 362436" option to reproduce the execution
0.00/0.01	c #vars 71
0.00/0.01	c #constraints 17
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
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 |       29      0 |        1 |        0
0.00/0.04	c  0.0s |       1 |      142 |      100 |       29      1 |        1 |        0
0.00/0.08	c  0.1s |       2 |      327 |      250 |       32      6 |        1 |        0
0.09/0.15	c  0.1s |       3 |      586 |      475 |       36     12 |        1 |        0
0.19/0.24	c  0.2s |       4 |      968 |      813 |       40     21 |        1 |        0
0.29/0.37	c  0.4s |       5 |     1520 |     1320 |       44     33 |        1 |        0
0.49/0.57	c  0.6s |       6 |     2318 |     2081 |       54     51 |        1 |        0
0.68/0.89	c  0.9s |       7 |     3527 |     3223 |       60     75 |        1 |        0
1.30/1.36	c  1.3s |       8 |     5305 |     4936 |       66    111 |        1 |        0
1.79/1.84	c  1.8s |       9 |     7969 |     7506 |       73    161 |        1 |        0
2.49/2.54	c  2.5s |      10 |    11970 |    11361 |       81    232 |        1 |        0
3.50/3.54	c  3.5s |      11 |    17931 |    17144 |       90    334 |        1 |        0
4.99/5.00	c  5.0s |      12 |    26875 |    25819 |      100    474 |        1 |        0
6.99/7.01	c  7.0s |      12 |    39607 |    38119 |      100    660 |        1 |        0
7.09/7.12	c  7.1s |      13 |    40346 |    38832 |      111    670 |        1 |        0
9.09/9.14	c  9.1s |      13 |    52365 |    50532 |      111    834 |        1 |        0
10.39/10.41	c 10.4s |      14 |    60436 |    58352 |      123    946 |        1 |        0
12.39/12.43	c 12.4s |      14 |    72602 |    70252 |      123   1100 |        1 |        0
14.40/14.45	c 14.4s |      14 |    84791 |    82252 |      123   1259 |        1 |        0
15.29/15.34	c 15.3s |      15 |    90228 |    87632 |      136   1331 |        1 |        0
17.29/17.35	c 17.3s |      15 |   102201 |    99332 |      136   1471 |        1 |        0
19.29/19.37	c 19.4s |      15 |   113954 |   110932 |      136   1610 |        1 |        0
21.29/21.37	c 21.4s |      15 |   125907 |   122632 |      136   1753 |        1 |        0
22.79/22.87	c 22.9s |      16 |   135011 |   131552 |      150   1863 |        1 |        0
24.79/24.87	c 24.9s |      16 |   146281 |   142552 |      150   1984 |        1 |        0
26.79/26.87	c 26.9s |      16 |   158215 |   154252 |      150   2114 |        1 |        0
28.79/28.88	c 28.9s |      16 |   169874 |   165752 |      150   2242 |        1 |        0
30.79/30.89	c 30.9s |      16 |   180717 |   176452 |      150   2360 |        1 |        0
32.79/32.89	c 32.9s |      16 |   191746 |   187352 |      150   2483 |        1 |        0
34.58/34.67	c 34.7s |      17 |   201980 |   197432 |      165   2598 |        1 |        0
36.58/36.67	c 36.7s |      17 |   212869 |   208032 |      165   2705 |        1 |        0
38.59/38.68	c 38.7s |      17 |   223727 |   218732 |      165   2813 |        1 |        0
40.68/40.70	c 40.7s |      17 |   234796 |   229632 |      165   2927 |        1 |        0
42.68/42.71	c 42.7s |      17 |   246160 |   240832 |      165   3043 |        1 |        0
44.68/44.72	c 44.7s |      17 |   257695 |   252232 |      165   3164 |        1 |        0
46.68/46.72	c 46.7s |      17 |   269363 |   263732 |      165   3287 |        1 |        0
48.68/48.74	c 48.7s |      17 |   280490 |   274732 |      165   3403 |        1 |        0
50.69/50.74	c 50.7s |      17 |   291361 |   285532 |      165   3513 |        1 |        0
52.58/52.69	c 52.7s |      18 |   302252 |   296252 |      182   3623 |        1 |        0
54.68/54.70	c 54.7s |      18 |   312915 |   306752 |      182   3722 |        1 |        0
56.68/56.71	c 56.7s |      18 |   324086 |   317852 |      182   3828 |        1 |        0
58.68/58.73	c 58.7s |      18 |   335562 |   329252 |      182   3936 |        1 |        0
60.68/60.74	c 60.7s |      18 |   347255 |   340852 |      182   4047 |        1 |        0
62.67/62.75	c 62.7s |      18 |   359070 |   352552 |      182   4159 |        1 |        0
64.68/64.76	c 64.7s |      18 |   370860 |   364252 |      182   4272 |        1 |        0
66.68/66.77	c 66.8s |      18 |   382314 |   375552 |      182   4378 |        1 |        0
68.68/68.79	c 68.8s |      18 |   393602 |   386752 |      182   4485 |        1 |        0
70.78/70.80	c 70.8s |      18 |   405308 |   398352 |      182   4598 |        1 |        0
72.69/72.80	c 72.8s |      18 |   417582 |   410452 |      182   4713 |        1 |        0
74.78/74.81	c 74.8s |      18 |   429265 |   421952 |      182   4819 |        1 |        0
76.78/76.83	c 76.8s |      18 |   440970 |   433552 |      182   4929 |        1 |        0
78.58/78.69	c 78.7s |      19 |   452021 |   444482 |      201   5030 |        1 |        0
80.68/80.70	c 80.7s |      19 |   462865 |   455182 |      201   5121 |        1 |        0
82.69/82.72	c 82.7s |      19 |   473870 |   466082 |      201   5217 |        1 |        0
84.68/84.73	c 84.7s |      19 |   485128 |   477182 |      201   5313 |        1 |        0
86.68/86.74	c 86.7s |      19 |   496598 |   488582 |      201   5412 |        1 |        0
88.68/88.75	c 88.7s |      19 |   508589 |   500482 |      201   5517 |        1 |        0
90.68/90.75	c 90.7s |      19 |   519521 |   511282 |      201   5609 |        1 |        0
92.68/92.77	c 92.8s |      19 |   530407 |   522082 |      201   5701 |        1 |        0
94.69/94.78	c 94.8s |      19 |   541438 |   532982 |      201   5796 |        1 |        0
96.68/96.78	c 96.8s |      19 |   552368 |   543782 |      201   5890 |        1 |        0
98.68/98.79	c 98.8s |      19 |   563638 |   554882 |      201   5986 |        1 |        0
100.78/100.80	c  100s |      19 |   575056 |   566082 |      201   6085 |        1 |        0
102.78/102.80	c  102s |      19 |   586851 |   577682 |      201   6189 |        1 |        0
104.78/104.80	c  104s |      19 |   598245 |   588982 |      201   6288 |        1 |        0
106.78/106.81	c  106s |      19 |   610264 |   600882 |      201   6392 |        1 |        0
108.77/108.83	c  108s |      19 |   621669 |   612182 |      201   6492 |        1 |        0
110.77/110.83	c  110s |      19 |   633121 |   623582 |      201   6592 |        1 |        0
112.77/112.84	c  112s |      19 |   645182 |   635582 |      201   6700 |        1 |        0
114.77/114.84	c  114s |      19 |   655978 |   646282 |      201   6794 |        1 |        0
116.78/116.86	c  116s |      19 |   667360 |   657582 |      201   6894 |        1 |        0
118.37/118.47	c  118s |      20 |   676679 |   666827 |      222   6973 |        1 |        0
120.37/120.48	c  120s |      20 |   688121 |   678027 |      222   7063 |        1 |        0
122.37/122.49	c  122s |      20 |   698789 |   688527 |      222   7146 |        1 |        0
124.38/124.49	c  124s |      20 |   709971 |   699527 |      222   7234 |        1 |        0
126.37/126.49	c  126s |      20 |   721482 |   710827 |      222   7326 |        1 |        0
128.37/128.50	c  128s |      20 |   732698 |   721827 |      222   7415 |        1 |        0
130.47/130.51	c  130s |      20 |   743717 |   732627 |      222   7501 |        1 |        0
132.47/132.53	c  132s |      20 |   754814 |   743527 |      222   7589 |        1 |        0
134.47/134.54	c  134s |      20 |   765978 |   754527 |      222   7680 |        1 |        0
136.47/136.55	c  136s |      20 |   777165 |   765527 |      222   7770 |        1 |        0
138.47/138.55	c  138s |      20 |   788930 |   777027 |      222   7863 |        1 |        0
140.47/140.55	c  140s |      20 |   800674 |   788527 |      222   7958 |        1 |        0
142.47/142.56	c  142s |      20 |   812974 |   800627 |      222   8059 |        1 |        0
144.47/144.56	c  144s |      20 |   823865 |   811327 |      222   8143 |        1 |        0
146.47/146.57	c  146s |      20 |   835138 |   822427 |      222   8231 |        1 |        0
148.46/148.57	c  148s |      20 |   845771 |   832927 |      222   8314 |        1 |        0
150.46/150.59	c  150s |      20 |   857156 |   844027 |      222   8404 |        1 |        0
152.46/152.59	c  152s |      20 |   868153 |   854927 |      222   8490 |        1 |        0
154.56/154.61	c  154s |      20 |   879662 |   866327 |      222   8583 |        1 |        0
156.56/156.61	c  156s |      20 |   890657 |   877127 |      222   8669 |        1 |        0
158.57/158.61	c  158s |      20 |   902164 |   888527 |      222   8762 |        1 |        0
160.56/160.62	c  160s |      20 |   913679 |   899927 |      222   8855 |        1 |        0
162.56/162.63	c  162s |      20 |   924840 |   910927 |      222   8944 |        1 |        0
164.56/164.63	c  164s |      20 |   936441 |   922427 |      222   9039 |        1 |        0
166.56/166.64	c  166s |      20 |   948111 |   934027 |      222   9135 |        1 |        0
168.56/168.65	c  168s |      20 |   959851 |   945627 |      222   9230 |        1 |        0
170.57/170.65	c  170s |      20 |   971862 |   957527 |      222   9330 |        1 |        0
172.56/172.66	c  172s |      20 |   982999 |   968527 |      222   9419 |        1 |        0
174.56/174.68	c  174s |      20 |   993884 |   979227 |      222   9504 |        1 |        0
176.56/176.68	c  176s |      20 |  1004710 |   989927 |      222   9590 |        1 |        0
178.46/178.58	c  178s |      21 |  1015226 |  1000345 |      245   9669 |        1 |        0
180.46/180.59	c  180s |      21 |  1026352 |  1011245 |      245   9748 |        1 |        0
182.56/182.60	c  182s |      21 |  1037399 |  1022145 |      245   9828 |        1 |        0
184.56/184.62	c  184s |      21 |  1048331 |  1032945 |      245   9907 |        1 |        0
186.56/186.62	c  186s |      21 |  1058785 |  1043245 |      245   9982 |        1 |        0
188.56/188.62	c  188s |      21 |  1069582 |  1053845 |      245  10060 |        1 |        0
190.56/190.63	c  190s |      21 |  1080867 |  1064945 |      245  10142 |        1 |        0
192.57/192.63	c  192s |      21 |  1092493 |  1076345 |      245  10227 |        1 |        0
194.56/194.64	c  194s |      21 |  1104310 |  1088045 |      245  10316 |        1 |        0
196.56/196.64	c  196s |      21 |  1115459 |  1099045 |      245  10394 |        1 |        0
198.56/198.65	c  198s |      21 |  1126160 |  1109645 |      245  10471 |        1 |        0
200.56/200.67	c  200s |      21 |  1137350 |  1120745 |      245  10553 |        1 |        0
202.57/202.68	c  202s |      21 |  1148093 |  1131345 |      245  10630 |        1 |        0
204.56/204.69	c  204s |      21 |  1159381 |  1142445 |      245  10713 |        1 |        0
206.66/206.70	c  206s |      21 |  1171060 |  1153945 |      245  10798 |        1 |        0
208.66/208.70	c  208s |      21 |  1182039 |  1164745 |      245  10876 |        1 |        0
210.66/210.72	c  210s |      21 |  1193403 |  1175945 |      245  10959 |        1 |        0
212.66/212.72	c  212s |      21 |  1204817 |  1187245 |      245  11044 |        1 |        0
214.67/214.73	c  214s |      21 |  1216612 |  1198845 |      245  11131 |        1 |        0
216.66/216.74	c  216s |      21 |  1227742 |  1209845 |      245  11212 |        1 |        0
218.66/218.75	c  218s |      21 |  1238797 |  1220745 |      245  11294 |        1 |        0
220.66/220.77	c  220s |      21 |  1250259 |  1232045 |      245  11379 |        1 |        0
222.66/222.78	c  222s |      21 |  1261671 |  1243345 |      245  11464 |        1 |        0
224.66/224.79	c  224s |      21 |  1273342 |  1254845 |      245  11552 |        1 |        0
226.66/226.79	c  226s |      21 |  1284256 |  1265545 |      245  11629 |        1 |        0
228.66/228.79	c  228s |      21 |  1295622 |  1276745 |      245  11711 |        1 |        0
230.76/230.80	c  230s |      21 |  1306677 |  1287645 |      245  11790 |        1 |        0
232.76/232.80	c  232s |      21 |  1318038 |  1298745 |      245  11872 |        1 |        0
234.76/234.81	c  234s |      21 |  1329857 |  1310345 |      245  11959 |        1 |        0
236.76/236.82	c  236s |      21 |  1341045 |  1321445 |      245  12040 |        1 |        0
238.76/238.84	c  238s |      21 |  1352633 |  1332845 |      245  12124 |        1 |        0
240.75/240.84	c  240s |      21 |  1364238 |  1344345 |      245  12209 |        1 |        0
242.75/242.84	c  242s |      21 |  1375654 |  1355645 |      245  12294 |        1 |        0
244.75/244.86	c  244s |      21 |  1386942 |  1366845 |      245  12376 |        1 |        0
246.75/246.86	c  246s |      21 |  1398479 |  1378245 |      245  12462 |        1 |        0
248.76/248.86	c  248s |      21 |  1410165 |  1389745 |      245  12549 |        1 |        0
250.75/250.86	c  250s |      21 |  1420926 |  1400445 |      245  12628 |        1 |        0
252.75/252.88	c  252s |      21 |  1432104 |  1411545 |      245  12709 |        1 |        0
254.75/254.88	c  254s |      21 |  1443286 |  1422545 |      245  12791 |        1 |        0
256.75/256.88	c  256s |      21 |  1454729 |  1433745 |      245  12874 |        1 |        0
258.85/258.90	c  258s |      21 |  1466290 |  1445145 |      245  12959 |        1 |        0
260.86/260.90	c  260s |      21 |  1477812 |  1456545 |      245  13044 |        1 |        0
262.85/262.90	c  262s |      21 |  1488969 |  1467545 |      245  13125 |        1 |        0
264.85/264.92	c  264s |      21 |  1500143 |  1478545 |      245  13205 |        1 |        0
266.85/266.94	c  266s |      21 |  1511821 |  1490045 |      270  13291 |        1 |        0
268.75/268.83	c  268s |      22 |  1522582 |  1500622 |      270  13363 |        1 |        0
270.75/270.84	c  270s |      22 |  1533277 |  1511122 |      270  13432 |        1 |        0
272.75/272.84	c  272s |      22 |  1543467 |  1521222 |      270  13498 |        1 |        0
274.75/274.85	c  274s |      22 |  1553485 |  1531122 |      270  13564 |        1 |        0
276.74/276.87	c  276s |      22 |  1563637 |  1541122 |      270  13630 |        1 |        0
278.74/278.89	c  278s |      22 |  1573895 |  1551222 |      270  13697 |        1 |        0
280.84/280.91	c  280s |      22 |  1584536 |  1561722 |      270  13767 |        1 |        0
282.85/282.92	c  282s |      22 |  1595309 |  1572322 |      270  13839 |        1 |        0
284.84/284.93	c  284s |      22 |  1606320 |  1583122 |      270  13912 |        1 |        0
286.84/286.95	c  286s |      22 |  1617409 |  1594022 |      270  13986 |        1 |        0
288.84/288.95	c  288s |      22 |  1627577 |  1604022 |      270  14052 |        1 |        0
290.84/290.96	c  290s |      22 |  1637987 |  1614322 |      270  14119 |        1 |        0
292.84/292.98	c  292s |      22 |  1648579 |  1624722 |      270  14189 |        1 |        0
294.85/294.99	c  294s |      22 |  1658976 |  1634922 |      270  14257 |        1 |        0
296.94/297.00	c  296s |      22 |  1669779 |  1645522 |      270  14329 |        1 |        0
298.94/299.01	c  299s |      22 |  1680510 |  1656122 |      270  14401 |        1 |        0
300.94/301.03	c  301s |      22 |  1691217 |  1666622 |      270  14472 |        1 |        0
302.94/303.04	c  303s |      22 |  1702237 |  1677422 |      270  14546 |        1 |        0
304.94/305.05	c  305s |      22 |  1713267 |  1688322 |      270  14620 |        1 |        0
306.95/307.07	c  307s |      22 |  1724502 |  1699322 |      270  14695 |        1 |        0
308.94/309.08	c  309s |      22 |  1735706 |  1710322 |      270  14772 |        1 |        0
310.94/311.08	c  311s |      22 |  1746675 |  1721122 |      270  14847 |        1 |        0
312.94/313.09	c  313s |      22 |  1757690 |  1731922 |      270  14920 |        1 |        0
314.94/315.09	c  315s |      22 |  1768593 |  1742622 |      270  14992 |        1 |        0
317.04/317.10	c  317s |      22 |  1779743 |  1753522 |      270  15066 |        1 |        0
319.04/319.11	c  319s |      22 |  1790505 |  1764122 |      270  15138 |        1 |        0
321.04/321.12	c  321s |      22 |  1801390 |  1774822 |      270  15212 |        1 |        0
323.04/323.13	c  323s |      22 |  1812331 |  1785622 |      270  15287 |        1 |        0
325.04/325.13	c  325s |      22 |  1823187 |  1796222 |      270  15358 |        1 |        0
327.04/327.13	c  327s |      22 |  1834970 |  1807822 |      270  15438 |        1 |        0
329.04/329.15	c  329s |      22 |  1846467 |  1819122 |      270  15516 |        1 |        0
331.03/331.15	c  331s |      22 |  1857272 |  1829722 |      270  15588 |        1 |        0
333.03/333.17	c  333s |      22 |  1868446 |  1840722 |      270  15664 |        1 |        0
335.04/335.17	c  335s |      22 |  1879865 |  1851922 |      270  15742 |        1 |        0
337.04/337.19	c  337s |      22 |  1891341 |  1863222 |      270  15819 |        1 |        0
339.04/339.19	c  339s |      22 |  1903031 |  1874722 |      270  15899 |        1 |        0
341.05/341.20	c  341s |      22 |  1914423 |  1885922 |      270  15977 |        1 |        0
343.14/343.21	c  343s |      22 |  1925670 |  1897022 |      270  16054 |        1 |        0
345.14/345.22	c  345s |      22 |  1936622 |  1907822 |      270  16129 |        1 |        0
347.14/347.23	c  347s |      22 |  1947351 |  1918422 |      270  16200 |        1 |        0
349.14/349.24	c  349s |      22 |  1957772 |  1928722 |      270  16268 |        1 |        0
351.14/351.26	c  351s |      22 |  1968221 |  1939022 |      270  16336 |        1 |        0
353.15/353.28	c  353s |      22 |  1978926 |  1949622 |      270  16407 |        1 |        0
355.14/355.29	c  355s |      22 |  1989146 |  1959722 |      270  16475 |        1 |        0
357.24/357.30	c  357s |      22 |  1999657 |  1970122 |      270  16545 |        1 |        0
359.24/359.32	c  359s |      22 |  2010574 |  1980922 |      270  16619 |        1 |        0
361.24/361.33	c  361s |      22 |  2021384 |  1991622 |      270  16692 |        1 |        0
363.24/363.34	c  363s |      22 |  2031546 |  2001722 |      270  16758 |        1 |        0
365.24/365.34	c  365s |      22 |  2041922 |  2011922 |      270  16825 |        1 |        0
367.23/367.34	c  367s |      22 |  2052533 |  2022422 |      270  16896 |        1 |        0
369.23/369.36	c  369s |      22 |  2063235 |  2033022 |      270  16966 |        1 |        0
371.23/371.37	c  371s |      22 |  2073907 |  2043622 |      270  17038 |        1 |        0
373.23/373.37	c  373s |      22 |  2084803 |  2054322 |      270  17110 |        1 |        0
375.24/375.38	c  375s |      22 |  2095471 |  2064822 |      270  17181 |        1 |        0
377.23/377.38	c  377s |      22 |  2106435 |  2075622 |      270  17254 |        1 |        0
379.23/379.39	c  379s |      22 |  2117449 |  2086522 |      270  17330 |        1 |        0
381.33/381.41	c  381s |      22 |  2128290 |  2097222 |      270  17402 |        1 |        0
383.33/383.42	c  383s |      22 |  2139400 |  2108122 |      270  17475 |        1 |        0
385.33/385.43	c  385s |      22 |  2151015 |  2119522 |      270  17553 |        1 |        0
387.34/387.44	c  387s |      22 |  2162532 |  2130822 |      270  17631 |        1 |        0
389.33/389.45	c  389s |      22 |  2174107 |  2142222 |      270  17710 |        1 |        0
391.33/391.45	c  391s |      22 |  2185649 |  2153622 |      270  17789 |        1 |        0
393.33/393.46	c  393s |      22 |  2196619 |  2164522 |      270  17864 |        1 |        0
395.32/395.48	c  395s |      22 |  2207363 |  2175122 |      270  17934 |        1 |        0
397.42/397.50	c  397s |      22 |  2218600 |  2186122 |      270  18008 |        1 |        0
399.43/399.51	c  399s |      22 |  2229290 |  2196722 |      270  18080 |        1 |        0
401.42/401.52	c  401s |      22 |  2240268 |  2207622 |      270  18154 |        1 |        0
403.42/403.53	c  403s |      22 |  2250688 |  2217922 |      270  18223 |        1 |        0
405.42/405.55	c  405s |      22 |  2261442 |  2228522 |      270  18295 |        1 |        0
407.42/407.55	c  407s |      22 |  2272340 |  2239322 |      297  18366 |        1 |        0
409.42/409.56	c  409s |      22 |  2283404 |  2250222 |      297  18434 |        1 |        0
409.62/409.72	c  409s |      23 |  2284232 |  2251038 |      297  18439 |        1 |        0
411.62/411.72	c  411s |      23 |  2294657 |  2261338 |      297  18503 |        1 |        0
413.63/413.73	c  413s |      23 |  2305404 |  2272038 |      297  18570 |        1 |        0
415.62/415.74	c  415s |      23 |  2315842 |  2282338 |      297  18632 |        1 |        0
417.62/417.74	c  417s |      23 |  2326133 |  2292538 |      297  18695 |        1 |        0
419.62/419.75	c  419s |      23 |  2336641 |  2302938 |      297  18759 |        1 |        0
421.62/421.76	c  421s |      23 |  2346964 |  2313138 |      297  18821 |        1 |        0
423.63/423.77	c  423s |      23 |  2357703 |  2323738 |      297  18886 |        1 |        0
425.62/425.77	c  425s |      23 |  2368334 |  2334238 |      297  18951 |        1 |        0
427.62/427.78	c  427s |      23 |  2379023 |  2344838 |      297  19017 |        1 |        0
429.62/429.78	c  429s |      23 |  2389509 |  2355238 |      297  19080 |        1 |        0
431.61/431.80	c  431s |      23 |  2399864 |  2365538 |      297  19143 |        1 |        0
433.61/433.80	c  433s |      23 |  2410277 |  2375838 |      297  19206 |        1 |        0
435.72/435.81	c  435s |      23 |  2421287 |  2386738 |      297  19273 |        1 |        0
437.71/437.82	c  437s |      23 |  2431879 |  2397238 |      297  19338 |        1 |        0
439.71/439.82	c  439s |      23 |  2442767 |  2408038 |      297  19406 |        1 |        0
441.71/441.83	c  441s |      23 |  2453560 |  2418738 |      297  19472 |        1 |        0
443.71/443.84	c  443s |      23 |  2464537 |  2429538 |      297  19541 |        1 |        0
445.71/445.85	c  445s |      23 |  2475555 |  2440438 |      297  19610 |        1 |        0
447.71/447.86	c  447s |      23 |  2485812 |  2450538 |      297  19671 |        1 |        0
449.71/449.86	c  449s |      23 |  2496189 |  2460838 |      297  19734 |        1 |        0
451.71/451.88	c  451s |      23 |  2506818 |  2471338 |      297  19799 |        1 |        0
453.81/453.90	c  453s |      23 |  2517472 |  2481838 |      297  19864 |        1 |        0
455.80/455.91	c  455s |      23 |  2527944 |  2492238 |      297  19927 |        1 |        0
457.80/457.93	c  457s |      23 |  2538402 |  2502638 |      297  19992 |        1 |        0
459.81/459.94	c  459s |      23 |  2548974 |  2513138 |      297  20057 |        1 |        0
461.80/461.95	c  461s |      23 |  2559542 |  2523638 |      297  20123 |        1 |        0
463.80/463.95	c  463s |      23 |  2569812 |  2533838 |      297  20184 |        1 |        0
465.80/465.95	c  465s |      23 |  2580164 |  2544038 |      297  20247 |        1 |        0
467.80/467.97	c  467s |      23 |  2590914 |  2554638 |      297  20312 |        1 |        0
469.81/469.99	c  469s |      23 |  2601739 |  2565238 |      297  20377 |        1 |        0
471.81/471.99	c  471s |      23 |  2612686 |  2576038 |      297  20444 |        1 |        0
473.91/474.00	c  473s |      23 |  2623471 |  2586638 |      297  20509 |        1 |        0
475.91/476.00	c  475s |      23 |  2634151 |  2597138 |      297  20574 |        1 |        0
477.90/478.01	c  477s |      23 |  2644766 |  2607638 |      297  20638 |        1 |        0
479.90/480.02	c  480s |      23 |  2655367 |  2618138 |      297  20703 |        1 |        0
481.90/482.02	c  482s |      23 |  2665966 |  2628638 |      297  20769 |        1 |        0
483.90/484.03	c  484s |      23 |  2676656 |  2639238 |      297  20836 |        1 |        0
485.90/486.03	c  486s |      23 |  2687243 |  2649638 |      297  20900 |        1 |        0
487.89/488.04	c  488s |      23 |  2698218 |  2660438 |      297  20968 |        1 |        0
489.89/490.05	c  490s |      23 |  2709227 |  2671238 |      297  21036 |        1 |        0
491.89/492.05	c  492s |      23 |  2720046 |  2681838 |      297  21102 |        1 |        0
493.90/494.07	c  494s |      23 |  2730923 |  2692638 |      297  21170 |        1 |        0
495.89/496.08	c  496s |      23 |  2741595 |  2703238 |      297  21236 |        1 |        0
497.89/498.09	c  498s |      23 |  2752420 |  2713938 |      297  21303 |        1 |        0
499.89/500.10	c  500s |      23 |  2763516 |  2724938 |      297  21373 |        1 |        0
501.99/502.10	c  502s |      23 |  2773907 |  2735238 |      297  21436 |        1 |        0
503.99/504.12	c  504s |      23 |  2784167 |  2745438 |      297  21498 |        1 |        0
506.00/506.12	c  506s |      23 |  2794387 |  2755538 |      297  21560 |        1 |        0
507.99/508.13	c  508s |      23 |  2804829 |  2765838 |      297  21623 |        1 |        0
509.99/510.14	c  510s |      23 |  2815258 |  2776138 |      297  21687 |        1 |        0
512.00/512.15	c  512s |      23 |  2825548 |  2786338 |      297  21750 |        1 |        0
513.99/514.15	c  514s |      23 |  2836077 |  2796738 |      297  21814 |        1 |        0
516.00/516.17	c  516s |      23 |  2846817 |  2807338 |      297  21880 |        1 |        0
517.99/518.19	c  518s |      23 |  2857561 |  2817938 |      297  21946 |        1 |        0
520.09/520.20	c  520s |      23 |  2868275 |  2828538 |      297  22012 |        1 |        0
522.09/522.22	c  522s |      23 |  2879048 |  2839238 |      297  22080 |        1 |        0
524.09/524.23	c  524s |      23 |  2890013 |  2850138 |      297  22150 |        1 |        0
526.09/526.24	c  526s |      23 |  2900600 |  2860638 |      297  22214 |        1 |        0
528.10/528.25	c  528s |      23 |  2911442 |  2871338 |      297  22280 |        1 |        0
530.09/530.26	c  530s |      23 |  2922174 |  2881938 |      297  22346 |        1 |        0
532.09/532.27	c  532s |      23 |  2933264 |  2892938 |      297  22416 |        1 |        0
534.09/534.28	c  534s |      23 |  2944160 |  2903738 |      297  22484 |        1 |        0
536.09/536.29	c  536s |      23 |  2955005 |  2914438 |      297  22551 |        1 |        0
538.19/538.30	c  538s |      23 |  2966027 |  2925338 |      297  22619 |        1 |        0
540.19/540.30	c  540s |      23 |  2977148 |  2936338 |      297  22688 |        1 |        0
542.18/542.32	c  542s |      23 |  2988548 |  2947538 |      297  22759 |        1 |        0
544.18/544.33	c  544s |      23 |  3000063 |  2958938 |      297  22831 |        1 |        0
546.18/546.34	c  546s |      23 |  3011172 |  2969938 |      297  22901 |        1 |        0
548.18/548.36	c  548s |      23 |  3022214 |  2980838 |      297  22967 |        1 |        0
550.18/550.37	c  550s |      23 |  3033212 |  2991738 |      297  23035 |        1 |        0
552.19/552.39	c  552s |      23 |  3044401 |  3002738 |      297  23103 |        1 |        0
554.18/554.39	c  554s |      23 |  3055440 |  3013638 |      297  23171 |        1 |        0
556.28/556.41	c  556s |      23 |  3066262 |  3024338 |      297  23237 |        1 |        0
558.28/558.41	c  558s |      23 |  3077219 |  3035138 |      297  23305 |        1 |        0
560.28/560.42	c  560s |      23 |  3088049 |  3045738 |      297  23370 |        1 |        0
562.28/562.43	c  562s |      23 |  3099179 |  3056638 |      297  23439 |        1 |        0
564.28/564.44	c  564s |      23 |  3110706 |  3067938 |      297  23510 |        1 |        0
566.27/566.45	c  566s |      23 |  3122018 |  3079138 |      297  23579 |        1 |        0
568.27/568.47	c  568s |      23 |  3132830 |  3089838 |      297  23646 |        1 |        0
570.27/570.48	c  570s |      23 |  3143960 |  3100838 |      297  23715 |        1 |        0
572.27/572.48	c  572s |      23 |  3154851 |  3111638 |      297  23783 |        1 |        0
574.37/574.50	c  574s |      23 |  3166069 |  3122638 |      297  23852 |        1 |        0
576.38/576.52	c  576s |      23 |  3177030 |  3133438 |      297  23920 |        1 |        0
578.37/578.53	c  578s |      23 |  3187711 |  3144038 |      297  23984 |        1 |        0
580.37/580.53	c  580s |      23 |  3198191 |  3154438 |      297  24049 |        1 |        0
582.37/582.54	c  582s |      23 |  3209250 |  3165438 |      297  24118 |        1 |        0
584.37/584.55	c  584s |      23 |  3220223 |  3176338 |      297  24186 |        1 |        0
586.38/586.56	c  586s |      23 |  3230795 |  3186838 |      297  24251 |        1 |        0
588.38/588.57	c  588s |      23 |  3241378 |  3197338 |      297  24316 |        1 |        0
590.38/590.57	c  590s |      23 |  3251965 |  3207838 |      297  24381 |        1 |        0
592.37/592.58	c  592s |      23 |  3262572 |  3218338 |      297  24446 |        1 |        0
594.37/594.59	c  594s |      23 |  3273394 |  3229038 |      297  24514 |        1 |        0
596.47/596.60	c  596s |      23 |  3284249 |  3239738 |      297  24581 |        1 |        0
598.48/598.62	c  598s |      23 |  3295434 |  3250738 |      297  24651 |        1 |        0
600.47/600.62	c  600s |      23 |  3306610 |  3261738 |      297  24721 |        1 |        0
602.47/602.64	c  602s |      23 |  3317890 |  3272838 |      297  24791 |        1 |        0
604.47/604.64	c  604s |      23 |  3329205 |  3284038 |      297  24862 |        1 |        0
606.46/606.65	c  606s |      23 |  3340749 |  3295438 |      297  24936 |        1 |        0
608.46/608.65	c  608s |      23 |  3351714 |  3306338 |      297  25005 |        1 |        0
610.47/610.66	c  610s |      23 |  3362789 |  3317238 |      297  25074 |        1 |        0
612.46/612.67	c  612s |      23 |  3373889 |  3328238 |      297  25144 |        1 |        0
614.46/614.68	c  614s |      23 |  3385068 |  3339338 |      297  25214 |        1 |        0
616.46/616.68	c  616s |      23 |  3396249 |  3350438 |      297  25285 |        1 |        0
618.46/618.69	c  618s |      23 |  3407847 |  3361938 |      327  25353 |        1 |        0
620.47/620.69	c  620s |      23 |  3419196 |  3373138 |      327  25419 |        1 |        0
621.16/621.33	c  621s |      24 |  3422755 |  3376662 |      327  25440 |        1 |        0
623.16/623.34	c  623s |      24 |  3433362 |  3387062 |      327  25498 |        1 |        0
625.16/625.35	c  625s |      24 |  3443815 |  3397362 |      327  25556 |        1 |        0
627.16/627.36	c  627s |      24 |  3454338 |  3407662 |      327  25613 |        1 |        0
629.16/629.36	c  629s |      24 |  3465298 |  3418362 |      327  25674 |        1 |        0
631.15/631.38	c  631s |      24 |  3475423 |  3428362 |      327  25729 |        1 |        0
633.25/633.40	c  633s |      24 |  3485570 |  3438362 |      327  25785 |        1 |        0
635.25/635.41	c  635s |      24 |  3495934 |  3448562 |      327  25842 |        1 |        0
637.25/637.42	c  637s |      24 |  3506145 |  3458562 |      327  25898 |        1 |        0
639.25/639.43	c  639s |      24 |  3516712 |  3468962 |      327  25957 |        1 |        0
641.26/641.43	c  641s |      24 |  3527101 |  3479162 |      327  26015 |        1 |        0
643.25/643.45	c  643s |      24 |  3537254 |  3489162 |      327  26070 |        1 |        0
645.24/645.46	c  645s |      24 |  3547796 |  3499462 |      327  26129 |        1 |        0
647.24/647.47	c  647s |      24 |  3558263 |  3509762 |      327  26187 |        1 |        0
649.25/649.49	c  649s |      24 |  3568760 |  3520162 |      327  26247 |        1 |        0
651.35/651.50	c  651s |      24 |  3579692 |  3530962 |      327  26309 |        1 |        0
653.35/653.51	c  653s |      24 |  3592154 |  3543162 |      327  26375 |        1 |        0
655.35/655.52	c  655s |      24 |  3603848 |  3554662 |      327  26438 |        1 |        0
657.35/657.53	c  657s |      24 |  3615437 |  3566062 |      327  26501 |        1 |        0
659.35/659.54	c  659s |      24 |  3626502 |  3576962 |      327  26561 |        1 |        0
661.35/661.55	c  661s |      24 |  3638367 |  3588562 |      327  26626 |        1 |        0
663.35/663.55	c  663s |      24 |  3649808 |  3599762 |      327  26688 |        1 |        0
665.34/665.55	c  665s |      24 |  3661340 |  3611062 |      327  26751 |        1 |        0
667.34/667.57	c  667s |      24 |  3673000 |  3622562 |      327  26815 |        1 |        0
669.34/669.59	c  669s |      24 |  3685142 |  3634462 |      327  26881 |        1 |        0
671.44/671.60	c  671s |      24 |  3695733 |  3644862 |      327  26938 |        1 |        0
673.44/673.60	c  673s |      24 |  3706987 |  3655862 |      327  26999 |        1 |        0
675.44/675.62	c  675s |      24 |  3718056 |  3666762 |      327  27060 |        1 |        0
677.44/677.62	c  677s |      24 |  3729209 |  3677662 |      327  27121 |        1 |        0
679.44/679.63	c  679s |      24 |  3740933 |  3689162 |      327  27186 |        1 |        0
681.44/681.65	c  681s |      24 |  3752081 |  3700062 |      327  27247 |        1 |        0
683.43/683.67	c  683s |      24 |  3762894 |  3710662 |      327  27307 |        1 |        0
685.43/685.68	c  685s |      24 |  3774030 |  3721562 |      327  27368 |        1 |        0
687.44/687.69	c  687s |      24 |  3785116 |  3732462 |      327  27429 |        1 |        0
689.43/689.69	c  689s |      24 |  3796128 |  3743362 |      327  27490 |        1 |        0
691.53/691.71	c  691s |      24 |  3807449 |  3754562 |      327  27554 |        1 |        0
693.53/693.72	c  693s |      24 |  3818680 |  3765662 |      327  27617 |        1 |        0
695.53/695.73	c  695s |      24 |  3830106 |  3776962 |      327  27681 |        1 |        0
697.52/697.74	c  697s |      24 |  3840264 |  3786962 |      327  27737 |        1 |        0
699.53/699.76	c  699s |      24 |  3850741 |  3797262 |      327  27795 |        1 |        0
701.52/701.78	c  701s |      24 |  3861248 |  3807662 |      327  27853 |        1 |        0
703.52/703.78	c  703s |      24 |  3871399 |  3817662 |      327  27908 |        1 |        0
705.52/705.79	c  705s |      24 |  3881706 |  3827862 |      327  27965 |        1 |        0
707.52/707.80	c  707s |      24 |  3891936 |  3837962 |      327  28022 |        1 |        0
709.62/709.81	c  709s |      24 |  3902267 |  3848162 |      327  28079 |        1 |        0
711.62/711.81	c  711s |      24 |  3912727 |  3858462 |      327  28138 |        1 |        0
713.61/713.82	c  713s |      24 |  3922847 |  3868462 |      327  28193 |        1 |        0
715.61/715.83	c  715s |      24 |  3932976 |  3878462 |      327  28248 |        1 |        0
717.61/717.83	c  717s |      24 |  3943556 |  3888862 |      327  28307 |        1 |        0
719.61/719.84	c  719s |      24 |  3954012 |  3899162 |      327  28365 |        1 |        0
721.62/721.85	c  721s |      24 |  3964302 |  3909362 |      327  28422 |        1 |        0
723.61/723.87	c  723s |      24 |  3974615 |  3919562 |      327  28479 |        1 |        0
725.61/725.89	c  725s |      24 |  3984868 |  3929662 |      327  28536 |        1 |        0
727.71/727.90	c  727s |      24 |  3995314 |  3939962 |      327  28595 |        1 |        0
729.71/729.91	c  729s |      24 |  4005399 |  3949962 |      327  28651 |        1 |        0
731.71/731.92	c  731s |      24 |  4015714 |  3960162 |      327  28710 |        1 |        0
733.71/733.92	c  733s |      24 |  4025886 |  3970262 |      327  28767 |        1 |        0
735.71/735.93	c  735s |      24 |  4036339 |  3980662 |      327  28827 |        1 |        0
737.71/737.94	c  737s |      24 |  4046886 |  3991162 |      327  28887 |        1 |        0
739.71/739.96	c  739s |      24 |  4057490 |  4001662 |      327  28946 |        1 |        0
741.70/741.97	c  741s |      24 |  4067566 |  4011662 |      327  29002 |        1 |        0
743.70/743.98	c  743s |      24 |  4077846 |  4021862 |      327  29060 |        1 |        0
745.71/745.99	c  745s |      24 |  4087988 |  4031862 |      327  29116 |        1 |        0
747.80/748.00	c  747s |      24 |  4098593 |  4042262 |      327  29175 |        1 |        0
749.80/750.02	c  750s |      24 |  4109329 |  4052862 |      327  29235 |        1 |        0
751.80/752.03	c  752s |      24 |  4120092 |  4063462 |      327  29296 |        1 |        0
753.80/754.04	c  754s |      24 |  4130651 |  4073862 |      327  29354 |        1 |        0
755.80/756.05	c  756s |      24 |  4141490 |  4084562 |      327  29415 |        1 |        0
757.80/758.06	c  758s |      24 |  4152381 |  4095262 |      327  29477 |        1 |        0
759.80/760.07	c  760s |      24 |  4163567 |  4106262 |      327  29540 |        1 |        0
761.79/762.07	c  762s |      24 |  4173969 |  4116462 |      327  29598 |        1 |        0
763.79/764.08	c  764s |      24 |  4184523 |  4126862 |      327  29657 |        1 |        0
765.79/766.08	c  766s |      24 |  4195217 |  4137362 |      327  29717 |        1 |        0
767.80/768.09	c  768s |      24 |  4206387 |  4148362 |      327  29780 |        1 |        0
769.90/770.10	c  770s |      24 |  4217313 |  4159062 |      327  29840 |        1 |        0
771.89/772.12	c  772s |      24 |  4228260 |  4169862 |      327  29902 |        1 |        0
773.89/774.12	c  774s |      24 |  4239516 |  4180962 |      327  29966 |        1 |        0
775.89/776.14	c  776s |      24 |  4250681 |  4191962 |      327  30029 |        1 |        0
777.89/778.15	c  778s |      24 |  4261539 |  4202662 |      327  30091 |        1 |        0
779.89/780.16	c  780s |      24 |  4272660 |  4213662 |      327  30154 |        1 |        0
781.88/782.18	c  782s |      24 |  4284041 |  4224862 |      327  30219 |        1 |        0
783.88/784.19	c  784s |      24 |  4295797 |  4236462 |      327  30288 |        1 |        0
785.99/786.20	c  786s |      24 |  4306104 |  4246562 |      327  30345 |        1 |        0
787.99/788.21	c  788s |      24 |  4316405 |  4256762 |      327  30403 |        1 |        0
789.99/790.23	c  790s |      24 |  4326842 |  4267062 |      327  30462 |        1 |        0
791.99/792.23	c  792s |      24 |  4337812 |  4277862 |      327  30524 |        1 |        0
793.98/794.23	c  794s |      24 |  4349009 |  4288862 |      327  30585 |        1 |        0
795.98/796.25	c  796s |      24 |  4360281 |  4299962 |      327  30648 |        1 |        0
797.98/798.26	c  798s |      24 |  4371229 |  4310762 |      327  30709 |        1 |        0
799.98/800.27	c  800s |      24 |  4382485 |  4321862 |      327  30772 |        1 |        0
801.98/802.27	c  802s |      24 |  4393734 |  4332962 |      327  30836 |        1 |        0
803.99/804.27	c  804s |      24 |  4405195 |  4344262 |      327  30901 |        1 |        0
805.98/806.28	c  806s |      24 |  4416512 |  4355462 |      327  30964 |        1 |        0
807.98/808.28	c  808s |      24 |  4427830 |  4366662 |      327  31028 |        1 |        0
810.08/810.30	c  810s |      24 |  4439046 |  4377762 |      327  31092 |        1 |        0
812.07/812.30	c  812s |      24 |  4450188 |  4388762 |      327  31154 |        1 |        0
814.07/814.31	c  814s |      24 |  4461533 |  4399962 |      327  31219 |        1 |        0
816.08/816.31	c  816s |      24 |  4472974 |  4411262 |      327  31284 |        1 |        0
818.07/818.32	c  818s |      24 |  4484584 |  4422762 |      327  31350 |        1 |        0
820.07/820.33	c  820s |      24 |  4496261 |  4434262 |      327  31416 |        1 |        0
822.07/822.35	c  822s |      24 |  4507904 |  4445762 |      327  31482 |        1 |        0
824.07/824.36	c  824s |      24 |  4519966 |  4457662 |      327  31551 |        1 |        0
826.07/826.37	c  826s |      24 |  4532149 |  4469662 |      327  31620 |        1 |        0
828.06/828.39	c  828s |      24 |  4543896 |  4481262 |      327  31688 |        1 |        0
830.06/830.39	c  830s |      24 |  4555674 |  4492862 |      327  31753 |        1 |        0
832.16/832.40	c  832s |      24 |  4566947 |  4503962 |      327  31815 |        1 |        0
834.16/834.42	c  834s |      24 |  4578218 |  4515062 |      327  31878 |        1 |        0
836.16/836.43	c  836s |      24 |  4588796 |  4525562 |      327  31938 |        1 |        0
838.17/838.45	c  838s |      24 |  4599317 |  4535962 |      327  31996 |        1 |        0
840.16/840.45	c  840s |      24 |  4610197 |  4546662 |      327  32058 |        1 |        0
842.16/842.46	c  842s |      24 |  4621831 |  4558062 |      327  32124 |        1 |        0
844.16/844.47	c  844s |      24 |  4633348 |  4569462 |      327  32189 |        1 |        0
846.16/846.48	c  846s |      24 |  4644524 |  4580462 |      327  32253 |        1 |        0
848.26/848.50	c  848s |      24 |  4656030 |  4591762 |      327  32318 |        1 |        0
850.26/850.52	c  850s |      24 |  4667584 |  4603062 |      327  32383 |        1 |        0
852.25/852.54	c  852s |      24 |  4678748 |  4614062 |      327  32447 |        1 |        0
854.25/854.55	c  854s |      24 |  4689334 |  4624462 |      327  32506 |        1 |        0
856.25/856.55	c  856s |      24 |  4699921 |  4634862 |      327  32566 |        1 |        0
858.25/858.56	c  858s |      24 |  4710602 |  4645362 |      327  32626 |        1 |        0
860.25/860.57	c  860s |      24 |  4720817 |  4655462 |      327  32684 |        1 |        0
862.26/862.59	c  862s |      24 |  4731295 |  4665862 |      327  32743 |        1 |        0
864.35/864.60	c  864s |      24 |  4742040 |  4676462 |      327  32803 |        1 |        0
866.35/866.61	c  866s |      24 |  4753074 |  4687362 |      327  32866 |        1 |        0
868.35/868.63	c  868s |      24 |  4764140 |  4698262 |      327  32928 |        1 |        0
870.36/870.65	c  870s |      24 |  4775412 |  4709362 |      327  32991 |        1 |        0
872.36/872.66	c  872s |      24 |  4786976 |  4720762 |      327  33056 |        1 |        0
874.36/874.67	c  874s |      24 |  4798011 |  4731662 |      327  33118 |        1 |        0
876.36/876.68	c  876s |      24 |  4808538 |  4742062 |      327  33177 |        1 |        0
878.35/878.68	c  878s |      24 |  4819395 |  4752762 |      327  33238 |        1 |        0
880.45/880.70	c  880s |      24 |  4830151 |  4763362 |      327  33299 |        1 |        0
882.45/882.71	c  882s |      24 |  4841418 |  4774462 |      327  33363 |        1 |        0
884.45/884.72	c  884s |      24 |  4852071 |  4784962 |      327  33423 |        1 |        0
886.46/886.72	c  886s |      24 |  4862728 |  4795462 |      327  33483 |        1 |        0
888.45/888.73	c  888s |      24 |  4873616 |  4806162 |      327  33544 |        1 |        0
890.45/890.75	c  890s |      24 |  4884568 |  4816962 |      327  33606 |        1 |        0
892.45/892.76	c  892s |      24 |  4895506 |  4827762 |      327  33668 |        1 |        0
894.45/894.77	c  894s |      24 |  4906935 |  4838962 |      327  33733 |        1 |        0
896.45/896.79	c  896s |      24 |  4918445 |  4850262 |      327  33798 |        1 |        0
898.45/898.80	c  898s |      24 |  4929499 |  4861162 |      327  33860 |        1 |        0
900.55/900.81	c  900s |      24 |  4940398 |  4871962 |      327  33922 |        1 |        0
902.54/902.81	c  902s |      24 |  4951465 |  4882862 |      327  33985 |        1 |        0
904.54/904.82	c  904s |      24 |  4962383 |  4893662 |      327  34047 |        1 |        0
906.54/906.82	c  906s |      24 |  4972924 |  4904062 |      327  34107 |        1 |        0
908.55/908.82	c  908s |      24 |  4983882 |  4914862 |      327  34169 |        1 |        0
910.54/910.83	c  910s |      24 |  4994859 |  4925662 |      327  34232 |        1 |        0
912.54/912.83	c  912s |      24 |  5006254 |  4936862 |      327  34297 |        1 |        0
914.54/914.83	c  914s |      24 |  5017213 |  4947662 |      327  34360 |        1 |        0
916.54/916.84	c  916s |      24 |  5028546 |  4958862 |      327  34425 |        1 |        0
918.54/918.84	c  918s |      24 |  5039696 |  4969862 |      327  34489 |        1 |        0
920.54/920.85	c  920s |      24 |  5050072 |  4980162 |      327  34548 |        1 |        0
922.53/922.86	c  922s |      24 |  5060361 |  4990362 |      327  34607 |        1 |        0
924.53/924.88	c  924s |      24 |  5071153 |  5001062 |      327  34668 |        1 |        0
926.53/926.88	c  926s |      24 |  5082272 |  5012062 |      327  34731 |        1 |        0
928.53/928.88	c  928s |      24 |  5093968 |  5023562 |      327  34798 |        1 |        0
930.54/930.89	c  930s |      24 |  5105397 |  5034862 |      360  34859 |        1 |        0
932.53/932.89	c  932s |      24 |  5116295 |  5045662 |      360  34916 |        1 |        0
934.63/934.90	c  934s |      24 |  5127293 |  5056562 |      360  34973 |        1 |        0
936.13/936.48	c  936s |      25 |  5135942 |  5065098 |      360  35018 |        1 |        0
938.13/938.49	c  938s |      25 |  5146484 |  5075398 |      360  35070 |        1 |        0
940.23/940.50	c  940s |      25 |  5157206 |  5085998 |      360  35123 |        1 |        0
942.22/942.51	c  942s |      25 |  5168663 |  5097298 |      360  35182 |        1 |        0
944.22/944.51	c  944s |      25 |  5179606 |  5107998 |      360  35237 |        1 |        0
946.22/946.51	c  946s |      25 |  5189954 |  5118198 |      360  35289 |        1 |        0
948.22/948.51	c  948s |      25 |  5200763 |  5128798 |      360  35343 |        1 |        0
950.23/950.52	c  950s |      25 |  5211412 |  5139298 |      360  35398 |        1 |        0
952.22/952.54	c  952s |      25 |  5222496 |  5150198 |      360  35453 |        1 |        0
954.22/954.54	c  954s |      25 |  5233910 |  5161398 |      360  35511 |        1 |        0
956.22/956.56	c  956s |      25 |  5245503 |  5172798 |      360  35571 |        1 |        0
958.22/958.57	c  958s |      25 |  5256977 |  5184098 |      360  35629 |        1 |        0
960.22/960.57	c  960s |      25 |  5268116 |  5195098 |      360  35686 |        1 |        0
962.21/962.58	c  962s |      25 |  5279486 |  5206298 |      360  35745 |        1 |        0
964.21/964.59	c  964s |      25 |  5290735 |  5217398 |      360  35803 |        1 |        0
966.21/966.59	c  966s |      25 |  5302217 |  5228698 |      360  35862 |        1 |        0
968.31/968.60	c  968s |      25 |  5313736 |  5240098 |      360  35922 |        1 |        0
970.31/970.60	c  970s |      25 |  5325646 |  5251798 |      360  35984 |        1 |        0
972.31/972.61	c  972s |      25 |  5336657 |  5262698 |      360  36041 |        1 |        0
974.31/974.62	c  974s |      25 |  5346956 |  5272798 |      360  36093 |        1 |        0
976.31/976.62	c  976s |      25 |  5357346 |  5282998 |      360  36145 |        1 |        0
978.31/978.64	c  978s |      25 |  5367953 |  5293398 |      360  36199 |        1 |        0
980.31/980.65	c  980s |      25 |  5378387 |  5303598 |      360  36251 |        1 |        0
982.31/982.66	c  982s |      25 |  5389229 |  5314298 |      360  36307 |        1 |        0
984.31/984.68	c  984s |      25 |  5399462 |  5324398 |      360  36359 |        1 |        0
986.31/986.68	c  986s |      25 |  5410113 |  5334898 |      360  36413 |        1 |        0
988.41/988.70	c  988s |      25 |  5421056 |  5345698 |      360  36470 |        1 |        0
990.40/990.70	c  990s |      25 |  5431691 |  5356198 |      360  36524 |        1 |        0
992.40/992.70	c  992s |      25 |  5442509 |  5366898 |      360  36579 |        1 |        0
994.40/994.71	c  994s |      25 |  5452956 |  5377198 |      360  36632 |        1 |        0
996.41/996.72	c  996s |      25 |  5463393 |  5387498 |      360  36685 |        1 |        0
998.40/998.73	c  998s |      25 |  5474306 |  5398298 |      360  36741 |        1 |        0
1000.40/1000.73	c 1000s |      25 |  5485145 |  5408998 |      360  36797 |        1 |        0
1002.39/1002.75	c 1002s |      25 |  5496059 |  5419798 |      360  36853 |        1 |        0
1004.39/1004.75	c 1004s |      25 |  5507226 |  5430798 |      360  36911 |        1 |        0
1006.40/1006.77	c 1006s |      25 |  5518436 |  5441898 |      360  36970 |        1 |        0
1008.39/1008.77	c 1008s |      25 |  5529627 |  5452998 |      360  37028 |        1 |        0
1010.39/1010.78	c 1010s |      25 |  5541165 |  5464398 |      360  37088 |        1 |        0
1012.49/1012.80	c 1012s |      25 |  5552681 |  5475798 |      360  37148 |        1 |        0
1014.49/1014.81	c 1014s |      25 |  5564102 |  5487098 |      360  37208 |        1 |        0
1016.49/1016.83	c 1016s |      25 |  5576427 |  5499198 |      360  37270 |        1 |        0
1018.50/1018.83	c 1018s |      25 |  5588069 |  5510598 |      360  37328 |        1 |        0
1020.49/1020.84	c 1020s |      25 |  5599606 |  5521998 |      360  37385 |        1 |        0
1022.48/1022.85	c 1022s |      25 |  5611105 |  5533298 |      360  37443 |        1 |        0
1024.48/1024.86	c 1024s |      25 |  5622132 |  5544198 |      360  37499 |        1 |        0
1026.48/1026.87	c 1026s |      25 |  5633333 |  5555198 |      360  37555 |        1 |        0
1028.48/1028.87	c 1028s |      25 |  5644639 |  5566298 |      360  37612 |        1 |        0
1030.49/1030.88	c 1030s |      25 |  5655681 |  5577098 |      360  37668 |        1 |        0
1032.48/1032.88	c 1032s |      25 |  5666989 |  5588198 |      360  37725 |        1 |        0
1034.48/1034.89	c 1034s |      25 |  5678200 |  5599198 |      360  37781 |        1 |        0
1036.58/1036.90	c 1036s |      25 |  5689618 |  5610398 |      360  37839 |        1 |        0
1038.58/1038.91	c 1038s |      25 |  5701246 |  5621798 |      360  37898 |        1 |        0
1040.58/1040.92	c 1040s |      25 |  5712658 |  5633098 |      360  37958 |        1 |        0
1042.58/1042.92	c 1042s |      25 |  5723747 |  5643998 |      360  38013 |        1 |        0
1044.58/1044.93	c 1044s |      25 |  5735128 |  5655198 |      360  38071 |        1 |        0
1046.57/1046.94	c 1046s |      25 |  5745625 |  5665598 |      360  38124 |        1 |        0
1048.57/1048.95	c 1048s |      25 |  5756276 |  5676098 |      360  38178 |        1 |        0
1050.57/1050.96	c 1050s |      25 |  5766882 |  5686598 |      360  38232 |        1 |        0
1052.58/1052.97	c 1052s |      25 |  5777138 |  5696698 |      360  38284 |        1 |        0
1054.57/1054.98	c 1054s |      25 |  5787225 |  5706598 |      360  38334 |        1 |        0
1056.57/1056.99	c 1056s |      25 |  5797796 |  5716998 |      360  38388 |        1 |        0
1058.57/1058.99	c 1058s |      25 |  5808982 |  5728098 |      360  38445 |        1 |        0
1060.67/1061.00	c 1060s |      25 |  5819956 |  5738898 |      360  38502 |        1 |        0
1062.67/1063.00	c 1062s |      25 |  5831062 |  5749898 |      360  38559 |        1 |        0
1064.68/1065.02	c 1065s |      25 |  5842702 |  5761398 |      360  38620 |        1 |        0
1066.67/1067.02	c 1067s |      25 |  5853266 |  5771798 |      360  38674 |        1 |        0
1068.68/1069.04	c 1069s |      25 |  5864022 |  5782498 |      360  38729 |        1 |        0
1070.68/1071.04	c 1071s |      25 |  5874834 |  5793198 |      360  38785 |        1 |        0
1072.68/1073.06	c 1073s |      25 |  5885727 |  5803998 |      360  38841 |        1 |        0
1074.68/1075.07	c 1075s |      25 |  5896576 |  5814698 |      360  38897 |        1 |        0
1076.69/1077.08	c 1077s |      25 |  5907348 |  5825398 |      360  38953 |        1 |        0
1078.68/1079.09	c 1079s |      25 |  5917827 |  5835698 |      360  39007 |        1 |        0
1080.78/1081.10	c 1081s |      25 |  5928598 |  5846298 |      360  39062 |        1 |        0
1082.78/1083.11	c 1083s |      25 |  5939848 |  5857298 |      360  39119 |        1 |        0
1084.78/1085.12	c 1085s |      25 |  5950321 |  5867598 |      360  39173 |        1 |        0
1086.78/1087.13	c 1087s |      25 |  5961287 |  5878398 |      360  39230 |        1 |        0
1088.78/1089.14	c 1089s |      25 |  5972716 |  5889598 |      360  39290 |        1 |        0
1090.78/1091.16	c 1091s |      25 |  5984074 |  5900798 |      360  39349 |        1 |        0
1092.78/1093.16	c 1093s |      25 |  5996008 |  5912498 |      360  39409 |        1 |        0
1094.78/1095.16	c 1095s |      25 |  6007497 |  5923798 |      360  39467 |        1 |        0
1096.78/1097.16	c 1097s |      25 |  6018627 |  5934698 |      360  39522 |        1 |        0
1098.78/1099.17	c 1099s |      25 |  6029833 |  5945698 |      360  39579 |        1 |        0
1100.77/1101.18	c 1101s |      25 |  6040828 |  5956498 |      360  39635 |        1 |        0
1102.77/1103.20	c 1103s |      25 |  6052244 |  5967698 |      360  39693 |        1 |        0
1104.87/1105.21	c 1105s |      25 |  6063110 |  5978398 |      360  39748 |        1 |        0
1106.87/1107.22	c 1107s |      25 |  6074175 |  5989298 |      360  39805 |        1 |        0
1108.87/1109.23	c 1109s |      25 |  6085035 |  5999998 |      360  39860 |        1 |        0
1110.88/1111.24	c 1111s |      25 |  6096316 |  6011098 |      360  39917 |        1 |        0
1112.87/1113.25	c 1113s |      25 |  6107565 |  6022198 |      360  39975 |        1 |        0
1114.87/1115.27	c 1115s |      25 |  6118870 |  6033398 |      360  40033 |        1 |        0
1116.87/1117.27	c 1117s |      25 |  6129783 |  6044198 |      360  40089 |        1 |        0
1118.87/1119.29	c 1119s |      25 |  6141026 |  6055298 |      360  40147 |        1 |        0
1120.97/1121.31	c 1121s |      25 |  6151915 |  6066098 |      360  40202 |        1 |        0
1122.98/1123.32	c 1123s |      25 |  6162516 |  6076598 |      360  40257 |        1 |        0
1124.97/1125.33	c 1125s |      25 |  6173773 |  6087698 |      360  40315 |        1 |        0
1126.97/1127.34	c 1127s |      25 |  6184755 |  6098498 |      360  40372 |        1 |        0
1128.97/1129.36	c 1129s |      25 |  6196084 |  6109698 |      360  40430 |        1 |        0
1130.97/1131.38	c 1131s |      25 |  6207530 |  6120998 |      360  40489 |        1 |        0
1133.06/1133.40	c 1133s |      25 |  6218898 |  6132198 |      360  40548 |        1 |        0
1135.07/1135.42	c 1135s |      25 |  6230065 |  6143198 |      360  40605 |        1 |        0
1137.06/1137.42	c 1137s |      25 |  6240995 |  6153998 |      360  40660 |        1 |        0
1139.06/1139.42	c 1139s |      25 |  6251633 |  6164498 |      360  40715 |        1 |        0
1141.06/1141.43	c 1141s |      25 |  6262238 |  6174998 |      360  40769 |        1 |        0
1143.06/1143.44	c 1143s |      25 |  6273089 |  6185698 |      360  40824 |        1 |        0
1145.06/1145.46	c 1145s |      25 |  6284126 |  6196598 |      360  40881 |        1 |        0
1147.07/1147.46	c 1147s |      25 |  6295380 |  6207698 |      360  40939 |        1 |        0
1149.06/1149.47	c 1149s |      25 |  6306638 |  6218798 |      360  40996 |        1 |        0
1151.06/1151.49	c 1151s |      25 |  6317676 |  6229698 |      360  41053 |        1 |        0
1153.06/1153.50	c 1153s |      25 |  6329107 |  6240998 |      360  41112 |        1 |        0
1155.16/1155.50	c 1155s |      25 |  6340151 |  6251898 |      360  41169 |        1 |        0
1157.16/1157.51	c 1157s |      25 |  6351491 |  6263098 |      360  41228 |        1 |        0
1159.17/1159.52	c 1159s |      25 |  6362720 |  6274198 |      360  41285 |        1 |        0
1161.16/1161.54	c 1161s |      25 |  6374119 |  6285498 |      360  41344 |        1 |        0
1163.16/1163.55	c 1163s |      25 |  6384717 |  6295998 |      360  41398 |        1 |        0
1165.16/1165.56	c 1165s |      25 |  6395333 |  6306498 |      360  41453 |        1 |        0
1167.16/1167.57	c 1167s |      25 |  6406052 |  6317098 |      360  41508 |        1 |        0
1169.16/1169.58	c 1169s |      25 |  6416948 |  6327898 |      360  41565 |        1 |        0
1171.16/1171.59	c 1171s |      25 |  6427030 |  6337898 |      360  41617 |        1 |        0
1173.26/1173.61	c 1173s |      25 |  6437420 |  6348198 |      360  41671 |        1 |        0
1175.26/1175.62	c 1175s |      25 |  6447913 |  6358598 |      360  41726 |        1 |        0
1177.26/1177.62	c 1177s |      25 |  6458834 |  6369398 |      360  41783 |        1 |        0
1179.26/1179.64	c 1179s |      25 |  6469770 |  6380198 |      360  41839 |        1 |        0
1181.27/1181.65	c 1181s |      25 |  6480636 |  6390998 |      360  41896 |        1 |        0
1183.26/1183.65	c 1183s |      25 |  6491556 |  6401798 |      360  41952 |        1 |        0
1185.26/1185.66	c 1185s |      25 |  6502670 |  6412798 |      360  42010 |        1 |        0
1187.26/1187.67	c 1187s |      25 |  6513728 |  6423698 |      360  42068 |        1 |        0
1189.26/1189.67	c 1189s |      25 |  6524540 |  6434398 |      360  42124 |        1 |        0
1191.26/1191.69	c 1191s |      25 |  6535773 |  6445498 |      360  42182 |        1 |        0
1193.27/1193.69	c 1193s |      25 |  6546561 |  6456198 |      360  42239 |        1 |        0
1195.36/1195.71	c 1195s |      25 |  6557730 |  6467298 |      360  42297 |        1 |        0
1197.36/1197.71	c 1197s |      25 |  6568531 |  6477998 |      360  42354 |        1 |        0
1199.36/1199.71	c 1199s |      25 |  6579355 |  6488698 |      360  42411 |        1 |        0
1201.36/1201.72	c 1201s |      25 |  6589954 |  6499198 |      360  42466 |        1 |        0
1203.36/1203.73	c 1203s |      25 |  6600558 |  6509698 |      360  42522 |        1 |        0
1205.36/1205.74	c 1205s |      25 |  6611149 |  6520098 |      360  42576 |        1 |        0
1207.36/1207.76	c 1207s |      25 |  6621396 |  6530198 |      360  42628 |        1 |        0
1209.36/1209.77	c 1209s |      25 |  6631978 |  6540598 |      360  42682 |        1 |        0
1211.36/1211.78	c 1211s |      25 |  6642627 |  6551098 |      360  42737 |        1 |        0
1213.36/1213.78	c 1213s |      25 |  6653629 |  6561898 |      360  42793 |        1 |        0
1215.36/1215.79	c 1215s |      25 |  6664642 |  6572798 |      360  42850 |        1 |        0
1217.36/1217.80	c 1217s |      25 |  6675807 |  6583898 |      360  42908 |        1 |        0
1219.45/1219.80	c 1219s |      25 |  6687168 |  6595098 |      360  42967 |        1 |        0
1221.45/1221.82	c 1221s |      25 |  6697905 |  6605698 |      360  43023 |        1 |        0
1223.45/1223.83	c 1223s |      25 |  6708903 |  6616598 |      360  43079 |        1 |        0
1225.45/1225.84	c 1225s |      25 |  6719690 |  6627298 |      360  43135 |        1 |        0
1227.46/1227.84	c 1227s |      25 |  6730791 |  6638298 |      360  43193 |        1 |        0
1229.45/1229.85	c 1229s |      25 |  6741458 |  6648898 |      360  43248 |        1 |        0
1231.45/1231.85	c 1231s |      25 |  6751853 |  6659198 |      360  43302 |        1 |        0
1233.45/1233.87	c 1233s |      25 |  6762640 |  6669798 |      360  43357 |        1 |        0
1235.45/1235.87	c 1235s |      25 |  6773419 |  6680398 |      360  43413 |        1 |        0
1237.45/1237.89	c 1237s |      25 |  6784842 |  6691598 |      360  43472 |        1 |        0
1239.56/1239.91	c 1239s |      25 |  6796391 |  6702998 |      360  43532 |        1 |        0
1241.55/1241.92	c 1241s |      25 |  6807193 |  6713698 |      360  43588 |        1 |        0
1243.55/1243.93	c 1243s |      25 |  6818034 |  6724398 |      360  43644 |        1 |        0
1245.55/1245.94	c 1245s |      25 |  6829182 |  6735398 |      360  43702 |        1 |        0
1247.55/1247.95	c 1247s |      25 |  6840381 |  6746398 |      360  43761 |        1 |        0
1249.55/1249.95	c 1249s |      25 |  6851430 |  6757298 |      360  43819 |        1 |        0
1251.56/1251.97	c 1251s |      25 |  6863073 |  6768798 |      360  43880 |        1 |        0
1253.55/1253.98	c 1253s |      25 |  6874638 |  6780198 |      360  43941 |        1 |        0
1255.65/1256.00	c 1255s |      25 |  6885703 |  6791098 |      360  43999 |        1 |        0
1257.65/1258.01	c 1257s |      25 |  6896532 |  6801798 |      360  44054 |        1 |        0
1259.65/1260.01	c 1259s |      25 |  6907199 |  6812298 |      360  44109 |        1 |        0
1261.65/1262.02	c 1262s |      25 |  6918159 |  6823098 |      360  44165 |        1 |        0
1263.65/1264.04	c 1264s |      25 |  6928875 |  6833698 |      360  44220 |        1 |        0
1265.65/1266.05	c 1266s |      25 |  6939908 |  6844598 |      360  44276 |        1 |        0
1267.65/1268.06	c 1268s |      25 |  6950836 |  6855398 |      360  44332 |        1 |        0
1269.64/1270.08	c 1270s |      25 |  6962349 |  6866698 |      360  44391 |        1 |        0
1271.64/1272.08	c 1272s |      25 |  6973322 |  6877598 |      360  44449 |        1 |        0
1273.65/1274.09	c 1274s |      25 |  6984903 |  6888998 |      360  44509 |        1 |        0
1275.64/1276.09	c 1276s |      25 |  6996281 |  6900198 |      360  44568 |        1 |        0
1277.74/1278.10	c 1278s |      25 |  7007419 |  6911198 |      360  44626 |        1 |        0
1279.74/1280.12	c 1280s |      25 |  7018545 |  6922198 |      360  44684 |        1 |        0
1281.74/1282.12	c 1282s |      25 |  7029626 |  6933098 |      360  44741 |        1 |        0
1283.74/1284.13	c 1284s |      25 |  7041052 |  6944398 |      360  44801 |        1 |        0
1285.75/1286.13	c 1286s |      25 |  7052183 |  6955398 |      360  44860 |        1 |        0
1287.74/1288.14	c 1288s |      25 |  7063332 |  6966398 |      360  44918 |        1 |        0
1289.74/1290.16	c 1290s |      25 |  7074442 |  6977398 |      360  44977 |        1 |        0
1291.74/1292.17	c 1292s |      25 |  7085623 |  6988498 |      360  45036 |        1 |        0
1293.74/1294.18	c 1294s |      25 |  7096950 |  6999698 |      360  45095 |        1 |        0
1295.74/1296.19	c 1296s |      25 |  7108485 |  7011098 |      360  45156 |        1 |        0
1297.74/1298.20	c 1298s |      25 |  7119914 |  7022398 |      360  45217 |        1 |        0
1299.84/1300.21	c 1300s |      25 |  7131755 |  7034098 |      360  45279 |        1 |        0
1301.84/1302.23	c 1302s |      25 |  7142585 |  7044798 |      360  45336 |        1 |        0
1303.84/1304.23	c 1304s |      25 |  7153020 |  7055098 |      360  45389 |        1 |        0
1305.84/1306.24	c 1306s |      25 |  7163753 |  7065698 |      360  45444 |        1 |        0
1307.84/1308.25	c 1308s |      25 |  7174069 |  7075898 |      360  45497 |        1 |        0
1309.85/1310.25	c 1310s |      25 |  7184206 |  7085898 |      360  45549 |        1 |        0
1311.84/1312.26	c 1312s |      25 |  7194777 |  7096298 |      360  45603 |        1 |        0
1313.84/1314.28	c 1314s |      25 |  7205347 |  7106698 |      360  45658 |        1 |        0
1315.84/1316.28	c 1316s |      25 |  7216217 |  7117398 |      360  45714 |        1 |        0
1317.84/1318.29	c 1318s |      25 |  7226888 |  7127898 |      360  45769 |        1 |        0
1319.94/1320.30	c 1320s |      25 |  7237575 |  7138398 |      360  45824 |        1 |        0
1321.95/1322.31	c 1322s |      25 |  7247905 |  7148598 |      360  45876 |        1 |        0
1323.94/1324.32	c 1324s |      25 |  7258252 |  7158798 |      360  45928 |        1 |        0
1325.94/1326.33	c 1326s |      25 |  7268075 |  7168498 |      360  45977 |        1 |        0
1327.94/1328.33	c 1328s |      25 |  7278172 |  7178398 |      360  46028 |        1 |        0
1329.94/1330.34	c 1330s |      25 |  7288037 |  7188098 |      360  46078 |        1 |        0
1331.94/1332.35	c 1332s |      25 |  7298157 |  7198098 |      360  46129 |        1 |        0
1333.94/1334.36	c 1334s |      25 |  7308546 |  7208298 |      360  46181 |        1 |        0
1335.94/1336.37	c 1336s |      25 |  7318917 |  7218498 |      360  46234 |        1 |        0
1337.94/1338.38	c 1338s |      25 |  7329552 |  7228998 |      360  46289 |        1 |        0
1340.04/1340.40	c 1340s |      25 |  7339986 |  7239298 |      360  46342 |        1 |        0
1342.04/1342.40	c 1342s |      25 |  7350638 |  7249798 |      360  46397 |        1 |        0
1344.04/1344.41	c 1344s |      25 |  7361944 |  7260898 |      360  46454 |        1 |        0
1346.03/1346.42	c 1346s |      25 |  7373512 |  7272298 |      360  46513 |        1 |        0
1348.03/1348.42	c 1348s |      25 |  7384904 |  7283498 |      360  46570 |        1 |        0
1350.03/1350.43	c 1350s |      25 |  7395878 |  7294298 |      360  46626 |        1 |        0
1352.03/1352.43	c 1352s |      25 |  7406407 |  7304698 |      360  46679 |        1 |        0
1354.03/1354.44	c 1354s |      25 |  7417470 |  7315598 |      360  46736 |        1 |        0
1356.04/1356.44	c 1356s |      25 |  7428766 |  7326698 |      360  46794 |        1 |        0
1358.03/1358.45	c 1358s |      25 |  7440138 |  7337898 |      360  46853 |        1 |        0
1360.03/1360.45	c 1360s |      25 |  7451641 |  7349298 |      360  46914 |        1 |        0
1362.03/1362.47	c 1362s |      25 |  7462744 |  7360198 |      360  46971 |        1 |        0
1364.03/1364.48	c 1364s |      25 |  7473436 |  7370698 |      360  47025 |        1 |        0
1366.13/1366.50	c 1366s |      25 |  7484031 |  7381098 |      360  47079 |        1 |        0
1368.03/1368.50	c 1368s |      25 |  7494292 |  7391198 |      360  47130 |        1 |        0
1370.13/1370.50	c 1370s |      25 |  7504753 |  7401498 |      360  47183 |        1 |        0
1372.13/1372.52	c 1372s |      25 |  7515541 |  7412098 |      360  47238 |        1 |        0
1374.13/1374.54	c 1374s |      25 |  7526684 |  7423098 |      360  47296 |        1 |        0
1376.13/1376.55	c 1376s |      25 |  7537613 |  7433898 |      360  47352 |        1 |        0
1378.13/1378.57	c 1378s |      25 |  7548399 |  7444498 |      360  47408 |        1 |        0
1380.13/1380.58	c 1380s |      25 |  7558993 |  7454898 |      360  47462 |        1 |        0
1382.13/1382.58	c 1382s |      25 |  7569874 |  7465598 |      360  47517 |        1 |        0
1384.13/1384.59	c 1384s |      25 |  7580618 |  7476198 |      360  47573 |        1 |        0
1386.23/1386.60	c 1386s |      25 |  7591824 |  7487198 |      360  47630 |        1 |        0
1388.22/1388.61	c 1388s |      25 |  7603123 |  7498298 |      360  47689 |        1 |        0
1390.23/1390.61	c 1390s |      25 |  7614610 |  7509598 |      360  47749 |        1 |        0
1392.22/1392.63	c 1392s |      25 |  7626231 |  7521098 |      360  47809 |        1 |        0
1394.22/1394.64	c 1394s |      25 |  7637697 |  7532398 |      360  47869 |        1 |        0
1396.22/1396.65	c 1396s |      25 |  7649011 |  7543598 |      397  47929 |        1 |        0
1398.22/1398.67	c 1398s |      25 |  7660142 |  7554598 |      397  47983 |        1 |        0
1400.23/1400.68	c 1400s |      25 |  7671201 |  7565498 |      397  48035 |        1 |        0
1402.24/1402.70	c 1402s |      25 |  7682374 |  7576498 |      397  48089 |        1 |        0
1404.33/1404.71	c 1404s |      25 |  7693129 |  7587098 |      397  48139 |        1 |        0
1406.33/1406.71	c 1406s |      26 |  7703970 |  7597752 |      397  48189 |        1 |        0
1408.33/1408.73	c 1408s |      26 |  7713569 |  7607052 |      397  48232 |        1 |        0
1410.33/1410.75	c 1410s |      26 |  7723557 |  7616852 |      397  48278 |        1 |        0
1412.33/1412.76	c 1412s |      26 |  7734075 |  7627252 |      397  48326 |        1 |        0
1414.33/1414.78	c 1414s |      26 |  7744434 |  7637452 |      397  48374 |        1 |        0
1416.33/1416.78	c 1416s |      26 |  7755004 |  7647852 |      397  48423 |        1 |        0
1418.33/1418.79	c 1418s |      26 |  7765076 |  7657752 |      397  48469 |        1 |        0
1420.43/1420.80	c 1420s |      26 |  7775536 |  7668052 |      397  48517 |        1 |        0
1422.43/1422.81	c 1422s |      26 |  7786436 |  7678752 |      397  48568 |        1 |        0
1424.43/1424.83	c 1424s |      26 |  7797225 |  7689452 |      397  48619 |        1 |        0
1426.43/1426.84	c 1426s |      26 |  7808066 |  7700152 |      397  48669 |        1 |        0
1428.42/1428.84	c 1428s |      26 |  7818171 |  7710052 |      397  48716 |        1 |        0
1430.42/1430.85	c 1430s |      26 |  7828521 |  7720252 |      397  48764 |        1 |        0
1432.42/1432.86	c 1432s |      26 |  7839186 |  7730752 |      397  48814 |        1 |        0
1434.42/1434.88	c 1434s |      26 |  7850336 |  7741752 |      397  48866 |        1 |        0
1436.52/1436.90	c 1436s |      26 |  7861622 |  7752852 |      397  48919 |        1 |        0
1438.42/1438.90	c 1438s |      26 |  7872331 |  7763452 |      397  48969 |        1 |        0
1440.52/1440.92	c 1440s |      26 |  7883416 |  7774352 |      397  49021 |        1 |        0
1442.52/1442.92	c 1442s |      26 |  7894259 |  7785052 |      397  49072 |        1 |        0
1444.52/1444.93	c 1444s |      26 |  7904946 |  7795552 |      397  49123 |        1 |        0
1446.52/1446.94	c 1446s |      26 |  7915485 |  7805952 |      397  49173 |        1 |        0
1448.53/1448.96	c 1448s |      26 |  7927082 |  7817352 |      397  49227 |        1 |        0
1450.52/1450.97	c 1450s |      26 |  7938538 |  7828652 |      397  49282 |        1 |        0
1452.52/1452.98	c 1452s |      26 |  7949887 |  7839852 |      397  49336 |        1 |        0
1454.52/1454.99	c 1454s |      26 |  7961140 |  7850952 |      397  49389 |        1 |        0
1456.62/1457.01	c 1456s |      26 |  7972147 |  7861852 |      397  49442 |        1 |        0
1458.62/1459.01	c 1458s |      26 |  7983260 |  7872852 |      397  49496 |        1 |        0
1460.63/1461.02	c 1461s |      26 |  7994206 |  7883652 |      397  49548 |        1 |        0
1462.62/1463.04	c 1463s |      26 |  8004824 |  7894052 |      397  49596 |        1 |        0
1464.62/1465.04	c 1465s |      26 |  8015661 |  7904652 |      397  49646 |        1 |        0
1466.62/1467.05	c 1467s |      26 |  8026482 |  7915252 |      397  49696 |        1 |        0
1468.62/1469.05	c 1469s |      26 |  8037345 |  7925952 |      397  49747 |        1 |        0
1470.62/1471.07	c 1471s |      26 |  8048525 |  7936952 |      397  49800 |        1 |        0
1472.62/1473.08	c 1473s |      26 |  8058645 |  7946952 |      397  49847 |        1 |        0
1474.71/1475.10	c 1475s |      26 |  8068736 |  7956852 |      397  49893 |        1 |        0
1476.71/1477.10	c 1477s |      26 |  8078690 |  7966652 |      397  49939 |        1 |        0
1478.71/1479.11	c 1479s |      26 |  8089071 |  7976852 |      397  49987 |        1 |        0
1480.71/1481.12	c 1481s |      26 |  8099128 |  7986752 |      397  50033 |        1 |        0
1482.71/1483.13	c 1483s |      26 |  8109612 |  7997052 |      397  50082 |        1 |        0
1484.72/1485.14	c 1485s |      26 |  8120060 |  8007352 |      397  50131 |        1 |        0
1486.71/1487.16	c 1487s |      26 |  8129916 |  8017052 |      397  50176 |        1 |        0
1488.71/1489.16	c 1489s |      26 |  8140112 |  8027152 |      397  50223 |        1 |        0
1490.71/1491.17	c 1491s |      26 |  8150403 |  8037352 |      397  50272 |        1 |        0
1492.71/1493.19	c 1493s |      26 |  8161051 |  8047852 |      397  50321 |        1 |        0
1494.72/1495.20	c 1495s |      26 |  8171316 |  8057952 |      397  50369 |        1 |        0
1496.71/1497.20	c 1497s |      26 |  8181338 |  8067852 |      397  50416 |        1 |        0
1498.81/1499.20	c 1499s |      26 |  8191570 |  8077952 |      397  50464 |        1 |        0
1500.81/1501.22	c 1501s |      26 |  8201885 |  8088152 |      397  50512 |        1 |        0
1502.81/1503.23	c 1503s |      26 |  8212550 |  8098652 |      397  50563 |        1 |        0
1504.81/1505.25	c 1505s |      26 |  8223278 |  8109152 |      397  50612 |        1 |        0
1506.81/1507.26	c 1507s |      26 |  8234104 |  8119852 |      397  50663 |        1 |        0
1508.81/1509.26	c 1509s |      26 |  8244573 |  8130152 |      397  50712 |        1 |        0
1510.81/1511.28	c 1511s |      26 |  8255232 |  8140652 |      397  50763 |        1 |        0
1512.80/1513.28	c 1513s |      26 |  8266031 |  8151252 |      397  50813 |        1 |        0
1514.80/1515.29	c 1515s |      26 |  8276983 |  8162052 |      397  50865 |        1 |        0
1516.90/1517.30	c 1517s |      26 |  8288158 |  8173052 |      397  50919 |        1 |        0
1518.91/1519.31	c 1519s |      26 |  8298315 |  8183052 |      397  50966 |        1 |        0
1520.90/1521.32	c 1521s |      26 |  8308479 |  8193052 |      397  51013 |        1 |        0
1522.90/1523.33	c 1523s |      26 |  8318578 |  8203052 |      397  51060 |        1 |        0
1524.90/1525.33	c 1525s |      26 |  8328783 |  8213152 |      397  51108 |        1 |        0
1526.91/1527.35	c 1527s |      26 |  8339176 |  8223352 |      397  51156 |        1 |        0
1528.91/1529.37	c 1529s |      26 |  8349608 |  8233652 |      397  51204 |        1 |        0
1530.92/1531.38	c 1531s |      26 |  8359876 |  8243752 |      397  51251 |        1 |        0
1532.91/1533.40	c 1533s |      26 |  8370152 |  8253852 |      397  51299 |        1 |        0
1535.01/1535.40	c 1535s |      26 |  8380092 |  8263652 |      397  51345 |        1 |        0
1537.01/1537.42	c 1537s |      26 |  8390337 |  8273752 |      397  51393 |        1 |        0
1539.01/1539.43	c 1539s |      26 |  8400626 |  8283852 |      397  51441 |        1 |        0
1541.01/1541.43	c 1541s |      26 |  8411214 |  8294252 |      397  51490 |        1 |        0
1543.01/1543.44	c 1543s |      26 |  8422347 |  8305152 |      397  51542 |        1 |        0
1545.01/1545.44	c 1545s |      26 |  8433651 |  8316352 |      397  51595 |        1 |        0
1547.01/1547.44	c 1547s |      26 |  8444467 |  8327052 |      397  51646 |        1 |        0
1549.01/1549.45	c 1549s |      26 |  8455588 |  8338052 |      397  51699 |        1 |        0
1551.01/1551.46	c 1551s |      26 |  8466306 |  8348652 |      397  51750 |        1 |        0
1553.01/1553.47	c 1553s |      26 |  8477180 |  8359352 |      397  51801 |        1 |        0
1555.00/1555.47	c 1555s |      26 |  8488211 |  8370252 |      397  51854 |        1 |        0
1557.00/1557.47	c 1557s |      26 |  8499451 |  8381352 |      397  51907 |        1 |        0
1559.00/1559.48	c 1559s |      26 |  8510844 |  8392552 |      397  51961 |        1 |        0
1561.00/1561.49	c 1561s |      26 |  8522062 |  8403652 |      397  52015 |        1 |        0
1563.10/1563.51	c 1563s |      26 |  8533147 |  8414652 |      397  52069 |        1 |        0
1565.11/1565.51	c 1565s |      26 |  8543078 |  8424452 |      397  52115 |        1 |        0
1567.10/1567.53	c 1567s |      26 |  8553954 |  8435152 |      397  52166 |        1 |        0
1569.10/1569.53	c 1569s |      26 |  8564777 |  8445852 |      397  52217 |        1 |        0
1571.10/1571.54	c 1571s |      26 |  8575316 |  8456252 |      397  52266 |        1 |        0
1573.10/1573.55	c 1573s |      26 |  8586055 |  8466852 |      397  52317 |        1 |        0
1575.10/1575.56	c 1575s |      26 |  8596826 |  8477452 |      397  52368 |        1 |        0
1577.11/1577.58	c 1577s |      26 |  8607679 |  8488152 |      397  52419 |        1 |        0
1579.10/1579.58	c 1579s |      26 |  8618627 |  8498952 |      397  52471 |        1 |        0
1581.10/1581.59	c 1581s |      26 |  8629573 |  8509752 |      397  52523 |        1 |        0
1583.20/1583.61	c 1583s |      26 |  8640820 |  8520852 |      397  52577 |        1 |        0
1585.20/1585.62	c 1585s |      26 |  8651742 |  8531652 |      397  52629 |        1 |        0
1587.20/1587.63	c 1587s |      26 |  8662468 |  8542252 |      397  52680 |        1 |        0
1589.20/1589.64	c 1589s |      26 |  8673591 |  8553252 |      397  52734 |        1 |        0
1591.20/1591.65	c 1591s |      26 |  8684631 |  8564152 |      397  52787 |        1 |        0
1593.20/1593.67	c 1593s |      26 |  8695642 |  8575052 |      397  52838 |        1 |        0
1595.20/1595.67	c 1595s |      26 |  8705783 |  8585052 |      397  52886 |        1 |        0
1597.19/1597.68	c 1597s |      26 |  8716472 |  8595552 |      397  52936 |        1 |        0
1599.20/1599.69	c 1599s |      26 |  8727085 |  8605952 |      397  52986 |        1 |        0
1601.19/1601.69	c 1601s |      26 |  8737798 |  8616552 |      397  53036 |        1 |        0
1603.29/1603.71	c 1603s |      26 |  8749026 |  8627652 |      397  53090 |        1 |        0
1605.29/1605.72	c 1605s |      26 |  8759879 |  8638352 |      397  53141 |        1 |        0
1607.29/1607.73	c 1607s |      26 |  8770366 |  8648652 |      397  53190 |        1 |        0
1609.29/1609.73	c 1609s |      26 |  8780646 |  8658752 |      397  53238 |        1 |        0
1611.30/1611.75	c 1611s |      26 |  8791464 |  8669452 |      397  53290 |        1 |        0
1613.29/1613.76	c 1613s |      26 |  8802018 |  8679852 |      397  53340 |        1 |        0
1615.29/1615.77	c 1615s |      26 |  8812978 |  8690652 |      397  53392 |        1 |        0
1617.29/1617.78	c 1617s |      26 |  8824027 |  8701552 |      397  53445 |        1 |        0
1619.29/1619.78	c 1619s |      26 |  8835214 |  8712552 |      397  53498 |        1 |        0
1621.29/1621.78	c 1621s |      26 |  8846428 |  8723652 |      397  53553 |        1 |        0
1623.30/1623.80	c 1623s |      26 |  8857462 |  8734552 |      397  53606 |        1 |        0
1625.39/1625.80	c 1625s |      26 |  8868947 |  8745852 |      397  53661 |        1 |        0
1627.39/1627.82	c 1627s |      26 |  8880311 |  8757052 |      397  53716 |        1 |        0
1629.39/1629.83	c 1629s |      26 |  8891395 |  8767952 |      397  53769 |        1 |        0
1631.39/1631.83	c 1631s |      26 |  8901909 |  8778352 |      397  53820 |        1 |        0
1633.39/1633.83	c 1633s |      26 |  8912480 |  8788752 |      397  53871 |        1 |        0
1635.39/1635.83	c 1635s |      26 |  8922824 |  8798952 |      397  53920 |        1 |        0
1637.39/1637.85	c 1637s |      26 |  8932830 |  8808752 |      397  53965 |        1 |        0
1639.39/1639.86	c 1639s |      26 |  8942863 |  8818552 |      397  54011 |        1 |        0
1641.39/1641.88	c 1641s |      26 |  8953064 |  8828552 |      397  54059 |        1 |        0
1643.39/1643.89	c 1643s |      26 |  8962922 |  8838252 |      397  54104 |        1 |        0
1645.48/1645.91	c 1645s |      26 |  8973244 |  8848452 |      397  54152 |        1 |        0
1647.49/1647.92	c 1647s |      26 |  8983293 |  8858352 |      397  54197 |        1 |        0
1649.48/1649.94	c 1649s |      26 |  8993648 |  8868552 |      397  54245 |        1 |        0
1651.48/1651.96	c 1651s |      26 |  9003857 |  8878652 |      397  54293 |        1 |        0
1653.48/1653.97	c 1653s |      26 |  9014243 |  8888952 |      397  54340 |        1 |        0
1655.48/1655.98	c 1655s |      26 |  9024377 |  8898952 |      397  54387 |        1 |        0
1657.49/1657.99	c 1657s |      26 |  9035050 |  8909452 |      397  54437 |        1 |        0
1659.60/1660.01	c 1659s |      26 |  9045278 |  8919552 |      397  54484 |        1 |        0
1661.59/1662.02	c 1662s |      26 |  9055887 |  8929952 |      397  54533 |        1 |        0
1663.59/1664.03	c 1664s |      26 |  9066719 |  8940652 |      397  54584 |        1 |        0
1665.59/1666.04	c 1666s |      26 |  9077257 |  8951052 |      397  54633 |        1 |        0
1667.59/1668.04	c 1668s |      26 |  9087859 |  8961452 |      397  54683 |        1 |        0
1669.60/1670.06	c 1670s |      26 |  9098020 |  8971452 |      397  54730 |        1 |        0
1671.59/1672.07	c 1672s |      26 |  9108770 |  8981952 |      397  54780 |        1 |        0
1673.59/1674.08	c 1674s |      26 |  9119883 |  8992752 |      397  54832 |        1 |        0
1675.59/1676.08	c 1676s |      26 |  9130727 |  9003252 |      397  54881 |        1 |        0
1677.59/1678.09	c 1678s |      26 |  9141808 |  9014052 |      397  54933 |        1 |        0
1679.69/1680.10	c 1680s |      26 |  9153092 |  9025152 |      397  54986 |        1 |        0
1681.69/1682.12	c 1682s |      26 |  9163540 |  9035452 |      397  55035 |        1 |        0
1683.68/1684.12	c 1684s |      26 |  9173740 |  9045552 |      397  55082 |        1 |        0
1685.68/1686.13	c 1686s |      26 |  9184349 |  9055952 |      397  55131 |        1 |        0
1687.68/1688.14	c 1688s |      26 |  9195557 |  9066952 |      397  55184 |        1 |        0
1689.68/1690.15	c 1690s |      26 |  9206449 |  9077752 |      397  55235 |        1 |        0
1691.68/1692.16	c 1692s |      26 |  9217662 |  9088852 |      397  55288 |        1 |        0
1693.69/1694.17	c 1694s |      26 |  9228036 |  9099052 |      397  55336 |        1 |        0
1695.68/1696.18	c 1696s |      26 |  9238286 |  9109152 |      397  55385 |        1 |        0
1697.78/1698.20	c 1698s |      26 |  9248418 |  9119152 |      397  55432 |        1 |        0
1699.78/1700.20	c 1700s |      26 |  9258745 |  9129352 |      397  55481 |        1 |        0
1701.78/1702.21	c 1702s |      26 |  9269455 |  9139952 |      397  55532 |        1 |        0
1703.78/1704.21	c 1704s |      26 |  9280644 |  9151052 |      397  55586 |        1 |        0
1705.78/1706.22	c 1706s |      26 |  9291798 |  9162052 |      397  55639 |        1 |        0
1707.78/1708.23	c 1708s |      26 |  9302466 |  9172552 |      397  55689 |        1 |        0
1709.78/1710.23	c 1710s |      26 |  9313574 |  9183552 |      397  55741 |        1 |        0
1711.78/1712.24	c 1712s |      26 |  9324372 |  9194252 |      397  55791 |        1 |        0
1713.78/1714.25	c 1714s |      26 |  9335011 |  9204752 |      397  55841 |        1 |        0
1715.78/1716.26	c 1716s |      26 |  9345135 |  9214752 |      397  55888 |        1 |        0
1717.77/1718.28	c 1718s |      26 |  9355905 |  9225452 |      397  55938 |        1 |        0
1719.77/1720.29	c 1720s |      26 |  9366698 |  9236152 |      397  55989 |        1 |        0
1721.87/1722.30	c 1722s |      26 |  9377001 |  9246352 |      397  56038 |        1 |        0
1723.87/1724.31	c 1724s |      26 |  9387266 |  9256552 |      397  56086 |        1 |        0
1725.87/1726.32	c 1726s |      26 |  9397497 |  9266652 |      397  56134 |        1 |        0
1727.88/1728.33	c 1728s |      26 |  9407728 |  9276752 |      397  56182 |        1 |        0
1729.87/1730.35	c 1730s |      26 |  9418267 |  9287152 |      397  56232 |        1 |        0
1731.87/1732.35	c 1732s |      26 |  9428921 |  9297752 |      397  56283 |        1 |        0
1733.87/1734.36	c 1734s |      26 |  9439524 |  9308252 |      397  56333 |        1 |        0
1735.87/1736.37	c 1736s |      26 |  9450077 |  9318652 |      397  56382 |        1 |        0
1737.87/1738.37	c 1738s |      26 |  9460348 |  9328852 |      397  56430 |        1 |        0
1739.88/1740.37	c 1740s |      26 |  9471086 |  9339452 |      397  56481 |        1 |        0
1741.87/1742.38	c 1742s |      26 |  9481680 |  9349952 |      397  56531 |        1 |        0
1743.87/1744.39	c 1744s |      26 |  9492523 |  9360652 |      397  56583 |        1 |        0
1745.97/1746.40	c 1746s |      26 |  9503171 |  9371152 |      397  56633 |        1 |        0
1747.97/1748.42	c 1748s |      26 |  9513736 |  9381552 |      397  56682 |        1 |        0
1749.97/1750.42	c 1750s |      26 |  9524567 |  9392252 |      397  56733 |        1 |        0
1751.98/1752.43	c 1752s |      26 |  9535399 |  9402952 |      397  56785 |        1 |        0
1753.98/1754.44	c 1754s |      26 |  9546414 |  9413852 |      397  56837 |        1 |        0
1755.98/1756.44	c 1756s |      26 |  9557099 |  9424452 |      397  56888 |        1 |        0
1757.98/1758.45	c 1758s |      26 |  9568277 |  9435452 |      397  56940 |        1 |        0
1759.98/1760.47	c 1760s |      26 |  9579453 |  9446452 |      397  56992 |        1 |        0
1761.98/1762.48	c 1762s |      26 |  9590497 |  9457352 |      397  57044 |        1 |        0
1763.97/1764.50	c 1764s |      26 |  9601973 |  9468652 |      397  57098 |        1 |        0
1766.07/1766.52	c 1766s |      26 |  9613325 |  9479852 |      397  57151 |        1 |        0
1768.07/1768.52	c 1768s |      26 |  9624385 |  9490752 |      397  57203 |        1 |        0
1770.07/1770.52	c 1770s |      26 |  9634925 |  9501152 |      397  57252 |        1 |        0
1772.07/1772.54	c 1772s |      26 |  9645716 |  9511752 |      397  57302 |        1 |        0
1774.08/1774.55	c 1774s |      26 |  9656517 |  9522352 |      397  57353 |        1 |        0
1776.07/1776.56	c 1776s |      26 |  9667505 |  9533152 |      397  57405 |        1 |        0
1778.07/1778.56	c 1778s |      26 |  9678479 |  9543952 |      397  57457 |        1 |        0
1780.07/1780.58	c 1780s |      26 |  9690181 |  9555452 |      397  57512 |        1 |        0
1782.07/1782.60	c 1782s |      26 |  9701473 |  9566452 |      397  57564 |        1 |        0
1784.17/1784.61	c 1784s |      26 |  9712228 |  9576952 |      397  57613 |        1 |        0
1786.18/1786.62	c 1786s |      26 |  9722684 |  9587252 |      397  57662 |        1 |        0
1788.17/1788.63	c 1788s |      26 |  9732858 |  9597252 |      397  57709 |        1 |        0
1790.17/1790.64	c 1790s |      26 |  9743122 |  9607352 |      397  57757 |        1 |        0
1792.17/1792.66	c 1792s |      26 |  9753641 |  9617652 |      397  57806 |        1 |        0
1794.17/1794.68	c 1794s |      26 |  9763608 |  9627452 |      397  57852 |        1 |        0
1796.17/1796.69	c 1796s |      26 |  9774077 |  9637752 |      397  57901 |        1 |        0
1798.27/1798.70	c 1798s |      26 |  9784290 |  9647752 |      397  57949 |        1 |        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-4079742-1465244011/watcher-4079742-1465244011 -o /tmp/evaluation-result-4079742-1465244011/solver-4079742-1465244011 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079742-1465244011.opb 

pid=3849
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.10 2.06 2.01 3/179 3852
/proc/meminfo: memFree=30656272/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 2880 0 0 0 0 0 0 0 20 0 4 0 106336622 787935232 3241 33554432000 4194304 16246674 140733482321200 140733482320624 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 192879 3249 441 2943 0 189773 0
[pid=3852/tid=3853] ppid=3849 vsize=788924 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 807858176 3318 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=794044 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 813101056 3337 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=798140 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 817295360 3353 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 3852
/proc/meminfo: memFree=30656272/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 20080 0 0 0 7 2 0 0 20 0 4 0 106336622 1247350784 20429 33554432000 4194304 16246674 140733482321200 140733482320624 5711820 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 304529 20433 751 2943 0 301423 0
[pid=3852/tid=3853] ppid=3849 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1247350784 20440 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1247350784 20449 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1247350784 20458 33554432000 4194304 16246674 140733482321200 139973722369200 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.200504 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 3852
/proc/meminfo: memFree=30656272/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 36779 0 0 0 14 5 0 0 20 0 4 0 106336622 1247350784 37127 33554432000 4194304 16246674 140733482321200 140733482320624 6010073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 304529 37134 751 2943 0 301423 0
[pid=3852/tid=3853] ppid=3849 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1247350784 37137 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1247350784 37141 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1247350784 37145 33554432000 4194304 16246674 140733482321200 139973722369200 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.300463 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 3852
/proc/meminfo: memFree=30656272/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 53340 0 0 0 21 8 0 0 20 0 4 0 106336622 1247350784 53688 33554432000 4194304 16246674 140733482321200 140733482320624 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 304529 53692 751 2943 0 301423 0
[pid=3852/tid=3853] ppid=3849 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1247350784 53696 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1247350784 53699 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1247350784 53703 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700396 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 3852
/proc/meminfo: memFree=30656272/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 121404 0 0 0 52 16 0 0 20 0 4 0 106336622 1247350784 121752 33554432000 4194304 16246674 140733482321200 140733482303104 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 304529 121759 752 2943 0 301423 0
[pid=3852/tid=3853] ppid=3849 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1247350784 121762 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1247350784 121766 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1247350784 121769 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.10 2.06 2.01 3/183 3856
/proc/meminfo: memFree=29835288/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 245615 0 0 0 114 35 0 0 20 0 4 0 106336622 1248399360 245940 33554432000 4194304 16246674 140733482321200 140733482303104 5710364 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 304785 245940 824 2943 0 301679 0
[pid=3852/tid=3853] ppid=3849 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1248399360 245940 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1248399360 245940 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1248399360 245940 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10039 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 3856
/proc/meminfo: memFree=29672328/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1305156 CPUtime=3.09 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267349 0 0 0 271 38 0 0 20 0 4 0 106336622 1336479744 267674 33554432000 4194304 16246674 140733482321200 140733482304200 5711326 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326289 267674 824 2943 0 323183 0
[pid=3852/tid=3853] ppid=3849 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1336479744 267674 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1336479744 267674 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1336479744 267674 33554432000 4194304 16246674 140733482321200 139973722369200 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) 1305156

[startup+6.3004 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 3856
/proc/meminfo: memFree=29584936/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267458 0 0 0 591 38 0 0 20 0 4 0 106336622 1337528320 267783 33554432000 4194304 16246674 140733482321200 140733482303104 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326545 267783 824 2943 0 323439 0
[pid=3852/tid=3853] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267783 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267783 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267783 33554432000 4194304 16246674 140733482321200 139973722369200 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.08 2.06 2.01 3/183 3856
/proc/meminfo: memFree=29584524/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267461 0 0 0 1231 38 0 0 20 0 4 0 106336622 1337528320 267786 33554432000 4194304 16246674 140733482321200 140733482303104 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326545 267786 824 2943 0 323439 0
[pid=3852/tid=3853] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267786 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267786 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267786 33554432000 4194304 16246674 140733482321200 139973722369200 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.5073 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 3856
/proc/meminfo: memFree=29585140/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267476 0 0 0 2511 38 0 0 20 0 4 0 106336622 1337528320 267801 33554432000 4194304 16246674 140733482321200 140733482303104 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326545 267801 826 2943 0 323439 0
[pid=3852/tid=3853] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267801 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267801 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267801 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 3856
/proc/meminfo: memFree=29585248/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267504 0 0 0 5070 38 0 0 20 0 4 0 106336622 1337528320 267829 33554432000 4194304 16246674 140733482321200 140733482304200 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326545 267829 826 2943 0 323439 0
[pid=3852/tid=3853] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267829 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267829 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267829 33554432000 4194304 16246674 140733482321200 139973722369200 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.02 2.04 2.00 3/183 3858
/proc/meminfo: memFree=29584988/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267515 0 0 0 10189 39 0 0 20 0 4 0 106336622 1337528320 267840 33554432000 4194304 16246674 140733482321200 140733482304200 6845981 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326545 267840 827 2943 0 323439 0
[pid=3852/tid=3853] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267840 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267840 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1337528320 267840 33554432000 4194304 16246674 140733482321200 139973722369200 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/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 3937
/proc/meminfo: memFree=29598460/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1307204 CPUtime=1301.94 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267976 0 0 0 130144 50 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 140733482304200 5599933 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326801 268278 829 2943 0 323695 0
[pid=3852/tid=3853] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 3939
/proc/meminfo: memFree=29598728/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1307204 CPUtime=1361.93 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267976 0 0 0 136142 51 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 140733482304200 12483345 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326801 268278 829 2943 0 323695 0
[pid=3852/tid=3853] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 3940
/proc/meminfo: memFree=29598356/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1307204 CPUtime=1421.93 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267976 0 0 0 142141 52 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 140733482303104 6020469 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326801 268278 829 2943 0 323695 0
[pid=3852/tid=3853] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3941
/proc/meminfo: memFree=29598644/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1307204 CPUtime=1481.91 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267976 0 0 0 148139 52 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 140733482303104 12415791 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326801 268278 829 2943 0 323695 0
[pid=3852/tid=3853] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268278 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1307204

[startup+1542.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/183 3942
/proc/meminfo: memFree=29597280/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1307204 CPUtime=1541.91 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267982 0 0 0 154138 53 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 140733482303104 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326801 268284 829 2943 0 323695 0
[pid=3852/tid=3853] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.01 4/184 3946
/proc/meminfo: memFree=29598252/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1307204 CPUtime=1601.89 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267982 0 0 0 160136 53 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 140733482303104 5600136 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326801 268284 829 2943 0 323695 0
[pid=3852/tid=3853] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1307204

[startup+1662.31 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 3948
/proc/meminfo: memFree=29598696/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1307204 CPUtime=1661.9 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267982 0 0 0 166136 54 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 140733482304200 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326801 268284 829 2943 0 323695 0
[pid=3852/tid=3853] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/183 3949
/proc/meminfo: memFree=29598284/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1307204 CPUtime=1721.87 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267982 0 0 0 172133 54 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 140733482303104 5828719 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326801 268284 829 2943 0 323695 0
[pid=3852/tid=3853] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 3950
/proc/meminfo: memFree=29598692/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1307204 CPUtime=1781.87 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267982 0 0 0 178132 55 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 140733482304200 5721655 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326801 268284 829 2943 0 323695 0
[pid=3852/tid=3853] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.03 2.00 4/183 3950
/proc/meminfo: memFree=29598700/32872528 swapFree=10676/249824
[pid=3852] ppid=3849 vsize=1307204 CPUtime=1800.07 cores=0,2,4,6
/proc/3852/stat : 3852 (toysat) R 3849 3852 1222 0 -1 4202496 267982 0 0 0 179952 55 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 140733482303104 12483376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3852/statm: 326801 268284 829 2943 0 323695 0
[pid=3852/tid=3853] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3853/stat : 3853 (toysat) S 3849 3852 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973851327728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3852/tid=3854] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3854/stat : 3854 (toysat) S 3849 3852 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973840837872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3852/tid=3855] ppid=3849 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/3852/task/3855/stat : 3855 (toysat) S 3849 3852 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106336622 1338576896 268284 33554432000 4194304 16246674 140733482321200 139973722369200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 3852 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.51
CPU time (s): 1800.08
CPU user time (s): 1799.53
CPU system time (s): 0.553915
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.553915
maximum resident set size= 1073136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267982
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= 296
involuntary context switches= 1944

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6113 second user time and 6.91195 second system time

The end

Begin job on node103 at 2016-06-06 22:13:31
IDJOB=4079742
IDBENCH=2893
IDSOLVER=2542
FILE ID=node103/4079742-1465244011
RUNJOBID= node103-1465221288-1238
PBS_JOBID= 19843228
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079742-1465244011/watcher-4079742-1465244011 -o /tmp/evaluation-result-4079742-1465244011/solver-4079742-1465244011 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079742-1465244011.opb

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

MD5SUM BENCH= dc0a3aac3e055af09a2312e5ef9f2aef
RANDOM SEED=1545088272

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
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.760
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:        30656536 kB
Buffers:           46208 kB
Cached:           124680 kB
SwapCached:         1716 kB
Active:          1190268 kB
Inactive:          72916 kB
Active(anon):    1093444 kB
Inactive(anon):     1160 kB
Active(file):      96824 kB
Inactive(file):    71756 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096644 kB
Dirty:             16304 kB
Writeback:             0 kB
AnonPages:       1341664 kB
Mapped:            10476 kB
Shmem:                 0 kB
Slab:             569176 kB
SReclaimable:      13148 kB
SUnreclaim:       556028 kB
KernelStack:        1448 kB
PageTables:         6648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1486728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    741376 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= 71704 MiB
End job on node103 at 2016-06-06 22:43:32