0.00/0.00	c 2016-06-18T22:26:52+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-4107039-1466281612.opb"]
0.00/0.01	c use --random-gen="2840131807 3665561738 1823445548 3644011204 3904690984 1346031330 1540483453 2045976440 3000667098 347413273 4230627984 2382759603 3707993283 1691017187 3036023290 730838592 3445364241 2956104132 3015283040 1691915322 3247326788 2758204368 517439942 508955074 3777946006 1583432781 63092736 2810229602 2719882620 3670793715 2545826764 985371777 4119199593 2305152853 2556488100 314971386 617889638 690781737 2364563395 144615922 3948591542 1010409808 1416224158 2630527309 3293083779 193978877 2276018475 2900849884 2905952647 2000797408 3822852976 1254060894 188390852 1672941762 3290042102 25257305 3894526245 3623411819 2996655980 1168868554 1000693999 2743477609 662604582 3908734430 3616221257 2294932849 2470665884 1521845307 2514493353 4196916824 2228962269 624783409 1578874384 3750991478 496345452 2392223866 3504713260 764968864 2218592226 3967525653 4231431707 640508199 3330667807 1452759134 7285398 3450857006 2217818615 126850044 1555585792 2353512783 992875849 1393982106 3949695044 75513675 2813189048 4014361187 673196969 1074240472 779946291 3259601482 2718798972 3110558417 600890804 3729633584 1245784515 4012403828 1104250640 3375828819 1133681573 2939644009 4288032164 645174690 1828087380 145196509 3894088892 2411125333 2707594669 1144654593 2653258022 3263291841 3823974279 104295411 2952367771 1590139080 2368062912 386396992 2019863476 1299427675 3463704206 3327237059 105139162 2594046146 1621014913 3145303711 425575073 2336397360 3599491356 1742748007 778719959 1932447539 1537015622 3202011957 637691634 3324937004 285614131 4259797396 3069509745 1130057618 686576008 3217032315 564104890 470653774 3906899344 3368401508 4210235413 3348617365 4179510287 2583541090 368431341 2046168188 796908299 1682046102 681118673 815522947 3343587072 3365423092 3096688597 4178015507 2627015255 4137581580 1927781348 3191021247 487155192 4141812952 2069142502 211386081 3969661127 3763155306 119337786 642718442 2553511524 756630795 469654429 4247982112 2013693475 22076142 1864097518 2652026159 2277799446 152459945 3435892364 3139725159 1417770893 3612928334 2399668400 2990545158 642077284 3892435612 75041828 3314944657 607427940 1181065697 524198953 1631532509 3202248637 3178547400 565017117 1703428804 1045167162 4147530841 2462035175 1007111470 1060394008 3615347140 1177740993 3537358665 3049446011 2080105213 1239827751 553449664 2635976052 1590385637 1911092395 434085338 551861519 950580629 3700250862 1066864692 744715655 1063733568 880189336 1923896830 2504577866 3698601481 2459808265 3064554246 3907829885 757581285 1711809037 1049029134 3749847764 2361726767 1431049442 1512046421 339551435 4056749289 1434550834 3121629285 3181120610 1283574538 2204835175 3120980344 343344696 1064690083 3341473251 3800498393 255 362436" option to reproduce the execution
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 302
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     2214      0 |        0 |        0
0.09/0.15	c  0.0s |       1 |      223 |      100 |     2214      0 |        0 |        0
0.09/0.19	c  0.1s |       2 |     3201 |      250 |     2436      0 |        0 |        0
0.28/0.34	c  0.2s |       3 |     5138 |      475 |     2680      0 |        0 |        0
0.49/0.56	c  0.5s |       4 |     7080 |      813 |     2949      0 |        0 |        0
0.79/0.87	c  0.8s |       5 |     9180 |     1320 |     3244      0 |        0 |        0
1.19/1.25	c  1.2s |       6 |    17713 |     2081 |     3926      0 |        0 |        0
1.69/1.72	c  1.6s |       7 |    32380 |     3223 |     4319      0 |        0 |        0
2.49/2.59	c  2.5s |       8 |    40148 |     4936 |     4751      1 |        0 |        0
3.89/3.92	c  3.8s |       9 |    55620 |     7506 |     5227      2 |        0 |        0
5.89/5.94	c  5.8s |       9 |   102823 |    11306 |     5750      3 |        0 |        0
5.89/5.97	c  5.9s |      10 |   103322 |    11361 |     5750      3 |        0 |        0
7.89/7.98	c  7.9s |      10 |   122340 |    15461 |     5750      4 |        0 |        0
8.69/8.75	c  8.7s |      11 |   138557 |    17144 |     6326      5 |        0 |        0
10.69/10.75	c 10.7s |      11 |   166519 |    21044 |     6326      6 |        0 |        0
12.69/12.77	c 12.7s |      11 |   188695 |    25444 |     6326      7 |        0 |        0
12.89/12.97	c 12.9s |      12 |   189568 |    25819 |     6959      7 |        0 |        0
14.89/14.98	c 14.9s |      12 |   212753 |    29819 |     6959      8 |        0 |        0
16.99/17.01	c 16.9s |      12 |   230477 |    34119 |     6959      9 |        0 |        0
18.98/19.07	c 19.0s |      12 |   239741 |    38519 |     6959     11 |        0 |        0
19.18/19.21	c 19.1s |      13 |   240124 |    38832 |     7655     11 |        0 |        0
21.18/21.23	c 21.1s |      13 |   248280 |    42932 |     7655     12 |        0 |        0
23.19/23.25	c 23.1s |      13 |   262874 |    46932 |     7655     13 |        0 |        0
25.18/25.28	c 25.2s |      13 |   278046 |    49932 |     7655     14 |        0 |        0
27.18/27.29	c 27.2s |      13 |   292518 |    53932 |     7655     15 |        0 |        0
29.28/29.30	c 29.2s |      13 |   302715 |    57932 |     7655     16 |        0 |        0
29.58/29.61	c 29.5s |      14 |   303786 |    58352 |     8421     16 |        0 |        0
31.58/31.65	c 31.5s |      14 |   313338 |    62552 |     8421     17 |        0 |        0
33.58/33.66	c 33.6s |      14 |   325085 |    66452 |     8421     17 |        0 |        0
35.69/35.70	c 35.6s |      14 |   339850 |    69252 |     8421     18 |        0 |        0
37.69/37.74	c 37.6s |      14 |   363295 |    72852 |     8421     19 |        0 |        0
39.70/39.76	c 39.7s |      14 |   372547 |    76152 |     8421     20 |        0 |        0
41.79/41.82	c 41.7s |      14 |   380895 |    79552 |     8421     20 |        0 |        0
43.79/43.85	c 43.8s |      14 |   399246 |    82852 |     8421     21 |        0 |        0
45.79/45.89	c 45.8s |      14 |   416491 |    86752 |     8421     22 |        0 |        0
46.29/46.37	c 46.3s |      15 |   420735 |    87632 |     9264     22 |        0 |        0
48.39/48.41	c 48.3s |      15 |   440854 |    90632 |     9264     23 |        0 |        0
50.38/50.45	c 50.3s |      15 |   463113 |    93532 |     9264     23 |        0 |        0
52.38/52.46	c 52.4s |      15 |   480804 |    96532 |     9264     24 |        0 |        0
54.38/54.48	c 54.4s |      15 |   519642 |    99932 |     9264     25 |        0 |        0
56.48/56.57	c 56.5s |      15 |   551306 |   103332 |     9264     26 |        0 |        0
58.48/58.60	c 58.5s |      15 |   588161 |   107532 |     9264     26 |        0 |        0
60.59/60.61	c 60.5s |      15 |   628919 |   111432 |     9264     27 |        0 |        0
62.58/62.63	c 62.5s |      15 |   645718 |   115032 |     9264     28 |        0 |        0
64.58/64.65	c 64.5s |      15 |   661405 |   118332 |     9264     29 |        0 |        0
66.68/66.75	c 66.7s |      15 |   683747 |   122132 |     9264     30 |        0 |        0
68.78/68.88	c 68.8s |      15 |   695041 |   125632 |     9264     30 |        0 |        0
70.88/70.91	c 70.8s |      15 |   722347 |   129532 |     9264     31 |        0 |        0
71.98/72.03	c 71.9s |      16 |   730475 |   131552 |    10191     31 |        0 |        0
73.98/74.05	c 73.9s |      16 |   747949 |   135152 |    10191     32 |        0 |        0
76.07/76.14	c 76.0s |      16 |   754819 |   137752 |    10191     33 |        0 |        0
78.08/78.16	c 78.1s |      16 |   777781 |   141652 |    10191     33 |        0 |        0
80.07/80.18	c 80.1s |      16 |   799647 |   145852 |    10191     34 |        0 |        0
82.17/82.21	c 82.1s |      16 |   813098 |   149252 |    10191     35 |        0 |        0
84.17/84.26	c 84.2s |      16 |   823755 |   152952 |    10191     35 |        0 |        0
86.27/86.30	c 86.2s |      16 |   830774 |   156452 |    10191     36 |        0 |        0
88.37/88.42	c 88.3s |      16 |   835217 |   159352 |    10191     37 |        0 |        0
90.38/90.42	c 90.3s |      16 |   846097 |   162852 |    10191     37 |        0 |        0
92.39/92.46	c 92.4s |      16 |   855264 |   166152 |    10191     38 |        0 |        0
94.48/94.51	c 94.4s |      16 |   861238 |   169152 |    10191     39 |        0 |        0
96.48/96.54	c 96.4s |      16 |   867827 |   172452 |    10191     39 |        0 |        0
98.48/98.55	c 98.4s |      16 |   875726 |   175252 |    10191     40 |        0 |        0
100.58/100.63	c  100s |      16 |   896027 |   178752 |    10191     40 |        0 |        0
102.58/102.66	c  102s |      16 |   930404 |   182552 |    10191     41 |        0 |        0
104.58/104.70	c  104s |      16 |   958070 |   186152 |    10191     42 |        0 |        0
106.68/106.71	c  106s |      16 |   973726 |   189652 |    10191     42 |        0 |        0
108.67/108.72	c  108s |      16 |   985961 |   192952 |    10191     43 |        0 |        0
110.67/110.74	c  110s |      16 |  1002260 |   196252 |    11211     44 |        0 |        0
111.37/111.43	c  111s |      17 |  1005588 |   197432 |    11211     44 |        0 |        0
113.57/113.60	c  113s |      17 |  1022950 |   199632 |    11211     44 |        0 |        0
115.58/115.62	c  115s |      17 |  1042342 |   203532 |    11211     45 |        0 |        0
117.57/117.65	c  117s |      17 |  1061580 |   206632 |    11211     45 |        0 |        0
119.57/119.67	c  119s |      17 |  1085318 |   209732 |    11211     46 |        0 |        0
121.67/121.71	c  121s |      17 |  1097988 |   213132 |    11211     47 |        0 |        0
123.67/123.72	c  123s |      17 |  1108661 |   216432 |    11211     47 |        0 |        0
125.67/125.78	c  125s |      17 |  1122539 |   219532 |    11211     48 |        0 |        0
127.77/127.80	c  127s |      17 |  1129702 |   222332 |    11211     48 |        0 |        0
129.77/129.82	c  129s |      17 |  1144244 |   224632 |    11211     49 |        0 |        0
131.77/131.84	c  131s |      17 |  1170173 |   228532 |    11211     49 |        0 |        0
133.77/133.88	c  133s |      17 |  1188133 |   232232 |    11211     50 |        0 |        0
135.87/135.94	c  135s |      17 |  1202408 |   235532 |    11211     51 |        0 |        0
137.87/137.94	c  137s |      17 |  1210539 |   238632 |    11211     51 |        0 |        0
139.86/139.95	c  139s |      17 |  1216369 |   241632 |    11211     52 |        0 |        0
141.87/142.00	c  141s |      17 |  1222430 |   244632 |    11211     52 |        0 |        0
143.96/144.02	c  143s |      17 |  1236489 |   247632 |    11211     53 |        0 |        0
145.96/146.09	c  145s |      17 |  1247676 |   250932 |    11211     53 |        0 |        0
148.06/148.10	c  147s |      17 |  1252565 |   253332 |    11211     54 |        0 |        0
150.07/150.12	c  150s |      17 |  1262583 |   256232 |    11211     54 |        0 |        0
152.07/152.14	c  152s |      17 |  1278989 |   259632 |    11211     55 |        0 |        0
154.08/154.14	c  154s |      17 |  1292038 |   263332 |    11211     55 |        0 |        0
156.07/156.17	c  156s |      17 |  1306333 |   266532 |    11211     56 |        0 |        0
158.17/158.24	c  158s |      17 |  1313126 |   269232 |    11211     56 |        0 |        0
160.27/160.30	c  160s |      17 |  1321477 |   272232 |    11211     57 |        0 |        0
162.27/162.31	c  162s |      17 |  1328992 |   275332 |    11211     57 |        0 |        0
164.37/164.41	c  164s |      17 |  1332825 |   277432 |    11211     58 |        0 |        0
166.36/166.44	c  166s |      17 |  1340360 |   280232 |    11211     58 |        0 |        0
168.37/168.45	c  168s |      17 |  1344968 |   283232 |    11211     59 |        0 |        0
170.36/170.45	c  170s |      17 |  1354387 |   285932 |    11211     59 |        0 |        0
172.46/172.50	c  172s |      17 |  1363823 |   288832 |    11211     60 |        0 |        0
174.46/174.56	c  174s |      17 |  1370173 |   291732 |    11211     60 |        0 |        0
176.56/176.62	c  176s |      17 |  1375613 |   294332 |    12333     61 |        0 |        0
178.36/178.42	c  178s |      18 |  1378085 |   296252 |    12333     61 |        0 |        0
180.37/180.44	c  180s |      18 |  1387380 |   299352 |    12333     61 |        0 |        0
182.36/182.45	c  182s |      18 |  1393429 |   302352 |    12333     62 |        0 |        0
184.46/184.51	c  184s |      18 |  1399929 |   305352 |    12333     62 |        0 |        0
186.45/186.56	c  186s |      18 |  1405315 |   308252 |    12333     63 |        0 |        0
188.45/188.59	c  188s |      18 |  1410215 |   311052 |    12333     63 |        0 |        0
190.46/190.59	c  190s |      18 |  1420400 |   313352 |    12333     64 |        0 |        0
192.56/192.61	c  192s |      18 |  1439186 |   316752 |    12333     64 |        0 |        0
194.56/194.64	c  194s |      18 |  1446570 |   319652 |    12333     65 |        0 |        0
196.65/196.71	c  196s |      18 |  1453167 |   322652 |    12333     65 |        0 |        0
198.65/198.75	c  198s |      18 |  1465980 |   325552 |    12333     66 |        0 |        0
200.75/200.80	c  200s |      18 |  1474758 |   328552 |    12333     66 |        0 |        0
202.75/202.84	c  202s |      18 |  1480799 |   331152 |    12333     66 |        0 |        0
204.75/204.87	c  204s |      18 |  1486013 |   333752 |    12333     67 |        0 |        0
206.85/206.93	c  206s |      18 |  1491510 |   336652 |    12333     67 |        0 |        0
209.05/209.11	c  209s |      18 |  1496513 |   339152 |    12333     68 |        0 |        0
211.04/211.14	c  211s |      18 |  1502653 |   342352 |    12333     68 |        0 |        0
213.04/213.15	c  213s |      18 |  1507311 |   344852 |    12333     69 |        0 |        0
215.04/215.16	c  215s |      18 |  1512800 |   348752 |    12333     69 |        0 |        0
217.14/217.21	c  217s |      18 |  1520352 |   352052 |    12333     70 |        0 |        0
219.14/219.22	c  219s |      18 |  1528253 |   355152 |    12333     70 |        0 |        0
221.14/221.27	c  221s |      18 |  1532836 |   358052 |    12333     71 |        0 |        0
223.14/223.27	c  223s |      18 |  1538457 |   361052 |    12333     71 |        0 |        0
225.13/225.29	c  225s |      18 |  1542356 |   363152 |    12333     72 |        0 |        0
227.23/227.31	c  227s |      18 |  1552298 |   366652 |    12333     72 |        0 |        0
229.24/229.34	c  229s |      18 |  1559694 |   369852 |    12333     73 |        0 |        0
231.24/231.36	c  231s |      18 |  1568536 |   372852 |    12333     73 |        0 |        0
233.34/233.41	c  233s |      18 |  1577023 |   375952 |    12333     74 |        0 |        0
235.34/235.46	c  235s |      18 |  1588677 |   379352 |    12333     74 |        0 |        0
237.93/238.02	c  237s |      18 |  1595261 |   382452 |    12333     75 |        0 |        0
239.93/240.03	c  239s |      18 |  1603205 |   385752 |    12333     75 |        0 |        0
242.04/242.10	c  242s |      18 |  1609451 |   388352 |    12333     76 |        0 |        0
244.03/244.13	c  244s |      18 |  1616501 |   391452 |    12333     76 |        0 |        0
246.03/246.14	c  246s |      18 |  1628237 |   394552 |    12333     77 |        0 |        0
248.13/248.20	c  248s |      18 |  1639454 |   397452 |    12333     77 |        0 |        0
250.13/250.21	c  250s |      18 |  1655637 |   400652 |    12333     78 |        0 |        0
252.13/252.25	c  252s |      18 |  1667691 |   403952 |    12333     78 |        0 |        0
254.13/254.26	c  254s |      18 |  1692702 |   407552 |    12333     79 |        0 |        0
256.33/256.40	c  256s |      18 |  1700996 |   410752 |    12333     79 |        0 |        0
258.32/258.44	c  258s |      18 |  1710436 |   413852 |    12333     80 |        0 |        0
260.42/260.50	c  260s |      18 |  1720545 |   417052 |    12333     80 |        0 |        0
262.42/262.53	c  262s |      18 |  1732169 |   420152 |    12333     81 |        0 |        0
264.52/264.63	c  264s |      18 |  1740103 |   423052 |    12333     81 |        0 |        0
266.51/266.66	c  266s |      18 |  1750976 |   425852 |    12333     82 |        0 |        0
268.51/268.67	c  268s |      18 |  1767304 |   428652 |    12333     82 |        0 |        0
270.62/270.71	c  270s |      18 |  1778264 |   431952 |    12333     82 |        0 |        0
272.61/272.73	c  272s |      18 |  1788417 |   435052 |    12333     83 |        0 |        0
274.61/274.74	c  274s |      18 |  1796958 |   438052 |    12333     83 |        0 |        0
276.61/276.76	c  276s |      18 |  1809479 |   440652 |    12333     84 |        0 |        0
278.71/278.82	c  278s |      18 |  1822958 |   443752 |    13567     84 |        0 |        0
279.11/279.24	c  279s |      19 |  1830022 |   444482 |    13567     84 |        0 |        0
281.21/281.30	c  281s |      19 |  1841695 |   447182 |    13567     85 |        0 |        0
283.21/283.33	c  283s |      19 |  1855919 |   450082 |    13567     85 |        0 |        0
285.21/285.39	c  285s |      19 |  1865860 |   452882 |    13567     86 |        0 |        0
287.30/287.41	c  287s |      19 |  1881010 |   455682 |    13567     86 |        0 |        0
289.31/289.46	c  289s |      19 |  1888633 |   458482 |    13567     86 |        0 |        0
291.60/291.78	c  291s |      19 |  1903873 |   460982 |    13567     87 |        0 |        0
293.71/293.81	c  293s |      19 |  1911561 |   463482 |    13567     87 |        0 |        0
295.70/295.86	c  295s |      19 |  1921650 |   466682 |    13567     87 |        0 |        0
297.70/297.89	c  297s |      19 |  1927071 |   469582 |    13567     88 |        0 |        0
299.80/299.92	c  299s |      19 |  1945894 |   472482 |    13567     88 |        0 |        0
301.80/301.97	c  301s |      19 |  1965637 |   475682 |    13567     89 |        0 |        0
303.90/304.02	c  303s |      19 |  1980369 |   478682 |    13567     89 |        0 |        0
305.90/306.03	c  305s |      19 |  2000340 |   481682 |    13567     90 |        0 |        0
307.90/308.05	c  307s |      19 |  2012523 |   484782 |    13567     90 |        0 |        0
309.90/310.08	c  309s |      19 |  2025381 |   487982 |    13567     91 |        0 |        0
312.00/312.14	c  312s |      19 |  2032809 |   490982 |    13567     91 |        0 |        0
314.00/314.18	c  314s |      19 |  2042829 |   493682 |    13567     91 |        0 |        0
316.00/316.19	c  316s |      19 |  2054990 |   497082 |    13567     92 |        0 |        0
317.99/318.19	c  318s |      19 |  2060407 |   499282 |    13567     92 |        0 |        0
320.09/320.21	c  320s |      19 |  2070423 |   502182 |    13567     93 |        0 |        0
322.09/322.26	c  322s |      19 |  2082200 |   505382 |    13567     93 |        0 |        0
324.29/324.40	c  324s |      19 |  2087954 |   508182 |    13567     94 |        0 |        0
326.28/326.45	c  326s |      19 |  2097091 |   510882 |    13567     94 |        0 |        0
328.28/328.49	c  328s |      19 |  2106847 |   512982 |    13567     94 |        0 |        0
330.38/330.54	c  330s |      19 |  2113794 |   515782 |    13567     95 |        0 |        0
332.48/332.62	c  332s |      19 |  2120820 |   518682 |    13567     95 |        0 |        0
334.48/334.64	c  334s |      19 |  2135018 |   521882 |    13567     95 |        0 |        0
336.48/336.64	c  336s |      19 |  2151485 |   523382 |    13567     96 |        0 |        0
338.47/338.65	c  338s |      19 |  2168672 |   527082 |    13567     96 |        0 |        0
340.47/340.69	c  340s |      19 |  2180990 |   530082 |    13567     97 |        0 |        0
342.57/342.74	c  342s |      19 |  2201762 |   533282 |    13567     97 |        0 |        0
344.67/344.80	c  344s |      19 |  2212516 |   536382 |    13567     98 |        0 |        0
346.66/346.86	c  346s |      19 |  2221129 |   539282 |    13567     98 |        0 |        0
348.67/348.88	c  348s |      19 |  2232413 |   542382 |    13567     98 |        0 |        0
350.77/350.92	c  350s |      19 |  2237962 |   545382 |    13567     99 |        0 |        0
352.76/352.95	c  352s |      19 |  2241007 |   547082 |    13567     99 |        0 |        0
354.77/354.97	c  354s |      19 |  2251237 |   549482 |    13567     99 |        0 |        0
356.86/357.03	c  356s |      19 |  2262066 |   552782 |    13567    100 |        0 |        0
358.86/359.03	c  358s |      19 |  2268294 |   555682 |    13567    100 |        0 |        0
361.06/361.21	c  361s |      19 |  2276588 |   557982 |    13567    101 |        0 |        0
363.06/363.25	c  363s |      19 |  2303794 |   561682 |    13567    101 |        0 |        0
365.07/365.29	c  365s |      19 |  2312131 |   564582 |    13567    102 |        0 |        0
367.55/367.71	c  367s |      19 |  2319931 |   567482 |    13567    102 |        0 |        0
369.56/369.74	c  369s |      19 |  2338964 |   570582 |    13567    103 |        0 |        0
371.55/371.77	c  371s |      19 |  2349836 |   573682 |    13567    103 |        0 |        0
373.55/373.77	c  373s |      19 |  2359614 |   576982 |    13567    103 |        0 |        0
375.65/375.82	c  375s |      19 |  2365779 |   580282 |    13567    104 |        0 |        0
377.65/377.83	c  377s |      19 |  2370853 |   583282 |    13567    104 |        0 |        0
379.65/379.85	c  379s |      19 |  2377159 |   585382 |    13567    105 |        0 |        0
381.75/381.93	c  381s |      19 |  2381982 |   587482 |    13567    105 |        0 |        0
383.75/383.93	c  383s |      19 |  2392470 |   589982 |    13567    105 |        0 |        0
385.85/386.00	c  385s |      19 |  2402345 |   592682 |    13567    106 |        0 |        0
387.84/388.06	c  387s |      19 |  2410559 |   595482 |    13567    106 |        0 |        0
389.94/390.13	c  390s |      19 |  2416357 |   598082 |    13567    107 |        0 |        0
391.94/392.18	c  392s |      19 |  2425076 |   601282 |    13567    107 |        0 |        0
394.04/394.21	c  394s |      19 |  2428962 |   604082 |    13567    107 |        0 |        0
396.04/396.28	c  396s |      19 |  2432847 |   606782 |    13567    108 |        0 |        0
398.14/398.32	c  398s |      19 |  2441787 |   609782 |    13567    108 |        0 |        0
400.34/400.52	c  400s |      19 |  2446577 |   611882 |    13567    109 |        0 |        0
402.33/402.58	c  402s |      19 |  2455270 |   614782 |    13567    109 |        0 |        0
404.84/405.05	c  404s |      19 |  2461866 |   616482 |    13567    109 |        0 |        0
406.84/407.10	c  406s |      19 |  2471712 |   619582 |    13567    110 |        0 |        0
408.94/409.11	c  409s |      19 |  2481896 |   621982 |    13567    110 |        0 |        0
410.94/411.11	c  411s |      19 |  2491427 |   625182 |    13567    110 |        0 |        0
412.94/413.18	c  413s |      19 |  2502506 |   628182 |    13567    111 |        0 |        0
414.94/415.18	c  415s |      19 |  2509497 |   630982 |    13567    111 |        0 |        0
417.03/417.22	c  417s |      19 |  2513898 |   633682 |    13567    112 |        0 |        0
419.04/419.25	c  419s |      19 |  2522286 |   636682 |    13567    112 |        0 |        0
421.14/421.31	c  421s |      19 |  2528507 |   639482 |    13567    112 |        0 |        0
423.13/423.35	c  423s |      19 |  2535363 |   642482 |    13567    113 |        0 |        0
425.13/425.39	c  425s |      19 |  2541431 |   645282 |    13567    113 |        0 |        0
427.23/427.44	c  427s |      19 |  2546694 |   647682 |    13567    114 |        0 |        0
429.22/429.48	c  429s |      19 |  2550280 |   649882 |    13567    114 |        0 |        0
431.32/431.52	c  431s |      19 |  2554276 |   652682 |    13567    114 |        0 |        0
433.42/433.67	c  433s |      19 |  2556868 |   654682 |    13567    115 |        0 |        0
435.43/435.67	c  435s |      19 |  2561803 |   656782 |    13567    115 |        0 |        0
437.42/437.69	c  437s |      19 |  2566731 |   659582 |    13567    115 |        0 |        0
439.52/439.75	c  439s |      19 |  2574300 |   662382 |    14924    116 |        0 |        0
441.62/441.83	c  441s |      19 |  2578164 |   665082 |    14924    116 |        0 |        0
442.82/443.01	c  442s |      20 |  2580722 |   666827 |    14924    116 |        0 |        0
444.82/445.05	c  444s |      20 |  2584300 |   668627 |    14924    117 |        0 |        0
446.81/447.07	c  446s |      20 |  2589299 |   671327 |    14924    117 |        0 |        0
448.81/449.07	c  448s |      20 |  2608125 |   674927 |    14924    117 |        0 |        0
450.82/451.10	c  450s |      20 |  2615139 |   677427 |    14924    118 |        0 |        0
452.91/453.14	c  453s |      20 |  2624446 |   680227 |    14924    118 |        0 |        0
454.91/455.19	c  455s |      20 |  2644408 |   683227 |    14924    118 |        0 |        0
457.01/457.21	c  457s |      20 |  2653141 |   686027 |    14924    119 |        0 |        0
459.01/459.28	c  459s |      20 |  2662471 |   688827 |    14924    119 |        0 |        0
461.11/461.33	c  461s |      20 |  2672019 |   691527 |    14924    120 |        0 |        0
463.11/463.37	c  463s |      20 |  2685262 |   694227 |    14924    120 |        0 |        0
465.11/465.40	c  465s |      20 |  2707765 |   697527 |    14924    120 |        0 |        0
467.20/467.41	c  467s |      20 |  2719211 |   700227 |    14924    121 |        0 |        0
469.20/469.42	c  469s |      20 |  2729767 |   702427 |    14924    121 |        0 |        0
471.20/471.48	c  471s |      20 |  2736499 |   705427 |    14924    121 |        0 |        0
473.20/473.49	c  473s |      20 |  2744702 |   708427 |    14924    122 |        0 |        0
475.31/475.51	c  475s |      20 |  2753621 |   711527 |    14924    122 |        0 |        0
477.40/477.62	c  477s |      20 |  2760705 |   714427 |    14924    123 |        0 |        0
479.41/479.62	c  479s |      20 |  2771936 |   717027 |    14924    123 |        0 |        0
481.40/481.64	c  481s |      20 |  2780246 |   720127 |    14924    123 |        0 |        0
483.40/483.65	c  483s |      20 |  2789143 |   722827 |    14924    124 |        0 |        0
485.50/485.71	c  485s |      20 |  2796281 |   725827 |    14924    124 |        0 |        0
487.49/487.74	c  487s |      20 |  2802568 |   726627 |    14924    124 |        0 |        0
489.60/489.80	c  489s |      20 |  2815269 |   729427 |    14924    125 |        0 |        0
491.61/491.86	c  491s |      20 |  2832007 |   733027 |    14924    125 |        0 |        0
493.71/493.91	c  493s |      20 |  2840746 |   736327 |    14924    125 |        0 |        0
495.70/495.94	c  495s |      20 |  2846734 |   739427 |    14924    126 |        0 |        0
497.69/497.96	c  497s |      20 |  2858129 |   742527 |    14924    126 |        0 |        0
500.30/500.55	c  500s |      20 |  2863448 |   744727 |    14924    127 |        0 |        0
502.29/502.57	c  502s |      20 |  2873160 |   747627 |    14924    127 |        0 |        0
504.39/504.60	c  504s |      20 |  2881996 |   750727 |    14924    127 |        0 |        0
506.39/506.64	c  506s |      20 |  2888458 |   753427 |    14924    128 |        0 |        0
508.39/508.67	c  508s |      20 |  2893947 |   756327 |    14924    128 |        0 |        0
510.39/510.68	c  510s |      20 |  2898204 |   758927 |    14924    128 |        0 |        0
512.39/512.68	c  512s |      20 |  2902966 |   760727 |    14924    129 |        0 |        0
514.38/514.69	c  514s |      20 |  2906440 |   762027 |    14924    129 |        0 |        0
516.48/516.70	c  516s |      20 |  2915516 |   763627 |    14924    129 |        0 |        0
518.48/518.76	c  518s |      20 |  2923769 |   766527 |    14924    129 |        0 |        0
520.48/520.76	c  520s |      20 |  2931538 |   769627 |    14924    130 |        0 |        0
522.58/522.82	c  522s |      20 |  2940197 |   772827 |    14924    130 |        0 |        0
525.28/525.54	c  525s |      20 |  2944108 |   774927 |    14924    131 |        0 |        0
527.27/527.54	c  527s |      20 |  2953678 |   778027 |    14924    131 |        0 |        0
529.27/529.58	c  529s |      20 |  2963871 |   781127 |    14924    131 |        0 |        0
531.37/531.60	c  531s |      20 |  2975844 |   783927 |    14924    132 |        0 |        0
533.38/533.64	c  533s |      20 |  2989630 |   787027 |    14924    132 |        0 |        0
535.37/535.65	c  535s |      20 |  2998144 |   789827 |    14924    132 |        0 |        0
537.46/537.79	c  537s |      20 |  3003311 |   792427 |    14924    133 |        0 |        0
539.56/539.80	c  539s |      20 |  3015616 |   795227 |    14924    133 |        0 |        0
541.56/541.83	c  541s |      20 |  3023984 |   797727 |    14924    134 |        0 |        0
543.56/543.86	c  543s |      20 |  3029236 |   800727 |    14924    134 |        0 |        0
545.77/546.02	c  545s |      20 |  3034749 |   802427 |    14924    134 |        0 |        0
547.97/548.22	c  548s |      20 |  3050849 |   805327 |    14924    135 |        0 |        0
549.97/550.22	c  550s |      20 |  3056924 |   808127 |    14924    135 |        0 |        0
551.97/552.29	c  552s |      20 |  3069941 |   810927 |    14924    135 |        0 |        0
554.06/554.34	c  554s |      20 |  3074483 |   813227 |    14924    136 |        0 |        0
556.16/556.41	c  556s |      20 |  3079071 |   815927 |    14924    136 |        0 |        0
558.16/558.45	c  558s |      20 |  3083979 |   818127 |    14924    136 |        0 |        0
560.16/560.47	c  560s |      20 |  3089869 |   820727 |    14924    137 |        0 |        0
562.16/562.49	c  562s |      20 |  3100364 |   823727 |    14924    137 |        0 |        0
564.26/564.50	c  564s |      20 |  3104155 |   826127 |    14924    137 |        0 |        0
566.26/566.51	c  566s |      20 |  3107410 |   828527 |    14924    138 |        0 |        0
568.26/568.53	c  568s |      20 |  3113254 |   831327 |    14924    138 |        0 |        0
570.56/570.84	c  570s |      20 |  3118388 |   833327 |    14924    138 |        0 |        0
572.55/572.85	c  572s |      20 |  3120917 |   834427 |    14924    138 |        0 |        0
574.65/574.91	c  574s |      20 |  3126763 |   837227 |    14924    139 |        0 |        0
576.65/576.99	c  576s |      20 |  3131997 |   840227 |    14924    139 |        0 |        0
578.75/579.06	c  578s |      20 |  3138892 |   843027 |    14924    139 |        0 |        0
580.75/581.09	c  580s |      20 |  3145216 |   845627 |    14924    140 |        0 |        0
582.86/583.10	c  583s |      20 |  3150113 |   848327 |    14924    140 |        0 |        0
585.06/585.34	c  585s |      20 |  3156155 |   850927 |    14924    141 |        0 |        0
587.04/587.37	c  587s |      20 |  3160022 |   853527 |    14924    141 |        0 |        0
589.14/589.43	c  589s |      20 |  3176448 |   855727 |    14924    141 |        0 |        0
591.34/591.61	c  591s |      20 |  3187185 |   858527 |    14924    142 |        0 |        0
593.34/593.68	c  593s |      20 |  3196046 |   861527 |    14924    142 |        0 |        0
595.44/595.75	c  595s |      20 |  3205141 |   864427 |    14924    142 |        0 |        0
597.54/597.80	c  597s |      20 |  3209713 |   866627 |    14924    143 |        0 |        0
599.53/599.85	c  599s |      20 |  3216562 |   869227 |    14924    143 |        0 |        0
601.63/601.95	c  601s |      20 |  3219849 |   871427 |    14924    143 |        0 |        0
603.74/604.02	c  603s |      20 |  3228119 |   873827 |    14924    144 |        0 |        0
605.73/606.07	c  605s |      20 |  3233803 |   876827 |    14924    144 |        0 |        0
607.83/608.17	c  608s |      20 |  3237447 |   879227 |    14924    144 |        0 |        0
610.63/610.98	c  610s |      20 |  3240583 |   881427 |    14924    145 |        0 |        0
612.73/613.04	c  612s |      20 |  3247936 |   884027 |    14924    145 |        0 |        0
614.83/615.10	c  614s |      20 |  3255189 |   886927 |    14924    145 |        0 |        0
616.83/617.11	c  617s |      20 |  3260836 |   889427 |    14924    146 |        0 |        0
618.82/619.13	c  619s |      20 |  3265949 |   892227 |    14924    146 |        0 |        0
620.82/621.18	c  621s |      20 |  3273033 |   894827 |    14924    146 |        0 |        0
622.82/623.19	c  623s |      20 |  3278785 |   896927 |    14924    147 |        0 |        0
624.82/625.19	c  625s |      20 |  3282857 |   899227 |    14924    147 |        0 |        0
626.92/627.22	c  627s |      20 |  3293191 |   902127 |    14924    147 |        0 |        0
628.93/629.26	c  629s |      20 |  3299544 |   904627 |    14924    148 |        0 |        0
631.02/631.32	c  631s |      20 |  3305232 |   907427 |    14924    148 |        0 |        0
633.02/633.36	c  633s |      20 |  3309947 |   910027 |    14924    148 |        0 |        0
635.02/635.39	c  635s |      20 |  3314469 |   912627 |    14924    149 |        0 |        0
637.12/637.40	c  637s |      20 |  3321979 |   915227 |    14924    149 |        0 |        0
639.52/639.82	c  639s |      20 |  3328273 |   918027 |    14924    149 |        0 |        0
641.52/641.86	c  641s |      20 |  3341990 |   920027 |    14924    150 |        0 |        0
643.52/643.88	c  643s |      20 |  3351976 |   922927 |    14924    150 |        0 |        0
645.53/645.89	c  645s |      20 |  3357224 |   925627 |    14924    150 |        0 |        0
647.72/648.02	c  647s |      20 |  3361279 |   928127 |    14924    151 |        0 |        0
649.72/650.08	c  649s |      20 |  3365782 |   931027 |    14924    151 |        0 |        0
651.81/652.14	c  652s |      20 |  3372306 |   933727 |    14924    151 |        0 |        0
653.81/654.15	c  654s |      20 |  3376890 |   935927 |    14924    152 |        0 |        0
656.42/656.74	c  656s |      20 |  3379920 |   937727 |    14924    152 |        0 |        0
658.41/658.79	c  658s |      20 |  3388443 |   940327 |    14924    152 |        0 |        0
660.51/660.82	c  660s |      20 |  3396697 |   943227 |    14924    153 |        0 |        0
662.51/662.84	c  662s |      20 |  3407122 |   946427 |    14924    153 |        0 |        0
664.51/664.87	c  664s |      20 |  3414219 |   949427 |    14924    153 |        0 |        0
666.70/667.04	c  666s |      20 |  3419347 |   952027 |    14924    154 |        0 |        0
668.80/669.10	c  669s |      20 |  3427625 |   954927 |    14924    154 |        0 |        0
670.81/671.13	c  671s |      20 |  3437637 |   957527 |    14924    155 |        0 |        0
672.80/673.20	c  673s |      20 |  3441885 |   959427 |    14924    155 |        0 |        0
674.90/675.23	c  675s |      20 |  3454621 |   962427 |    14924    155 |        0 |        0
676.89/677.25	c  677s |      20 |  3465598 |   965427 |    14924    156 |        0 |        0
678.89/679.28	c  679s |      20 |  3473289 |   968427 |    14924    156 |        0 |        0
680.89/681.29	c  681s |      20 |  3479318 |   971227 |    14924    156 |        0 |        0
683.00/683.32	c  683s |      20 |  3482204 |   973127 |    14924    157 |        0 |        0
685.00/685.36	c  685s |      20 |  3487136 |   976027 |    14924    157 |        0 |        0
686.99/687.38	c  687s |      20 |  3493174 |   978727 |    14924    157 |        0 |        0
689.99/690.30	c  690s |      20 |  3498321 |   980427 |    14924    158 |        0 |        0
691.99/692.33	c  692s |      20 |  3509817 |   983527 |    14924    158 |        0 |        0
693.99/694.34	c  694s |      20 |  3516079 |   986427 |    14924    158 |        0 |        0
696.00/696.38	c  696s |      20 |  3520678 |   988527 |    14924    159 |        0 |        0
698.08/698.43	c  698s |      20 |  3526521 |   991527 |    14924    159 |        0 |        0
700.18/700.50	c  700s |      20 |  3530206 |   994227 |    16417    159 |        0 |        0
702.18/702.50	c  702s |      20 |  3535385 |   996827 |    16417    159 |        0 |        0
704.19/704.55	c  704s |      20 |  3541810 |   999327 |    16417    160 |        0 |        0
704.89/705.21	c  705s |      21 |  3545258 |  1000345 |    16417    160 |        0 |        0
706.88/707.24	c  707s |      21 |  3552523 |  1002945 |    16417    160 |        0 |        0
708.98/709.33	c  709s |      21 |  3560372 |  1005345 |    16417    161 |        0 |        0
710.98/711.35	c  711s |      21 |  3569256 |  1007845 |    16417    161 |        0 |        0
712.98/713.36	c  713s |      21 |  3574793 |  1010645 |    16417    161 |        0 |        0
715.07/715.44	c  715s |      21 |  3580254 |  1013345 |    16417    161 |        0 |        0
717.07/717.48	c  717s |      21 |  3584784 |  1015645 |    16417    162 |        0 |        0
719.07/719.49	c  719s |      21 |  3597659 |  1018645 |    16417    162 |        0 |        0
721.17/721.51	c  721s |      21 |  3603189 |  1021045 |    16417    162 |        0 |        0
723.17/723.57	c  723s |      21 |  3608553 |  1023645 |    16417    163 |        0 |        0
725.27/725.61	c  725s |      21 |  3614151 |  1026345 |    16417    163 |        0 |        0
727.26/727.64	c  727s |      21 |  3618408 |  1028945 |    16417    163 |        0 |        0
730.46/730.88	c  730s |      21 |  3621197 |  1030145 |    16417    164 |        0 |        0
732.55/732.93	c  732s |      21 |  3629527 |  1030845 |    16417    164 |        0 |        0
734.56/734.95	c  734s |      21 |  3642034 |  1034045 |    16417    164 |        0 |        0
736.66/737.01	c  736s |      21 |  3657101 |  1037545 |    16417    164 |        0 |        0
738.65/739.02	c  738s |      21 |  3665649 |  1040845 |    16417    165 |        0 |        0
740.65/741.04	c  740s |      21 |  3676985 |  1044345 |    16417    165 |        0 |        0
742.66/743.08	c  742s |      21 |  3681338 |  1047245 |    16417    166 |        0 |        0
744.75/745.14	c  745s |      21 |  3687651 |  1050945 |    16417    166 |        0 |        0
746.75/747.18	c  747s |      21 |  3699971 |  1053145 |    16417    166 |        0 |        0
749.05/749.45	c  749s |      21 |  3720557 |  1055645 |    16417    167 |        0 |        0
751.06/751.46	c  751s |      21 |  3738628 |  1058845 |    16417    167 |        0 |        0
753.05/753.50	c  753s |      21 |  3746601 |  1061545 |    16417    167 |        0 |        0
755.15/755.53	c  755s |      21 |  3754327 |  1063745 |    16417    168 |        0 |        0
757.14/757.54	c  757s |      21 |  3770352 |  1066445 |    16417    168 |        0 |        0
759.14/759.56	c  759s |      21 |  3779266 |  1069645 |    16417    168 |        0 |        0
761.24/761.62	c  761s |      21 |  3792026 |  1072945 |    16417    169 |        0 |        0
763.24/763.62	c  763s |      21 |  3802827 |  1074745 |    16417    169 |        0 |        0
765.24/765.63	c  765s |      21 |  3821721 |  1078345 |    16417    169 |        0 |        0
767.23/767.64	c  767s |      21 |  3835340 |  1081845 |    16417    170 |        0 |        0
769.23/769.68	c  769s |      21 |  3843947 |  1085445 |    16417    170 |        0 |        0
771.33/771.72	c  771s |      21 |  3861152 |  1088645 |    16417    171 |        0 |        0
773.33/773.74	c  773s |      21 |  3872772 |  1092345 |    16417    171 |        0 |        0
775.33/775.78	c  775s |      21 |  3881786 |  1096045 |    16417    171 |        0 |        0
777.33/777.80	c  777s |      21 |  3889917 |  1099145 |    16417    172 |        0 |        0
779.42/779.81	c  779s |      21 |  3900900 |  1102845 |    16417    172 |        0 |        0
782.53/782.92	c  782s |      21 |  3907468 |  1105945 |    16417    173 |        0 |        0
784.53/784.94	c  784s |      21 |  3918332 |  1109445 |    16417    173 |        0 |        0
786.53/786.95	c  786s |      21 |  3926557 |  1112645 |    16417    173 |        0 |        0
788.63/789.03	c  788s |      21 |  3931915 |  1115345 |    16417    174 |        0 |        0
791.73/792.19	c  792s |      21 |  3937835 |  1117445 |    16417    174 |        0 |        0
793.83/794.25	c  794s |      21 |  3948345 |  1120945 |    16417    174 |        0 |        0
795.82/796.28	c  796s |      21 |  3960117 |  1124345 |    16417    175 |        0 |        0
797.82/798.29	c  798s |      21 |  3972542 |  1127945 |    16417    175 |        0 |        0
799.92/800.31	c  800s |      21 |  3979546 |  1131145 |    16417    176 |        0 |        0
801.92/802.33	c  802s |      21 |  3985742 |  1134445 |    16417    176 |        0 |        0
803.92/804.37	c  804s |      21 |  3991041 |  1137545 |    16417    176 |        0 |        0
805.93/806.38	c  806s |      21 |  3996964 |  1140745 |    16417    177 |        0 |        0
808.01/808.42	c  808s |      21 |  3998268 |  1141745 |    16417    177 |        0 |        0
810.01/810.47	c  810s |      21 |  4005623 |  1145645 |    16417    177 |        0 |        0
812.11/812.51	c  812s |      21 |  4011940 |  1149145 |    16417    178 |        0 |        0
814.11/814.51	c  814s |      21 |  4017585 |  1152145 |    16417    178 |        0 |        0
816.11/816.54	c  816s |      21 |  4023840 |  1154945 |    16417    178 |        0 |        0
818.12/818.55	c  818s |      21 |  4031324 |  1158245 |    16417    179 |        0 |        0
820.11/820.58	c  820s |      21 |  4039460 |  1161645 |    16417    179 |        0 |        0
822.31/822.78	c  822s |      21 |  4045515 |  1163545 |    16417    180 |        0 |        0
824.41/824.80	c  824s |      21 |  4061790 |  1167145 |    16417    180 |        0 |        0
826.40/826.87	c  826s |      21 |  4072868 |  1170345 |    16417    180 |        0 |        0
828.40/828.87	c  828s |      21 |  4081545 |  1173545 |    16417    181 |        0 |        0
830.50/830.90	c  830s |      21 |  4088955 |  1176945 |    16417    181 |        0 |        0
832.50/832.94	c  832s |      21 |  4093614 |  1179945 |    16417    181 |        0 |        0
834.70/835.12	c  835s |      21 |  4098119 |  1182945 |    16417    182 |        0 |        0
836.81/837.22	c  837s |      21 |  4103948 |  1186245 |    16417    182 |        0 |        0
839.00/839.48	c  839s |      21 |  4114375 |  1188445 |    16417    183 |        0 |        0
841.00/841.50	c  841s |      21 |  4121040 |  1190845 |    16417    183 |        0 |        0
843.10/843.51	c  843s |      21 |  4126434 |  1193745 |    16417    183 |        0 |        0
845.10/845.53	c  845s |      21 |  4133851 |  1196245 |    16417    183 |        0 |        0
847.10/847.55	c  847s |      21 |  4138504 |  1198445 |    16417    184 |        0 |        0
849.09/849.56	c  849s |      21 |  4146506 |  1201745 |    16417    184 |        0 |        0
851.19/851.61	c  851s |      21 |  4153791 |  1204745 |    16417    184 |        0 |        0
853.20/853.65	c  853s |      21 |  4158461 |  1207745 |    16417    185 |        0 |        0
855.19/855.66	c  855s |      21 |  4161972 |  1209445 |    16417    185 |        0 |        0
857.29/857.70	c  857s |      21 |  4168574 |  1212845 |    16417    185 |        0 |        0
859.30/859.72	c  859s |      21 |  4174194 |  1216045 |    16417    186 |        0 |        0
861.30/861.79	c  861s |      21 |  4181862 |  1219445 |    16417    186 |        0 |        0
863.40/863.83	c  863s |      21 |  4189543 |  1222345 |    16417    187 |        0 |        0
865.41/865.88	c  865s |      21 |  4197407 |  1225345 |    16417    187 |        0 |        0
867.51/867.98	c  867s |      21 |  4201380 |  1227445 |    16417    187 |        0 |        0
869.60/870.02	c  869s |      21 |  4208266 |  1228645 |    16417    187 |        0 |        0
871.60/872.05	c  871s |      21 |  4222724 |  1231745 |    16417    188 |        0 |        0
873.60/874.06	c  873s |      21 |  4231967 |  1235345 |    16417    188 |        0 |        0
875.60/876.09	c  875s |      21 |  4237776 |  1238545 |    16417    189 |        0 |        0
877.70/878.11	c  878s |      21 |  4244424 |  1241845 |    16417    189 |        0 |        0
879.70/880.12	c  880s |      21 |  4249837 |  1245245 |    16417    189 |        0 |        0
881.69/882.16	c  882s |      21 |  4254470 |  1248445 |    16417    190 |        0 |        0
883.79/884.21	c  884s |      21 |  4261412 |  1251745 |    16417    190 |        0 |        0
885.79/886.22	c  886s |      21 |  4271585 |  1254845 |    16417    190 |        0 |        0
887.79/888.24	c  888s |      21 |  4277684 |  1257545 |    16417    191 |        0 |        0
889.79/890.29	c  890s |      21 |  4285104 |  1260745 |    16417    191 |        0 |        0
891.89/892.33	c  892s |      21 |  4290441 |  1263645 |    16417    192 |        0 |        0
893.90/894.36	c  894s |      21 |  4295944 |  1267145 |    16417    192 |        0 |        0
895.89/896.37	c  896s |      21 |  4299876 |  1269245 |    16417    192 |        0 |        0
897.99/898.42	c  898s |      21 |  4305723 |  1272345 |    16417    193 |        0 |        0
899.99/900.44	c  900s |      21 |  4311060 |  1275645 |    16417    193 |        0 |        0
902.09/902.50	c  902s |      21 |  4316386 |  1278745 |    16417    193 |        0 |        0
904.09/904.52	c  904s |      21 |  4321522 |  1281445 |    16417    194 |        0 |        0
906.10/906.55	c  906s |      21 |  4326217 |  1284545 |    16417    194 |        0 |        0
908.09/908.60	c  908s |      21 |  4330048 |  1287445 |    16417    194 |        0 |        0
911.79/912.22	c  912s |      21 |  4335140 |  1290245 |    16417    195 |        0 |        0
913.79/914.24	c  914s |      21 |  4335577 |  1290445 |    16417    195 |        0 |        0
915.78/916.28	c  916s |      21 |  4343371 |  1294245 |    16417    195 |        0 |        0
917.88/918.33	c  918s |      21 |  4349261 |  1297545 |    16417    196 |        0 |        0
919.88/920.35	c  920s |      21 |  4356146 |  1300445 |    16417    196 |        0 |        0
921.88/922.37	c  922s |      21 |  4362715 |  1303545 |    16417    196 |        0 |        0
923.99/924.42	c  924s |      21 |  4366816 |  1306045 |    16417    197 |        0 |        0
925.99/926.42	c  926s |      21 |  4372261 |  1309245 |    16417    197 |        0 |        0
928.00/928.45	c  928s |      21 |  4377851 |  1312045 |    16417    197 |        0 |        0
929.99/930.48	c  930s |      21 |  4382028 |  1314645 |    16417    198 |        0 |        0
931.99/932.49	c  932s |      21 |  4388075 |  1317545 |    16417    198 |        0 |        0
934.09/934.52	c  934s |      21 |  4392432 |  1320145 |    16417    198 |        0 |        0
936.09/936.55	c  936s |      21 |  4395552 |  1322445 |    16417    199 |        0 |        0
938.19/938.60	c  938s |      21 |  4397392 |  1323945 |    16417    199 |        0 |        0
940.19/940.66	c  940s |      21 |  4401961 |  1327045 |    16417    199 |        0 |        0
942.29/942.71	c  942s |      21 |  4416096 |  1329645 |    16417    199 |        0 |        0
944.29/944.75	c  944s |      21 |  4423544 |  1332445 |    16417    200 |        0 |        0
946.29/946.77	c  946s |      21 |  4433644 |  1336045 |    16417    200 |        0 |        0
948.38/948.81	c  948s |      21 |  4438932 |  1339045 |    16417    201 |        0 |        0
950.38/950.82	c  950s |      21 |  4444543 |  1342345 |    16417    201 |        0 |        0
952.38/952.83	c  952s |      21 |  4448764 |  1345245 |    16417    201 |        0 |        0
954.39/954.88	c  954s |      21 |  4451885 |  1347645 |    16417    202 |        0 |        0
956.48/956.94	c  956s |      21 |  4472720 |  1350545 |    16417    202 |        0 |        0
958.48/958.98	c  958s |      21 |  4483582 |  1353545 |    16417    202 |        0 |        0
960.48/960.98	c  960s |      21 |  4489723 |  1356345 |    16417    203 |        0 |        0
962.48/962.99	c  962s |      21 |  4498686 |  1359345 |    16417    203 |        0 |        0
964.48/965.00	c  964s |      21 |  4506394 |  1362545 |    16417    203 |        0 |        0
966.59/967.03	c  966s |      21 |  4514287 |  1365745 |    16417    204 |        0 |        0
968.58/969.05	c  968s |      21 |  4525433 |  1368845 |    16417    204 |        0 |        0
970.58/971.06	c  970s |      21 |  4532771 |  1371745 |    16417    204 |        0 |        0
972.68/973.10	c  973s |      21 |  4538885 |  1374745 |    16417    205 |        0 |        0
974.68/975.11	c  975s |      21 |  4544317 |  1377945 |    16417    205 |        0 |        0
976.68/977.13	c  977s |      21 |  4548115 |  1380245 |    16417    206 |        0 |        0
978.69/979.15	c  979s |      21 |  4554958 |  1383345 |    16417    206 |        0 |        0
980.68/981.20	c  981s |      21 |  4564367 |  1386845 |    16417    206 |        0 |        0
982.78/983.23	c  983s |      21 |  4568035 |  1389445 |    16417    207 |        0 |        0
984.78/985.25	c  985s |      21 |  4572742 |  1392545 |    16417    207 |        0 |        0
986.78/987.27	c  987s |      21 |  4576924 |  1394745 |    16417    207 |        0 |        0
988.78/989.28	c  989s |      21 |  4583104 |  1397645 |    16417    208 |        0 |        0
990.88/991.33	c  991s |      21 |  4589959 |  1400945 |    16417    208 |        0 |        0
992.88/993.40	c  993s |      21 |  4594259 |  1404045 |    16417    208 |        0 |        0
994.97/995.43	c  995s |      21 |  4598825 |  1406845 |    16417    209 |        0 |        0
996.97/997.44	c  997s |      21 |  4603960 |  1410045 |    16417    209 |        0 |        0
998.97/999.46	c  999s |      21 |  4608428 |  1412845 |    16417    209 |        0 |        0
1001.07/1001.51	c 1001s |      21 |  4612780 |  1415445 |    16417    210 |        0 |        0
1003.07/1003.56	c 1003s |      21 |  4616957 |  1418245 |    16417    210 |        0 |        0
1005.17/1005.60	c 1005s |      21 |  4619853 |  1420345 |    16417    210 |        0 |        0
1007.18/1007.64	c 1007s |      21 |  4622648 |  1422345 |    16417    211 |        0 |        0
1009.27/1009.70	c 1009s |      21 |  4627583 |  1424845 |    16417    211 |        0 |        0
1011.27/1011.70	c 1011s |      21 |  4634483 |  1427945 |    16417    211 |        0 |        0
1013.27/1013.75	c 1013s |      21 |  4639462 |  1430745 |    16417    212 |        0 |        0
1015.28/1015.80	c 1015s |      21 |  4645747 |  1433345 |    16417    212 |        0 |        0
1017.38/1017.84	c 1017s |      21 |  4652695 |  1436845 |    16417    212 |        0 |        0
1019.78/1020.25	c 1020s |      21 |  4657928 |  1439145 |    16417    213 |        0 |        0
1021.77/1022.26	c 1022s |      21 |  4666432 |  1443145 |    16417    213 |        0 |        0
1024.07/1024.59	c 1024s |      21 |  4678912 |  1446745 |    16417    214 |        0 |        0
1026.17/1026.61	c 1026s |      21 |  4684991 |  1449445 |    16417    214 |        0 |        0
1028.18/1028.63	c 1028s |      21 |  4694753 |  1452745 |    16417    214 |        0 |        0
1030.17/1030.64	c 1030s |      21 |  4700527 |  1455345 |    16417    215 |        0 |        0
1032.17/1032.65	c 1032s |      21 |  4709380 |  1458145 |    16417    215 |        0 |        0
1034.17/1034.66	c 1034s |      21 |  4721424 |  1461445 |    16417    215 |        0 |        0
1036.17/1036.66	c 1036s |      21 |  4730552 |  1463945 |    16417    216 |        0 |        0
1038.27/1038.73	c 1038s |      21 |  4740856 |  1467745 |    16417    216 |        0 |        0
1040.27/1040.79	c 1040s |      21 |  4750783 |  1470945 |    16417    216 |        0 |        0
1042.37/1042.85	c 1042s |      21 |  4759145 |  1473045 |    16417    217 |        0 |        0
1044.37/1044.88	c 1044s |      21 |  4770424 |  1476745 |    16417    217 |        0 |        0
1046.57/1047.04	c 1046s |      21 |  4781107 |  1480045 |    16417    218 |        0 |        0
1048.77/1049.29	c 1049s |      21 |  4796770 |  1483645 |    16417    218 |        0 |        0
1050.86/1051.32	c 1051s |      21 |  4809771 |  1486845 |    16417    218 |        0 |        0
1052.86/1053.33	c 1053s |      21 |  4818871 |  1489945 |    18059    219 |        0 |        0
1054.86/1055.33	c 1055s |      21 |  4831611 |  1493945 |    18059    219 |        0 |        0
1056.86/1057.38	c 1057s |      21 |  4837486 |  1497345 |    18059    219 |        0 |        0
1058.97/1059.42	c 1059s |      21 |  4845419 |  1500345 |    18059    220 |        0 |        0
1059.06/1059.56	c 1059s |      22 |  4845989 |  1500622 |    18059    220 |        0 |        0
1061.07/1061.59	c 1061s |      22 |  4856445 |  1502522 |    18059    220 |        0 |        0
1063.16/1063.63	c 1063s |      22 |  4876073 |  1505822 |    18059    220 |        0 |        0
1065.17/1065.67	c 1065s |      22 |  4881630 |  1508022 |    18059    221 |        0 |        0
1067.17/1067.69	c 1067s |      22 |  4888703 |  1510922 |    18059    221 |        0 |        0
1069.27/1069.75	c 1069s |      22 |  4895074 |  1514022 |    18059    221 |        0 |        0
1071.27/1071.78	c 1071s |      22 |  4900681 |  1516922 |    18059    222 |        0 |        0
1073.37/1073.81	c 1073s |      22 |  4906173 |  1519922 |    18059    222 |        0 |        0
1075.38/1075.84	c 1075s |      22 |  4912854 |  1522222 |    18059    222 |        0 |        0
1077.37/1077.86	c 1077s |      22 |  4930007 |  1525022 |    18059    222 |        0 |        0
1079.37/1079.88	c 1079s |      22 |  4938549 |  1527822 |    18059    223 |        0 |        0
1082.27/1082.76	c 1082s |      22 |  4950326 |  1530622 |    18059    223 |        0 |        0
1084.37/1084.83	c 1084s |      22 |  4963288 |  1533722 |    18059    223 |        0 |        0
1086.37/1086.85	c 1086s |      22 |  4971237 |  1536122 |    18059    224 |        0 |        0
1088.76/1089.22	c 1089s |      22 |  4980794 |  1539122 |    18059    224 |        0 |        0
1090.77/1091.25	c 1091s |      22 |  4990271 |  1542422 |    18059    224 |        0 |        0
1093.96/1094.40	c 1094s |      22 |  4998068 |  1544222 |    18059    225 |        0 |        0
1095.96/1096.41	c 1096s |      22 |  5010437 |  1547422 |    18059    225 |        0 |        0
1098.36/1098.81	c 1098s |      22 |  5017311 |  1550322 |    18059    225 |        0 |        0
1100.36/1100.87	c 1100s |      22 |  5028891 |  1553222 |    18059    225 |        0 |        0
1102.36/1102.88	c 1102s |      22 |  5037412 |  1556222 |    18059    226 |        0 |        0
1104.46/1104.91	c 1104s |      22 |  5049369 |  1559622 |    18059    226 |        0 |        0
1106.46/1106.94	c 1106s |      22 |  5054321 |  1562522 |    18059    226 |        0 |        0
1109.36/1109.85	c 1109s |      22 |  5055405 |  1563022 |    18059    227 |        0 |        0
1111.36/1111.89	c 1111s |      22 |  5070347 |  1566922 |    18059    227 |        0 |        0
1113.46/1113.93	c 1113s |      22 |  5079401 |  1570322 |    18059    227 |        0 |        0
1115.46/1115.96	c 1115s |      22 |  5084741 |  1573022 |    18059    228 |        0 |        0
1117.46/1117.99	c 1117s |      22 |  5093637 |  1576222 |    18059    228 |        0 |        0
1119.56/1120.04	c 1119s |      22 |  5100432 |  1578922 |    18059    228 |        0 |        0
1122.16/1122.63	c 1122s |      22 |  5103677 |  1581222 |    18059    229 |        0 |        0
1124.16/1124.65	c 1124s |      22 |  5110455 |  1584222 |    18059    229 |        0 |        0
1126.16/1126.69	c 1126s |      22 |  5117652 |  1587122 |    18059    229 |        0 |        0
1128.27/1128.71	c 1128s |      22 |  5122987 |  1589822 |    18059    229 |        0 |        0
1130.26/1130.76	c 1130s |      22 |  5127946 |  1592622 |    18059    230 |        0 |        0
1132.26/1132.77	c 1132s |      22 |  5131561 |  1594822 |    18059    230 |        0 |        0
1134.26/1134.78	c 1134s |      22 |  5137423 |  1597422 |    18059    230 |        0 |        0
1136.26/1136.78	c 1136s |      22 |  5142844 |  1599322 |    18059    231 |        0 |        0
1138.36/1138.80	c 1138s |      22 |  5149950 |  1601722 |    18059    231 |        0 |        0
1140.36/1140.81	c 1140s |      22 |  5158685 |  1604422 |    18059    231 |        0 |        0
1142.36/1142.87	c 1142s |      22 |  5163642 |  1607022 |    18059    231 |        0 |        0
1144.66/1145.11	c 1145s |      22 |  5169412 |  1609222 |    18059    232 |        0 |        0
1146.65/1147.12	c 1147s |      22 |  5174800 |  1611822 |    18059    232 |        0 |        0
1148.65/1149.17	c 1149s |      22 |  5181525 |  1614322 |    18059    232 |        0 |        0
1150.75/1151.20	c 1151s |      22 |  5186977 |  1616722 |    18059    232 |        0 |        0
1152.75/1153.26	c 1153s |      22 |  5192232 |  1618622 |    18059    233 |        0 |        0
1154.75/1155.27	c 1155s |      22 |  5199907 |  1621422 |    18059    233 |        0 |        0
1156.86/1157.33	c 1157s |      22 |  5206339 |  1623322 |    18059    233 |        0 |        0
1158.85/1159.34	c 1159s |      22 |  5211098 |  1625822 |    18059    233 |        0 |        0
1163.05/1163.57	c 1163s |      22 |  5213708 |  1627222 |    18059    234 |        0 |        0
1165.15/1165.62	c 1165s |      22 |  5232022 |  1630722 |    18059    234 |        0 |        0
1167.15/1167.69	c 1167s |      22 |  5242515 |  1634022 |    18059    234 |        0 |        0
1169.25/1169.73	c 1169s |      22 |  5248691 |  1636822 |    18059    235 |        0 |        0
1171.25/1171.79	c 1171s |      22 |  5255819 |  1639722 |    18059    235 |        0 |        0
1173.35/1173.87	c 1173s |      22 |  5262400 |  1642622 |    18059    235 |        0 |        0
1175.35/1175.89	c 1175s |      22 |  5269492 |  1645022 |    18059    236 |        0 |        0
1177.45/1177.92	c 1177s |      22 |  5276540 |  1647822 |    18059    236 |        0 |        0
1179.45/1179.94	c 1179s |      22 |  5283512 |  1650522 |    18059    236 |        0 |        0
1181.55/1182.01	c 1181s |      22 |  5290392 |  1653322 |    18059    236 |        0 |        0
1183.55/1184.01	c 1183s |      22 |  5296388 |  1655822 |    18059    237 |        0 |        0
1185.64/1186.11	c 1186s |      22 |  5302328 |  1658622 |    18059    237 |        0 |        0
1187.66/1188.12	c 1188s |      22 |  5310119 |  1661522 |    18059    237 |        0 |        0
1189.65/1190.15	c 1190s |      22 |  5314317 |  1663422 |    18059    238 |        0 |        0
1191.65/1192.18	c 1192s |      22 |  5319040 |  1666322 |    18059    238 |        0 |        0
1193.65/1194.19	c 1194s |      22 |  5324570 |  1667922 |    18059    238 |        0 |        0
1195.75/1196.24	c 1196s |      22 |  5330422 |  1670922 |    18059    238 |        0 |        0
1197.75/1198.28	c 1198s |      22 |  5334526 |  1673422 |    18059    239 |        0 |        0
1199.85/1200.34	c 1200s |      22 |  5339628 |  1676422 |    18059    239 |        0 |        0
1201.95/1202.41	c 1202s |      22 |  5344864 |  1679222 |    18059    239 |        0 |        0
1203.95/1204.41	c 1204s |      22 |  5347315 |  1680822 |    18059    239 |        0 |        0
1206.05/1206.50	c 1206s |      22 |  5350487 |  1683122 |    18059    240 |        0 |        0
1208.05/1208.52	c 1208s |      22 |  5355468 |  1685922 |    18059    240 |        0 |        0
1210.05/1210.59	c 1210s |      22 |  5359840 |  1688822 |    18059    240 |        0 |        0
1212.14/1212.65	c 1212s |      22 |  5361427 |  1690122 |    18059    240 |        0 |        0
1214.14/1214.66	c 1214s |      22 |  5366689 |  1692922 |    18059    241 |        0 |        0
1216.25/1216.72	c 1216s |      22 |  5372228 |  1695922 |    18059    241 |        0 |        0
1218.24/1218.75	c 1218s |      22 |  5378980 |  1698422 |    18059    241 |        0 |        0
1220.34/1220.81	c 1220s |      22 |  5385376 |  1700922 |    18059    242 |        0 |        0
1222.34/1222.85	c 1222s |      22 |  5390578 |  1703822 |    18059    242 |        0 |        0
1224.34/1224.88	c 1224s |      22 |  5394719 |  1706322 |    18059    242 |        0 |        0
1226.44/1226.93	c 1226s |      22 |  5400479 |  1708922 |    18059    242 |        0 |        0
1228.45/1228.98	c 1228s |      22 |  5401692 |  1709622 |    18059    243 |        0 |        0
1230.45/1230.99	c 1230s |      22 |  5407396 |  1712822 |    18059    243 |        0 |        0
1232.54/1233.02	c 1232s |      22 |  5413832 |  1714922 |    18059    243 |        0 |        0
1234.54/1235.04	c 1234s |      22 |  5418596 |  1717622 |    18059    243 |        0 |        0
1236.54/1237.06	c 1236s |      22 |  5427909 |  1720822 |    18059    244 |        0 |        0
1238.64/1239.11	c 1239s |      22 |  5432972 |  1723522 |    18059    244 |        0 |        0
1240.64/1241.16	c 1241s |      22 |  5438477 |  1726622 |    18059    244 |        0 |        0
1242.74/1243.21	c 1243s |      22 |  5446462 |  1729822 |    18059    245 |        0 |        0
1244.75/1245.26	c 1245s |      22 |  5452551 |  1733122 |    18059    245 |        0 |        0
1246.84/1247.31	c 1247s |      22 |  5457542 |  1736022 |    18059    245 |        0 |        0
1248.84/1249.31	c 1249s |      22 |  5461894 |  1738522 |    18059    246 |        0 |        0
1250.84/1251.33	c 1251s |      22 |  5467487 |  1740522 |    18059    246 |        0 |        0
1252.94/1253.40	c 1253s |      22 |  5482150 |  1743322 |    18059    246 |        0 |        0
1255.04/1255.51	c 1255s |      22 |  5488860 |  1745722 |    18059    247 |        0 |        0
1257.04/1257.54	c 1257s |      22 |  5492832 |  1748022 |    18059    247 |        0 |        0
1259.04/1259.54	c 1259s |      22 |  5498021 |  1750722 |    18059    247 |        0 |        0
1261.03/1261.56	c 1261s |      22 |  5504616 |  1753622 |    18059    247 |        0 |        0
1263.03/1263.58	c 1263s |      22 |  5508415 |  1756222 |    18059    248 |        0 |        0
1265.03/1265.59	c 1265s |      22 |  5513044 |  1759022 |    18059    248 |        0 |        0
1267.13/1267.66	c 1267s |      22 |  5519561 |  1761822 |    18059    248 |        0 |        0
1269.33/1269.84	c 1269s |      22 |  5522772 |  1764122 |    18059    249 |        0 |        0
1271.33/1271.85	c 1271s |      22 |  5531302 |  1767122 |    18059    249 |        0 |        0
1274.33/1274.85	c 1274s |      22 |  5537929 |  1770122 |    18059    249 |        0 |        0
1276.34/1276.86	c 1276s |      22 |  5543350 |  1772822 |    18059    249 |        0 |        0
1278.34/1278.89	c 1278s |      22 |  5548185 |  1775422 |    18059    250 |        0 |        0
1280.44/1280.95	c 1280s |      22 |  5551372 |  1776922 |    18059    250 |        0 |        0
1282.54/1283.03	c 1282s |      22 |  5557170 |  1779722 |    18059    250 |        0 |        0
1284.64/1285.17	c 1285s |      22 |  5561898 |  1782422 |    18059    251 |        0 |        0
1287.13/1287.60	c 1287s |      22 |  5564259 |  1784122 |    18059    251 |        0 |        0
1289.13/1289.61	c 1289s |      22 |  5568181 |  1787022 |    18059    251 |        0 |        0
1291.13/1291.62	c 1291s |      22 |  5574320 |  1789922 |    18059    251 |        0 |        0
1293.14/1293.66	c 1293s |      22 |  5578542 |  1792722 |    18059    252 |        0 |        0
1295.23/1295.72	c 1295s |      22 |  5582503 |  1795422 |    18059    252 |        0 |        0
1297.23/1297.75	c 1297s |      22 |  5585554 |  1797922 |    18059    252 |        0 |        0
1300.13/1300.62	c 1300s |      22 |  5591459 |  1799422 |    18059    252 |        0 |        0
1302.13/1302.62	c 1302s |      22 |  5601259 |  1802522 |    18059    253 |        0 |        0
1304.14/1304.64	c 1304s |      22 |  5611364 |  1805822 |    18059    253 |        0 |        0
1306.13/1306.65	c 1306s |      22 |  5617595 |  1808922 |    18059    253 |        0 |        0
1308.13/1308.65	c 1308s |      22 |  5623841 |  1811822 |    18059    254 |        0 |        0
1310.13/1310.66	c 1310s |      22 |  5635534 |  1814822 |    18059    254 |        0 |        0
1312.13/1312.68	c 1312s |      22 |  5645408 |  1817822 |    18059    254 |        0 |        0
1314.23/1314.71	c 1314s |      22 |  5649990 |  1820122 |    18059    255 |        0 |        0
1316.24/1316.76	c 1316s |      22 |  5656757 |  1822922 |    18059    255 |        0 |        0
1318.33/1318.84	c 1318s |      22 |  5661532 |  1825822 |    18059    255 |        0 |        0
1320.43/1320.99	c 1320s |      22 |  5665465 |  1828322 |    18059    256 |        0 |        0
1322.53/1323.00	c 1322s |      22 |  5670622 |  1831222 |    18059    256 |        0 |        0
1324.53/1325.07	c 1324s |      22 |  5675020 |  1834022 |    18059    256 |        0 |        0
1326.63/1327.14	c 1327s |      22 |  5680303 |  1836622 |    18059    256 |        0 |        0
1329.33/1329.84	c 1329s |      22 |  5684313 |  1838722 |    18059    257 |        0 |        0
1331.32/1331.84	c 1331s |      22 |  5693356 |  1841222 |    18059    257 |        0 |        0
1333.32/1333.88	c 1333s |      22 |  5698125 |  1843922 |    18059    257 |        0 |        0
1335.32/1335.89	c 1335s |      22 |  5701453 |  1846222 |    18059    257 |        0 |        0
1337.42/1337.93	c 1337s |      22 |  5704800 |  1848322 |    18059    258 |        0 |        0
1339.43/1339.94	c 1339s |      22 |  5710825 |  1850522 |    18059    258 |        0 |        0
1341.42/1341.96	c 1341s |      22 |  5717932 |  1853422 |    18059    258 |        0 |        0
1343.42/1343.98	c 1343s |      22 |  5722898 |  1855922 |    18059    259 |        0 |        0
1345.52/1346.03	c 1345s |      22 |  5728796 |  1858822 |    18059    259 |        0 |        0
1347.52/1348.03	c 1347s |      22 |  5733390 |  1861522 |    18059    259 |        0 |        0
1349.62/1350.11	c 1350s |      22 |  5738131 |  1864222 |    18059    259 |        0 |        0
1351.62/1352.15	c 1352s |      22 |  5742315 |  1866322 |    18059    260 |        0 |        0
1354.83/1355.30	c 1355s |      22 |  5745365 |  1868722 |    18059    260 |        0 |        0
1356.83/1357.31	c 1357s |      22 |  5751218 |  1871422 |    18059    260 |        0 |        0
1358.93/1359.45	c 1359s |      22 |  5754941 |  1874022 |    18059    261 |        0 |        0
1360.92/1361.49	c 1361s |      22 |  5758719 |  1876622 |    18059    261 |        0 |        0
1363.02/1363.55	c 1363s |      22 |  5761529 |  1878822 |    18059    261 |        0 |        0
1365.02/1365.59	c 1365s |      22 |  5765067 |  1881522 |    18059    261 |        0 |        0
1367.12/1367.61	c 1367s |      22 |  5767800 |  1883722 |    18059    262 |        0 |        0
1369.13/1369.66	c 1369s |      22 |  5770253 |  1885722 |    18059    262 |        0 |        0
1371.23/1371.72	c 1371s |      22 |  5773629 |  1888422 |    18059    262 |        0 |        0
1373.22/1373.75	c 1373s |      22 |  5778102 |  1891222 |    18059    262 |        0 |        0
1376.12/1376.61	c 1376s |      22 |  5780507 |  1892422 |    18059    263 |        0 |        0
1378.12/1378.65	c 1378s |      22 |  5786201 |  1895722 |    18059    263 |        0 |        0
1380.13/1380.66	c 1380s |      22 |  5791162 |  1898622 |    18059    263 |        0 |        0
1382.12/1382.68	c 1382s |      22 |  5795739 |  1901522 |    18059    264 |        0 |        0
1384.12/1384.69	c 1384s |      22 |  5798177 |  1902922 |    18059    264 |        0 |        0
1386.21/1386.72	c 1386s |      22 |  5803872 |  1906322 |    18059    264 |        0 |        0
1388.21/1388.74	c 1388s |      22 |  5808593 |  1909222 |    18059    264 |        0 |        0
1390.21/1390.76	c 1390s |      22 |  5811941 |  1911722 |    18059    265 |        0 |        0
1392.22/1392.78	c 1392s |      22 |  5815970 |  1914322 |    18059    265 |        0 |        0
1394.32/1394.85	c 1394s |      22 |  5822462 |  1917522 |    18059    265 |        0 |        0
1396.31/1396.86	c 1396s |      22 |  5826392 |  1919822 |    18059    266 |        0 |        0
1398.42/1398.92	c 1398s |      22 |  5829128 |  1921522 |    18059    266 |        0 |        0
1400.42/1400.95	c 1400s |      22 |  5838965 |  1925222 |    18059    266 |        0 |        0
1402.42/1402.98	c 1402s |      22 |  5844145 |  1928422 |    18059    266 |        0 |        0
1405.52/1406.02	c 1405s |      22 |  5849161 |  1931022 |    18059    267 |        0 |        0
1407.52/1408.06	c 1407s |      22 |  5857938 |  1934222 |    18059    267 |        0 |        0
1409.52/1410.09	c 1409s |      22 |  5866262 |  1937322 |    18059    267 |        0 |        0
1411.62/1412.15	c 1412s |      22 |  5869018 |  1938922 |    18059    268 |        0 |        0
1413.62/1414.17	c 1414s |      22 |  5874829 |  1941922 |    18059    268 |        0 |        0
1415.72/1416.23	c 1416s |      22 |  5879063 |  1944822 |    18059    268 |        0 |        0
1417.72/1418.24	c 1418s |      22 |  5886430 |  1947422 |    18059    269 |        0 |        0
1420.01/1420.52	c 1420s |      22 |  5891445 |  1949422 |    18059    269 |        0 |        0
1422.01/1422.54	c 1422s |      22 |  5902128 |  1953022 |    18059    269 |        0 |        0
1424.21/1424.74	c 1424s |      22 |  5910485 |  1956122 |    18059    270 |        0 |        0
1426.22/1426.78	c 1426s |      22 |  5916880 |  1959422 |    18059    270 |        0 |        0
1428.31/1428.84	c 1428s |      22 |  5922495 |  1962622 |    18059    270 |        0 |        0
1431.11/1431.69	c 1431s |      22 |  5927435 |  1965222 |    18059    271 |        0 |        0
1433.21/1433.74	c 1433s |      22 |  5932264 |  1968122 |    18059    271 |        0 |        0
1435.21/1435.77	c 1435s |      22 |  5938040 |  1971422 |    18059    271 |        0 |        0
1437.21/1437.78	c 1437s |      22 |  5946296 |  1974522 |    18059    272 |        0 |        0
1439.31/1439.83	c 1439s |      22 |  5951508 |  1977722 |    18059    272 |        0 |        0
1441.31/1441.84	c 1441s |      22 |  5958336 |  1980822 |    18059    272 |        0 |        0
1443.41/1443.92	c 1443s |      22 |  5964126 |  1983622 |    18059    273 |        0 |        0
1445.71/1446.24	c 1446s |      22 |  5966204 |  1984922 |    18059    273 |        0 |        0
1447.81/1448.31	c 1448s |      22 |  5972575 |  1988322 |    18059    273 |        0 |        0
1449.81/1450.33	c 1450s |      22 |  5977717 |  1991422 |    18059    273 |        0 |        0
1451.81/1452.33	c 1452s |      22 |  5982829 |  1994022 |    18059    274 |        0 |        0
1453.82/1454.39	c 1454s |      22 |  5991000 |  1997322 |    18059    274 |        0 |        0
1455.81/1456.40	c 1456s |      22 |  5995147 |  2000122 |    18059    274 |        0 |        0
1457.91/1458.40	c 1458s |      22 |  5998608 |  2001622 |    18059    274 |        0 |        0
1459.91/1460.40	c 1460s |      22 |  6004039 |  2003222 |    18059    275 |        0 |        0
1461.91/1462.41	c 1462s |      22 |  6011197 |  2006722 |    18059    275 |        0 |        0
1463.91/1464.41	c 1464s |      22 |  6016722 |  2009722 |    18059    275 |        0 |        0
1465.91/1466.45	c 1466s |      22 |  6022042 |  2012522 |    18059    276 |        0 |        0
1468.80/1469.36	c 1469s |      22 |  6027302 |  2015322 |    18059    276 |        0 |        0
1470.80/1471.37	c 1471s |      22 |  6040486 |  2018422 |    18059    276 |        0 |        0
1472.80/1473.39	c 1473s |      22 |  6048086 |  2021522 |    18059    277 |        0 |        0
1474.90/1475.42	c 1475s |      22 |  6055086 |  2024822 |    18059    277 |        0 |        0
1476.91/1477.47	c 1477s |      22 |  6064665 |  2027722 |    18059    277 |        0 |        0
1479.01/1479.58	c 1479s |      22 |  6071037 |  2030322 |    18059    278 |        0 |        0
1481.10/1481.60	c 1481s |      22 |  6077127 |  2033222 |    18059    278 |        0 |        0
1483.10/1483.66	c 1483s |      22 |  6085128 |  2036322 |    18059    278 |        0 |        0
1485.10/1485.67	c 1485s |      22 |  6090182 |  2039022 |    18059    279 |        0 |        0
1487.20/1487.71	c 1487s |      22 |  6096028 |  2042022 |    18059    279 |        0 |        0
1489.20/1489.73	c 1489s |      22 |  6099114 |  2043522 |    18059    279 |        0 |        0
1491.21/1491.76	c 1491s |      22 |  6105214 |  2046422 |    18059    279 |        0 |        0
1493.20/1493.78	c 1493s |      22 |  6109128 |  2049122 |    18059    280 |        0 |        0
1495.50/1496.03	c 1495s |      22 |  6111330 |  2049622 |    18059    280 |        0 |        0
1497.50/1498.09	c 1497s |      22 |  6116944 |  2051022 |    18059    280 |        0 |        0
1499.60/1500.14	c 1500s |      22 |  6123265 |  2054022 |    18059    280 |        0 |        0
1501.80/1502.39	c 1502s |      22 |  6129245 |  2056922 |    18059    281 |        0 |        0
1503.90/1504.46	c 1504s |      22 |  6134505 |  2059822 |    18059    281 |        0 |        0
1505.90/1506.46	c 1506s |      22 |  6138112 |  2061122 |    18059    281 |        0 |        0
1507.90/1508.48	c 1508s |      22 |  6146787 |  2064222 |    18059    281 |        0 |        0
1510.00/1510.56	c 1510s |      22 |  6152296 |  2066822 |    18059    282 |        0 |        0
1512.01/1512.57	c 1512s |      22 |  6162287 |  2069922 |    18059    282 |        0 |        0
1514.00/1514.58	c 1514s |      22 |  6170297 |  2073022 |    18059    282 |        0 |        0
1516.10/1516.64	c 1516s |      22 |  6175056 |  2075722 |    18059    283 |        0 |        0
1519.09/1519.67	c 1519s |      22 |  6179164 |  2076722 |    18059    283 |        0 |        0
1521.19/1521.71	c 1521s |      22 |  6198969 |  2080322 |    18059    283 |        0 |        0
1523.19/1523.78	c 1523s |      22 |  6207861 |  2083222 |    18059    283 |        0 |        0
1525.30/1525.80	c 1525s |      22 |  6214814 |  2085622 |    18059    284 |        0 |        0
1527.29/1527.83	c 1527s |      22 |  6221172 |  2087922 |    18059    284 |        0 |        0
1529.39/1529.91	c 1529s |      22 |  6228075 |  2091022 |    18059    284 |        0 |        0
1531.39/1531.93	c 1531s |      22 |  6242452 |  2093622 |    18059    285 |        0 |        0
1533.39/1533.96	c 1533s |      22 |  6252985 |  2095922 |    18059    285 |        0 |        0
1535.39/1535.99	c 1535s |      22 |  6265485 |  2099422 |    18059    285 |        0 |        0
1537.49/1538.01	c 1537s |      22 |  6274047 |  2102422 |    18059    285 |        0 |        0
1539.50/1540.02	c 1539s |      22 |  6281021 |  2105222 |    18059    286 |        0 |        0
1541.49/1542.04	c 1541s |      22 |  6291087 |  2108322 |    18059    286 |        0 |        0
1543.59/1544.12	c 1544s |      22 |  6297868 |  2111122 |    18059    286 |        0 |        0
1545.60/1546.16	c 1546s |      22 |  6301242 |  2113022 |    18059    287 |        0 |        0
1547.60/1548.17	c 1548s |      22 |  6306696 |  2116022 |    18059    287 |        0 |        0
1549.70/1550.22	c 1550s |      22 |  6310053 |  2117922 |    18059    287 |        0 |        0
1551.80/1552.30	c 1552s |      22 |  6316181 |  2120522 |    18059    287 |        0 |        0
1553.80/1554.33	c 1554s |      22 |  6319947 |  2122722 |    18059    288 |        0 |        0
1555.79/1556.34	c 1556s |      22 |  6324917 |  2125522 |    18059    288 |        0 |        0
1557.89/1558.41	c 1558s |      22 |  6330138 |  2128322 |    18059    288 |        0 |        0
1559.89/1560.48	c 1560s |      22 |  6331554 |  2129222 |    18059    288 |        0 |        0
1561.99/1562.53	c 1562s |      22 |  6335283 |  2131322 |    18059    289 |        0 |        0
1564.09/1564.67	c 1564s |      22 |  6340822 |  2134122 |    18059    289 |        0 |        0
1566.09/1566.69	c 1566s |      22 |  6351827 |  2136522 |    18059    289 |        0 |        0
1568.20/1568.72	c 1568s |      22 |  6359322 |  2139322 |    18059    290 |        0 |        0
1570.19/1570.74	c 1570s |      22 |  6366979 |  2142322 |    18059    290 |        0 |        0
1572.19/1572.77	c 1572s |      22 |  6375201 |  2145522 |    18059    290 |        0 |        0
1574.19/1574.78	c 1574s |      22 |  6383569 |  2148422 |    18059    291 |        0 |        0
1576.29/1576.82	c 1576s |      22 |  6388971 |  2151622 |    18059    291 |        0 |        0
1578.29/1578.83	c 1578s |      22 |  6393279 |  2153822 |    18059    291 |        0 |        0
1580.29/1580.87	c 1580s |      22 |  6399963 |  2156622 |    18059    291 |        0 |        0
1582.39/1582.98	c 1582s |      22 |  6403811 |  2159022 |    18059    292 |        0 |        0
1584.39/1584.99	c 1584s |      22 |  6409020 |  2162022 |    18059    292 |        0 |        0
1586.49/1587.01	c 1586s |      22 |  6418008 |  2164022 |    18059    292 |        0 |        0
1588.49/1589.06	c 1588s |      22 |  6426749 |  2166822 |    18059    293 |        0 |        0
1590.59/1591.11	c 1591s |      22 |  6435197 |  2169922 |    18059    293 |        0 |        0
1592.58/1593.17	c 1593s |      22 |  6440646 |  2173022 |    18059    293 |        0 |        0
1595.89/1596.47	c 1596s |      22 |  6443185 |  2174522 |    18059    293 |        0 |        0
1597.90/1598.48	c 1598s |      22 |  6455281 |  2177022 |    18059    294 |        0 |        0
1599.89/1600.49	c 1600s |      22 |  6466170 |  2180222 |    18059    294 |        0 |        0
1601.99/1602.54	c 1602s |      22 |  6475873 |  2183322 |    18059    294 |        0 |        0
1604.99/1605.58	c 1605s |      22 |  6480993 |  2185622 |    18059    295 |        0 |        0
1606.99/1607.59	c 1607s |      22 |  6487670 |  2188722 |    18059    295 |        0 |        0
1609.09/1609.62	c 1609s |      22 |  6493824 |  2191622 |    18059    295 |        0 |        0
1611.29/1611.85	c 1611s |      22 |  6500701 |  2194022 |    18059    296 |        0 |        0
1613.29/1613.85	c 1613s |      22 |  6506295 |  2195922 |    18059    296 |        0 |        0
1615.28/1615.90	c 1615s |      22 |  6522771 |  2199222 |    18059    296 |        0 |        0
1617.38/1617.95	c 1617s |      22 |  6539811 |  2202522 |    18059    296 |        0 |        0
1620.28/1620.89	c 1620s |      22 |  6549776 |  2204922 |    18059    297 |        0 |        0
1622.28/1622.89	c 1622s |      22 |  6570695 |  2208022 |    18059    297 |        0 |        0
1624.38/1624.91	c 1624s |      22 |  6586471 |  2211422 |    18059    297 |        0 |        0
1626.38/1626.94	c 1626s |      22 |  6594507 |  2213922 |    18059    298 |        0 |        0
1628.38/1628.96	c 1628s |      22 |  6605119 |  2216922 |    18059    298 |        0 |        0
1630.48/1631.01	c 1630s |      22 |  6613652 |  2220322 |    18059    298 |        0 |        0
1632.48/1633.02	c 1632s |      22 |  6622812 |  2221822 |    18059    299 |        0 |        0
1634.48/1635.04	c 1634s |      22 |  6638891 |  2225222 |    18059    299 |        0 |        0
1636.48/1637.05	c 1636s |      22 |  6658088 |  2228522 |    18059    299 |        0 |        0
1638.49/1639.07	c 1638s |      22 |  6671412 |  2231022 |    18059    300 |        0 |        0
1640.58/1641.11	c 1641s |      22 |  6677654 |  2233522 |    18059    300 |        0 |        0
1642.58/1643.17	c 1643s |      22 |  6683542 |  2236222 |    19865    300 |        0 |        0
1644.68/1645.23	c 1645s |      22 |  6693566 |  2239422 |    19865    300 |        0 |        0
1646.68/1647.25	c 1647s |      22 |  6699639 |  2242022 |    19865    301 |        0 |        0
1648.78/1649.31	c 1649s |      22 |  6708016 |  2245022 |    19865    301 |        0 |        0
1650.78/1651.35	c 1651s |      22 |  6712796 |  2247822 |    19865    301 |        0 |        0
1652.79/1653.38	c 1653s |      22 |  6718942 |  2250522 |    19865    301 |        0 |        0
1653.28/1653.84	c 1653s |      23 |  6720041 |  2251038 |    19865    301 |        0 |        0
1655.28/1655.85	c 1655s |      23 |  6725632 |  2252738 |    19865    302 |        0 |        0
1657.38/1657.90	c 1657s |      23 |  6732799 |  2255538 |    19865    302 |        0 |        0
1659.39/1659.94	c 1659s |      23 |  6740059 |  2257938 |    19865    302 |        0 |        0
1661.38/1661.99	c 1661s |      23 |  6744910 |  2260538 |    19865    302 |        0 |        0
1663.58/1664.18	c 1664s |      23 |  6750663 |  2261638 |    19865    303 |        0 |        0
1665.68/1666.26	c 1666s |      23 |  6761468 |  2264538 |    19865    303 |        0 |        0
1667.78/1668.31	c 1668s |      23 |  6768282 |  2267538 |    19865    303 |        0 |        0
1669.78/1670.35	c 1670s |      23 |  6777256 |  2270238 |    19865    303 |        0 |        0
1671.87/1672.48	c 1672s |      23 |  6781331 |  2271938 |    19865    304 |        0 |        0
1673.97/1674.51	c 1674s |      23 |  6789592 |  2274738 |    19865    304 |        0 |        0
1675.98/1676.57	c 1676s |      23 |  6802432 |  2278138 |    19865    304 |        0 |        0
1678.08/1678.61	c 1678s |      23 |  6811494 |  2281138 |    19865    304 |        0 |        0
1680.17/1680.72	c 1680s |      23 |  6820207 |  2283738 |    19865    305 |        0 |        0
1682.17/1682.79	c 1682s |      23 |  6825030 |  2286738 |    19865    305 |        0 |        0
1684.27/1684.82	c 1684s |      23 |  6829968 |  2289538 |    19865    305 |        0 |        0
1686.27/1686.88	c 1686s |      23 |  6834978 |  2291638 |    19865    305 |        0 |        0
1688.27/1688.89	c 1688s |      23 |  6843193 |  2294638 |    19865    306 |        0 |        0
1690.37/1690.92	c 1690s |      23 |  6848277 |  2296638 |    19865    306 |        0 |        0
1692.38/1692.97	c 1692s |      23 |  6866654 |  2299638 |    19865    306 |        0 |        0
1694.47/1695.01	c 1694s |      23 |  6873401 |  2302438 |    19865    307 |        0 |        0
1696.47/1697.06	c 1696s |      23 |  6881519 |  2305638 |    19865    307 |        0 |        0
1698.47/1699.09	c 1698s |      23 |  6888765 |  2308738 |    19865    307 |        0 |        0
1700.57/1701.12	c 1701s |      23 |  6897861 |  2311738 |    19865    307 |        0 |        0
1702.57/1703.12	c 1703s |      23 |  6902864 |  2314138 |    19865    308 |        0 |        0
1704.58/1705.17	c 1705s |      23 |  6907910 |  2317338 |    19865    308 |        0 |        0
1708.16/1708.71	c 1708s |      23 |  6908699 |  2317738 |    19865    308 |        0 |        0
1710.16/1710.73	c 1710s |      23 |  6915279 |  2321338 |    19865    308 |        0 |        0
1712.18/1712.78	c 1712s |      23 |  6918784 |  2323738 |    19865    309 |        0 |        0
1714.17/1714.79	c 1714s |      23 |  6924692 |  2326338 |    19865    309 |        0 |        0
1716.27/1716.82	c 1716s |      23 |  6931618 |  2329438 |    19865    309 |        0 |        0
1718.37/1718.99	c 1718s |      23 |  6935329 |  2332138 |    19865    310 |        0 |        0
1720.47/1721.02	c 1720s |      23 |  6941723 |  2333638 |    19865    310 |        0 |        0
1722.47/1723.07	c 1722s |      23 |  6953734 |  2337138 |    19865    310 |        0 |        0
1724.57/1725.13	c 1725s |      23 |  6959997 |  2340638 |    19865    310 |        0 |        0
1726.67/1727.21	c 1727s |      23 |  6965160 |  2343538 |    19865    311 |        0 |        0
1728.67/1729.27	c 1729s |      23 |  6970305 |  2346438 |    19865    311 |        0 |        0
1730.77/1731.35	c 1731s |      23 |  6975963 |  2349238 |    19865    311 |        0 |        0
1732.87/1733.41	c 1733s |      23 |  6983800 |  2352138 |    19865    311 |        0 |        0
1735.16/1735.76	c 1735s |      23 |  6986028 |  2353738 |    19865    312 |        0 |        0
1737.16/1737.77	c 1737s |      23 |  6991084 |  2356738 |    19865    312 |        0 |        0
1739.16/1739.80	c 1739s |      23 |  6995953 |  2358238 |    19865    312 |        0 |        0
1741.26/1741.85	c 1741s |      23 |  7006591 |  2361938 |    19865    312 |        0 |        0
1743.36/1743.95	c 1743s |      23 |  7013237 |  2365138 |    19865    313 |        0 |        0
1745.36/1745.97	c 1745s |      23 |  7018058 |  2368438 |    19865    313 |        0 |        0
1747.37/1748.00	c 1747s |      23 |  7020523 |  2369538 |    19865    313 |        0 |        0
1749.47/1750.02	c 1749s |      23 |  7029274 |  2372838 |    19865    314 |        0 |        0
1751.47/1752.06	c 1751s |      23 |  7039156 |  2376438 |    19865    314 |        0 |        0
1753.47/1754.08	c 1753s |      23 |  7045649 |  2379838 |    19865    314 |        0 |        0
1755.57/1756.11	c 1756s |      23 |  7051931 |  2383038 |    19865    315 |        0 |        0
1757.56/1758.12	c 1758s |      23 |  7058148 |  2385738 |    19865    315 |        0 |        0
1759.57/1760.13	c 1760s |      23 |  7068455 |  2389338 |    19865    315 |        0 |        0
1761.56/1762.13	c 1762s |      23 |  7073287 |  2392238 |    19865    315 |        0 |        0
1763.56/1764.18	c 1764s |      23 |  7077835 |  2395138 |    19865    316 |        0 |        0
1765.66/1766.24	c 1766s |      23 |  7082208 |  2398538 |    19865    316 |        0 |        0
1767.66/1768.28	c 1768s |      23 |  7087494 |  2400638 |    19865    316 |        0 |        0
1770.06/1770.63	c 1770s |      23 |  7092126 |  2402838 |    19865    317 |        0 |        0
1772.06/1772.67	c 1772s |      23 |  7097504 |  2406438 |    19865    317 |        0 |        0
1774.86/1775.45	c 1775s |      23 |  7101796 |  2409438 |    19865    317 |        0 |        0
1776.96/1777.50	c 1777s |      23 |  7105905 |  2412638 |    19865    317 |        0 |        0
1778.96/1779.54	c 1779s |      23 |  7109647 |  2415338 |    19865    318 |        0 |        0
1780.96/1781.55	c 1781s |      23 |  7113888 |  2418438 |    19865    318 |        0 |        0
1784.87/1785.43	c 1785s |      23 |  7114895 |  2419138 |    19865    318 |        0 |        0
1786.86/1787.48	c 1787s |      23 |  7125088 |  2422538 |    19865    318 |        0 |        0
1788.96/1789.50	c 1789s |      23 |  7144053 |  2425638 |    19865    319 |        0 |        0
1790.96/1791.51	c 1791s |      23 |  7152273 |  2428638 |    19865    319 |        0 |        0
1792.96/1793.54	c 1793s |      23 |  7159366 |  2432038 |    19865    319 |        0 |        0
1794.96/1795.58	c 1795s |      23 |  7167439 |  2435238 |    19865    320 |        0 |        0
1797.06/1797.62	c 1797s |      23 |  7173468 |  2438238 |    19865    320 |        0 |        0
1799.07/1799.66	c 1799s |      23 |  7178590 |  2440838 |    19865    320 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=29888
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.15 2.18 2.11 3/179 29891
/proc/meminfo: memFree=29370560/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=754244 CPUtime=0 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 2819 0 0 0 0 0 0 0 20 0 4 0 30207788 772345856 2670 33554432000 4194304 16246674 140734479301136 140734479300560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 189073 2676 442 2943 0 185967 0
[pid=29891/tid=29892] ppid=29888 vsize=770628 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 789123072 2736 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=775748 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 794365952 2753 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=779844 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30207788 798560256 2769 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.15 2.18 2.11 3/179 29891
/proc/meminfo: memFree=29370560/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 21858 0 0 0 7 2 0 0 20 0 4 0 30207788 1251545088 21655 33554432000 4194304 16246674 140734479301136 140734479300448 6165351 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 305553 21655 839 2943 0 302447 0
[pid=29891/tid=29892] ppid=29888 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1251545088 21655 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1251545088 21655 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1251545088 21655 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200544 s]
/proc/loadavg: 2.15 2.18 2.11 3/179 29891
/proc/meminfo: memFree=29370560/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1222212 CPUtime=0.19 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 40490 0 0 0 15 4 0 0 20 0 4 0 30207788 1251545088 40287 33554432000 4194304 16246674 140734479301136 140734479300448 5667714 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 305553 40298 877 2943 0 302447 0
[pid=29891/tid=29892] ppid=29888 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1251545088 40308 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1251545088 40314 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1251545088 40320 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1222212

