0.00/0.00	c 2016-06-06T21:25:23+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-4078763-1465241122.opb"]
0.00/0.01	c use --random-gen="3757219646 3539504390 1445904954 2721888179 310324697 3260586775 2916999512 2442624572 807432389 1384842451 4110744084 562414973 2730071589 4165210212 318876829 3330386399 1226104283 605283790 240086968 2312543065 73273551 4286217767 2484006440 103641519 602597207 3842734773 1625191264 3677556670 2275467482 2825589033 548907410 2004764775 987742847 4106023900 3935022779 2898054503 875669054 3126682721 877018083 4254468614 3474922979 1585448724 1152559202 4284112591 1566041527 258459693 2151184557 2118693468 3374319509 3079322324 2341456102 821417932 334238227 1559932632 2118818096 263139131 783858461 1999813624 733956643 2773716058 3748550080 873029135 2175900134 770310610 3524861760 3700992967 1736207190 2552426282 2162387235 314194180 301862714 1378195004 1483290023 87116469 4195942622 2022006191 3848308337 4094905947 2044307391 1440793495 804484291 1265780351 3132891828 2584703677 3734011896 2029547615 2555274990 1586210349 2997323664 4126519612 483495932 2440510394 3057951678 1470828919 3618896837 1000717248 1288205629 880934048 3637523068 1516338438 2646438510 407061241 2172130316 1537464541 3167788224 423664264 559899817 867288204 2141954607 2449378992 2909629953 2267695271 2172072349 2038605689 3661318856 1474175931 2059259367 3600508492 101672274 1563265459 2241741525 127919657 1267325694 1013002213 3828101004 2789594025 1220646760 2891161300 4024649156 3339341837 648868933 3968564198 3279667027 1712389519 873755368 2879179941 2878992708 187050843 2540785036 710775247 474157045 613814677 3824741779 1453396953 2392622011 3706813294 1299331754 3035761396 4293689383 1278317480 1626893126 3042148765 660514109 4110393768 2640978443 3219712426 2211864566 1742004574 3621736055 750807531 81893494 196829130 2382285706 1649399666 3487864840 1181282918 2024479841 2125656111 1654655728 1371767077 3596716855 3296430854 807222998 2084067978 1769235164 524994122 2921992052 2855139777 2573645131 1719919378 2518408041 2157864959 2342585917 59205515 424846274 799432114 3968904787 1089830045 1525178041 3338706316 4057898824 1096561558 4245485436 823268476 2485713233 2260940383 3613536994 3027352260 1420049163 1921017330 3143344370 3626898365 4226538907 4130264223 258607230 1841955559 120105305 1625460043 1781827475 1871156139 3011296526 1181566504 2054714839 1256906097 2349273239 144172143 3859157397 1957225767 3377228320 4121228362 709066526 1949416470 4115553919 3769565922 3518452499 382522546 1318688361 1735459077 3251973976 3834333642 587029599 2650529631 4152941081 1277454844 3106600258 289312102 3160682149 2028029769 1708813842 3431090452 3133490010 4257117966 2281475249 2494192579 3270444777 3730656718 3688586841 4002462639 1144487522 2318077546 693476691 3296790809 3391194424 3092719004 1792691218 3220696715 255 362436" option to reproduce the execution
0.00/0.01	c #vars 150
0.00/0.01	c #constraints 25
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 |       58      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      127 |      100 |       58      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      485 |      250 |       64      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      884 |      475 |       71      6 |        0 |        0
0.09/0.14	c  0.1s |       4 |     1639 |      813 |       79     11 |        0 |        0
0.19/0.21	c  0.2s |       5 |     2726 |     1320 |       87     19 |        0 |        0
0.29/0.33	c  0.3s |       6 |     3746 |     2081 |      106     29 |        0 |        0
0.49/0.52	c  0.5s |       7 |     5372 |     3223 |      117     43 |        0 |        0
0.79/0.81	c  0.8s |       8 |     7529 |     4936 |      129     64 |        0 |        0
0.99/1.10	c  1.1s |       9 |    10602 |     7506 |      142     91 |        0 |        0
1.49/1.53	c  1.5s |      10 |    15243 |    11361 |      157    130 |        0 |        0
2.09/2.14	c  2.1s |      11 |    22100 |    17144 |      173    186 |        0 |        0
3.09/3.17	c  3.2s |      12 |    32464 |    25819 |      191    255 |        0 |        0
4.89/4.96	c  5.0s |      13 |    51781 |    38832 |      211    358 |        0 |        0
6.89/6.97	c  7.0s |      13 |    70233 |    54032 |      211    470 |        0 |        0
7.49/7.59	c  7.6s |      14 |    75514 |    58352 |      233    500 |        0 |        0
9.48/9.59	c  9.6s |      14 |    93153 |    73652 |      233    599 |        0 |        0
11.39/11.47	c 11.5s |      15 |   109323 |    87632 |      257    690 |        0 |        0
13.39/13.48	c 13.5s |      15 |   124935 |   101332 |      257    773 |        0 |        0
15.40/15.49	c 15.5s |      15 |   139965 |   114532 |      257    852 |        0 |        0
17.39/17.49	c 17.5s |      15 |   154398 |   127332 |      257    928 |        0 |        0
18.09/18.16	c 18.2s |      16 |   159233 |   131552 |      283    953 |        0 |        0
20.09/20.17	c 20.2s |      16 |   176933 |   145852 |      283   1036 |        0 |        0
22.10/22.17	c 22.2s |      16 |   193031 |   158952 |      283   1110 |        0 |        0
24.09/24.18	c 24.2s |      16 |   209006 |   171752 |      283   1184 |        0 |        0
26.08/26.18	c 26.2s |      16 |   224417 |   184252 |      283   1256 |        0 |        0
28.09/28.19	c 28.2s |      16 |   239992 |   196652 |      312   1326 |        0 |        0
28.29/28.32	c 28.3s |      17 |   241123 |   197432 |      312   1330 |        0 |        0
30.28/30.33	c 30.3s |      17 |   258007 |   211932 |      312   1403 |        0 |        0
32.29/32.34	c 32.3s |      17 |   273224 |   224932 |      312   1469 |        0 |        0
34.29/34.35	c 34.3s |      17 |   289814 |   238932 |      312   1540 |        0 |        0
36.29/36.35	c 36.3s |      17 |   307084 |   253932 |      312   1618 |        0 |        0
38.28/38.36	c 38.4s |      17 |   321808 |   266732 |      312   1685 |        0 |        0
40.28/40.37	c 40.4s |      17 |   337480 |   280532 |      312   1756 |        0 |        0
42.29/42.38	c 42.4s |      17 |   352608 |   293732 |      312   1825 |        0 |        0
42.69/42.77	c 42.8s |      18 |   355570 |   296252 |      344   1838 |        0 |        0
44.69/44.79	c 44.8s |      18 |   372443 |   309952 |      344   1905 |        0 |        0
46.79/46.80	c 46.8s |      18 |   387157 |   322452 |      344   1966 |        0 |        0
48.79/48.81	c 48.8s |      18 |   403680 |   336152 |      344   2032 |        0 |        0
50.78/50.82	c 50.8s |      18 |   422158 |   349952 |      344   2100 |        0 |        0
52.79/52.83	c 52.8s |      18 |   439220 |   364252 |      344   2173 |        0 |        0
54.78/54.84	c 54.8s |      18 |   456883 |   379452 |      344   2253 |        0 |        0
56.78/56.85	c 56.8s |      18 |   474289 |   394652 |      344   2335 |        0 |        0
58.78/58.86	c 58.8s |      18 |   490279 |   408252 |      344   2402 |        0 |        0
60.78/60.87	c 60.9s |      18 |   503680 |   419952 |      344   2458 |        0 |        0
62.79/62.88	c 62.9s |      18 |   517376 |   431952 |      344   2516 |        0 |        0
64.78/64.90	c 64.9s |      18 |   531117 |   443952 |      379   2572 |        0 |        0
64.89/64.98	c 65.0s |      19 |   531712 |   444482 |      379   2574 |        0 |        0
66.88/67.00	c 67.0s |      19 |   547111 |   457682 |      379   2633 |        0 |        0
68.97/69.01	c 69.0s |      19 |   562169 |   470482 |      379   2689 |        0 |        0
70.98/71.01	c 71.0s |      19 |   576873 |   483182 |      379   2746 |        0 |        0
72.98/73.02	c 73.0s |      19 |   591515 |   496082 |      379   2803 |        0 |        0
74.98/75.03	c 75.0s |      19 |   605616 |   508582 |      379   2859 |        0 |        0
76.99/77.04	c 77.0s |      19 |   620030 |   521182 |      379   2914 |        0 |        0
78.98/79.05	c 79.0s |      19 |   634883 |   534082 |      379   2972 |        0 |        0
80.97/81.05	c 81.0s |      19 |   649163 |   546582 |      379   3027 |        0 |        0
82.97/83.06	c 83.1s |      19 |   663923 |   559182 |      379   3084 |        0 |        0
84.97/85.07	c 85.1s |      19 |   679300 |   572482 |      379   3143 |        0 |        0
86.98/87.07	c 87.1s |      19 |   693821 |   585082 |      379   3199 |        0 |        0
88.97/89.08	c 89.1s |      19 |   709997 |   598582 |      379   3259 |        0 |        0
90.97/91.08	c 91.1s |      19 |   724832 |   611382 |      379   3317 |        0 |        0
92.97/93.09	c 93.1s |      19 |   739768 |   623982 |      379   3373 |        0 |        0
95.06/95.10	c 95.1s |      19 |   755830 |   636882 |      379   3432 |        0 |        0
97.07/97.10	c 97.1s |      19 |   771050 |   649882 |      379   3492 |        0 |        0
99.07/99.12	c 99.1s |      19 |   784539 |   661682 |      379   3545 |        0 |        0
99.96/100.05	c  100s |      20 |   791046 |   666827 |      417   3566 |        0 |        0
101.96/102.07	c  102s |      20 |   805816 |   678627 |      417   3615 |        0 |        0
103.96/104.08	c  104s |      20 |   819877 |   690327 |      417   3663 |        0 |        0
106.06/106.10	c  106s |      20 |   833697 |   702227 |      417   3713 |        0 |        0
108.06/108.10	c  108s |      20 |   845942 |   712827 |      417   3757 |        0 |        0
110.06/110.11	c  110s |      20 |   859118 |   724127 |      417   3803 |        0 |        0
112.06/112.11	c  112s |      20 |   872873 |   735827 |      417   3851 |        0 |        0
114.06/114.12	c  114s |      20 |   885684 |   746927 |      417   3897 |        0 |        0
116.06/116.12	c  116s |      20 |   899307 |   758727 |      417   3945 |        0 |        0
118.05/118.14	c  118s |      20 |   914353 |   771827 |      417   3999 |        0 |        0
120.05/120.15	c  120s |      20 |   928838 |   784327 |      417   4050 |        0 |        0
122.06/122.16	c  122s |      20 |   942402 |   796127 |      417   4101 |        0 |        0
124.06/124.17	c  124s |      20 |   956163 |   808027 |      417   4152 |        0 |        0
126.06/126.18	c  126s |      20 |   969603 |   819527 |      417   4199 |        0 |        0
128.06/128.19	c  128s |      20 |   982562 |   830727 |      417   4245 |        0 |        0
130.16/130.21	c  130s |      20 |   995300 |   841627 |      417   4290 |        0 |        0
132.15/132.22	c  132s |      20 |  1007883 |   852227 |      417   4333 |        0 |        0
134.16/134.23	c  134s |      20 |  1023206 |   864527 |      417   4384 |        0 |        0
136.15/136.24	c  136s |      20 |  1037510 |   876227 |      417   4433 |        0 |        0
138.15/138.25	c  138s |      20 |  1050602 |   887427 |      417   4479 |        0 |        0
140.15/140.27	c  140s |      20 |  1065651 |   899927 |      417   4531 |        0 |        0
142.14/142.27	c  142s |      20 |  1080204 |   912027 |      417   4582 |        0 |        0
144.15/144.27	c  144s |      20 |  1094188 |   923927 |      417   4632 |        0 |        0
146.14/146.28	c  146s |      20 |  1107947 |   935727 |      417   4682 |        0 |        0
148.24/148.30	c  148s |      20 |  1122032 |   947627 |      417   4731 |        0 |        0
150.24/150.31	c  150s |      20 |  1137811 |   961027 |      417   4786 |        0 |        0
152.25/152.31	c  152s |      20 |  1150943 |   972427 |      417   4833 |        0 |        0
154.25/154.33	c  154s |      20 |  1163820 |   983527 |      417   4879 |        0 |        0
156.25/156.34	c  156s |      20 |  1176630 |   994427 |      459   4924 |        0 |        0
157.25/157.35	c  157s |      21 |  1183649 |  1000345 |      459   4946 |        0 |        0
159.24/159.36	c  159s |      21 |  1197793 |  1012245 |      459   4991 |        0 |        0
161.24/161.38	c  161s |      21 |  1211851 |  1024345 |      459   5036 |        0 |        0
163.24/163.39	c  163s |      21 |  1226046 |  1036245 |      459   5081 |        0 |        0
165.24/165.39	c  165s |      21 |  1239429 |  1047645 |      459   5124 |        0 |        0
167.33/167.40	c  167s |      21 |  1252382 |  1058645 |      459   5166 |        0 |        0
169.34/169.41	c  169s |      21 |  1265213 |  1069645 |      459   5207 |        0 |        0
171.33/171.42	c  171s |      21 |  1278625 |  1081245 |      459   5251 |        0 |        0
173.33/173.43	c  173s |      21 |  1291263 |  1092145 |      459   5292 |        0 |        0
175.33/175.45	c  175s |      21 |  1305128 |  1103845 |      459   5336 |        0 |        0
177.33/177.46	c  177s |      21 |  1316610 |  1113945 |      459   5374 |        0 |        0
179.33/179.48	c  179s |      21 |  1328101 |  1123845 |      459   5411 |        0 |        0
181.33/181.48	c  181s |      21 |  1340705 |  1134645 |      459   5452 |        0 |        0
183.33/183.49	c  183s |      21 |  1354333 |  1146245 |      459   5497 |        0 |        0
185.43/185.51	c  185s |      21 |  1367753 |  1157545 |      459   5539 |        0 |        0
187.42/187.52	c  187s |      21 |  1380374 |  1168245 |      459   5580 |        0 |        0
189.42/189.53	c  189s |      21 |  1392534 |  1178845 |      459   5620 |        0 |        0
191.43/191.55	c  191s |      21 |  1406595 |  1190145 |      459   5663 |        0 |        0
193.43/193.56	c  193s |      21 |  1420241 |  1201745 |      459   5707 |        0 |        0
195.43/195.57	c  195s |      21 |  1433713 |  1213345 |      459   5752 |        0 |        0
197.42/197.58	c  197s |      21 |  1446569 |  1224445 |      459   5794 |        0 |        0
199.41/199.59	c  199s |      21 |  1459868 |  1235945 |      459   5838 |        0 |        0
201.42/201.59	c  201s |      21 |  1473781 |  1247545 |      459   5882 |        0 |        0
203.53/203.61	c  203s |      21 |  1487633 |  1259145 |      459   5926 |        0 |        0
205.52/205.62	c  205s |      21 |  1501352 |  1270945 |      459   5971 |        0 |        0
207.51/207.62	c  207s |      21 |  1515307 |  1282745 |      459   6017 |        0 |        0
209.51/209.63	c  209s |      21 |  1529207 |  1294645 |      459   6062 |        0 |        0
211.51/211.64	c  211s |      21 |  1542881 |  1306345 |      459   6107 |        0 |        0
213.51/213.65	c  213s |      21 |  1555832 |  1317445 |      459   6149 |        0 |        0
215.52/215.66	c  215s |      21 |  1567713 |  1327645 |      459   6189 |        0 |        0
217.51/217.66	c  217s |      21 |  1578785 |  1337345 |      459   6226 |        0 |        0
219.51/219.67	c  219s |      21 |  1592083 |  1348645 |      459   6269 |        0 |        0
221.50/221.68	c  221s |      21 |  1604896 |  1359645 |      459   6311 |        0 |        0
223.61/223.70	c  223s |      21 |  1616222 |  1369445 |      459   6349 |        0 |        0
225.61/225.71	c  225s |      21 |  1631541 |  1382845 |      459   6398 |        0 |        0
227.61/227.72	c  227s |      21 |  1644305 |  1393945 |      459   6440 |        0 |        0
229.60/229.73	c  229s |      21 |  1657169 |  1405245 |      459   6482 |        0 |        0
231.60/231.74	c  231s |      21 |  1670475 |  1416945 |      459   6526 |        0 |        0
233.60/233.76	c  233s |      21 |  1683835 |  1428745 |      459   6570 |        0 |        0
235.60/235.77	c  235s |      21 |  1696057 |  1439345 |      459   6609 |        0 |        0
237.60/237.77	c  237s |      21 |  1707780 |  1449745 |      459   6648 |        0 |        0
239.60/239.77	c  239s |      21 |  1719378 |  1459945 |      459   6687 |        0 |        0
241.59/241.79	c  241s |      21 |  1731381 |  1470545 |      459   6727 |        0 |        0
243.69/243.81	c  243s |      21 |  1744325 |  1481845 |      459   6770 |        0 |        0
245.69/245.82	c  245s |      21 |  1756833 |  1492845 |      505   6810 |        0 |        0
247.19/247.30	c  247s |      22 |  1765569 |  1500622 |      505   6837 |        0 |        0
249.19/249.32	c  249s |      22 |  1783036 |  1513922 |      505   6885 |        0 |        0
251.19/251.32	c  251s |      22 |  1798991 |  1526722 |      505   6929 |        0 |        0
253.19/253.32	c  253s |      22 |  1815266 |  1538622 |      505   6971 |        0 |        0
255.20/255.35	c  255s |      22 |  1829744 |  1549522 |      505   7010 |        0 |        0
257.19/257.35	c  257s |      22 |  1844666 |  1561022 |      505   7050 |        0 |        0
259.18/259.36	c  259s |      22 |  1857599 |  1571922 |      505   7087 |        0 |        0
261.18/261.38	c  261s |      22 |  1870817 |  1582422 |      505   7124 |        0 |        0
263.18/263.39	c  263s |      22 |  1884024 |  1594322 |      505   7168 |        0 |        0
265.28/265.40	c  265s |      22 |  1897172 |  1605722 |      505   7209 |        0 |        0
267.29/267.43	c  267s |      22 |  1909561 |  1616522 |      505   7246 |        0 |        0
269.28/269.43	c  269s |      22 |  1926376 |  1628622 |      505   7289 |        0 |        0
271.28/271.43	c  271s |      22 |  1939988 |  1640222 |      505   7329 |        0 |        0
273.28/273.45	c  273s |      22 |  1953193 |  1651622 |      505   7368 |        0 |        0
275.28/275.46	c  275s |      22 |  1965790 |  1662622 |      505   7407 |        0 |        0
277.27/277.47	c  277s |      22 |  1978137 |  1673322 |      505   7444 |        0 |        0
279.29/279.47	c  279s |      22 |  1990669 |  1683822 |      505   7480 |        0 |        0
281.27/281.48	c  281s |      22 |  2003075 |  1694122 |      505   7517 |        0 |        0
283.28/283.49	c  283s |      22 |  2016392 |  1704522 |      505   7553 |        0 |        0
285.38/285.51	c  285s |      22 |  2028939 |  1715022 |      505   7589 |        0 |        0
287.37/287.52	c  287s |      22 |  2041193 |  1725522 |      505   7626 |        0 |        0
289.37/289.53	c  289s |      22 |  2052922 |  1735622 |      505   7661 |        0 |        0
291.38/291.55	c  291s |      22 |  2064934 |  1746022 |      505   7698 |        0 |        0
293.37/293.57	c  293s |      22 |  2076590 |  1756122 |      505   7733 |        0 |        0
295.37/295.58	c  295s |      22 |  2088870 |  1766722 |      505   7770 |        0 |        0
297.46/297.60	c  297s |      22 |  2100802 |  1777222 |      505   7807 |        0 |        0
299.47/299.62	c  299s |      22 |  2112454 |  1787322 |      505   7842 |        0 |        0
301.46/301.63	c  301s |      22 |  2124140 |  1797622 |      505   7878 |        0 |        0
303.47/303.64	c  303s |      22 |  2135677 |  1807922 |      505   7914 |        0 |        0
305.47/305.64	c  305s |      22 |  2147388 |  1818222 |      505   7951 |        0 |        0
307.46/307.64	c  307s |      22 |  2159036 |  1828522 |      505   7987 |        0 |        0
309.46/309.66	c  309s |      22 |  2171545 |  1839422 |      505   8024 |        0 |        0
311.45/311.67	c  311s |      22 |  2184259 |  1850622 |      505   8062 |        0 |        0
313.47/313.68	c  313s |      22 |  2197739 |  1862622 |      505   8104 |        0 |        0
315.46/315.68	c  315s |      22 |  2210287 |  1873922 |      505   8143 |        0 |        0
317.56/317.70	c  317s |      22 |  2222578 |  1884822 |      505   8180 |        0 |        0
319.55/319.71	c  319s |      22 |  2235120 |  1895922 |      505   8219 |        0 |        0
321.56/321.72	c  321s |      22 |  2246784 |  1906322 |      505   8255 |        0 |        0
323.55/323.73	c  323s |      22 |  2258362 |  1916522 |      505   8290 |        0 |        0
325.56/325.75	c  325s |      22 |  2269846 |  1926722 |      505   8326 |        0 |        0
327.55/327.75	c  327s |      22 |  2282218 |  1937622 |      505   8364 |        0 |        0
329.55/329.75	c  329s |      22 |  2293688 |  1947722 |      505   8399 |        0 |        0
331.55/331.75	c  331s |      22 |  2306406 |  1958722 |      505   8438 |        0 |        0
333.55/333.76	c  333s |      22 |  2319538 |  1970322 |      505   8478 |        0 |        0
335.55/335.77	c  335s |      22 |  2332438 |  1981422 |      505   8517 |        0 |        0
337.55/337.78	c  337s |      22 |  2345647 |  1992922 |      505   8557 |        0 |        0
339.54/339.79	c  339s |      22 |  2359108 |  2004622 |      505   8598 |        0 |        0
341.54/341.79	c  341s |      22 |  2372043 |  2015922 |      505   8637 |        0 |        0
343.64/343.81	c  343s |      22 |  2384822 |  2027122 |      505   8675 |        0 |        0
345.65/345.83	c  345s |      22 |  2397340 |  2038122 |      505   8714 |        0 |        0
347.64/347.85	c  347s |      22 |  2409713 |  2048622 |      505   8750 |        0 |        0
349.64/349.85	c  349s |      22 |  2420867 |  2058522 |      505   8784 |        0 |        0
351.64/351.86	c  351s |      22 |  2432236 |  2068422 |      505   8818 |        0 |        0
353.64/353.87	c  353s |      22 |  2444204 |  2078922 |      505   8855 |        0 |        0
355.64/355.88	c  355s |      22 |  2455889 |  2089222 |      505   8891 |        0 |        0
357.63/357.88	c  357s |      22 |  2468159 |  2100022 |      505   8929 |        0 |        0
359.73/359.90	c  359s |      22 |  2481957 |  2112122 |      505   8971 |        0 |        0
361.74/361.91	c  361s |      22 |  2495247 |  2123822 |      505   9011 |        0 |        0
363.73/363.91	c  363s |      22 |  2508434 |  2135322 |      505   9051 |        0 |        0
365.74/365.92	c  365s |      22 |  2521198 |  2146622 |      505   9091 |        0 |        0
367.73/367.92	c  367s |      22 |  2534715 |  2158522 |      505   9132 |        0 |        0
369.73/369.93	c  369s |      22 |  2547942 |  2170222 |      505   9172 |        0 |        0
371.73/371.94	c  371s |      22 |  2560855 |  2181622 |      505   9212 |        0 |        0
373.72/373.95	c  373s |      22 |  2573662 |  2193022 |      505   9252 |        0 |        0
375.73/375.96	c  375s |      22 |  2586582 |  2204222 |      505   9291 |        0 |        0
377.72/377.96	c  377s |      22 |  2598883 |  2214922 |      505   9328 |        0 |        0
379.72/379.98	c  379s |      22 |  2611047 |  2225722 |      505   9366 |        0 |        0
381.72/381.99	c  381s |      22 |  2623437 |  2236622 |      556   9403 |        0 |        0
383.73/383.99	c  383s |      22 |  2635370 |  2247122 |      556   9437 |        0 |        0
384.53/384.72	c  384s |      23 |  2639819 |  2251038 |      556   9450 |        0 |        0
386.52/386.73	c  386s |      23 |  2654472 |  2262938 |      556   9488 |        0 |        0
388.51/388.74	c  388s |      23 |  2668687 |  2274738 |      556   9526 |        0 |        0
390.52/390.76	c  390s |      23 |  2682752 |  2286938 |      556   9565 |        0 |        0
392.52/392.76	c  392s |      23 |  2695440 |  2297938 |      556   9600 |        0 |        0
394.52/394.76	c  394s |      23 |  2708215 |  2308738 |      556   9635 |        0 |        0
396.52/396.78	c  396s |      23 |  2719750 |  2318738 |      556   9666 |        0 |        0
398.51/398.78	c  398s |      23 |  2731483 |  2328338 |      556   9697 |        0 |        0
400.52/400.78	c  400s |      23 |  2744493 |  2338738 |      556   9730 |        0 |        0
402.52/402.79	c  402s |      23 |  2756058 |  2349038 |      556   9763 |        0 |        0
404.51/404.79	c  404s |      23 |  2768780 |  2359938 |      556   9797 |        0 |        0
406.61/406.81	c  406s |      23 |  2781590 |  2371038 |      556   9833 |        0 |        0
408.60/408.82	c  408s |      23 |  2795106 |  2382438 |      556   9869 |        0 |        0
410.61/410.84	c  410s |      23 |  2807513 |  2393338 |      556   9904 |        0 |        0
412.60/412.85	c  412s |      23 |  2820037 |  2404138 |      556   9939 |        0 |        0
414.61/414.86	c  414s |      23 |  2832331 |  2414738 |      556   9973 |        0 |        0
416.61/416.86	c  416s |      23 |  2845096 |  2425838 |      556  10009 |        0 |        0
418.60/418.88	c  418s |      23 |  2857803 |  2436938 |      556  10045 |        0 |        0
420.60/420.89	c  420s |      23 |  2870027 |  2447538 |      556  10079 |        0 |        0
422.70/422.90	c  422s |      23 |  2882907 |  2458538 |      556  10114 |        0 |        0
424.70/424.90	c  424s |      23 |  2895817 |  2469638 |      556  10150 |        0 |        0
426.71/426.92	c  426s |      23 |  2908009 |  2480138 |      556  10184 |        0 |        0
428.70/428.92	c  428s |      23 |  2920988 |  2490938 |      556  10218 |        0 |        0
430.70/430.92	c  430s |      23 |  2932352 |  2500638 |      556  10249 |        0 |        0
432.70/432.94	c  432s |      23 |  2942848 |  2509838 |      556  10279 |        0 |        0
434.70/434.95	c  434s |      23 |  2954016 |  2519238 |      556  10309 |        0 |        0
436.70/436.95	c  436s |      23 |  2966086 |  2529138 |      556  10341 |        0 |        0
438.70/438.97	c  438s |      23 |  2978281 |  2539738 |      556  10375 |        0 |        0
440.69/440.97	c  440s |      23 |  2990720 |  2550338 |      556  10409 |        0 |        0
442.69/442.98	c  442s |      23 |  3003353 |  2560738 |      556  10442 |        0 |        0
444.69/445.00	c  444s |      23 |  3015775 |  2571438 |      556  10475 |        0 |        0
446.79/447.01	c  447s |      23 |  3027657 |  2581938 |      556  10509 |        0 |        0
448.79/449.03	c  449s |      23 |  3039740 |  2592638 |      556  10543 |        0 |        0
450.80/451.03	c  451s |      23 |  3051075 |  2602738 |      556  10575 |        0 |        0
452.80/453.03	c  453s |      23 |  3062790 |  2613038 |      556  10607 |        0 |        0
454.80/455.03	c  455s |      23 |  3073366 |  2622538 |      556  10638 |        0 |        0
456.80/457.05	c  457s |      23 |  3084992 |  2632738 |      556  10670 |        0 |        0
458.79/459.06	c  459s |      23 |  3096225 |  2642638 |      556  10702 |        0 |        0
460.80/461.08	c  461s |      23 |  3108107 |  2653038 |      556  10735 |        0 |        0
462.79/463.09	c  463s |      23 |  3121079 |  2664238 |      556  10770 |        0 |        0
464.89/465.10	c  465s |      23 |  3133575 |  2675238 |      556  10805 |        0 |        0
466.89/467.10	c  467s |      23 |  3146121 |  2686138 |      556  10840 |        0 |        0
468.89/469.13	c  469s |      23 |  3158226 |  2696738 |      556  10874 |        0 |        0
470.89/471.14	c  471s |      23 |  3171609 |  2708238 |      556  10911 |        0 |        0
472.90/473.14	c  473s |      23 |  3184595 |  2719638 |      556  10947 |        0 |        0
474.89/475.14	c  475s |      23 |  3197171 |  2730638 |      556  10983 |        0 |        0
476.89/477.15	c  477s |      23 |  3209406 |  2741338 |      556  11017 |        0 |        0
478.89/479.16	c  479s |      23 |  3221568 |  2752138 |      556  11051 |        0 |        0
480.89/481.17	c  481s |      23 |  3233359 |  2762538 |      556  11085 |        0 |        0
482.89/483.17	c  483s |      23 |  3244174 |  2772138 |      556  11116 |        0 |        0
484.89/485.18	c  485s |      23 |  3257499 |  2783738 |      556  11153 |        0 |        0
486.88/487.18	c  487s |      23 |  3270319 |  2795238 |      556  11190 |        0 |        0
488.88/489.18	c  489s |      23 |  3284903 |  2808138 |      556  11232 |        0 |        0
490.88/491.19	c  491s |      23 |  3298429 |  2820138 |      556  11271 |        0 |        0
492.98/493.20	c  493s |      23 |  3311893 |  2832138 |      556  11310 |        0 |        0
494.98/495.21	c  495s |      23 |  3324885 |  2843738 |      556  11347 |        0 |        0
496.99/497.23	c  497s |      23 |  3337272 |  2854838 |      556  11383 |        0 |        0
498.98/499.23	c  499s |      23 |  3350328 |  2866238 |      556  11420 |        0 |        0
500.97/501.25	c  501s |      23 |  3364430 |  2878438 |      556  11459 |        0 |        0
502.97/503.25	c  503s |      23 |  3377936 |  2890138 |      556  11496 |        0 |        0
504.97/505.26	c  505s |      23 |  3390440 |  2901138 |      556  11531 |        0 |        0
506.98/507.27	c  507s |      23 |  3402478 |  2911738 |      556  11566 |        0 |        0
508.97/509.28	c  509s |      23 |  3414724 |  2922538 |      556  11601 |        0 |        0
510.97/511.28	c  511s |      23 |  3427800 |  2934138 |      556  11638 |        0 |        0
512.97/513.28	c  513s |      23 |  3441306 |  2946138 |      556  11677 |        0 |        0
514.96/515.29	c  515s |      23 |  3454378 |  2957838 |      556  11714 |        0 |        0
516.97/517.29	c  517s |      23 |  3466713 |  2968738 |      556  11749 |        0 |        0
519.07/519.31	c  519s |      23 |  3479007 |  2979738 |      556  11785 |        0 |        0
521.07/521.31	c  521s |      23 |  3491529 |  2990838 |      556  11820 |        0 |        0
523.06/523.33	c  523s |      23 |  3504480 |  3002238 |      556  11857 |        0 |        0
525.07/525.34	c  525s |      23 |  3517645 |  3013738 |      556  11894 |        0 |        0
527.06/527.35	c  527s |      23 |  3530533 |  3025238 |      556  11931 |        0 |        0
529.05/529.35	c  529s |      23 |  3542441 |  3035838 |      556  11965 |        0 |        0
531.06/531.37	c  531s |      23 |  3555182 |  3046938 |      556  12001 |        0 |        0
533.06/533.37	c  533s |      23 |  3567662 |  3057838 |      556  12037 |        0 |        0
535.06/535.38	c  535s |      23 |  3579709 |  3068538 |      556  12072 |        0 |        0
537.05/537.39	c  537s |      23 |  3591506 |  3078938 |      556  12105 |        0 |        0
539.16/539.40	c  539s |      23 |  3602979 |  3089138 |      556  12139 |        0 |        0
541.15/541.41	c  541s |      23 |  3615854 |  3100438 |      556  12175 |        0 |        0
543.15/543.43	c  543s |      23 |  3628631 |  3111738 |      556  12211 |        0 |        0
545.15/545.43	c  545s |      23 |  3641654 |  3123038 |      556  12247 |        0 |        0
547.15/547.44	c  547s |      23 |  3653920 |  3133938 |      556  12282 |        0 |        0
549.15/549.44	c  549s |      23 |  3666334 |  3144938 |      556  12318 |        0 |        0
551.14/551.44	c  551s |      23 |  3678717 |  3156038 |      556  12353 |        0 |        0
553.15/553.45	c  553s |      23 |  3691208 |  3167138 |      556  12389 |        0 |        0
555.14/555.45	c  555s |      23 |  3703593 |  3178038 |      556  12424 |        0 |        0
557.14/557.46	c  557s |      23 |  3715866 |  3188938 |      556  12459 |        0 |        0
559.14/559.47	c  559s |      23 |  3728622 |  3200138 |      556  12495 |        0 |        0
561.14/561.48	c  561s |      23 |  3740736 |  3210738 |      556  12530 |        0 |        0
563.14/563.49	c  563s |      23 |  3754210 |  3222438 |      556  12567 |        0 |        0
565.25/565.51	c  565s |      23 |  3768436 |  3235038 |      556  12608 |        0 |        0
567.23/567.52	c  567s |      23 |  3781683 |  3246838 |      556  12646 |        0 |        0
569.23/569.54	c  569s |      23 |  3794622 |  3258238 |      556  12683 |        0 |        0
571.24/571.55	c  571s |      23 |  3806518 |  3268938 |      556  12717 |        0 |        0
573.23/573.56	c  573s |      23 |  3819085 |  3279838 |      556  12753 |        0 |        0
575.24/575.57	c  575s |      23 |  3831418 |  3290738 |      556  12788 |        0 |        0
577.23/577.58	c  577s |      23 |  3843971 |  3301838 |      556  12824 |        0 |        0
579.23/579.59	c  579s |      23 |  3856180 |  3312738 |      556  12859 |        0 |        0
581.33/581.61	c  581s |      23 |  3868948 |  3323938 |      556  12895 |        0 |        0
583.32/583.62	c  583s |      23 |  3881537 |  3335038 |      556  12930 |        0 |        0
585.32/585.64	c  585s |      23 |  3894256 |  3346138 |      556  12966 |        0 |        0
587.32/587.65	c  587s |      23 |  3906476 |  3357038 |      612  13000 |        0 |        0
589.33/589.65	c  589s |      23 |  3918436 |  3367738 |      612  13032 |        0 |        0
591.02/591.37	c  591s |      24 |  3928328 |  3376662 |      612  13059 |        0 |        0
593.02/593.38	c  593s |      24 |  3942015 |  3388262 |      612  13093 |        0 |        0
595.02/595.38	c  595s |      24 |  3954749 |  3399162 |      612  13124 |        0 |        0
597.03/597.39	c  597s |      24 |  3966850 |  3409762 |      612  13155 |        0 |        0
599.12/599.41	c  599s |      24 |  3978906 |  3420462 |      612  13186 |        0 |        0
601.11/601.42	c  601s |      24 |  3991889 |  3431762 |      612  13219 |        0 |        0
603.11/603.43	c  603s |      24 |  4004856 |  3443162 |      612  13253 |        0 |        0
605.11/605.45	c  605s |      24 |  4017310 |  3454162 |      612  13284 |        0 |        0
607.11/607.45	c  607s |      24 |  4028407 |  3464062 |      612  13313 |        0 |        0
609.12/609.45	c  609s |      24 |  4040450 |  3474562 |      612  13344 |        0 |        0
611.11/611.46	c  611s |      24 |  4052639 |  3485362 |      612  13375 |        0 |        0
613.11/613.47	c  613s |      24 |  4065664 |  3497062 |      612  13409 |        0 |        0
615.11/615.48	c  615s |      24 |  4078411 |  3507962 |      612  13441 |        0 |        0
617.20/617.50	c  617s |      24 |  4089898 |  3518062 |      612  13471 |        0 |        0
619.20/619.52	c  619s |      24 |  4101315 |  3528162 |      612  13500 |        0 |        0
621.21/621.52	c  621s |      24 |  4113188 |  3538662 |      612  13531 |        0 |        0
623.20/623.53	c  623s |      24 |  4124943 |  3549262 |      612  13562 |        0 |        0
625.20/625.54	c  625s |      24 |  4137516 |  3560462 |      612  13595 |        0 |        0
627.19/627.56	c  627s |      24 |  4149792 |  3571462 |      612  13627 |        0 |        0
629.19/629.57	c  629s |      24 |  4162130 |  3582562 |      612  13660 |        0 |        0
631.20/631.57	c  631s |      24 |  4174337 |  3593362 |      612  13692 |        0 |        0
633.19/633.58	c  633s |      24 |  4186721 |  3604362 |      612  13724 |        0 |        0
635.19/635.59	c  635s |      24 |  4198404 |  3614662 |      612  13754 |        0 |        0
637.29/637.61	c  637s |      24 |  4208753 |  3623962 |      612  13781 |        0 |        0
639.29/639.62	c  639s |      24 |  4219207 |  3633262 |      612  13808 |        0 |        0
641.29/641.64	c  641s |      24 |  4230151 |  3642862 |      612  13836 |        0 |        0
643.30/643.65	c  643s |      24 |  4241467 |  3652862 |      612  13866 |        0 |        0
645.29/645.66	c  645s |      24 |  4252557 |  3662662 |      612  13894 |        0 |        0
647.29/647.67	c  647s |      24 |  4264882 |  3673462 |      612  13926 |        0 |        0
649.29/649.68	c  649s |      24 |  4276604 |  3683762 |      612  13956 |        0 |        0
651.29/651.68	c  651s |      24 |  4288134 |  3693962 |      612  13986 |        0 |        0
653.29/653.68	c  653s |      24 |  4300068 |  3704462 |      612  14017 |        0 |        0
655.29/655.68	c  655s |      24 |  4313490 |  3716162 |      612  14051 |        0 |        0
657.28/657.69	c  657s |      24 |  4327059 |  3727962 |      612  14086 |        0 |        0
659.38/659.70	c  659s |      24 |  4340787 |  3739762 |      612  14121 |        0 |        0
661.38/661.70	c  661s |      24 |  4353899 |  3751062 |      612  14154 |        0 |        0
663.38/663.71	c  663s |      24 |  4365948 |  3761362 |      612  14184 |        0 |        0
665.38/665.73	c  665s |      24 |  4378502 |  3772162 |      612  14216 |        0 |        0
667.39/667.74	c  667s |      24 |  4390440 |  3782762 |      612  14247 |        0 |        0
669.38/669.76	c  669s |      24 |  4403042 |  3793662 |      612  14279 |        0 |        0
671.37/671.76	c  671s |      24 |  4415542 |  3804562 |      612  14311 |        0 |        0
673.37/673.77	c  673s |      24 |  4428785 |  3816162 |      612  14346 |        0 |        0
675.38/675.78	c  675s |      24 |  4442375 |  3827862 |      612  14380 |        0 |        0
677.47/677.80	c  677s |      24 |  4454338 |  3838462 |      612  14411 |        0 |        0
679.48/679.81	c  679s |      24 |  4466502 |  3849162 |      612  14443 |        0 |        0
681.47/681.82	c  681s |      24 |  4479391 |  3860462 |      612  14476 |        0 |        0
683.47/683.83	c  683s |      24 |  4492414 |  3871762 |      612  14509 |        0 |        0
685.47/685.83	c  685s |      24 |  4504659 |  3882462 |      612  14541 |        0 |        0
687.46/687.83	c  687s |      24 |  4516616 |  3892962 |      612  14571 |        0 |        0
689.47/689.84	c  689s |      24 |  4529096 |  3903962 |      612  14604 |        0 |        0
691.46/691.85	c  691s |      24 |  4541767 |  3915062 |      612  14637 |        0 |        0
693.47/693.85	c  693s |      24 |  4553658 |  3925462 |      612  14668 |        0 |        0
695.46/695.86	c  695s |      24 |  4566122 |  3936262 |      612  14700 |        0 |        0
697.46/697.87	c  697s |      24 |  4578644 |  3946962 |      612  14731 |        0 |        0
699.46/699.88	c  699s |      24 |  4590777 |  3957362 |      612  14762 |        0 |        0
701.47/701.88	c  701s |      24 |  4602176 |  3967362 |      612  14791 |        0 |        0
703.57/703.90	c  703s |      24 |  4613653 |  3977262 |      612  14819 |        0 |        0
705.56/705.91	c  705s |      24 |  4626135 |  3987862 |      612  14851 |        0 |        0
707.56/707.92	c  707s |      24 |  4638415 |  3998362 |      612  14882 |        0 |        0
709.55/709.93	c  709s |      24 |  4651520 |  4009662 |      612  14914 |        0 |        0
711.56/711.94	c  711s |      24 |  4663537 |  4020262 |      612  14945 |        0 |        0
713.57/713.94	c  713s |      24 |  4675163 |  4030662 |      612  14976 |        0 |        0
715.56/715.96	c  715s |      24 |  4687273 |  4041262 |      612  15007 |        0 |        0
717.55/717.96	c  717s |      24 |  4699542 |  4052162 |      612  15038 |        0 |        0
719.56/719.96	c  719s |      24 |  4711934 |  4062762 |      612  15069 |        0 |        0
721.55/721.98	c  721s |      24 |  4723894 |  4073162 |      612  15100 |        0 |        0
723.65/724.00	c  723s |      24 |  4736871 |  4084162 |      612  15132 |        0 |        0
725.67/726.02	c  726s |      24 |  4748250 |  4094062 |      612  15161 |        0 |        0
727.65/728.02	c  728s |      24 |  4759699 |  4104162 |      612  15190 |        0 |        0
729.66/730.03	c  730s |      24 |  4772492 |  4115262 |      612  15223 |        0 |        0
731.66/732.05	c  732s |      24 |  4785539 |  4126162 |      612  15255 |        0 |        0
733.65/734.06	c  734s |      24 |  4798289 |  4136862 |      612  15287 |        0 |        0
735.66/736.08	c  736s |      24 |  4808679 |  4146162 |      612  15314 |        0 |        0
737.65/738.09	c  738s |      24 |  4820095 |  4156062 |      612  15343 |        0 |        0
739.75/740.11	c  740s |      24 |  4833010 |  4167162 |      612  15376 |        0 |        0
741.75/742.12	c  742s |      24 |  4845182 |  4177662 |      612  15406 |        0 |        0
743.75/744.12	c  744s |      24 |  4857534 |  4188662 |      612  15439 |        0 |        0
745.75/746.12	c  746s |      24 |  4870222 |  4199762 |      612  15471 |        0 |        0
747.76/748.13	c  748s |      24 |  4883109 |  4211162 |      612  15505 |        0 |        0
749.75/750.13	c  750s |      24 |  4895574 |  4222262 |      612  15538 |        0 |        0
751.75/752.15	c  752s |      24 |  4907917 |  4233162 |      612  15570 |        0 |        0
753.75/754.16	c  754s |      24 |  4919591 |  4243462 |      612  15600 |        0 |        0
755.75/756.17	c  756s |      24 |  4931403 |  4253962 |      612  15631 |        0 |        0
757.75/758.19	c  758s |      24 |  4943333 |  4264562 |      612  15662 |        0 |        0
759.75/760.19	c  760s |      24 |  4955144 |  4274662 |      612  15692 |        0 |        0
761.85/762.20	c  762s |      24 |  4967610 |  4285462 |      612  15724 |        0 |        0
763.85/764.22	c  764s |      24 |  4981356 |  4297262 |      612  15759 |        0 |        0
765.85/766.23	c  766s |      24 |  4994563 |  4308662 |      612  15792 |        0 |        0
767.85/768.25	c  768s |      24 |  5006898 |  4319262 |      612  15824 |        0 |        0
769.85/770.26	c  770s |      24 |  5018590 |  4329462 |      612  15854 |        0 |        0
771.86/772.27	c  772s |      24 |  5031479 |  4340362 |      612  15886 |        0 |        0
773.85/774.28	c  774s |      24 |  5043964 |  4351162 |      612  15918 |        0 |        0
775.85/776.28	c  776s |      24 |  5057849 |  4363062 |      612  15954 |        0 |        0
777.85/778.30	c  778s |      24 |  5071492 |  4374962 |      612  15989 |        0 |        0
779.95/780.30	c  780s |      24 |  5085247 |  4386962 |      612  16024 |        0 |        0
781.95/782.31	c  782s |      24 |  5098630 |  4398262 |      612  16057 |        0 |        0
783.95/784.32	c  784s |      24 |  5110457 |  4408362 |      612  16087 |        0 |        0
785.94/786.34	c  786s |      24 |  5122609 |  4418762 |      612  16118 |        0 |        0
787.94/788.34	c  788s |      24 |  5134536 |  4428962 |      612  16148 |        0 |        0
789.94/790.35	c  790s |      24 |  5146687 |  4439362 |      612  16179 |        0 |        0
791.94/792.35	c  792s |      24 |  5159266 |  4449762 |      612  16209 |        0 |        0
793.95/794.37	c  794s |      24 |  5170868 |  4459662 |      612  16239 |        0 |        0
795.94/796.38	c  796s |      24 |  5183661 |  4470762 |      612  16272 |        0 |        0
797.94/798.39	c  798s |      24 |  5196272 |  4481762 |      612  16304 |        0 |        0
800.04/800.41	c  800s |      24 |  5207550 |  4491462 |      612  16333 |        0 |        0
802.05/802.42	c  802s |      24 |  5219097 |  4501562 |      612  16363 |        0 |        0
804.05/804.44	c  804s |      24 |  5230967 |  4511762 |      612  16393 |        0 |        0
806.05/806.46	c  806s |      24 |  5242964 |  4522362 |      612  16424 |        0 |        0
808.05/808.47	c  808s |      24 |  5255156 |  4532862 |      612  16455 |        0 |        0
810.04/810.47	c  810s |      24 |  5267037 |  4543462 |      612  16486 |        0 |        0
812.04/812.48	c  812s |      24 |  5279181 |  4554062 |      612  16518 |        0 |        0
814.04/814.48	c  814s |      24 |  5290683 |  4564062 |      612  16547 |        0 |        0
816.04/816.49	c  816s |      24 |  5302024 |  4574062 |      612  16577 |        0 |        0
818.05/818.50	c  818s |      24 |  5315575 |  4585762 |      612  16611 |        0 |        0
820.14/820.51	c  820s |      24 |  5329221 |  4597762 |      612  16647 |        0 |        0
822.14/822.51	c  822s |      24 |  5342724 |  4609562 |      612  16682 |        0 |        0
824.14/824.52	c  824s |      24 |  5355803 |  4620962 |      612  16715 |        0 |        0
826.14/826.54	c  826s |      24 |  5367575 |  4631162 |      612  16745 |        0 |        0
828.14/828.56	c  828s |      24 |  5380203 |  4642162 |      612  16778 |        0 |        0
830.15/830.56	c  830s |      24 |  5392345 |  4653062 |      612  16810 |        0 |        0
832.14/832.56	c  832s |      24 |  5404606 |  4663962 |      612  16842 |        0 |        0
834.13/834.57	c  834s |      24 |  5416566 |  4674362 |      612  16873 |        0 |        0
836.14/836.58	c  836s |      24 |  5429699 |  4685662 |      612  16906 |        0 |        0
838.13/838.58	c  838s |      24 |  5442570 |  4696862 |      612  16939 |        0 |        0
840.24/840.60	c  840s |      24 |  5454875 |  4707662 |      612  16971 |        0 |        0
842.24/842.61	c  842s |      24 |  5466789 |  4718162 |      612  17002 |        0 |        0
844.23/844.62	c  844s |      24 |  5478761 |  4728662 |      612  17033 |        0 |        0
846.23/846.64	c  846s |      24 |  5491145 |  4739362 |      612  17065 |        0 |        0
848.24/848.65	c  848s |      24 |  5503753 |  4750062 |      612  17096 |        0 |        0
850.23/850.65	c  850s |      24 |  5516691 |  4761362 |      612  17130 |        0 |        0
852.24/852.65	c  852s |      24 |  5529576 |  4772362 |      612  17162 |        0 |        0
854.24/854.66	c  854s |      24 |  5541927 |  4782962 |      612  17194 |        0 |        0
856.23/856.66	c  856s |      24 |  5553779 |  4793062 |      612  17224 |        0 |        0
858.23/858.68	c  858s |      24 |  5565764 |  4803262 |      612  17254 |        0 |        0
860.24/860.68	c  860s |      24 |  5575998 |  4812362 |      612  17281 |        0 |        0
862.23/862.69	c  862s |      24 |  5587347 |  4822162 |      612  17310 |        0 |        0
864.24/864.69	c  864s |      24 |  5598885 |  4832062 |      612  17339 |        0 |        0
866.34/866.71	c  866s |      24 |  5609812 |  4841762 |      612  17368 |        0 |        0
868.33/868.72	c  868s |      24 |  5620717 |  4851462 |      612  17397 |        0 |        0
870.34/870.74	c  870s |      24 |  5632204 |  4861462 |      612  17427 |        0 |        0
872.33/872.75	c  872s |      24 |  5643874 |  4871462 |      612  17456 |        0 |        0
874.33/874.77	c  874s |      24 |  5655308 |  4881562 |      612  17486 |        0 |        0
876.33/876.77	c  876s |      24 |  5666896 |  4891462 |      612  17516 |        0 |        0
878.33/878.78	c  878s |      24 |  5679147 |  4901562 |      612  17546 |        0 |        0
880.33/880.79	c  880s |      24 |  5690546 |  4911362 |      612  17576 |        0 |        0
882.43/882.80	c  882s |      24 |  5702502 |  4921362 |      612  17605 |        0 |        0
884.43/884.80	c  884s |      24 |  5714441 |  4931462 |      612  17636 |        0 |        0
886.43/886.81	c  886s |      24 |  5726504 |  4941662 |      612  17666 |        0 |        0
888.44/888.81	c  888s |      24 |  5737977 |  4951662 |      612  17696 |        0 |        0
890.43/890.82	c  890s |      24 |  5750048 |  4961862 |      612  17726 |        0 |        0
892.42/892.82	c  892s |      24 |  5762943 |  4972762 |      612  17758 |        0 |        0
894.43/894.83	c  894s |      24 |  5776209 |  4984462 |      612  17793 |        0 |        0
896.43/896.83	c  896s |      24 |  5788824 |  4995562 |      612  17826 |        0 |        0
898.43/898.84	c  898s |      24 |  5801499 |  5006762 |      612  17859 |        0 |        0
900.43/900.85	c  900s |      24 |  5813233 |  5017162 |      612  17890 |        0 |        0
902.43/902.87	c  902s |      24 |  5825262 |  5027662 |      612  17922 |        0 |        0
904.43/904.87	c  904s |      24 |  5837548 |  5038162 |      674  17950 |        0 |        0
906.42/906.89	c  906s |      24 |  5850248 |  5049162 |      674  17980 |        0 |        0
908.53/908.90	c  908s |      24 |  5862207 |  5059662 |      674  18008 |        0 |        0
909.53/909.98	c  909s |      25 |  5868254 |  5065098 |      674  18023 |        0 |        0
911.53/912.00	c  911s |      25 |  5881809 |  5076398 |      674  18053 |        0 |        0
913.62/914.02	c  914s |      25 |  5893585 |  5086698 |      674  18080 |        0 |        0
915.63/916.03	c  916s |      25 |  5905138 |  5096798 |      674  18107 |        0 |        0
917.62/918.03	c  918s |      25 |  5917679 |  5107498 |      674  18136 |        0 |        0
919.63/920.05	c  920s |      25 |  5929944 |  5118198 |      674  18164 |        0 |        0
921.62/922.05	c  922s |      25 |  5942255 |  5128898 |      674  18193 |        0 |        0
923.63/924.07	c  924s |      25 |  5955127 |  5139898 |      674  18223 |        0 |        0
925.62/926.08	c  926s |      25 |  5968073 |  5151298 |      674  18253 |        0 |        0
927.62/928.09	c  928s |      25 |  5980827 |  5162298 |      674  18283 |        0 |        0
929.73/930.10	c  930s |      25 |  5992349 |  5172498 |      674  18311 |        0 |        0
931.73/932.12	c  932s |      25 |  6004884 |  5183498 |      674  18340 |        0 |        0
933.72/934.13	c  934s |      25 |  6017938 |  5194898 |      674  18371 |        0 |        0
935.73/936.14	c  936s |      25 |  6031269 |  5206498 |      674  18402 |        0 |        0
937.72/938.15	c  938s |      25 |  6044677 |  5218298 |      674  18434 |        0 |        0
939.73/940.16	c  940s |      25 |  6058728 |  5230598 |      674  18467 |        0 |        0
941.72/942.17	c  942s |      25 |  6072740 |  5242898 |      674  18500 |        0 |        0
943.72/944.19	c  944s |      25 |  6086055 |  5254698 |      674  18532 |        0 |        0
945.73/946.19	c  946s |      25 |  6099053 |  5266198 |      674  18563 |        0 |        0
947.83/948.21	c  948s |      25 |  6112443 |  5277698 |      674  18594 |        0 |        0
949.82/950.23	c  950s |      25 |  6124729 |  5287998 |      674  18622 |        0 |        0
951.82/952.24	c  952s |      25 |  6136077 |  5297998 |      674  18649 |        0 |        0
953.82/954.24	c  954s |      25 |  6148412 |  5308598 |      674  18678 |        0 |        0
955.82/956.24	c  956s |      25 |  6159066 |  5317998 |      674  18703 |        0 |        0
957.83/958.25	c  958s |      25 |  6170346 |  5327598 |      674  18729 |        0 |        0
959.82/960.26	c  960s |      25 |  6183589 |  5338498 |      674  18759 |        0 |        0
961.82/962.26	c  962s |      25 |  6194603 |  5348298 |      674  18785 |        0 |        0
963.82/964.27	c  964s |      25 |  6206281 |  5358398 |      674  18812 |        0 |        0
965.82/966.27	c  966s |      25 |  6217890 |  5368398 |      674  18839 |        0 |        0
967.82/968.29	c  968s |      25 |  6229291 |  5378298 |      674  18866 |        0 |        0
969.82/970.29	c  970s |      25 |  6240506 |  5387998 |      674  18892 |        0 |        0
971.92/972.31	c  972s |      25 |  6252376 |  5398298 |      674  18920 |        0 |        0
973.92/974.32	c  974s |      25 |  6264556 |  5408598 |      674  18948 |        0 |        0
975.91/976.33	c  976s |      25 |  6277464 |  5419198 |      674  18976 |        0 |        0
977.92/978.35	c  978s |      25 |  6293641 |  5430898 |      674  19008 |        0 |        0
979.92/980.35	c  980s |      25 |  6305577 |  5441198 |      674  19036 |        0 |        0
981.92/982.36	c  982s |      25 |  6319785 |  5452198 |      674  19066 |        0 |        0
983.92/984.37	c  984s |      25 |  6330781 |  5461798 |      674  19092 |        0 |        0
985.91/986.38	c  986s |      25 |  6343468 |  5471998 |      674  19120 |        0 |        0
987.91/988.38	c  988s |      25 |  6355614 |  5482498 |      674  19148 |        0 |        0
989.92/990.39	c  990s |      25 |  6367638 |  5492798 |      674  19175 |        0 |        0
992.01/992.40	c  992s |      25 |  6379576 |  5503198 |      674  19203 |        0 |        0
993.92/994.40	c  994s |      25 |  6390444 |  5512798 |      674  19229 |        0 |        0
996.01/996.41	c  996s |      25 |  6401829 |  5522798 |      674  19256 |        0 |        0
998.01/998.42	c  998s |      25 |  6413131 |  5532698 |      674  19283 |        0 |        0
1000.01/1000.43	c 1000s |      25 |  6424103 |  5542298 |      674  19308 |        0 |        0
1002.01/1002.44	c 1002s |      25 |  6434608 |  5551598 |      674  19334 |        0 |        0
1004.02/1004.45	c 1004s |      25 |  6445435 |  5560898 |      674  19359 |        0 |        0
1006.01/1006.45	c 1006s |      25 |  6457558 |  5571398 |      674  19387 |        0 |        0
1008.01/1008.47	c 1008s |      25 |  6469735 |  5581998 |      674  19416 |        0 |        0
1010.01/1010.48	c 1010s |      25 |  6481718 |  5592298 |      674  19443 |        0 |        0
1012.01/1012.48	c 1012s |      25 |  6493633 |  5602498 |      674  19471 |        0 |        0
1014.11/1014.50	c 1014s |      25 |  6505166 |  5612398 |      674  19498 |        0 |        0
1016.12/1016.51	c 1016s |      25 |  6516536 |  5622398 |      674  19525 |        0 |        0
1018.11/1018.52	c 1018s |      25 |  6527698 |  5632198 |      674  19551 |        0 |        0
1020.11/1020.54	c 1020s |      25 |  6539084 |  5642198 |      674  19578 |        0 |        0
1022.11/1022.55	c 1022s |      25 |  6550590 |  5652098 |      674  19605 |        0 |        0
1024.11/1024.56	c 1024s |      25 |  6561783 |  5661898 |      674  19632 |        0 |        0
1026.11/1026.57	c 1026s |      25 |  6573289 |  5671798 |      674  19658 |        0 |        0
1028.12/1028.59	c 1028s |      25 |  6583692 |  5680898 |      674  19683 |        0 |        0
1030.11/1030.59	c 1030s |      25 |  6595060 |  5690798 |      674  19710 |        0 |        0
1032.21/1032.61	c 1032s |      25 |  6607267 |  5701498 |      674  19739 |        0 |        0
1034.21/1034.63	c 1034s |      25 |  6619061 |  5711898 |      674  19767 |        0 |        0
1036.21/1036.63	c 1036s |      25 |  6631137 |  5722498 |      674  19796 |        0 |        0
1038.21/1038.64	c 1038s |      25 |  6642866 |  5732798 |      674  19824 |        0 |        0
1040.21/1040.64	c 1040s |      25 |  6654150 |  5742698 |      674  19851 |        0 |        0
1042.21/1042.66	c 1042s |      25 |  6665780 |  5752998 |      674  19879 |        0 |        0
1044.21/1044.66	c 1044s |      25 |  6677404 |  5763198 |      674  19906 |        0 |        0
1046.20/1046.67	c 1046s |      25 |  6688698 |  5773098 |      674  19933 |        0 |        0
1048.21/1048.69	c 1048s |      25 |  6699626 |  5782798 |      674  19960 |        0 |        0
1050.31/1050.70	c 1050s |      25 |  6710278 |  5792298 |      674  19986 |        0 |        0
1052.32/1052.72	c 1052s |      25 |  6722007 |  5802598 |      674  20013 |        0 |        0
1054.31/1054.72	c 1054s |      25 |  6733656 |  5812798 |      674  20041 |        0 |        0
1056.31/1056.74	c 1056s |      25 |  6745805 |  5823498 |      674  20069 |        0 |        0
1058.31/1058.76	c 1058s |      25 |  6757837 |  5833798 |      674  20097 |        0 |        0
1060.30/1060.77	c 1060s |      25 |  6768911 |  5843498 |      674  20124 |        0 |        0
1062.31/1062.78	c 1062s |      25 |  6780188 |  5853398 |      674  20151 |        0 |        0
1064.31/1064.79	c 1064s |      25 |  6791502 |  5863198 |      674  20177 |        0 |        0
1066.41/1066.80	c 1066s |      25 |  6803605 |  5873798 |      674  20205 |        0 |        0
1068.40/1068.81	c 1068s |      25 |  6815889 |  5884498 |      674  20234 |        0 |        0
1070.40/1070.81	c 1070s |      25 |  6828051 |  5895198 |      674  20262 |        0 |        0
1072.40/1072.83	c 1072s |      25 |  6839556 |  5905398 |      674  20290 |        0 |        0
1074.41/1074.85	c 1074s |      25 |  6851027 |  5915198 |      674  20317 |        0 |        0
1076.40/1076.86	c 1076s |      25 |  6862864 |  5925598 |      674  20345 |        0 |        0
1078.40/1078.87	c 1078s |      25 |  6875023 |  5935998 |      674  20373 |        0 |        0
1080.40/1080.88	c 1080s |      25 |  6886520 |  5945998 |      674  20400 |        0 |        0
1082.40/1082.89	c 1082s |      25 |  6897968 |  5956198 |      674  20428 |        0 |        0
1084.40/1084.89	c 1084s |      25 |  6909674 |  5966598 |      674  20456 |        0 |        0
1086.51/1086.91	c 1086s |      25 |  6921778 |  5977298 |      674  20485 |        0 |        0
1088.50/1088.93	c 1088s |      25 |  6935074 |  5988898 |      674  20517 |        0 |        0
1090.50/1090.94	c 1090s |      25 |  6947467 |  5999698 |      674  20546 |        0 |        0
1092.50/1092.96	c 1092s |      25 |  6960903 |  6010898 |      674  20576 |        0 |        0
1094.50/1094.98	c 1094s |      25 |  6972689 |  6021298 |      674  20604 |        0 |        0
1096.50/1096.99	c 1096s |      25 |  6984024 |  6031198 |      674  20631 |        0 |        0
1098.60/1099.01	c 1099s |      25 |  6994743 |  6040698 |      674  20657 |        0 |        0
1100.60/1101.03	c 1101s |      25 |  7007391 |  6051598 |      674  20686 |        0 |        0
1102.60/1103.04	c 1103s |      25 |  7019705 |  6062298 |      674  20715 |        0 |        0
1104.59/1105.04	c 1105s |      25 |  7031553 |  6072698 |      674  20743 |        0 |        0
1106.60/1107.06	c 1107s |      25 |  7044164 |  6083698 |      674  20773 |        0 |        0
1108.59/1109.06	c 1109s |      25 |  7056766 |  6094498 |      674  20803 |        0 |        0
1110.60/1111.06	c 1111s |      25 |  7068868 |  6105098 |      674  20832 |        0 |        0
1112.60/1113.06	c 1113s |      25 |  7080807 |  6115698 |      674  20860 |        0 |        0
1114.59/1115.07	c 1115s |      25 |  7093305 |  6126598 |      674  20890 |        0 |        0
1116.60/1117.07	c 1117s |      25 |  7106169 |  6137898 |      674  20920 |        0 |        0
1118.59/1119.08	c 1119s |      25 |  7118919 |  6148898 |      674  20950 |        0 |        0
1120.60/1121.09	c 1121s |      25 |  7130928 |  6159498 |      674  20979 |        0 |        0
1122.70/1123.10	c 1123s |      25 |  7143383 |  6170298 |      674  21008 |        0 |        0
1124.70/1125.11	c 1125s |      25 |  7155030 |  6180298 |      674  21036 |        0 |        0
1126.69/1127.12	c 1127s |      25 |  7167268 |  6190898 |      674  21064 |        0 |        0
1128.70/1129.12	c 1129s |      25 |  7178794 |  6201098 |      674  21092 |        0 |        0
1130.70/1131.13	c 1131s |      25 |  7190269 |  6211398 |      674  21120 |        0 |        0
1132.70/1133.13	c 1133s |      25 |  7202046 |  6221898 |      674  21148 |        0 |        0
1134.69/1135.13	c 1135s |      25 |  7213968 |  6232498 |      674  21177 |        0 |        0
1136.69/1137.16	c 1137s |      25 |  7225594 |  6242798 |      674  21205 |        0 |        0
1138.69/1139.17	c 1139s |      25 |  7237788 |  6253598 |      674  21234 |        0 |        0
1140.69/1141.18	c 1141s |      25 |  7250939 |  6264798 |      674  21264 |        0 |        0
1142.69/1143.18	c 1143s |      25 |  7264268 |  6276198 |      674  21295 |        0 |        0
1144.70/1145.20	c 1145s |      25 |  7277296 |  6287498 |      674  21325 |        0 |        0
1146.79/1147.21	c 1147s |      25 |  7289538 |  6298198 |      674  21354 |        0 |        0
1148.79/1149.23	c 1149s |      25 |  7301411 |  6308598 |      674  21382 |        0 |        0
1150.79/1151.23	c 1151s |      25 |  7314027 |  6319698 |      674  21412 |        0 |        0
1152.79/1153.24	c 1153s |      25 |  7327189 |  6331298 |      674  21444 |        0 |        0
1154.79/1155.24	c 1155s |      25 |  7340007 |  6342598 |      674  21474 |        0 |        0
1156.80/1157.24	c 1157s |      25 |  7351968 |  6353498 |      674  21504 |        0 |        0
1158.79/1159.25	c 1159s |      25 |  7364656 |  6364898 |      674  21534 |        0 |        0
1160.79/1161.25	c 1161s |      25 |  7377811 |  6376498 |      674  21566 |        0 |        0
1162.79/1163.26	c 1163s |      25 |  7391944 |  6388498 |      674  21598 |        0 |        0
1164.79/1165.27	c 1165s |      25 |  7405247 |  6400098 |      674  21629 |        0 |        0
1166.79/1167.28	c 1167s |      25 |  7418062 |  6411098 |      674  21659 |        0 |        0
1168.79/1169.28	c 1169s |      25 |  7431533 |  6422498 |      674  21690 |        0 |        0
1170.79/1171.29	c 1171s |      25 |  7445123 |  6434098 |      674  21722 |        0 |        0
1172.88/1173.31	c 1173s |      25 |  7460062 |  6446598 |      674  21756 |        0 |        0
1174.89/1175.31	c 1175s |      25 |  7472641 |  6457598 |      674  21785 |        0 |        0
1176.89/1177.31	c 1177s |      25 |  7484589 |  6468198 |      674  21814 |        0 |        0
1178.89/1179.32	c 1179s |      25 |  7496289 |  6478798 |      674  21842 |        0 |        0
1180.89/1181.33	c 1181s |      25 |  7508086 |  6489198 |      674  21870 |        0 |        0
1182.89/1183.34	c 1183s |      25 |  7520367 |  6499998 |      674  21898 |        0 |        0
1184.88/1185.36	c 1185s |      25 |  7531989 |  6510298 |      674  21926 |        0 |        0
1186.88/1187.37	c 1187s |      25 |  7543347 |  6520398 |      674  21953 |        0 |        0
1188.88/1189.38	c 1189s |      25 |  7554657 |  6530398 |      674  21980 |        0 |        0
1190.89/1191.39	c 1191s |      25 |  7567306 |  6541398 |      674  22009 |        0 |        0
1192.98/1193.41	c 1193s |      25 |  7578659 |  6551498 |      674  22036 |        0 |        0
1194.98/1195.42	c 1195s |      25 |  7590327 |  6561798 |      674  22064 |        0 |        0
1196.99/1197.43	c 1197s |      25 |  7602976 |  6572998 |      674  22094 |        0 |        0
1198.99/1199.43	c 1199s |      25 |  7614554 |  6583398 |      674  22122 |        0 |        0
1200.99/1201.43	c 1201s |      25 |  7625987 |  6593598 |      674  22149 |        0 |        0
1202.99/1203.44	c 1203s |      25 |  7637849 |  6604098 |      674  22177 |        0 |        0
1204.99/1205.45	c 1205s |      25 |  7648979 |  6613998 |      674  22204 |        0 |        0
1206.98/1207.47	c 1207s |      25 |  7661794 |  6625298 |      674  22234 |        0 |        0
1208.98/1209.47	c 1209s |      25 |  7674020 |  6636098 |      674  22263 |        0 |        0
1210.98/1211.47	c 1211s |      25 |  7686517 |  6647198 |      674  22293 |        0 |        0
1212.99/1213.47	c 1213s |      25 |  7697946 |  6657398 |      674  22320 |        0 |        0
1214.98/1215.48	c 1215s |      25 |  7709543 |  6667698 |      674  22348 |        0 |        0
1217.08/1217.50	c 1217s |      25 |  7721469 |  6678398 |      674  22377 |        0 |        0
1219.07/1219.50	c 1219s |      25 |  7732756 |  6688498 |      674  22404 |        0 |        0
1221.08/1221.52	c 1221s |      25 |  7745279 |  6699298 |      674  22433 |        0 |        0
1223.08/1223.53	c 1223s |      25 |  7757517 |  6709998 |      674  22461 |        0 |        0
1225.08/1225.55	c 1225s |      25 |  7769395 |  6720498 |      674  22489 |        0 |        0
1227.08/1227.56	c 1227s |      25 |  7780782 |  6730798 |      674  22517 |        0 |        0
1229.08/1229.57	c 1229s |      25 |  7791840 |  6740798 |      674  22544 |        0 |        0
1231.08/1231.59	c 1231s |      25 |  7803924 |  6751398 |      674  22572 |        0 |        0
1233.07/1233.60	c 1233s |      25 |  7815470 |  6761598 |      674  22599 |        0 |        0
1235.18/1235.60	c 1235s |      25 |  7827478 |  6772298 |      674  22628 |        0 |        0
1237.19/1237.61	c 1237s |      25 |  7839502 |  6782998 |      674  22657 |        0 |        0
1239.17/1239.63	c 1239s |      25 |  7851032 |  6793298 |      674  22685 |        0 |        0
1241.17/1241.63	c 1241s |      25 |  7863274 |  6803898 |      674  22713 |        1 |        0
1243.18/1243.63	c 1243s |      25 |  7877322 |  6815098 |      674  22743 |        1 |        0
1245.17/1245.64	c 1245s |      25 |  7890273 |  6825998 |      674  22773 |        1 |        0
1247.17/1247.65	c 1247s |      25 |  7903314 |  6837398 |      674  22803 |        1 |        0
1249.18/1249.67	c 1249s |      25 |  7915807 |  6848498 |      674  22833 |        1 |        0
1251.17/1251.68	c 1251s |      25 |  7928683 |  6859198 |      674  22862 |        1 |        0
1253.18/1253.68	c 1253s |      25 |  7940214 |  6869298 |      674  22889 |        1 |        0
1255.27/1255.70	c 1255s |      25 |  7951521 |  6879198 |      674  22915 |        1 |        0
1257.27/1257.72	c 1257s |      25 |  7962814 |  6889198 |      674  22942 |        1 |        0
1259.28/1259.74	c 1259s |      25 |  7973725 |  6898798 |      674  22968 |        1 |        0
1261.28/1261.76	c 1261s |      25 |  7985547 |  6909098 |      674  22996 |        1 |        0
1263.27/1263.76	c 1263s |      25 |  7997943 |  6919998 |      674  23025 |        1 |        0
1265.27/1265.78	c 1265s |      25 |  8010281 |  6930998 |      674  23055 |        1 |        0
1267.28/1267.79	c 1267s |      25 |  8021741 |  6940998 |      674  23081 |        1 |        0
1269.37/1269.80	c 1269s |      25 |  8033714 |  6951598 |      674  23110 |        1 |        0
1271.37/1271.81	c 1271s |      25 |  8045727 |  6962198 |      674  23138 |        1 |        0
1273.38/1273.82	c 1273s |      25 |  8058537 |  6973298 |      674  23168 |        1 |        0
1275.38/1275.83	c 1275s |      25 |  8070457 |  6983698 |      674  23196 |        1 |        0
1277.37/1277.84	c 1277s |      25 |  8083097 |  6994898 |      674  23226 |        1 |        0
1279.37/1279.86	c 1279s |      25 |  8095818 |  7005998 |      674  23256 |        1 |        0
1281.37/1281.86	c 1281s |      25 |  8107164 |  7016198 |      674  23283 |        1 |        0
1283.37/1283.86	c 1283s |      25 |  8118814 |  7026498 |      674  23311 |        1 |        0
1285.37/1285.87	c 1285s |      25 |  8129910 |  7036298 |      674  23337 |        1 |        0
1287.37/1287.88	c 1287s |      25 |  8141082 |  7046198 |      674  23364 |        1 |        0
1289.37/1289.89	c 1289s |      25 |  8152280 |  7056098 |      674  23390 |        1 |        0
1291.37/1291.89	c 1291s |      25 |  8163902 |  7066298 |      674  23418 |        1 |        0
1293.36/1293.89	c 1293s |      25 |  8175964 |  7076898 |      674  23446 |        1 |        0
1295.48/1295.91	c 1295s |      25 |  8187269 |  7086798 |      674  23472 |        1 |        0
1297.47/1297.92	c 1297s |      25 |  8198962 |  7097298 |      674  23500 |        1 |        0
1299.47/1299.92	c 1299s |      25 |  8209092 |  7106398 |      674  23524 |        1 |        0
1301.47/1301.93	c 1301s |      25 |  8220366 |  7116298 |      674  23551 |        1 |        0
1303.46/1303.94	c 1303s |      25 |  8232000 |  7126598 |      674  23578 |        1 |        0
1305.47/1305.95	c 1305s |      25 |  8243547 |  7136698 |      674  23605 |        1 |        0
1307.47/1307.95	c 1307s |      25 |  8255058 |  7146798 |      674  23632 |        1 |        0
1309.46/1309.96	c 1309s |      25 |  8266901 |  7157098 |      674  23660 |        1 |        0
1311.47/1311.97	c 1311s |      25 |  8278975 |  7167698 |      674  23688 |        1 |        0
1313.46/1313.97	c 1313s |      25 |  8290601 |  7177898 |      674  23715 |        1 |        0
1315.46/1315.98	c 1315s |      25 |  8301559 |  7187698 |      674  23741 |        1 |        0
1317.47/1317.98	c 1317s |      25 |  8312401 |  7197398 |      674  23767 |        1 |        0
1319.46/1319.99	c 1319s |      25 |  8323694 |  7207498 |      674  23794 |        1 |        0
1321.56/1322.00	c 1321s |      25 |  8335980 |  7218398 |      674  23824 |        1 |        0
1323.57/1324.01	c 1323s |      25 |  8348276 |  7229298 |      674  23853 |        1 |        0
1325.56/1326.02	c 1326s |      25 |  8359764 |  7239598 |      674  23880 |        1 |        0
1327.56/1328.04	c 1328s |      25 |  8371604 |  7249998 |      674  23909 |        1 |        0
1329.57/1330.04	c 1330s |      25 |  8382814 |  7260098 |      674  23936 |        1 |        0
1331.56/1332.05	c 1332s |      25 |  8393567 |  7269798 |      674  23962 |        1 |        0
1333.56/1334.07	c 1334s |      25 |  8405440 |  7280298 |      674  23990 |        1 |        0
1335.56/1336.08	c 1336s |      25 |  8417882 |  7290998 |      674  24019 |        1 |        0
1337.56/1338.09	c 1338s |      25 |  8429807 |  7301498 |      674  24047 |        1 |        0
1339.67/1340.11	c 1340s |      25 |  8441397 |  7311698 |      674  24074 |        1 |        0
1341.67/1342.13	c 1342s |      25 |  8452297 |  7321498 |      674  24100 |        1 |        0
1343.66/1344.15	c 1344s |      25 |  8463130 |  7331098 |      674  24125 |        1 |        0
1345.66/1346.16	c 1346s |      25 |  8474929 |  7340998 |      674  24151 |        1 |        0
1347.66/1348.16	c 1348s |      25 |  8486875 |  7351398 |      674  24179 |        1 |        0
1349.66/1350.17	c 1350s |      25 |  8499437 |  7362398 |      674  24208 |        1 |        0
1351.66/1352.19	c 1352s |      25 |  8511414 |  7372998 |      674  24237 |        1 |        0
1353.66/1354.19	c 1354s |      25 |  8523320 |  7383498 |      674  24265 |        1 |        0
1355.76/1356.21	c 1356s |      25 |  8534453 |  7393498 |      674  24292 |        1 |        0
1357.76/1358.23	c 1358s |      25 |  8545906 |  7403598 |      674  24319 |        1 |        0
1359.75/1360.23	c 1360s |      25 |  8557614 |  7413798 |      674  24347 |        1 |        0
1361.76/1362.24	c 1362s |      25 |  8569446 |  7423998 |      674  24375 |        1 |        0
1363.76/1364.26	c 1364s |      25 |  8581408 |  7434598 |      674  24403 |        1 |        0
1365.76/1366.27	c 1366s |      25 |  8591994 |  7444098 |      674  24429 |        1 |        0
1367.76/1368.28	c 1368s |      25 |  8603958 |  7454498 |      674  24457 |        1 |        0
1369.75/1370.28	c 1370s |      25 |  8616114 |  7465298 |      674  24486 |        1 |        0
1371.86/1372.30	c 1372s |      25 |  8628842 |  7476598 |      674  24516 |        1 |        0
1373.86/1374.31	c 1374s |      25 |  8641094 |  7487498 |      674  24546 |        1 |        0
1375.85/1376.33	c 1376s |      25 |  8652619 |  7497798 |      674  24574 |        1 |        0
1377.86/1378.33	c 1378s |      25 |  8664529 |  7508398 |      674  24602 |        1 |        0
1379.85/1380.33	c 1380s |      25 |  8676917 |  7519398 |      674  24631 |        1 |        0
1381.85/1382.33	c 1382s |      25 |  8688885 |  7529798 |      674  24659 |        1 |        0
1383.86/1384.35	c 1384s |      25 |  8701391 |  7540298 |      674  24688 |        1 |        0
1385.85/1386.35	c 1386s |      25 |  8712072 |  7549698 |      742  24711 |        1 |        0
1387.86/1388.37	c 1388s |      25 |  8723393 |  7559498 |      742  24736 |        1 |        0
1389.85/1390.37	c 1390s |      25 |  8735397 |  7569598 |      742  24761 |        1 |        0
1391.85/1392.38	c 1392s |      25 |  8747912 |  7580698 |      742  24788 |        1 |        0
1393.85/1394.39	c 1394s |      25 |  8759073 |  7590598 |      742  24812 |        1 |        0
1395.36/1395.82	c 1395s |      26 |  8767056 |  7597752 |      742  24830 |        1 |        0
1397.35/1397.83	c 1397s |      26 |  8780682 |  7609052 |      742  24857 |        1 |        0
1399.35/1399.84	c 1399s |      26 |  8793474 |  7620152 |      742  24884 |        1 |        0
1401.35/1401.86	c 1401s |      26 |  8806055 |  7631252 |      742  24911 |        1 |        0
1403.36/1403.86	c 1403s |      26 |  8819238 |  7642752 |      742  24940 |        1 |        0
1405.36/1405.88	c 1405s |      26 |  8831812 |  7653752 |      742  24967 |        1 |        0
1407.35/1407.89	c 1407s |      26 |  8844313 |  7664852 |      742  24994 |        1 |        0
1409.45/1409.90	c 1409s |      26 |  8856902 |  7675252 |      742  25019 |        1 |        0
1411.45/1411.92	c 1411s |      26 |  8870856 |  7686052 |      742  25046 |        1 |        0
1413.45/1413.93	c 1413s |      26 |  8882846 |  7696052 |      742  25071 |        1 |        0
1415.45/1415.94	c 1415s |      26 |  8897494 |  7707052 |      742  25098 |        1 |        0
1417.46/1417.95	c 1417s |      26 |  8910857 |  7717052 |      742  25122 |        1 |        0
1419.45/1419.95	c 1419s |      26 |  8921517 |  7726352 |      742  25145 |        1 |        0
1421.45/1421.97	c 1421s |      26 |  8931662 |  7735352 |      742  25167 |        1 |        0
1423.44/1423.98	c 1423s |      26 |  8944439 |  7746552 |      742  25195 |        1 |        0
1425.45/1426.00	c 1425s |      26 |  8957073 |  7757752 |      742  25224 |        1 |        0
1427.55/1428.00	c 1427s |      26 |  8968403 |  7767752 |      742  25249 |        1 |        0
1429.55/1430.02	c 1430s |      26 |  8978969 |  7777152 |      742  25272 |        1 |        0
1431.55/1432.02	c 1432s |      26 |  8990083 |  7786952 |      742  25296 |        1 |        0
1433.54/1434.03	c 1434s |      26 |  9000725 |  7796252 |      742  25318 |        1 |        0
1435.54/1436.04	c 1436s |      26 |  9011489 |  7806052 |      742  25342 |        1 |        0
1437.54/1438.05	c 1438s |      26 |  9023113 |  7816252 |      742  25367 |        1 |        0
1439.55/1440.06	c 1440s |      26 |  9034000 |  7825852 |      742  25391 |        1 |        0
1441.54/1442.08	c 1442s |      26 |  9044855 |  7835552 |      742  25415 |        1 |        0
1443.64/1444.10	c 1444s |      26 |  9055240 |  7844752 |      742  25438 |        1 |        0
1445.64/1446.11	c 1446s |      26 |  9065677 |  7854152 |      742  25461 |        1 |        0
1447.64/1448.12	c 1448s |      26 |  9076936 |  7864152 |      742  25486 |        1 |        0
1449.64/1450.14	c 1450s |      26 |  9087312 |  7873452 |      742  25509 |        1 |        0
1451.65/1452.15	c 1452s |      26 |  9097782 |  7882752 |      742  25532 |        1 |        0
1453.64/1454.15	c 1454s |      26 |  9109023 |  7892552 |      742  25556 |        1 |        0
1455.65/1456.15	c 1456s |      26 |  9120660 |  7902752 |      742  25581 |        1 |        0
1457.64/1458.15	c 1458s |      26 |  9131883 |  7912352 |      742  25605 |        1 |        0
1459.64/1460.17	c 1460s |      26 |  9143723 |  7922952 |      742  25631 |        1 |        0
1461.65/1462.18	c 1462s |      26 |  9156049 |  7933752 |      742  25657 |        1 |        0
1463.64/1464.19	c 1464s |      26 |  9167944 |  7944152 |      742  25683 |        1 |        0
1465.64/1466.19	c 1466s |      26 |  9179220 |  7953852 |      742  25706 |        1 |        0
1467.74/1468.20	c 1468s |      26 |  9189988 |  7963552 |      742  25730 |        1 |        0
1469.74/1470.22	c 1470s |      26 |  9200908 |  7973352 |      742  25754 |        1 |        0
1471.75/1472.23	c 1472s |      26 |  9211849 |  7983052 |      742  25778 |        1 |        0
1473.74/1474.23	c 1474s |      26 |  9222800 |  7992752 |      742  25802 |        1 |        0
1475.74/1476.24	c 1476s |      26 |  9233866 |  8002652 |      742  25827 |        1 |        0
1477.74/1478.25	c 1478s |      26 |  9245050 |  8012652 |      742  25851 |        1 |        0
1479.74/1480.25	c 1480s |      26 |  9256111 |  8022452 |      742  25876 |        1 |        0
1481.74/1482.26	c 1482s |      26 |  9266827 |  8031952 |      742  25899 |        1 |        0
1483.74/1484.26	c 1484s |      26 |  9279253 |  8042352 |      742  25924 |        1 |        0
1485.75/1486.27	c 1486s |      26 |  9291906 |  8052752 |      742  25950 |        1 |        0
1487.74/1488.28	c 1488s |      26 |  9303123 |  8062352 |      742  25974 |        1 |        0
1489.83/1490.30	c 1490s |      26 |  9313267 |  8071352 |      742  25996 |        1 |        0
1491.84/1492.31	c 1492s |      26 |  9324727 |  8081452 |      742  26021 |        1 |        0
1493.84/1494.32	c 1494s |      26 |  9335814 |  8091252 |      742  26045 |        1 |        0
1495.83/1496.34	c 1496s |      26 |  9347122 |  8101352 |      742  26070 |        1 |        0
1497.85/1498.35	c 1498s |      26 |  9357969 |  8111152 |      742  26094 |        1 |        0
1499.83/1500.37	c 1500s |      26 |  9369028 |  8120852 |      742  26117 |        1 |        0
1501.84/1502.38	c 1502s |      26 |  9379789 |  8130352 |      742  26141 |        1 |        0
1503.83/1504.39	c 1504s |      26 |  9390319 |  8139752 |      742  26164 |        1 |        0
1505.94/1506.40	c 1506s |      26 |  9401653 |  8149852 |      742  26189 |        1 |        0
1507.93/1508.41	c 1508s |      26 |  9413477 |  8160452 |      742  26215 |        1 |        0
1509.95/1510.43	c 1510s |      26 |  9425104 |  8170852 |      742  26240 |        1 |        0
1511.93/1512.44	c 1512s |      26 |  9436340 |  8180952 |      742  26265 |        1 |        0
1513.94/1514.45	c 1514s |      26 |  9447415 |  8190752 |      742  26289 |        1 |        0
1515.93/1516.46	c 1516s |      26 |  9459284 |  8201252 |      742  26315 |        1 |        0
1517.93/1518.48	c 1518s |      26 |  9471208 |  8211752 |      742  26341 |        1 |        0
1519.94/1520.48	c 1520s |      26 |  9482771 |  8222052 |      742  26366 |        1 |        0
1521.94/1522.50	c 1522s |      26 |  9493669 |  8231752 |      742  26390 |        1 |        0
1524.03/1524.51	c 1524s |      26 |  9504350 |  8241252 |      742  26413 |        1 |        0
1526.04/1526.51	c 1526s |      26 |  9514738 |  8250552 |      742  26436 |        1 |        0
1528.03/1528.52	c 1528s |      26 |  9524971 |  8259652 |      742  26458 |        1 |        0
1530.03/1530.52	c 1530s |      26 |  9536139 |  8269452 |      742  26482 |        1 |        0
1532.03/1532.53	c 1532s |      26 |  9547890 |  8279752 |      742  26508 |        1 |        0
1534.04/1534.54	c 1534s |      26 |  9558563 |  8289252 |      742  26531 |        1 |        0
1536.03/1536.55	c 1536s |      26 |  9570428 |  8299452 |      742  26556 |        1 |        0
1538.03/1538.55	c 1538s |      26 |  9581810 |  8309552 |      742  26581 |        1 |        0
1540.04/1540.56	c 1540s |      26 |  9593837 |  8319752 |      742  26606 |        1 |        0
1542.03/1542.58	c 1542s |      26 |  9605730 |  8329952 |      742  26632 |        1 |        0
1544.04/1544.58	c 1544s |      26 |  9617250 |  8340052 |      742  26656 |        1 |        0
1546.03/1546.58	c 1546s |      26 |  9629336 |  8350352 |      742  26682 |        1 |        0
1548.03/1548.59	c 1548s |      26 |  9641324 |  8360952 |      742  26708 |        1 |        0
1550.13/1550.61	c 1550s |      26 |  9653238 |  8371052 |      742  26733 |        1 |        0
1552.13/1552.63	c 1552s |      26 |  9664521 |  8380752 |      742  26757 |        1 |        0
1554.13/1554.63	c 1554s |      26 |  9675695 |  8390552 |      742  26781 |        1 |        0
1556.14/1556.64	c 1556s |      26 |  9686364 |  8399852 |      742  26804 |        1 |        0
1558.13/1558.65	c 1558s |      26 |  9696887 |  8409052 |      742  26827 |        1 |        0
1560.13/1560.66	c 1560s |      26 |  9707255 |  8418252 |      742  26850 |        1 |        0
1562.13/1562.67	c 1562s |      26 |  9718844 |  8428252 |      742  26874 |        1 |        0
1564.13/1564.69	c 1564s |      26 |  9730687 |  8438552 |      742  26900 |        1 |        0
1566.22/1566.70	c 1566s |      26 |  9741598 |  8448052 |      742  26923 |        1 |        0
1568.23/1568.72	c 1568s |      26 |  9752861 |  8457752 |      742  26947 |        1 |        0
1570.22/1570.74	c 1570s |      26 |  9763742 |  8467252 |      742  26971 |        1 |        0
1572.22/1572.75	c 1572s |      26 |  9774422 |  8476652 |      742  26994 |        1 |        0
1574.22/1574.76	c 1574s |      26 |  9784731 |  8485652 |      742  27016 |        1 |        0
1576.22/1576.76	c 1576s |      26 |  9795786 |  8495552 |      742  27041 |        1 |        0
1578.22/1578.77	c 1578s |      26 |  9808599 |  8506652 |      742  27068 |        1 |        0
1580.23/1580.78	c 1580s |      26 |  9820372 |  8516852 |      742  27094 |        1 |        0
1582.33/1582.80	c 1582s |      26 |  9831839 |  8526852 |      742  27119 |        1 |        0
1584.33/1584.81	c 1584s |      26 |  9844270 |  8537552 |      742  27145 |        1 |        0
1586.33/1586.82	c 1586s |      26 |  9856729 |  8548452 |      742  27172 |        1 |        0
1588.33/1588.83	c 1588s |      26 |  9869077 |  8559252 |      742  27199 |        1 |        0
1590.33/1590.85	c 1590s |      26 |  9880945 |  8569752 |      742  27226 |        1 |        0
1592.33/1592.86	c 1592s |      26 |  9893541 |  8580652 |      742  27253 |        1 |        0
1594.32/1594.86	c 1594s |      26 |  9906084 |  8591552 |      742  27280 |        1 |        0
1596.32/1596.89	c 1596s |      26 |  9918290 |  8602152 |      742  27306 |        1 |        0
1598.42/1598.90	c 1598s |      26 |  9930622 |  8613052 |      742  27334 |        1 |        0
1600.43/1600.91	c 1600s |      26 |  9943508 |  8624252 |      742  27361 |        1 |        0
1602.42/1602.91	c 1602s |      26 |  9955657 |  8634752 |      742  27387 |        1 |        0
1604.43/1604.92	c 1604s |      26 |  9967566 |  8645152 |      742  27413 |        1 |        0
1606.42/1606.92	c 1606s |      26 |  9980482 |  8656252 |      742  27441 |        1 |        0
1608.42/1608.92	c 1608s |      26 |  9993353 |  8667552 |      742  27469 |        1 |        0
1610.42/1610.94	c 1610s |      26 | 10006633 |  8678452 |      742  27496 |        1 |        0
1612.42/1612.95	c 1612s |      26 | 10019081 |  8689252 |      742  27523 |        1 |        0
1614.43/1614.96	c 1614s |      26 | 10032448 |  8700552 |      742  27551 |        1 |        0
1616.42/1616.97	c 1616s |      26 | 10043541 |  8710352 |      742  27575 |        1 |        0
1618.42/1618.98	c 1618s |      26 | 10055291 |  8720652 |      742  27601 |        1 |        0
1620.42/1621.00	c 1620s |      26 | 10068828 |  8732452 |      742  27630 |        1 |        0
1622.51/1623.01	c 1623s |      26 | 10081856 |  8743752 |      742  27658 |        1 |        0
1624.52/1625.03	c 1625s |      26 | 10092760 |  8753552 |      742  27683 |        1 |        0
1626.52/1627.03	c 1627s |      26 | 10103891 |  8763452 |      742  27707 |        1 |        0
1628.52/1629.04	c 1629s |      26 | 10115319 |  8773352 |      742  27732 |        1 |        0
1630.52/1631.04	c 1631s |      26 | 10127327 |  8783852 |      742  27757 |        1 |        0
1632.52/1633.05	c 1633s |      26 | 10142018 |  8796052 |      742  27788 |        1 |        0
1634.52/1635.06	c 1635s |      26 | 10157629 |  8809152 |      742  27820 |        1 |        0
1636.51/1637.07	c 1637s |      26 | 10169347 |  8819752 |      742  27846 |        1 |        0
1638.52/1639.08	c 1639s |      26 | 10181602 |  8830552 |      742  27873 |        1 |        0
1640.62/1641.10	c 1641s |      26 | 10194204 |  8841552 |      742  27900 |        1 |        0
1642.61/1643.11	c 1643s |      26 | 10206143 |  8852252 |      742  27926 |        1 |        0
1644.62/1645.11	c 1645s |      26 | 10217283 |  8862152 |      742  27950 |        1 |        0
1646.61/1647.14	c 1647s |      26 | 10227640 |  8871452 |      742  27973 |        1 |        0
1648.62/1649.14	c 1649s |      26 | 10238215 |  8880952 |      742  27997 |        1 |        0
1650.62/1651.16	c 1651s |      26 | 10249492 |  8890852 |      742  28021 |        1 |        0
1652.62/1653.18	c 1653s |      26 | 10259729 |  8900152 |      742  28044 |        1 |        0
1654.62/1655.19	c 1655s |      26 | 10270910 |  8910152 |      742  28068 |        1 |        0
1656.71/1657.20	c 1657s |      26 | 10282018 |  8920152 |      742  28093 |        1 |        0
1658.71/1659.22	c 1659s |      26 | 10293715 |  8930552 |      742  28118 |        1 |        0
1660.71/1661.22	c 1661s |      26 | 10304632 |  8940452 |      742  28143 |        1 |        0
1662.72/1663.23	c 1663s |      26 | 10315326 |  8950152 |      742  28166 |        1 |        0
1664.71/1665.25	c 1665s |      26 | 10326374 |  8960152 |      742  28191 |        1 |        0
1666.71/1667.26	c 1667s |      26 | 10337624 |  8970152 |      742  28216 |        1 |        0
1668.71/1669.27	c 1669s |      26 | 10348410 |  8979952 |      742  28240 |        1 |        0
1670.72/1671.27	c 1671s |      26 | 10359021 |  8989552 |      742  28263 |        1 |        0
1672.72/1673.28	c 1673s |      26 | 10370163 |  8999552 |      742  28288 |        1 |        0
1674.71/1675.30	c 1675s |      26 | 10381984 |  9010152 |      742  28314 |        1 |        0
1676.81/1677.32	c 1677s |      26 | 10394071 |  9021052 |      742  28341 |        1 |        0
1678.81/1679.34	c 1679s |      26 | 10404900 |  9030752 |      742  28365 |        1 |        0
1680.81/1681.36	c 1681s |      26 | 10415592 |  9040352 |      742  28389 |        1 |        0
1682.81/1683.37	c 1683s |      26 | 10427263 |  9050752 |      742  28414 |        1 |        0
1684.82/1685.37	c 1685s |      26 | 10437545 |  9060052 |      742  28437 |        1 |        0
1686.81/1687.38	c 1687s |      26 | 10447526 |  9069052 |      742  28460 |        1 |        0
1688.81/1689.39	c 1689s |      26 | 10459101 |  9079152 |      742  28484 |        1 |        0
1690.91/1691.41	c 1691s |      26 | 10469971 |  9088752 |      742  28508 |        1 |        0
1692.91/1693.41	c 1693s |      26 | 10480974 |  9098752 |      742  28533 |        1 |        0
1694.91/1695.43	c 1695s |      26 | 10492590 |  9108952 |      742  28558 |        1 |        0
1696.91/1697.45	c 1697s |      26 | 10504390 |  9119452 |      742  28583 |        1 |        0
1698.90/1699.45	c 1699s |      26 | 10515704 |  9129452 |      742  28608 |        1 |        0
1700.91/1701.47	c 1701s |      26 | 10527379 |  9139752 |      742  28633 |        1 |        0
1702.90/1703.49	c 1703s |      26 | 10537777 |  9149152 |      742  28656 |        1 |        0
1704.91/1705.49	c 1705s |      26 | 10548691 |  9158852 |      742  28680 |        1 |        0
1707.00/1707.50	c 1707s |      26 | 10559226 |  9168252 |      742  28703 |        1 |        0
1708.91/1709.50	c 1709s |      26 | 10569696 |  9177652 |      742  28727 |        1 |        0
1711.01/1711.50	c 1711s |      26 | 10582402 |  9188352 |      742  28753 |        1 |        0
1713.00/1713.51	c 1713s |      26 | 10594879 |  9199052 |      742  28780 |        1 |        0
1715.00/1715.52	c 1715s |      26 | 10607209 |  9209752 |      742  28806 |        1 |        0
1717.01/1717.54	c 1717s |      26 | 10619573 |  9220452 |      742  28833 |        1 |        0
1719.01/1719.54	c 1719s |      26 | 10631905 |  9231252 |      742  28860 |        1 |        0
1721.01/1721.55	c 1721s |      26 | 10644086 |  9241952 |      742  28886 |        1 |        0
1723.00/1723.56	c 1723s |      26 | 10655340 |  9251952 |      742  28911 |        1 |        0
1725.01/1725.57	c 1725s |      26 | 10667120 |  9262352 |      742  28936 |        1 |        0
1727.00/1727.57	c 1727s |      26 | 10679521 |  9273452 |      742  28964 |        1 |        0
1729.00/1729.59	c 1729s |      26 | 10691767 |  9284452 |      742  28991 |        1 |        0
1731.01/1731.60	c 1731s |      26 | 10704154 |  9295452 |      742  29018 |        1 |        0
1733.11/1733.62	c 1733s |      26 | 10716344 |  9306252 |      742  29045 |        1 |        0
1735.10/1735.62	c 1735s |      26 | 10728578 |  9317052 |      742  29071 |        1 |        0
1737.10/1737.64	c 1737s |      26 | 10740511 |  9327752 |      742  29097 |        1 |        0
1739.10/1739.64	c 1739s |      26 | 10752482 |  9338252 |      742  29123 |        1 |        0
1741.10/1741.66	c 1741s |      26 | 10764101 |  9348552 |      742  29149 |        1 |        0
1743.10/1743.67	c 1743s |      26 | 10776083 |  9359152 |      742  29175 |        1 |        0
1745.10/1745.67	c 1745s |      26 | 10787673 |  9369352 |      742  29200 |        1 |        0
1747.10/1747.68	c 1747s |      26 | 10798483 |  9379052 |      742  29224 |        1 |        0
1749.10/1749.68	c 1749s |      26 | 10809276 |  9388852 |      742  29248 |        1 |        0
1751.10/1751.68	c 1751s |      26 | 10820141 |  9398752 |      742  29272 |        1 |        0
1753.10/1753.69	c 1753s |      26 | 10830772 |  9408352 |      742  29295 |        1 |        0
1755.20/1755.70	c 1755s |      26 | 10842288 |  9418752 |      742  29321 |        1 |        0
1757.20/1757.71	c 1757s |      26 | 10854049 |  9429352 |      742  29347 |        1 |        0
1759.20/1759.72	c 1759s |      26 | 10865754 |  9439752 |      742  29373 |        1 |        0
1761.19/1761.72	c 1761s |      26 | 10877697 |  9450452 |      742  29399 |        1 |        0
1763.20/1763.74	c 1763s |      26 | 10890118 |  9461552 |      742  29426 |        1 |        0
1765.20/1765.76	c 1765s |      26 | 10902492 |  9472452 |      742  29453 |        1 |        0
1767.21/1767.76	c 1767s |      26 | 10914157 |  9482752 |      742  29479 |        1 |        0
1769.20/1769.77	c 1769s |      26 | 10925737 |  9493052 |      742  29504 |        1 |        0
1771.19/1771.79	c 1771s |      26 | 10937279 |  9503352 |      742  29530 |        1 |        0
1773.20/1773.79	c 1773s |      26 | 10949483 |  9514052 |      742  29556 |        1 |        0
1775.30/1775.81	c 1775s |      26 | 10961632 |  9524852 |      742  29582 |        1 |        0
1777.30/1777.82	c 1777s |      26 | 10973109 |  9534952 |      742  29607 |        1 |        0
1779.30/1779.82	c 1779s |      26 | 10985027 |  9545452 |      742  29633 |        1 |        0
1781.30/1781.83	c 1781s |      26 | 10996068 |  9555352 |      742  29658 |        1 |        0
1783.29/1783.85	c 1783s |      26 | 11007610 |  9565752 |      742  29683 |        1 |        0
1785.29/1785.86	c 1785s |      26 | 11018538 |  9575552 |      742  29707 |        1 |        0
1787.30/1787.89	c 1787s |      26 | 11029507 |  9585352 |      742  29732 |        1 |        0
1789.30/1789.89	c 1789s |      26 | 11040912 |  9595552 |      742  29757 |        1 |        0
1791.40/1791.91	c 1791s |      26 | 11052149 |  9605452 |      742  29781 |        1 |        0
1793.39/1793.93	c 1793s |      26 | 11064301 |  9616052 |      742  29807 |        1 |        0
1795.40/1795.93	c 1795s |      26 | 11076284 |  9626452 |      742  29833 |        1 |        0
1797.39/1797.94	c 1797s |      26 | 11087707 |  9636752 |      742  29859 |        1 |        0
1799.39/1799.95	c 1799s |      26 | 11099896 |  9647652 |      742  29886 |        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-4078763-1465241122/watcher-4078763-1465241122 -o /tmp/evaluation-result-4078763-1465241122/solver-4078763-1465241122 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078763-1465241122.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.14 2.11 2.06 3/179 6893
/proc/meminfo: memFree=30733880/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 2823 0 0 0 0 0 0 0 20 0 4 0 106046919 773255168 2673 33554432000 4194304 16246674 140733520439984 140733520439408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 189295 2682 441 2943 0 186189 0
[pid=6893/tid=6894] ppid=6890 vsize=772540 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 791080960 2740 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=776636 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 795275264 2758 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106046920 799469568 2774 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.14 2.11 2.06 3/179 6893
/proc/meminfo: memFree=30733880/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 29368 0 0 0 5 4 0 0 20 0 4 0 106046919 1247350784 29207 33554432000 4194304 16246674 140733520439984 140733520439408 5723366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 304529 29218 710 2943 0 301423 0
[pid=6893/tid=6894] ppid=6890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1247350784 29224 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1247350784 29233 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106046920 1247350784 29240 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200555 s]
/proc/loadavg: 2.14 2.11 2.06 3/179 6893
/proc/meminfo: memFree=30733880/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 57301 0 0 0 12 7 0 0 20 0 4 0 106046919 1247350784 57139 33554432000 4194304 16246674 140733520439984 140733520439408 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 304529 57157 711 2943 0 301423 0
[pid=6893/tid=6894] ppid=6890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1247350784 57167 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1247350784 57175 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106046920 1247350784 57181 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300498 s]
/proc/loadavg: 2.14 2.11 2.06 3/179 6893
/proc/meminfo: memFree=30733880/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 84503 0 0 0 18 11 0 0 20 0 4 0 106046919 1247350784 84342 33554432000 4194304 16246674 140733520439984 140733520439408 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 304529 84355 711 2943 0 301423 0
[pid=6893/tid=6894] ppid=6890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1247350784 84363 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1247350784 84376 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106046920 1247350784 84388 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700418 s]
/proc/loadavg: 2.14 2.11 2.06 3/179 6893
/proc/meminfo: memFree=30733880/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 198413 0 0 0 44 25 0 0 20 0 4 0 106046919 1247350784 198252 33554432000 4194304 16246674 140733520439984 140733520421888 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 304529 198268 711 2943 0 301423 0
[pid=6893/tid=6894] ppid=6890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1247350784 198275 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1247350784 198282 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106046920 1247350784 198288 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.14 2.11 2.06 3/183 6897
/proc/meminfo: memFree=29753620/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1306180 CPUtime=1.49 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267337 0 0 0 113 36 0 0 20 0 4 0 106046919 1337528320 267155 33554432000 4194304 16246674 140733520439984 140733520421888 5662058 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326545 267155 788 2943 0 323439 0
[pid=6893/tid=6894] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267155 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267155 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267155 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.10044 s]
/proc/loadavg: 2.14 2.11 2.06 3/183 6897
/proc/meminfo: memFree=29664836/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267416 0 0 0 272 37 0 0 20 0 4 0 106046919 1337528320 267234 33554432000 4194304 16246674 140733520439984 140733520421888 5661892 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326545 267234 788 2943 0 323439 0
[pid=6893/tid=6894] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267234 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267234 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267234 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 2.12 2.11 2.06 3/183 6897
/proc/meminfo: memFree=29665168/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267422 0 0 0 591 38 0 0 20 0 4 0 106046919 1337528320 267240 33554432000 4194304 16246674 140733520439984 140733520422984 5662329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326545 267240 788 2943 0 323439 0
[pid=6893/tid=6894] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267240 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267240 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267240 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.11 2.11 2.06 3/183 6897
/proc/meminfo: memFree=29664944/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267431 0 0 0 1230 39 0 0 20 0 4 0 106046919 1337528320 267249 33554432000 4194304 16246674 140733520439984 140733520421888 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326545 267249 790 2943 0 323439 0
[pid=6893/tid=6894] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267249 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267249 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267249 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.09 2.10 2.06 3/183 6897
/proc/meminfo: memFree=29665300/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267435 0 0 0 2507 42 0 0 20 0 4 0 106046919 1337528320 267253 33554432000 4194304 16246674 140733520439984 140733520421888 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326545 267253 790 2943 0 323439 0
[pid=6893/tid=6894] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267253 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267253 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267253 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.13 2.11 2.06 3/183 6897
/proc/meminfo: memFree=29665528/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267446 0 0 0 5062 46 0 0 20 0 4 0 106046919 1337528320 267264 33554432000 4194304 16246674 140733520439984 140733520421888 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326545 267264 790 2943 0 323439 0
[pid=6893/tid=6894] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267264 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267264 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267264 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.06 2.09 2.05 3/183 6898
/proc/meminfo: memFree=29665428/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1306180 CPUtime=102.27 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267485 0 0 0 10172 55 0 0 20 0 4 0 106046919 1337528320 267284 33554432000 4194304 16246674 140733520439984 140733520421888 5674919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326545 267284 790 2943 0 323439 0
[pid=6893/tid=6894] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267284 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267284 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1337528320 267284 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/183 7026
/proc/meminfo: memFree=29603012/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1307204 CPUtime=1301.86 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267996 0 0 0 129968 218 0 0 20 0 4 0 106046919 1338576896 267420 33554432000 4194304 16246674 140733520439984 140733520421888 5823428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326801 267420 792 2943 0 323695 0
[pid=6893/tid=6894] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.02 3/183 7027
/proc/meminfo: memFree=29602848/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1307204 CPUtime=1361.86 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267996 0 0 0 135956 230 0 0 20 0 4 0 106046919 1338576896 267420 33554432000 4194304 16246674 140733520439984 140733520421888 6023195 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326801 267420 792 2943 0 323695 0
[pid=6893/tid=6894] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.04 2.03 2.02 3/183 7028
/proc/meminfo: memFree=29602952/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1307204 CPUtime=1421.85 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267996 0 0 0 141945 240 0 0 20 0 4 0 106046919 1338576896 267420 33554432000 4194304 16246674 140733520439984 140733520422984 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326801 267420 792 2943 0 323695 0
[pid=6893/tid=6894] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.02 3/184 7032
/proc/meminfo: memFree=29601900/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1307204 CPUtime=1481.84 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267996 0 0 0 147937 247 0 0 20 0 4 0 106046919 1338576896 267420 33554432000 4194304 16246674 140733520439984 140733520421888 12875409 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326801 267420 792 2943 0 323695 0
[pid=6893/tid=6894] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.06 2.04 2.02 3/183 7034
/proc/meminfo: memFree=29601644/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1307204 CPUtime=1541.84 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267996 0 0 0 153926 258 0 0 20 0 4 0 106046919 1338576896 267420 33554432000 4194304 16246674 140733520439984 140733520422984 12483215 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326801 267420 792 2943 0 323695 0
[pid=6893/tid=6894] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.11 2.06 2.02 3/183 7035
/proc/meminfo: memFree=29601684/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1307204 CPUtime=1601.82 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267996 0 0 0 159922 260 0 0 20 0 4 0 106046919 1338576896 267420 33554432000 4194304 16246674 140733520439984 140733520421888 6022252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326801 267420 792 2943 0 323695 0
[pid=6893/tid=6894] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/183 7036
/proc/meminfo: memFree=29601548/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1307204 CPUtime=1661.82 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 267996 0 0 0 165914 268 0 0 20 0 4 0 106046919 1338576896 267420 33554432000 4194304 16246674 140733520439984 140733520421888 5523536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326801 267420 792 2943 0 323695 0
[pid=6893/tid=6894] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267420 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.18 2.09 2.03 3/183 7037
/proc/meminfo: memFree=29601544/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1307204 CPUtime=1721.8 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 268001 0 0 0 171905 275 0 0 20 0 4 0 106046919 1338576896 267425 33554432000 4194304 16246674 140733520439984 140733520439160 5721783 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326801 267425 792 2943 0 323695 0
[pid=6893/tid=6894] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267425 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267425 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267425 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/183 7038
/proc/meminfo: memFree=29601036/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1307204 CPUtime=1781.8 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 268001 0 0 0 177892 288 0 0 20 0 4 0 106046919 1338576896 267425 33554432000 4194304 16246674 140733520439984 140733520421888 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326801 267425 792 2943 0 323695 0
[pid=6893/tid=6894] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267425 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267425 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267425 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.11 2.08 2.03 3/183 7038
/proc/meminfo: memFree=29601216/32872528 swapFree=11372/178980
[pid=6893] ppid=6890 vsize=1307204 CPUtime=1800.09 cores=1,3,5,7
/proc/6893/stat : 6893 (toysat) R 6890 6893 4590 0 -1 4202496 268001 0 0 0 179718 291 0 0 20 0 4 0 106046919 1338576896 267425 33554432000 4194304 16246674 140733520439984 140733520422984 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6893/statm: 326801 267425 792 2943 0 323695 0
[pid=6893/tid=6894] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6894/stat : 6894 (toysat) S 6890 6893 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267425 33554432000 4194304 16246674 140733520439984 139983154294000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6893/tid=6895] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6895/stat : 6895 (toysat) S 6890 6893 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267425 33554432000 4194304 16246674 140733520439984 139983143804144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6893/tid=6896] ppid=6890 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6893/task/6896/stat : 6896 (toysat) S 6890 6893 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106046920 1338576896 267425 33554432000 4194304 16246674 140733520439984 139983133330608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 6893 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1797.19
CPU system time (s): 2.91156
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.19
system time used= 2.91156
maximum resident set size= 1069700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268001
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= 407
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55431 second user time and 6.99294 second system time

The end

Begin job on node105 at 2016-06-06 21:25:23
IDJOB=4078763
IDBENCH=2603
IDSOLVER=2542
FILE ID=node105/4078763-1465241122
RUNJOBID= node105-1465220657-4607
PBS_JOBID= 19843223
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078763-1465241122/watcher-4078763-1465241122 -o /tmp/evaluation-result-4078763-1465241122/solver-4078763-1465241122 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078763-1465241122.opb

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

MD5SUM BENCH= d370b072a7e1b298fd6270f5934fda51
RANDOM SEED=1020451766

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30734788 kB
Buffers:           42040 kB
Cached:           129560 kB
SwapCached:         1756 kB
Active:          1183208 kB
Inactive:          74528 kB
Active(anon):    1087020 kB
Inactive(anon):     1504 kB
Active(file):      96188 kB
Inactive(file):    73024 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098460 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1264156 kB
Mapped:            10324 kB
Shmem:                 0 kB
Slab:             568680 kB
SReclaimable:      12376 kB
SUnreclaim:       556304 kB
KernelStack:        1520 kB
PageTables:         6936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1409700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1191936 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= 71708 MiB
End job on node105 at 2016-06-06 21:55:23