[startup+0.300449 s]
/proc/loadavg: 2.15 2.18 2.11 3/179 29891
/proc/meminfo: memFree=29370560/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1222212 CPUtime=0.28 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 66331 0 0 0 21 7 0 0 20 0 4 0 30207788 1251545088 66128 33554432000 4194304 16246674 140734479301136 140734479300448 5707789 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 305553 66140 877 2943 0 302447 0
[pid=29891/tid=29892] ppid=29888 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1251545088 66148 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1251545088 66157 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1251545088 66168 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1222212

[startup+0.700397 s]
/proc/loadavg: 2.15 2.18 2.11 3/179 29891
/proc/meminfo: memFree=29370560/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 174170 0 0 0 48 21 0 0 20 0 4 0 30207788 1251545088 173968 33554432000 4194304 16246674 140734479301136 140734479300448 5721708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 305553 173982 877 2943 0 302447 0
[pid=29891/tid=29892] ppid=29888 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1251545088 173991 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1251545088 173995 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1251545088 174002 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50039 s]
/proc/loadavg: 2.15 2.18 2.11 3/183 29895
/proc/meminfo: memFree=28307888/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 266236 0 0 0 117 32 0 0 20 0 4 0 30207788 1332285440 266033 33554432000 4194304 16246674 140734479301136 140734479283008 5523475 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 325265 266033 880 2943 0 322159 0
[pid=29891/tid=29892] ppid=29888 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1332285440 266033 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1332285440 266033 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1332285440 266033 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.15 2.18 2.11 3/183 29895
/proc/meminfo: memFree=28300576/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 267973 0 0 0 276 33 0 0 20 0 4 0 30207788 1338576896 267770 33554432000 4194304 16246674 140734479301136 140734479283008 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 326801 267770 890 2943 0 323695 0
[pid=29891/tid=29892] ppid=29888 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1338576896 267770 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1338576896 267770 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1338576896 267770 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.13 2.18 2.11 3/182 29895
/proc/meminfo: memFree=28297628/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 268741 0 0 0 596 33 0 0 20 0 4 0 30207788 1341722624 268538 33554432000 4194304 16246674 140734479301136 140734479283008 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 327569 268538 890 2943 0 324463 0
[pid=29891/tid=29892] ppid=29888 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1341722624 268538 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1341722624 268538 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1341722624 268538 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.12 2.17 2.11 3/183 29896
/proc/meminfo: memFree=28296288/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 268997 0 0 0 1236 33 0 0 20 0 4 0 30207788 1342771200 268794 33554432000 4194304 16246674 140734479301136 140734479283008 12483286 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 327825 268794 890 2943 0 324719 0
[pid=29891/tid=29892] ppid=29888 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1342771200 268794 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1342771200 268794 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1342771200 268794 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.18 2.18 2.11 3/183 29896
/proc/meminfo: memFree=28288380/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1319492 CPUtime=25.48 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 271046 0 0 0 2515 33 0 0 20 0 4 0 30207788 1351159808 270843 33554432000 4194304 16246674 140734479301136 140734479283008 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 329873 270843 891 2943 0 326767 0
[pid=29891/tid=29892] ppid=29888 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1351159808 270843 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1351159808 270843 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1351159808 270843 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1319492

[startup+51.1005 s]
/proc/loadavg: 2.19 2.18 2.11 3/183 29896
/proc/meminfo: memFree=28288092/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1319492 CPUtime=51.08 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 271046 0 0 0 5074 34 0 0 20 0 4 0 30207788 1351159808 270843 33554432000 4194304 16246674 140734479301136 140734479283008 12478249 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 329873 270843 891 2943 0 326767 0
[pid=29891/tid=29892] ppid=29888 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1351159808 270843 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1351159808 270843 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1351159808 270843 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.3 s]
/proc/loadavg: 2.26 2.20 2.12 3/183 29897
/proc/meminfo: memFree=28280576/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1324612 CPUtime=102.28 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 272327 0 0 0 10193 35 0 0 20 0 4 0 30207788 1356402688 272124 33554432000 4194304 16246674 140734479301136 140734479283008 4222072 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 331153 272124 892 2943 0 328047 0
[pid=29891/tid=29892] ppid=29888 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1356402688 272124 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1356402688 272124 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1356402688 272124 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1324612


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

/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1368644

[startup+1302.3 s]
/proc/loadavg: 2.12 2.14 2.15 3/183 29975
/proc/meminfo: memFree=25947108/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1368644 CPUtime=1301.83 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 283765 0 0 0 130124 59 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140734479298944 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 342161 283389 893 2943 0 339055 0
[pid=29891/tid=29892] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1368644

[startup+1362.3 s]
/proc/loadavg: 2.09 2.13 2.15 3/183 29976
/proc/meminfo: memFree=25818336/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1368644 CPUtime=1361.82 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 283765 0 0 0 136122 60 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140734479283008 6011672 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 342161 283389 893 2943 0 339055 0
[pid=29891/tid=29892] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1368644

[startup+1422.3 s]
/proc/loadavg: 2.15 2.13 2.15 3/184 29980
/proc/meminfo: memFree=25724136/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1368644 CPUtime=1421.82 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 283765 0 0 0 142121 61 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140734479283008 5722816 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 342161 283389 893 2943 0 339055 0
[pid=29891/tid=29892] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1368644

[startup+1482.3 s]
/proc/loadavg: 2.25 2.16 2.16 3/183 29981
/proc/meminfo: memFree=25705424/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1368644 CPUtime=1481.8 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 283765 0 0 0 148118 62 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140734479283008 12483215 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 342161 283389 893 2943 0 339055 0
[pid=29891/tid=29892] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1368644

[startup+1542.31 s]
/proc/loadavg: 2.34 2.21 2.17 3/183 29983
/proc/meminfo: memFree=27411916/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1368644 CPUtime=1541.8 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 283765 0 0 0 154117 63 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140734479283008 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 342161 283389 893 2943 0 339055 0
[pid=29891/tid=29892] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1368644

[startup+1602.3 s]
/proc/loadavg: 2.38 2.24 2.18 4/183 29984
/proc/meminfo: memFree=27218600/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1368644 CPUtime=1601.79 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 283765 0 0 0 160114 65 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140734479283008 12474936 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 342161 283389 893 2943 0 339055 0
[pid=29891/tid=29892] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1368644

[startup+1662.3 s]
/proc/loadavg: 2.37 2.26 2.19 4/183 29985
/proc/meminfo: memFree=27019816/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1368644 CPUtime=1661.78 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 283765 0 0 0 166112 66 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140734479283008 5546616 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 342161 283389 893 2943 0 339055 0
[pid=29891/tid=29892] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1368644

[startup+1722.3 s]
/proc/loadavg: 2.22 2.24 2.18 3/183 29986
/proc/meminfo: memFree=27019448/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1368644 CPUtime=1721.77 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 283765 0 0 0 172110 67 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140734479283008 5722956 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 342161 283389 893 2943 0 339055 0
[pid=29891/tid=29892] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1368644

[startup+1782.3 s]
/proc/loadavg: 2.22 2.24 2.18 4/183 29987
/proc/meminfo: memFree=27019328/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1368644 CPUtime=1781.76 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 283765 0 0 0 178108 68 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140734479283008 4222192 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 342161 283389 893 2943 0 339055 0
[pid=29891/tid=29892] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1368644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.30 2.25 2.19 3/183 29988
/proc/meminfo: memFree=27019080/32872528 swapFree=1191052/1305516
[pid=29891] ppid=29888 vsize=1368644 CPUtime=1800.06 cores=1,3,5,7
/proc/29891/stat : 29891 (toysat) R 29888 29891 26736 0 -1 4202496 283765 0 0 0 179937 69 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140734479283008 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29891/statm: 342161 283389 893 2943 0 339055 0
[pid=29891/tid=29892] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29892/stat : 29892 (toysat) S 29888 29891 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552589782256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=29891/tid=29893] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29893/stat : 29893 (toysat) S 29888 29891 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552579292400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=29891/tid=29894] ppid=29888 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/29891/task/29894/stat : 29894 (toysat) S 29888 29891 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30207788 1401491456 283389 33554432000 4194304 16246674 140734479301136 140552568818864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1368644

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.38
CPU system time (s): 0.691894
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1368644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.691894
maximum resident set size= 1133556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283765
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= 442
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64529 second user time and 6.88995 second system time

The end

Begin job on node127 at 2016-06-18 22:26:52
IDJOB=4107039
IDBENCH=48383
IDSOLVER=2542
FILE ID=node127/4107039-1466281612
RUNJOBID= node127-1466265123-26753
PBS_JOBID= 19918231
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_4_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107039-1466281612/watcher-4107039-1466281612 -o /tmp/evaluation-result-4107039-1466281612/solver-4107039-1466281612 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107039-1466281612.opb

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

MD5SUM BENCH= c41d0ae6b2deb2ba6caac7b74c416b6f
RANDOM SEED=464684609

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29371584 kB
Buffers:          103884 kB
Cached:           265028 kB
SwapCached:          516 kB
Active:          1178704 kB
Inactive:         274076 kB
Active(anon):    1083948 kB
Inactive(anon):     2184 kB
Active(file):      94756 kB
Inactive(file):   271892 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16332 kB
Writeback:             4 kB
AnonPages:       2390844 kB
Mapped:            10720 kB
Shmem:                 0 kB
Slab:             605608 kB
SReclaimable:      49188 kB
SUnreclaim:       556420 kB
KernelStack:        1448 kB
PageTables:         8684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2536008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    944128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node127 at 2016-06-18 22:56:52