0.00/0.00	c 2016-06-17T00:06:44+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-4096694-1466114804.opb"]
0.00/0.01	c use --random-gen="2247929193 1448365549 3242579457 923269352 1635425490 2576083633 492692964 2669105776 2113893746 887675828 3248039576 2976752401 4005164559 546534444 1858354398 2631551213 4202606235 2124569455 3814304180 2382979907 1964466602 2763798352 3238118743 1680225683 1718302191 893728219 3530106122 2061254290 152399234 1964373136 2791989760 624826469 1889843751 841912293 446560798 732129289 4095441991 2094103305 1566086937 2974361431 1493468892 1933126134 2627744224 613255776 3602301346 476914625 2742392456 3469720646 1093000632 358807582 402025931 3732207380 1233402374 2436417851 1455543247 1539714345 684613635 1084972870 745376452 1285693233 1585515457 955870671 3662724360 3054169070 1282864486 1439741211 2983080617 4064961825 4205957546 2454078884 1577378678 1501938487 1824302904 960675751 824534442 834121033 1795296100 4058458960 1983678873 4001869871 3832037046 785656662 1509978469 3736042038 1944183457 2419863082 1293731926 1869220409 1353594257 2639673030 2338991608 1515811238 3613384540 3555051691 66841512 1290681929 1032723279 3306450633 1034465115 2740833929 3019756320 3267910822 2316136840 370952310 428112397 3823511127 47039039 3344077713 894952721 3026225679 3780400490 987348220 3527272772 1567367176 1808899092 1108584570 3389263907 1119645264 3375135260 1403135458 3045612939 434691839 74697350 1966548710 2013564174 3673958309 2491080128 4012589152 3824809852 3536135130 1857716371 3489643100 3216233630 3923501118 507384207 3430321701 2155396068 2519171803 3780033706 616648205 4077687342 3633201492 785002002 191050514 4191541317 1294716213 2262324189 2543159034 4225157789 373474222 927945199 2918805787 2776534067 1766869698 22876304 3610012590 3447927501 2836892706 756818162 2835215631 3986920758 2912816987 150305045 3366397056 1810498393 207306137 2595929761 23507166 1827252007 3290736895 1228601569 3837741932 3478118950 3774899465 518764689 3122985196 1356688917 1712447927 3824619124 2376592924 1685956978 434511894 3098565201 622358760 3232094618 479760178 2201948235 3181247 1267628507 1897927578 734094438 452619607 1384288332 1487393094 1408108127 2443831999 693246367 1469549289 1198451441 690015786 1888168574 1315156597 3344167813 2500674213 4029960272 1434653327 1915304320 1240586179 2359342566 2729249026 510165458 2219249517 3137827928 3678245238 511081349 3778654639 1504284623 3895833139 4180966361 4141253398 1800002182 2159464310 1026106157 4000819253 1413602518 3428743364 973251445 21673188 383771976 539551181 817061122 2482835466 1572236330 1254015542 848840887 3560035044 1599255825 1415382120 3565333327 3085126253 1973066032 93885361 1388995997 742071261 3215465104 1544518565 809718369 2549509075 3476834046 1459534658 2342973360 4008167381 3045757466 3056172291 2912769341 4269148300 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1482
0.00/0.06	c #constraints 7073
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |     2850      0 |        5 |        0
0.18/0.22	c  0.0s |       1 |      166 |      100 |     2850      0 |        5 |      302
0.18/0.29	c  0.1s |       2 |      366 |      250 |     3136      0 |        5 |      302
0.39/0.40	c  0.2s |       3 |      798 |      475 |     3450      0 |        5 |      302
0.49/0.57	c  0.4s |       4 |     1231 |      813 |     3796      0 |        5 |      302
0.79/0.81	c  0.6s |       5 |     1899 |     1320 |     4176      0 |        5 |      302
1.20/1.23	c  1.1s |       6 |     2892 |     2081 |     5054      0 |        5 |      302
1.69/1.70	c  1.5s |       7 |     4357 |     3223 |     5560      0 |        5 |      302
2.30/2.39	c  2.2s |       8 |     6684 |     4936 |     6117      0 |        5 |      302
3.49/3.52	c  3.4s |       9 |     9887 |     7506 |     6729      1 |        5 |      302
5.29/5.38	c  5.2s |      10 |    14727 |    11361 |     7402      2 |        5 |      302
7.38/7.41	c  7.2s |      10 |    20164 |    15761 |     7402      3 |        5 |      302
7.98/8.06	c  7.9s |      11 |    21757 |    17144 |     8143      3 |        5 |      302
10.08/10.10	c  9.9s |      11 |    26426 |    20944 |     8143      4 |        5 |      302
12.10/12.13	c 12.0s |      11 |    31371 |    25044 |     8143      5 |        5 |      302
12.39/12.49	c 12.3s |      12 |    32314 |    25819 |     8958      5 |        5 |      302
14.49/14.52	c 14.3s |      12 |    36388 |    29119 |     8958      6 |        5 |      302
16.50/16.53	c 16.4s |      12 |    41148 |    33019 |     8958      7 |        5 |      302
18.49/18.54	c 18.4s |      12 |    45708 |    36819 |     8958      7 |        5 |      302
19.69/19.70	c 19.5s |      13 |    48075 |    38832 |     9854      8 |        5 |      302
21.69/21.70	c 21.5s |      13 |    52316 |    42332 |     9854      8 |        5 |      302
23.68/23.70	c 23.5s |      13 |    56965 |    46232 |     9854      9 |        5 |      302
25.68/25.72	c 25.6s |      13 |    61282 |    49832 |     9854     10 |        5 |      302
27.68/27.73	c 27.6s |      13 |    65736 |    53632 |     9854     11 |        5 |      302
29.69/29.77	c 29.6s |      13 |    70054 |    57432 |     9854     11 |        5 |      302
30.28/30.33	c 30.2s |      14 |    71060 |    58352 |    10840     12 |        5 |      302
32.28/32.37	c 32.2s |      14 |    75477 |    62152 |    10840     12 |        5 |      302
34.38/34.40	c 34.2s |      14 |    79819 |    65852 |    10840     13 |        5 |      302
36.39/36.45	c 36.3s |      14 |    82945 |    68552 |    10840     13 |        5 |      302
38.38/38.46	c 38.3s |      14 |    87079 |    72052 |    10840     14 |        5 |      302
40.48/40.56	c 40.4s |      14 |    90813 |    75252 |    10840     15 |        5 |      302
42.58/42.61	c 42.4s |      14 |    95764 |    79352 |    10840     15 |        5 |      302
44.59/44.64	c 44.5s |      14 |    99615 |    82752 |    10840     16 |        5 |      302
46.68/46.73	c 46.6s |      14 |   103529 |    86152 |    10840     17 |        5 |      302
47.39/47.49	c 47.3s |      15 |   105218 |    87632 |    11925     17 |        5 |      302
49.49/49.51	c 49.3s |      15 |   108228 |    90032 |    11925     17 |        5 |      302
51.48/51.53	c 51.4s |      15 |   111964 |    93232 |    11925     18 |        5 |      302
53.48/53.57	c 53.4s |      15 |   116615 |    97132 |    11925     18 |        5 |      302
55.58/55.60	c 55.4s |      15 |   120577 |   100532 |    11925     19 |        5 |      302
57.58/57.61	c 57.4s |      15 |   124172 |   103732 |    11925     19 |        5 |      302
59.58/59.63	c 59.5s |      15 |   126802 |   106032 |    11925     20 |        5 |      302
61.59/61.68	c 61.5s |      15 |   131366 |   109832 |    11925     20 |        5 |      302
63.58/63.69	c 63.5s |      15 |   135437 |   113332 |    11925     21 |        5 |      302
65.58/65.69	c 65.5s |      15 |   139167 |   116632 |    11925     21 |        5 |      302
67.68/67.72	c 67.5s |      15 |   142610 |   119632 |    11925     22 |        5 |      302
69.68/69.77	c 69.6s |      15 |   146227 |   122832 |    11925     22 |        5 |      302
71.68/71.77	c 71.6s |      15 |   149735 |   125932 |    11925     23 |        5 |      302
73.78/73.82	c 73.6s |      15 |   153096 |   128932 |    11925     23 |        5 |      302
75.48/75.53	c 75.4s |      16 |   155957 |   131552 |    13118     24 |        5 |      302
77.47/77.56	c 77.4s |      16 |   159394 |   134452 |    13118     24 |        5 |      302
79.47/79.58	c 79.4s |      16 |   162731 |   137352 |    13118     25 |        5 |      302
81.57/81.60	c 81.4s |      16 |   166305 |   140452 |    13118     25 |        5 |      302
83.58/83.64	c 83.5s |      16 |   169452 |   143252 |    13118     26 |        5 |      302
85.57/85.65	c 85.5s |      16 |   173083 |   146352 |    13118     26 |        5 |      302
87.57/87.69	c 87.5s |      16 |   176955 |   149752 |    13118     26 |        5 |      302
89.68/89.74	c 89.6s |      16 |   180704 |   153152 |    13118     27 |        5 |      302
91.78/91.81	c 91.6s |      16 |   184113 |   156152 |    13118     27 |        5 |      302
93.78/93.85	c 93.7s |      16 |   186955 |   158552 |    13118     28 |        5 |      302
95.78/95.87	c 95.7s |      16 |   191145 |   162052 |    13118     28 |        5 |      302
97.88/97.95	c 97.8s |      16 |   194799 |   165252 |    13118     29 |        5 |      302
99.88/99.99	c 99.8s |      16 |   198949 |   168752 |    13118     29 |        5 |      302
101.98/102.00	c  101s |      16 |   202650 |   171952 |    13118     30 |        5 |      302
103.98/104.04	c  103s |      16 |   206272 |   175152 |    13118     30 |        5 |      302
105.97/106.04	c  105s |      16 |   209774 |   178252 |    13118     31 |        5 |      302
107.97/108.05	c  107s |      16 |   212300 |   180352 |    13118     31 |        5 |      302
109.98/110.09	c  109s |      16 |   216067 |   183652 |    13118     32 |        5 |      302
112.07/112.11	c  111s |      16 |   219953 |   187052 |    13118     32 |        5 |      302
114.07/114.13	c  113s |      16 |   223384 |   190152 |    13118     33 |        5 |      302
116.07/116.18	c  116s |      16 |   226298 |   192752 |    13118     33 |        5 |      302
118.17/118.21	c  118s |      16 |   229747 |   195852 |    13118     33 |        5 |      302
119.17/119.25	c  119s |      17 |   231588 |   197432 |    14430     33 |        5 |      302
121.17/121.27	c  121s |      17 |   233768 |   199232 |    14430     34 |        5 |      302
123.18/123.28	c  123s |      17 |   237946 |   202632 |    14430     34 |        5 |      302
125.27/125.34	c  125s |      17 |   241471 |   205632 |    14430     35 |        5 |      302
127.27/127.38	c  127s |      17 |   245246 |   208732 |    14430     35 |        5 |      302
129.37/129.45	c  129s |      17 |   248515 |   211532 |    14430     35 |        5 |      302
131.37/131.49	c  131s |      17 |   251978 |   214532 |    14430     36 |        5 |      302
133.46/133.51	c  133s |      17 |   255482 |   217532 |    14430     36 |        5 |      302
135.46/135.55	c  135s |      17 |   258729 |   220332 |    14430     37 |        5 |      302
137.47/137.59	c  137s |      17 |   262296 |   223532 |    14430     37 |        5 |      302
139.56/139.64	c  139s |      17 |   264818 |   225632 |    14430     37 |        5 |      302
141.66/141.70	c  141s |      17 |   268052 |   228432 |    14430     38 |        5 |      302
143.66/143.71	c  143s |      17 |   272196 |   232032 |    14430     38 |        5 |      302
145.76/145.86	c  145s |      17 |   275411 |   234632 |    14430     39 |        5 |      302
147.76/147.88	c  147s |      17 |   279815 |   238232 |    14430     39 |        5 |      302
149.86/149.93	c  149s |      17 |   283812 |   241632 |    14430     39 |        5 |      302
151.87/151.97	c  151s |      17 |   288268 |   245332 |    14430     40 |        5 |      302
153.86/154.00	c  153s |      17 |   291957 |   248532 |    14430     40 |        5 |      302
155.96/156.00	c  155s |      17 |   295868 |   251932 |    14430     41 |        5 |      302
157.96/158.04	c  157s |      17 |   299482 |   255132 |    14430     41 |        5 |      302
159.96/160.04	c  159s |      17 |   301459 |   256832 |    14430     42 |        5 |      302
161.96/162.05	c  161s |      17 |   306030 |   260732 |    14430     42 |        5 |      302
164.06/164.19	c  164s |      17 |   309691 |   263932 |    14430     43 |        5 |      302
166.07/166.19	c  166s |      17 |   313540 |   267332 |    14430     43 |        5 |      302
168.17/168.25	c  168s |      17 |   316925 |   270232 |    14430     43 |        5 |      302
170.16/170.28	c  170s |      17 |   320405 |   273232 |    14430     44 |        5 |      302
172.26/172.30	c  172s |      17 |   324297 |   276532 |    14430     44 |        5 |      302
174.46/174.57	c  174s |      17 |   327753 |   279632 |    14430     45 |        5 |      302
176.46/176.58	c  176s |      17 |   331710 |   283032 |    14430     45 |        5 |      302
178.66/178.70	c  178s |      17 |   334958 |   285932 |    14430     46 |        5 |      302
180.66/180.74	c  180s |      17 |   338605 |   289232 |    14430     46 |        5 |      302
182.76/182.83	c  182s |      17 |   341816 |   292132 |    14430     46 |        5 |      302
186.56/186.66	c  186s |      17 |   344850 |   294832 |    15874     47 |        5 |      302
187.55/187.68	c  187s |      18 |   346568 |   296252 |    15874     47 |        5 |      302
189.65/189.75	c  189s |      18 |   350118 |   299252 |    15874     47 |        5 |      302
191.75/191.82	c  191s |      18 |   353504 |   302052 |    15874     48 |        5 |      302
193.75/193.89	c  193s |      18 |   356598 |   304652 |    15874     48 |        5 |      302
195.76/195.90	c  195s |      18 |   360245 |   307652 |    15874     48 |        5 |      302
197.85/197.92	c  197s |      18 |   363806 |   310652 |    15874     49 |        5 |      302
199.85/199.93	c  199s |      18 |   367581 |   313852 |    15874     49 |        5 |      302
201.85/201.98	c  201s |      18 |   371037 |   316852 |    15874     49 |        5 |      302
203.95/204.04	c  203s |      18 |   374333 |   319752 |    15874     50 |        5 |      302
206.16/206.25	c  206s |      18 |   375364 |   320652 |    15874     50 |        5 |      302
208.16/208.29	c  208s |      18 |   379113 |   323852 |    15874     50 |        5 |      302
210.26/210.38	c  210s |      18 |   382193 |   326552 |    15874     51 |        5 |      302
212.36/212.44	c  212s |      18 |   386163 |   329752 |    15874     51 |        5 |      302
214.36/214.48	c  214s |      18 |   389442 |   332552 |    15874     51 |        5 |      302
216.46/216.50	c  216s |      18 |   392845 |   335552 |    15874     52 |        5 |      302
218.46/218.54	c  218s |      18 |   396697 |   338852 |    15874     52 |        5 |      302
220.46/220.58	c  220s |      18 |   399688 |   341252 |    15874     52 |        5 |      302
222.46/222.59	c  222s |      18 |   403285 |   344252 |    15874     53 |        5 |      302
224.56/224.60	c  224s |      18 |   407122 |   347452 |    15874     53 |        5 |      302
226.56/226.63	c  226s |      18 |   410445 |   350352 |    15874     53 |        5 |      302
228.56/228.64	c  228s |      18 |   413927 |   353352 |    15874     54 |        5 |      302
230.55/230.66	c  230s |      18 |   417566 |   356552 |    15874     54 |        5 |      302
232.65/232.70	c  232s |      18 |   420820 |   359452 |    15874     55 |        5 |      302
234.65/234.71	c  234s |      18 |   424269 |   362552 |    15874     55 |        5 |      302
236.65/236.71	c  236s |      18 |   427532 |   365452 |    15874     55 |        5 |      302
238.66/238.72	c  238s |      18 |   430764 |   368352 |    15874     56 |        5 |      302
242.25/242.38	c  242s |      18 |   433197 |   370552 |    15874     56 |        5 |      302
244.35/244.42	c  244s |      18 |   435790 |   372652 |    15874     56 |        5 |      302
246.35/246.43	c  246s |      18 |   439280 |   375652 |    15874     57 |        5 |      302
248.35/248.43	c  248s |      18 |   443426 |   379152 |    15874     57 |        5 |      302
250.35/250.47	c  250s |      18 |   446837 |   382152 |    15874     57 |        5 |      302
252.35/252.48	c  252s |      18 |   450346 |   385252 |    15874     58 |        5 |      302
254.35/254.49	c  254s |      18 |   453075 |   387752 |    15874     58 |        5 |      302
256.45/256.54	c  256s |      18 |   456284 |   390552 |    15874     58 |        5 |      302
258.45/258.60	c  258s |      18 |   459638 |   393452 |    15874     59 |        5 |      302
260.54/260.60	c  260s |      18 |   462751 |   396252 |    15874     59 |        5 |      302
262.54/262.64	c  262s |      18 |   465568 |   398752 |    15874     59 |        5 |      302
264.64/264.80	c  264s |      18 |   468510 |   401352 |    15874     60 |        5 |      302
266.74/266.81	c  266s |      18 |   471803 |   404252 |    15874     60 |        5 |      302
268.74/268.82	c  268s |      18 |   474816 |   406852 |    15874     61 |        5 |      302
270.74/270.85	c  270s |      18 |   478283 |   409952 |    15874     61 |        5 |      302
272.85/272.92	c  272s |      18 |   480818 |   412052 |    15874     61 |        5 |      302
274.84/274.95	c  274s |      18 |   484021 |   414752 |    15874     61 |        5 |      302
276.84/276.99	c  276s |      18 |   487450 |   417652 |    15874     62 |        5 |      302
278.94/279.00	c  278s |      18 |   490833 |   420652 |    15874     62 |        5 |      302
280.94/281.06	c  280s |      18 |   493910 |   423352 |    15874     63 |        5 |      302
282.94/283.09	c  282s |      18 |   497358 |   426352 |    15874     63 |        5 |      302
285.04/285.14	c  284s |      18 |   500280 |   429052 |    15874     63 |        5 |      302
287.05/287.14	c  286s |      18 |   503001 |   431552 |    15874     64 |        5 |      302
289.36/289.46	c  289s |      18 |   505317 |   433652 |    15874     64 |        5 |      302
291.35/291.49	c  291s |      18 |   508790 |   436652 |    15874     64 |        5 |      302
293.45/293.54	c  293s |      18 |   511534 |   439152 |    15874     65 |        5 |      302
295.45/295.55	c  295s |      18 |   514696 |   441952 |    17462     65 |        5 |      302
297.44/297.55	c  297s |      19 |   517399 |   444482 |    17462     65 |        5 |      302
299.44/299.59	c  299s |      19 |   520152 |   446682 |    17462     65 |        5 |      302
301.74/301.85	c  301s |      19 |   522606 |   448782 |    17462     66 |        5 |      302
303.74/303.89	c  303s |      19 |   526492 |   452082 |    17462     66 |        5 |      302
305.85/305.92	c  305s |      19 |   528941 |   454182 |    17462     66 |        5 |      302
307.84/307.97	c  307s |      19 |   532060 |   456882 |    17462     66 |        5 |      302
309.94/310.02	c  309s |      19 |   535576 |   459882 |    17462     67 |        5 |      302
311.94/312.06	c  311s |      19 |   538727 |   462682 |    17462     67 |        5 |      302
314.04/314.14	c  313s |      19 |   542035 |   465582 |    17462     67 |        5 |      302
316.04/316.18	c  316s |      19 |   545197 |   468382 |    17462     68 |        5 |      302
318.14/318.25	c  318s |      19 |   548664 |   471482 |    17462     68 |        5 |      302
320.15/320.25	c  320s |      19 |   551615 |   474082 |    17462     68 |        5 |      302
322.14/322.26	c  322s |      19 |   554825 |   476882 |    17462     69 |        5 |      302
324.24/324.32	c  324s |      19 |   557849 |   479482 |    17462     69 |        5 |      302
326.34/326.42	c  326s |      19 |   560277 |   481582 |    17462     69 |        5 |      302
328.34/328.46	c  328s |      19 |   563141 |   483982 |    17462     69 |        5 |      302
330.43/330.50	c  330s |      19 |   566033 |   486382 |    17462     70 |        5 |      302
332.43/332.55	c  332s |      19 |   569517 |   489382 |    17462     70 |        5 |      302
334.53/334.64	c  334s |      19 |   572667 |   492182 |    17462     70 |        5 |      302
336.54/336.67	c  336s |      19 |   575563 |   494682 |    17462     71 |        5 |      302
338.63/338.70	c  338s |      19 |   578683 |   497382 |    17462     71 |        5 |      302
340.63/340.77	c  340s |      19 |   580818 |   499082 |    17462     71 |        5 |      302
342.73/342.88	c  342s |      19 |   583938 |   501682 |    17462     72 |        5 |      302
344.73/344.89	c  344s |      19 |   587951 |   505082 |    17462     72 |        5 |      302
346.73/346.89	c  346s |      19 |   591248 |   507982 |    17462     72 |        5 |      302
348.83/348.97	c  348s |      19 |   594304 |   510582 |    17462     73 |        5 |      302
350.84/350.98	c  350s |      19 |   598044 |   513882 |    17462     73 |        5 |      302
352.93/353.05	c  352s |      19 |   601397 |   516782 |    17462     73 |        5 |      302
355.03/355.16	c  354s |      19 |   603843 |   518782 |    17462     73 |        5 |      302
357.03/357.17	c  357s |      19 |   606891 |   521382 |    17462     74 |        5 |      302
359.13/359.20	c  359s |      19 |   610252 |   524282 |    17462     74 |        5 |      302
361.13/361.25	c  361s |      19 |   613333 |   526982 |    17462     74 |        5 |      302
363.13/363.26	c  363s |      19 |   616351 |   529582 |    17462     75 |        5 |      302
365.23/365.31	c  365s |      19 |   619715 |   532482 |    17462     75 |        5 |      302
367.23/367.35	c  367s |      19 |   622714 |   535182 |    17462     75 |        5 |      302
369.33/369.41	c  369s |      19 |   625500 |   537682 |    17462     76 |        5 |      302
371.34/371.46	c  371s |      19 |   628818 |   540682 |    17462     76 |        5 |      302
373.34/373.48	c  373s |      19 |   631791 |   543282 |    17462     76 |        5 |      302
375.34/375.49	c  375s |      19 |   634545 |   545682 |    17462     76 |        5 |      302
377.43/377.54	c  377s |      19 |   637717 |   548482 |    17462     77 |        5 |      302
379.73/379.81	c  379s |      19 |   638183 |   548882 |    17462     77 |        5 |      302
381.74/381.82	c  381s |      19 |   641471 |   551682 |    17462     77 |        5 |      302
383.73/383.83	c  383s |      19 |   644342 |   554182 |    17462     77 |        5 |      302
385.83/385.90	c  385s |      19 |   647552 |   557082 |    17462     78 |        5 |      302
387.83/387.92	c  387s |      19 |   650785 |   559882 |    17462     78 |        5 |      302
389.83/389.93	c  389s |      19 |   653720 |   562482 |    17462     78 |        5 |      302
391.83/391.97	c  391s |      19 |   657115 |   565482 |    17462     79 |        5 |      302
393.93/394.00	c  393s |      19 |   660483 |   568482 |    17462     79 |        5 |      302
395.94/396.05	c  395s |      19 |   663200 |   570982 |    17462     79 |        5 |      302
398.03/398.20	c  398s |      19 |   664859 |   572482 |    17462     80 |        5 |      302
400.13/400.22	c  400s |      19 |   667567 |   574882 |    17462     80 |        5 |      302
402.13/402.25	c  402s |      19 |   670543 |   577582 |    17462     80 |        5 |      302
404.13/404.28	c  404s |      19 |   673083 |   579882 |    17462     80 |        5 |      302
406.33/406.43	c  406s |      19 |   675368 |   581982 |    17462     81 |        5 |      302
408.33/408.46	c  408s |      19 |   678711 |   584982 |    17462     81 |        5 |      302
410.33/410.48	c  410s |      19 |   681313 |   587382 |    17462     81 |        5 |      302
412.43/412.53	c  412s |      19 |   683574 |   589482 |    17462     81 |        5 |      302
414.42/414.55	c  414s |      19 |   686181 |   591882 |    17462     82 |        5 |      302
416.42/416.56	c  416s |      19 |   688113 |   593582 |    17462     82 |        5 |      302
418.42/418.58	c  418s |      19 |   690989 |   596082 |    17462     82 |        5 |      302
420.52/420.60	c  420s |      19 |   693441 |   598282 |    17462     82 |        5 |      302
422.52/422.63	c  422s |      19 |   696063 |   600682 |    17462     83 |        5 |      302
424.53/424.66	c  424s |      19 |   699048 |   603382 |    17462     83 |        5 |      302
426.83/426.96	c  426s |      19 |   701158 |   605282 |    17462     83 |        5 |      302
429.03/429.16	c  428s |      19 |   704242 |   607982 |    17462     84 |        5 |      302
431.13/431.23	c  431s |      19 |   707377 |   610782 |    17462     84 |        5 |      302
433.12/433.28	c  433s |      19 |   710428 |   613582 |    17462     84 |        5 |      302
435.12/435.28	c  435s |      19 |   713062 |   615982 |    17462     84 |        5 |      302
437.22/437.31	c  437s |      19 |   715537 |   618282 |    17462     85 |        5 |      302
439.22/439.36	c  439s |      19 |   718619 |   621082 |    17462     85 |        5 |      302
441.22/441.38	c  441s |      19 |   721846 |   623882 |    17462     85 |        5 |      302
443.32/443.50	c  443s |      19 |   724268 |   626082 |    17462     86 |        5 |      302
445.42/445.56	c  445s |      19 |   727625 |   628982 |    17462     86 |        5 |      302
447.42/447.57	c  447s |      19 |   730874 |   631782 |    17462     86 |        5 |      302
449.42/449.59	c  449s |      19 |   733617 |   634182 |    17462     86 |        5 |      302
451.52/451.65	c  451s |      19 |   736840 |   637082 |    17462     87 |        5 |      302
453.52/453.65	c  453s |      19 |   738125 |   638182 |    17462     87 |        5 |      302
455.51/455.67	c  455s |      19 |   741824 |   641182 |    17462     87 |        5 |      302
457.62/457.71	c  457s |      19 |   745220 |   643982 |    17462     88 |        5 |      302
459.61/459.77	c  459s |      19 |   749201 |   647282 |    17462     88 |        5 |      302
461.71/461.82	c  461s |      19 |   752708 |   650282 |    17462     88 |        5 |      302
463.71/463.86	c  463s |      19 |   755954 |   653082 |    17462     89 |        5 |      302
465.71/465.88	c  465s |      19 |   759695 |   656282 |    17462     89 |        5 |      302
467.81/467.92	c  467s |      19 |   763334 |   659482 |    17462     89 |        5 |      302
469.82/469.94	c  469s |      19 |   766478 |   662282 |    19209     90 |        5 |      302
471.83/471.95	c  471s |      19 |   767391 |   663082 |    19209     90 |        5 |      302
473.82/473.98	c  473s |      19 |   771308 |   666482 |    19209     90 |        5 |      302
474.02/474.19	c  474s |      20 |   771690 |   666827 |    19209     90 |        5 |      302
476.12/476.24	c  476s |      20 |   774537 |   669127 |    19209     90 |        5 |      302
478.22/478.38	c  478s |      20 |   777652 |   671727 |    19209     91 |        5 |      302
480.22/480.39	c  480s |      20 |   781369 |   674827 |    19209     91 |        5 |      302
482.31/482.41	c  482s |      20 |   784012 |   677027 |    19209     91 |        5 |      302
484.31/484.49	c  484s |      20 |   787157 |   679627 |    19209     91 |        5 |      302
486.41/486.50	c  486s |      20 |   789803 |   681927 |    19209     92 |        5 |      302
488.42/488.53	c  488s |      20 |   793524 |   684927 |    19209     92 |        5 |      302
490.41/490.57	c  490s |      20 |   796754 |   687627 |    19209     92 |        5 |      302
492.41/492.58	c  492s |      20 |   799548 |   690027 |    19209     92 |        5 |      302
494.51/494.63	c  494s |      20 |   802687 |   692727 |    19209     93 |        5 |      302
496.51/496.66	c  496s |      20 |   806022 |   695627 |    19209     93 |        5 |      302
498.51/498.66	c  498s |      20 |   809041 |   698327 |    19209     93 |        5 |      302
500.52/500.70	c  500s |      20 |   809444 |   698627 |    19209     93 |        5 |      302
502.72/502.85	c  502s |      20 |   812393 |   701027 |    19209     94 |        5 |      302
504.71/504.85	c  504s |      20 |   816207 |   704327 |    19209     94 |        5 |      302
506.81/506.92	c  506s |      20 |   819346 |   707127 |    19209     94 |        5 |      302
508.81/508.95	c  508s |      20 |   822313 |   709727 |    19209     94 |        5 |      302
510.81/510.99	c  510s |      20 |   824620 |   711727 |    19209     95 |        5 |      302
512.91/513.04	c  512s |      20 |   828008 |   714627 |    19209     95 |        5 |      302
515.01/515.13	c  514s |      20 |   831063 |   717327 |    19209     95 |        5 |      302
517.01/517.16	c  516s |      20 |   833777 |   719727 |    19209     95 |        5 |      302
519.01/519.17	c  518s |      20 |   836395 |   722027 |    19209     96 |        5 |      302
521.10/521.20	c  521s |      20 |   839680 |   724927 |    19209     96 |        5 |      302
523.10/523.24	c  523s |      20 |   842350 |   727327 |    19209     96 |        5 |      302
525.10/525.28	c  525s |      20 |   845078 |   729727 |    19209     96 |        5 |      302
527.20/527.36	c  527s |      20 |   848088 |   732427 |    19209     97 |        5 |      302
529.20/529.38	c  529s |      20 |   850794 |   734927 |    19209     97 |        5 |      302
531.31/531.46	c  531s |      20 |   852047 |   736027 |    19209     97 |        5 |      302
533.30/533.48	c  533s |      20 |   854894 |   738327 |    19209     97 |        5 |      302
535.51/535.67	c  535s |      20 |   856972 |   740127 |    19209     98 |        5 |      302
537.61/537.71	c  537s |      20 |   860831 |   743427 |    19209     98 |        5 |      302
539.61/539.74	c  539s |      20 |   864264 |   746327 |    19209     98 |        5 |      302
541.61/541.76	c  541s |      20 |   867352 |   748927 |    19209     98 |        5 |      302
543.91/544.07	c  543s |      20 |   868999 |   750427 |    19209     99 |        5 |      302
546.01/546.14	c  545s |      20 |   871682 |   752727 |    19209     99 |        5 |      302
548.10/548.22	c  548s |      20 |   875240 |   755727 |    19209     99 |        5 |      302
550.10/550.25	c  550s |      20 |   878181 |   758327 |    19209     99 |        5 |      302
552.11/552.29	c  552s |      20 |   881496 |   761027 |    19209    100 |        5 |      302
554.20/554.32	c  554s |      20 |   884935 |   764027 |    19209    100 |        5 |      302
556.20/556.38	c  556s |      20 |   887365 |   766027 |    19209    100 |        5 |      302
558.30/558.43	c  558s |      20 |   890457 |   768727 |    19209    100 |        5 |      302
560.30/560.47	c  560s |      20 |   893646 |   771527 |    19209    101 |        5 |      302
562.40/562.54	c  562s |      20 |   896879 |   774427 |    19209    101 |        5 |      302
564.40/564.59	c  564s |      20 |   899471 |   776727 |    19209    101 |        5 |      302
566.51/566.61	c  566s |      20 |   901909 |   778927 |    19209    102 |        5 |      302
568.50/568.66	c  568s |      20 |   905347 |   781927 |    19209    102 |        5 |      302
570.60/570.70	c  570s |      20 |   908440 |   784727 |    19209    102 |        5 |      302
572.60/572.79	c  572s |      20 |   911224 |   787227 |    19209    102 |        5 |      302
574.70/574.80	c  574s |      20 |   913717 |   789527 |    19209    103 |        5 |      302
577.50/577.63	c  577s |      20 |   914430 |   790127 |    19209    103 |        5 |      302
579.49/579.64	c  579s |      20 |   917896 |   793027 |    19209    103 |        5 |      302
581.59/581.70	c  581s |      20 |   921231 |   795927 |    19209    103 |        5 |      302
583.59/583.74	c  583s |      20 |   923972 |   798127 |    19209    104 |        5 |      302
585.69/585.81	c  585s |      20 |   927541 |   801127 |    19209    104 |        5 |      302
587.69/587.86	c  587s |      20 |   930955 |   804127 |    19209    104 |        5 |      302
589.79/589.92	c  589s |      20 |   934215 |   807027 |    19209    104 |        5 |      302
592.50/592.61	c  592s |      20 |   937125 |   809527 |    19209    105 |        5 |      302
594.50/594.62	c  594s |      20 |   941129 |   812727 |    19209    105 |        5 |      302
596.50/596.64	c  596s |      20 |   944575 |   815627 |    19209    105 |        5 |      302
598.50/598.64	c  598s |      20 |   947481 |   818127 |    19209    106 |        5 |      302
600.51/600.66	c  600s |      20 |   950991 |   821227 |    19209    106 |        5 |      302
602.50/602.67	c  602s |      20 |   953291 |   823227 |    19209    106 |        5 |      302
604.60/604.72	c  604s |      20 |   956392 |   826027 |    19209    106 |        5 |      302
606.60/606.76	c  606s |      20 |   959105 |   828427 |    19209    107 |        5 |      302
608.70/608.82	c  608s |      20 |   962253 |   831327 |    19209    107 |        5 |      302
610.70/610.83	c  610s |      20 |   965357 |   834127 |    19209    107 |        5 |      302
612.71/612.85	c  612s |      20 |   968047 |   836527 |    19209    107 |        5 |      302
614.70/614.86	c  614s |      20 |   970369 |   838527 |    19209    108 |        5 |      302
616.70/616.87	c  616s |      20 |   973430 |   841227 |    19209    108 |        5 |      302
618.80/618.95	c  618s |      20 |   976252 |   843827 |    19209    108 |        5 |      302
620.90/621.01	c  620s |      20 |   977060 |   844527 |    19209    108 |        5 |      302
622.90/623.01	c  622s |      20 |   979500 |   846627 |    19209    108 |        5 |      302
624.90/625.05	c  624s |      20 |   982413 |   849227 |    19209    109 |        5 |      302
627.00/627.11	c  626s |      20 |   985735 |   852127 |    19209    109 |        5 |      302
629.00/629.11	c  628s |      20 |   988670 |   854727 |    19209    109 |        5 |      302
631.00/631.16	c  630s |      20 |   991487 |   857227 |    19209    110 |        5 |      302
633.09/633.20	c  633s |      20 |   994589 |   860027 |    19209    110 |        5 |      302
635.19/635.32	c  635s |      20 |   997138 |   862327 |    19209    110 |        5 |      302
637.19/637.39	c  637s |      20 |   999981 |   864827 |    19209    110 |        5 |      302
639.29/639.40	c  639s |      20 |  1002372 |   866927 |    19209    111 |        5 |      302
641.30/641.47	c  641s |      20 |  1005591 |   869827 |    19209    111 |        5 |      302
643.29/643.50	c  643s |      20 |  1008381 |   872427 |    19209    111 |        5 |      302
645.39/645.51	c  645s |      20 |  1011053 |   874827 |    19209    111 |        5 |      302
647.39/647.54	c  647s |      20 |  1012837 |   876427 |    19209    112 |        5 |      302
649.49/649.60	c  649s |      20 |  1015751 |   879027 |    19209    112 |        5 |      302
651.49/651.61	c  651s |      20 |  1018162 |   881227 |    19209    112 |        5 |      302
653.49/653.62	c  653s |      20 |  1020621 |   883427 |    19209    112 |        5 |      302
655.50/655.69	c  655s |      20 |  1023042 |   885627 |    19209    112 |        5 |      302
660.39/660.59	c  660s |      20 |  1025307 |   887727 |    19209    113 |        5 |      302
663.09/663.26	c  663s |      20 |  1025668 |   888027 |    19209    113 |        5 |      302
665.09/665.29	c  665s |      20 |  1029603 |   891327 |    19209    113 |        5 |      302
667.19/667.37	c  667s |      20 |  1032829 |   894127 |    19209    113 |        5 |      302
669.29/669.43	c  669s |      20 |  1035705 |   896627 |    19209    114 |        5 |      302
671.29/671.46	c  671s |      20 |  1038937 |   899427 |    19209    114 |        5 |      302
673.28/673.49	c  673s |      20 |  1042183 |   902227 |    19209    114 |        5 |      302
675.39/675.55	c  675s |      20 |  1044924 |   904627 |    19209    114 |        5 |      302
677.49/677.62	c  677s |      20 |  1047531 |   906927 |    19209    115 |        5 |      302
679.88/680.00	c  679s |      20 |  1049869 |   909027 |    19209    115 |        5 |      302
681.89/682.04	c  681s |      20 |  1052995 |   911627 |    19209    115 |        5 |      302
683.88/684.07	c  683s |      20 |  1055601 |   913827 |    19209    115 |        5 |      302
685.88/686.08	c  685s |      20 |  1058079 |   915927 |    19209    116 |        5 |      302
687.98/688.11	c  687s |      20 |  1061588 |   918927 |    19209    116 |        5 |      302
689.98/690.13	c  689s |      20 |  1064018 |   921027 |    19209    116 |        5 |      302
691.98/692.19	c  692s |      20 |  1066368 |   923127 |    19209    116 |        5 |      302
694.09/694.21	c  694s |      20 |  1068300 |   924827 |    19209    117 |        5 |      302
696.08/696.27	c  696s |      20 |  1071761 |   927927 |    19209    117 |        5 |      302
698.18/698.31	c  698s |      20 |  1074847 |   930627 |    19209    117 |        5 |      302
700.18/700.35	c  700s |      20 |  1077379 |   932927 |    19209    117 |        5 |      302
702.58/702.70	c  702s |      20 |  1079215 |   934627 |    19209    118 |        5 |      302
704.58/704.76	c  704s |      20 |  1082100 |   937227 |    19209    118 |        5 |      302
706.68/706.82	c  706s |      20 |  1084874 |   939727 |    19209    118 |        5 |      302
708.78/708.92	c  708s |      20 |  1087576 |   942127 |    19209    118 |        5 |      302
710.78/710.98	c  710s |      20 |  1089616 |   944027 |    19209    119 |        5 |      302
712.88/713.01	c  712s |      20 |  1092345 |   946527 |    19209    119 |        5 |      302
714.88/715.04	c  714s |      20 |  1095619 |   949427 |    19209    119 |        5 |      302
716.98/717.12	c  716s |      20 |  1098458 |   952027 |    19209    119 |        5 |      302
718.98/719.12	c  718s |      20 |  1100553 |   953927 |    19209    120 |        5 |      302
720.97/721.16	c  720s |      20 |  1103731 |   956827 |    19209    120 |        5 |      302
723.07/723.23	c  723s |      20 |  1106478 |   959227 |    19209    120 |        5 |      302
725.07/725.23	c  725s |      20 |  1108887 |   961427 |    19209    120 |        5 |      302
727.08/727.24	c  727s |      20 |  1110946 |   963327 |    19209    120 |        5 |      302
730.28/730.41	c  730s |      20 |  1111160 |   963527 |    19209    121 |        5 |      302
732.28/732.46	c  732s |      20 |  1114392 |   966027 |    19209    121 |        5 |      302
734.28/734.47	c  734s |      20 |  1117998 |   969027 |    19209    121 |        5 |      302
736.38/736.54	c  736s |      20 |  1121224 |   971727 |    19209    121 |        5 |      302
738.37/738.58	c  738s |      20 |  1124251 |   974327 |    19209    122 |        5 |      302
740.37/740.60	c  740s |      20 |  1128030 |   977627 |    19209    122 |        5 |      302
742.48/742.63	c  742s |      20 |  1131445 |   980627 |    19209    122 |        5 |      302
744.47/744.67	c  744s |      20 |  1133893 |   982727 |    19209    122 |        5 |      302
746.47/746.67	c  746s |      20 |  1137108 |   985427 |    19209    123 |        5 |      302
748.47/748.68	c  748s |      20 |  1140549 |   988327 |    19209    123 |        5 |      302
750.57/750.77	c  750s |      20 |  1143439 |   990927 |    19209    123 |        5 |      302
752.57/752.77	c  752s |      20 |  1146256 |   993427 |    21130    124 |        5 |      302
754.67/754.83	c  754s |      20 |  1149485 |   996127 |    21130    124 |        5 |      302
756.67/756.84	c  756s |      20 |  1152664 |   998827 |    21130    124 |        5 |      302
757.97/758.11	c  757s |      21 |  1154488 |  1000345 |    21130    124 |        5 |      302
760.58/760.72	c  760s |      21 |  1155082 |  1000845 |    21130    124 |        5 |      302
762.58/762.77	c  762s |      21 |  1158214 |  1003445 |    21130    124 |        5 |      302
764.67/764.80	c  764s |      21 |  1161350 |  1006045 |    21130    125 |        5 |      302
766.68/766.83	c  766s |      21 |  1164874 |  1009045 |    21130    125 |        5 |      302
768.67/768.89	c  768s |      21 |  1167805 |  1011645 |    21130    125 |        5 |      302
770.77/770.92	c  770s |      21 |  1170446 |  1013945 |    21130    125 |        5 |      302
772.77/772.93	c  772s |      21 |  1173095 |  1016345 |    21130    126 |        5 |      302
774.87/775.00	c  774s |      21 |  1174195 |  1017345 |    21130    126 |        5 |      302
776.87/777.01	c  776s |      21 |  1177487 |  1020045 |    21130    126 |        5 |      302
778.97/779.10	c  778s |      21 |  1180259 |  1022445 |    21130    126 |        5 |      302
780.98/781.12	c  780s |      21 |  1182719 |  1024545 |    21130    126 |        5 |      302
782.97/783.16	c  782s |      21 |  1185386 |  1026845 |    21130    127 |        5 |      302
784.97/785.17	c  785s |      21 |  1188805 |  1029745 |    21130    127 |        5 |      302
787.07/787.21	c  787s |      21 |  1191428 |  1032045 |    21130    127 |        5 |      302
789.07/789.29	c  789s |      21 |  1193772 |  1034145 |    21130    127 |        5 |      302
791.27/791.46	c  791s |      21 |  1196245 |  1036345 |    21130    128 |        5 |      302
793.26/793.46	c  793s |      21 |  1199017 |  1038845 |    21130    128 |        5 |      302
795.27/795.48	c  795s |      21 |  1201918 |  1041445 |    21130    128 |        5 |      302
797.37/797.53	c  797s |      21 |  1204728 |  1043945 |    21130    128 |        5 |      302
799.36/799.53	c  799s |      21 |  1206919 |  1045945 |    21130    128 |        5 |      302
801.36/801.53	c  801s |      21 |  1208965 |  1047745 |    21130    129 |        5 |      302
803.36/803.54	c  803s |      21 |  1212048 |  1050445 |    21130    129 |        5 |      302
805.46/805.69	c  805s |      21 |  1214863 |  1052845 |    21130    129 |        5 |      302
807.56/807.72	c  807s |      21 |  1217441 |  1055045 |    21130    129 |        5 |      302
810.16/810.36	c  810s |      21 |  1217689 |  1055245 |    21130    129 |        5 |      302
812.26/812.43	c  812s |      21 |  1220491 |  1057545 |    21130    129 |        5 |      302
814.26/814.48	c  814s |      21 |  1223478 |  1060045 |    21130    130 |        5 |      302
816.36/816.54	c  816s |      21 |  1226886 |  1062945 |    21130    130 |        5 |      302
818.37/818.57	c  818s |      21 |  1229856 |  1065545 |    21130    130 |        5 |      302
820.37/820.59	c  820s |      21 |  1232542 |  1067945 |    21130    130 |        5 |      302
822.46/822.60	c  822s |      21 |  1234530 |  1069645 |    21130    131 |        5 |      302
824.46/824.62	c  824s |      21 |  1237685 |  1072345 |    21130    131 |        5 |      302
826.46/826.66	c  826s |      21 |  1240578 |  1074845 |    21130    131 |        5 |      302
828.56/828.73	c  828s |      21 |  1243160 |  1077145 |    21130    131 |        5 |      302
830.56/830.76	c  830s |      21 |  1245506 |  1079245 |    21130    132 |        5 |      302
832.67/832.87	c  832s |      21 |  1248660 |  1081845 |    21130    132 |        5 |      302
834.66/834.88	c  834s |      21 |  1251486 |  1084345 |    21130    132 |        5 |      302
836.76/836.94	c  836s |      21 |  1254110 |  1086645 |    21130    132 |        5 |      302
838.76/838.94	c  838s |      21 |  1256439 |  1088745 |    21130    132 |        5 |      302
840.76/840.98	c  840s |      21 |  1258981 |  1091045 |    21130    133 |        5 |      302
844.95/845.14	c  844s |      21 |  1262003 |  1093745 |    21130    133 |        5 |      302
847.05/847.20	c  847s |      21 |  1265321 |  1096545 |    21130    133 |        5 |      302
849.06/849.25	c  849s |      21 |  1268142 |  1099045 |    21130    133 |        5 |      302
851.05/851.26	c  851s |      21 |  1270415 |  1101045 |    21130    134 |        5 |      302
853.05/853.27	c  853s |      21 |  1273527 |  1103845 |    21130    134 |        5 |      302
855.15/855.34	c  855s |      21 |  1276421 |  1106445 |    21130    134 |        5 |      302
857.15/857.36	c  857s |      21 |  1278749 |  1108545 |    21130    134 |        5 |      302
859.16/859.37	c  859s |      21 |  1280865 |  1110445 |    21130    134 |        5 |      302
861.27/861.43	c  861s |      21 |  1282925 |  1112345 |    21130    135 |        5 |      302
863.26/863.44	c  863s |      21 |  1285506 |  1114745 |    21130    135 |        5 |      302
865.26/865.47	c  865s |      21 |  1287694 |  1116745 |    21130    135 |        5 |      302
867.26/867.49	c  867s |      21 |  1289984 |  1118845 |    21130    135 |        5 |      302
869.36/869.56	c  869s |      21 |  1292156 |  1120845 |    21130    135 |        5 |      302
873.06/873.23	c  873s |      21 |  1294178 |  1122645 |    21130    136 |        5 |      302
875.06/875.26	c  875s |      21 |  1297177 |  1125245 |    21130    136 |        5 |      302
877.15/877.33	c  877s |      21 |  1300123 |  1127845 |    21130    136 |        5 |      302
879.15/879.38	c  879s |      21 |  1302888 |  1130245 |    21130    136 |        5 |      302
881.25/881.43	c  881s |      21 |  1305400 |  1132445 |    21130    136 |        5 |      302
883.26/883.49	c  883s |      21 |  1308255 |  1134945 |    21130    137 |        5 |      302
885.36/885.57	c  885s |      21 |  1311230 |  1137545 |    21130    137 |        5 |      302
887.45/887.63	c  887s |      21 |  1314069 |  1140045 |    21130    137 |        5 |      302
889.45/889.67	c  889s |      21 |  1316567 |  1142245 |    21130    137 |        5 |      302
891.45/891.68	c  891s |      21 |  1317696 |  1143145 |    21130    138 |        5 |      302
893.55/893.74	c  893s |      21 |  1320630 |  1145645 |    21130    138 |        5 |      302
895.65/895.80	c  895s |      21 |  1323667 |  1148345 |    21130    138 |        5 |      302
897.65/897.82	c  897s |      21 |  1326310 |  1150645 |    21130    138 |        5 |      302
899.66/899.83	c  899s |      21 |  1328618 |  1152745 |    21130    138 |        5 |      302
901.65/901.84	c  901s |      21 |  1331196 |  1155045 |    21130    139 |        5 |      302
903.65/903.85	c  903s |      21 |  1333311 |  1156945 |    21130    139 |        5 |      302
905.65/905.86	c  905s |      21 |  1335919 |  1159245 |    21130    139 |        5 |      302
907.75/907.91	c  907s |      21 |  1338553 |  1161545 |    21130    139 |        5 |      302
909.75/909.93	c  909s |      21 |  1340913 |  1163645 |    21130    139 |        5 |      302
911.75/911.99	c  911s |      21 |  1343491 |  1165945 |    21130    140 |        5 |      302
913.85/914.00	c  913s |      21 |  1345899 |  1168145 |    21130    140 |        5 |      302
915.85/916.02	c  915s |      21 |  1348227 |  1170245 |    21130    140 |        5 |      302
917.85/918.04	c  917s |      21 |  1350513 |  1172345 |    21130    140 |        5 |      302
919.85/920.09	c  919s |      21 |  1352579 |  1174245 |    21130    140 |        5 |      302
921.94/922.18	c  922s |      21 |  1354407 |  1175945 |    21130    141 |        5 |      302
924.04/924.26	c  924s |      21 |  1357319 |  1178545 |    21130    141 |        5 |      302
926.15/926.32	c  926s |      21 |  1359713 |  1180745 |    21130    141 |        5 |      302
928.14/928.38	c  928s |      21 |  1361624 |  1182545 |    21130    141 |        5 |      302
931.75/931.93	c  931s |      21 |  1362902 |  1183745 |    21130    141 |        5 |      302
933.76/933.96	c  933s |      21 |  1364990 |  1185645 |    21130    141 |        5 |      302
935.85/936.00	c  935s |      21 |  1367470 |  1187845 |    21130    142 |        5 |      302
937.85/938.05	c  937s |      21 |  1370305 |  1190345 |    21130    142 |        5 |      302
939.95/940.11	c  939s |      21 |  1373354 |  1192945 |    21130    142 |        5 |      302
941.95/942.19	c  942s |      21 |  1376067 |  1195245 |    21130    142 |        5 |      302
944.05/944.25	c  944s |      21 |  1378281 |  1197245 |    21130    143 |        5 |      302
946.15/946.30	c  946s |      21 |  1381143 |  1199845 |    21130    143 |        5 |      302
948.15/948.35	c  948s |      21 |  1383996 |  1202445 |    21130    143 |        5 |      302
950.25/950.42	c  950s |      21 |  1386626 |  1204845 |    21130    143 |        5 |      302
952.35/952.50	c  952s |      21 |  1388835 |  1206845 |    21130    143 |        5 |      302
954.35/954.52	c  954s |      21 |  1390891 |  1208645 |    21130    144 |        5 |      302
956.35/956.54	c  956s |      21 |  1393785 |  1211245 |    21130    144 |        5 |      302
958.35/958.57	c  958s |      21 |  1396479 |  1213545 |    21130    144 |        5 |      302
960.45/960.65	c  960s |      21 |  1398843 |  1215645 |    21130    144 |        5 |      302
962.55/962.74	c  962s |      21 |  1401185 |  1217745 |    21130    144 |        5 |      302
964.55/964.76	c  964s |      21 |  1403641 |  1219945 |    21130    145 |        5 |      302
966.55/966.77	c  966s |      21 |  1406161 |  1222245 |    21130    145 |        5 |      302
968.64/968.87	c  968s |      21 |  1408311 |  1224245 |    21130    145 |        5 |      302
970.74/970.92	c  970s |      21 |  1410555 |  1226245 |    21130    145 |        5 |      302
972.84/973.00	c  972s |      21 |  1412651 |  1228145 |    21130    145 |        5 |      302
974.84/975.05	c  974s |      21 |  1414411 |  1229745 |    21130    146 |        5 |      302
976.84/977.07	c  976s |      21 |  1417322 |  1232345 |    21130    146 |        5 |      302
978.85/979.10	c  978s |      21 |  1419888 |  1234645 |    21130    146 |        5 |      302
980.94/981.18	c  981s |      21 |  1422179 |  1236745 |    21130    146 |        5 |      302
983.04/983.21	c  983s |      21 |  1424384 |  1238745 |    21130    146 |        5 |      302
985.04/985.28	c  985s |      21 |  1426675 |  1240845 |    21130    147 |        5 |      302
988.14/988.36	c  988s |      21 |  1428508 |  1242545 |    21130    147 |        5 |      302
990.24/990.41	c  990s |      21 |  1429387 |  1243345 |    21130    147 |        5 |      302
992.24/992.43	c  992s |      21 |  1432463 |  1246045 |    21130    147 |        5 |      302
994.24/994.50	c  994s |      21 |  1435131 |  1248445 |    21130    147 |        5 |      302
996.44/996.62	c  996s |      21 |  1437325 |  1250445 |    21130    148 |        5 |      302
998.44/998.62	c  998s |      21 |  1440436 |  1253045 |    21130    148 |        5 |      302
1000.43/1000.69	c 1000s |      21 |  1443251 |  1255545 |    21130    148 |        5 |      302
1002.53/1002.75	c 1002s |      21 |  1445763 |  1257745 |    21130    148 |        5 |      302
1004.63/1004.84	c 1004s |      21 |  1447790 |  1259545 |    21130    148 |        5 |      302
1006.73/1006.90	c 1006s |      21 |  1449650 |  1261245 |    21130    149 |        5 |      302
1008.73/1008.99	c 1008s |      21 |  1452299 |  1263645 |    21130    149 |        5 |      302
1010.84/1011.07	c 1010s |      21 |  1454855 |  1266045 |    21130    149 |        5 |      302
1012.94/1013.16	c 1012s |      21 |  1457217 |  1268245 |    21130    149 |        5 |      302
1015.03/1015.24	c 1015s |      21 |  1459521 |  1270345 |    21130    149 |        5 |      302
1017.03/1017.26	c 1017s |      21 |  1461610 |  1272245 |    21130    150 |        5 |      302
1019.03/1019.29	c 1019s |      21 |  1464110 |  1274545 |    21130    150 |        5 |      302
1021.13/1021.32	c 1021s |      21 |  1466744 |  1276945 |    21130    150 |        5 |      302
1023.13/1023.38	c 1023s |      21 |  1468895 |  1278945 |    21130    150 |        5 |      302
1025.23/1025.44	c 1025s |      21 |  1469783 |  1279745 |    21130    150 |        5 |      302
1027.23/1027.50	c 1027s |      21 |  1472040 |  1281745 |    21130    150 |        5 |      302
1029.33/1029.55	c 1029s |      21 |  1474135 |  1283645 |    21130    151 |        5 |      302
1031.43/1031.62	c 1031s |      21 |  1476926 |  1286245 |    21130    151 |        5 |      302
1033.43/1033.64	c 1033s |      21 |  1479255 |  1288345 |    21130    151 |        5 |      302
1035.43/1035.64	c 1035s |      21 |  1481368 |  1290245 |    21130    151 |        5 |      302
1037.53/1037.77	c 1037s |      21 |  1483342 |  1292045 |    21130    151 |        5 |      302
1039.53/1039.79	c 1039s |      21 |  1485438 |  1293945 |    21130    152 |        5 |      302
1041.63/1041.85	c 1041s |      21 |  1488135 |  1296445 |    21130    152 |        5 |      302
1043.73/1043.91	c 1043s |      21 |  1489993 |  1298145 |    21130    152 |        5 |      302
1045.73/1045.93	c 1045s |      21 |  1491792 |  1299845 |    21130    152 |        5 |      302
1047.82/1048.00	c 1047s |      21 |  1493937 |  1301845 |    21130    152 |        5 |      302
1049.82/1050.04	c 1049s |      21 |  1495783 |  1303545 |    21130    152 |        5 |      302
1051.92/1052.13	c 1051s |      21 |  1497923 |  1305545 |    21130    153 |        5 |      302
1054.02/1054.27	c 1054s |      21 |  1500021 |  1307545 |    21130    153 |        5 |      302
1056.02/1056.28	c 1056s |      21 |  1501922 |  1309345 |    21130    153 |        5 |      302
1058.13/1058.34	c 1058s |      21 |  1503736 |  1311045 |    21130    153 |        5 |      302
1060.23/1060.45	c 1060s |      21 |  1505764 |  1312945 |    21130    153 |        5 |      302
1062.22/1062.46	c 1062s |      21 |  1507454 |  1314545 |    21130    154 |        5 |      302
1064.22/1064.46	c 1064s |      21 |  1509639 |  1316545 |    21130    154 |        5 |      302
1066.22/1066.47	c 1066s |      21 |  1512010 |  1318745 |    21130    154 |        5 |      302
1069.62/1069.88	c 1069s |      21 |  1513682 |  1320245 |    21130    154 |        5 |      302
1071.72/1071.93	c 1071s |      21 |  1516308 |  1322445 |    21130    154 |        5 |      302
1073.72/1073.94	c 1073s |      21 |  1518955 |  1324745 |    21130    154 |        5 |      302
1075.73/1075.96	c 1075s |      21 |  1521429 |  1326945 |    21130    155 |        5 |      302
1077.72/1077.97	c 1077s |      21 |  1524348 |  1329545 |    21130    155 |        5 |      302
1079.82/1080.01	c 1079s |      21 |  1526982 |  1331845 |    21130    155 |        5 |      302
1081.82/1082.04	c 1081s |      21 |  1529436 |  1334045 |    21130    155 |        5 |      302
1083.82/1084.04	c 1083s |      21 |  1531798 |  1336145 |    21130    156 |        5 |      302
1085.93/1086.10	c 1085s |      21 |  1534643 |  1338745 |    21130    156 |        5 |      302
1087.93/1088.17	c 1088s |      21 |  1537503 |  1341345 |    21130    156 |        5 |      302
1089.93/1090.18	c 1090s |      21 |  1540123 |  1343645 |    21130    156 |        5 |      302
1092.03/1092.23	c 1092s |      21 |  1542561 |  1345845 |    21130    156 |        5 |      302
1094.53/1094.75	c 1094s |      21 |  1543213 |  1346445 |    21130    157 |        5 |      302
1096.53/1096.79	c 1096s |      21 |  1546099 |  1348945 |    21130    157 |        5 |      302
1098.63/1098.82	c 1098s |      21 |  1548792 |  1351345 |    21130    157 |        5 |      302
1100.62/1100.88	c 1100s |      21 |  1551632 |  1353645 |    21130    157 |        5 |      302
1102.62/1102.89	c 1102s |      21 |  1553878 |  1355645 |    21130    157 |        5 |      302
1104.62/1104.89	c 1104s |      21 |  1556029 |  1357445 |    21130    158 |        5 |      302
1106.72/1106.97	c 1106s |      21 |  1558907 |  1360045 |    21130    158 |        5 |      302
1108.82/1109.04	c 1108s |      21 |  1561419 |  1362345 |    21130    158 |        5 |      302
1110.83/1111.09	c 1110s |      21 |  1563852 |  1364445 |    21130    158 |        5 |      302
1112.92/1113.17	c 1112s |      21 |  1566203 |  1366545 |    21130    158 |        5 |      302
1115.02/1115.21	c 1115s |      21 |  1568444 |  1368545 |    21130    159 |        5 |      302
1117.02/1117.27	c 1117s |      21 |  1571212 |  1371045 |    21130    159 |        5 |      302
1119.12/1119.34	c 1119s |      21 |  1573615 |  1373245 |    21130    159 |        5 |      302
1121.22/1121.44	c 1121s |      21 |  1576028 |  1375445 |    21130    159 |        5 |      302
1123.32/1123.53	c 1123s |      21 |  1578200 |  1377445 |    21130    159 |        5 |      302
1125.32/1125.54	c 1125s |      21 |  1580189 |  1379245 |    21130    160 |        5 |      302
1127.33/1127.59	c 1127s |      21 |  1583013 |  1381845 |    21130    160 |        5 |      302
1129.42/1129.63	c 1129s |      21 |  1585531 |  1384145 |    21130    160 |        5 |      302
1132.12/1132.36	c 1132s |      21 |  1586105 |  1384645 |    21130    160 |        5 |      302
1134.12/1134.37	c 1134s |      21 |  1588153 |  1386345 |    21130    160 |        5 |      302
1136.22/1136.43	c 1136s |      21 |  1591250 |  1388945 |    21130    160 |        5 |      302
1138.22/1138.48	c 1138s |      21 |  1594478 |  1391745 |    21130    161 |        5 |      302
1140.21/1140.49	c 1140s |      21 |  1597714 |  1394445 |    21130    161 |        5 |      302
1142.31/1142.52	c 1142s |      21 |  1600781 |  1397045 |    21130    161 |        5 |      302
1144.31/1144.58	c 1144s |      21 |  1603646 |  1399545 |    21130    161 |        5 |      302
1146.41/1146.60	c 1146s |      21 |  1606427 |  1402045 |    21130    162 |        5 |      302
1149.42/1149.64	c 1149s |      21 |  1609671 |  1404845 |    21130    162 |        5 |      302
1151.41/1151.70	c 1151s |      21 |  1612482 |  1407245 |    21130    162 |        5 |      302
1153.51/1153.74	c 1153s |      21 |  1614987 |  1409445 |    21130    162 |        5 |      302
1155.61/1155.81	c 1155s |      21 |  1617415 |  1411645 |    21130    163 |        5 |      302
1157.61/1157.82	c 1157s |      21 |  1620128 |  1414045 |    21130    163 |        5 |      302
1159.61/1159.84	c 1159s |      21 |  1623225 |  1416745 |    21130    163 |        5 |      302
1161.71/1161.90	c 1161s |      21 |  1625775 |  1419045 |    21130    163 |        5 |      302
1163.91/1164.10	c 1163s |      21 |  1628055 |  1421145 |    21130    164 |        5 |      302
1165.91/1166.11	c 1165s |      21 |  1631055 |  1423845 |    21130    164 |        5 |      302
1168.11/1168.33	c 1168s |      21 |  1632743 |  1425345 |    21130    164 |        5 |      302
1170.11/1170.34	c 1170s |      21 |  1635849 |  1427945 |    21130    164 |        5 |      302
1172.11/1172.35	c 1172s |      21 |  1638553 |  1430345 |    21130    164 |        5 |      302
1174.21/1174.40	c 1174s |      21 |  1640606 |  1432145 |    21130    165 |        5 |      302
1176.20/1176.43	c 1176s |      21 |  1644128 |  1435145 |    21130    165 |        5 |      302
1178.20/1178.46	c 1178s |      21 |  1647127 |  1437845 |    21130    165 |        5 |      302
1181.61/1181.83	c 1181s |      21 |  1650105 |  1440445 |    21130    165 |        5 |      302
1184.11/1184.30	c 1184s |      21 |  1652882 |  1442745 |    21130    166 |        5 |      302
1186.11/1186.36	c 1186s |      21 |  1656633 |  1445845 |    21130    166 |        5 |      302
1188.21/1188.44	c 1188s |      21 |  1659024 |  1447945 |    21130    166 |        5 |      302
1190.21/1190.45	c 1190s |      21 |  1661887 |  1450445 |    21130    166 |        5 |      302
1192.21/1192.46	c 1192s |      21 |  1664364 |  1452645 |    21130    166 |        5 |      302
1194.41/1194.66	c 1194s |      21 |  1667052 |  1454945 |    21130    167 |        5 |      302
1196.41/1196.67	c 1196s |      21 |  1669802 |  1457245 |    21130    167 |        5 |      302
1198.51/1198.70	c 1198s |      21 |  1672869 |  1459845 |    21130    167 |        5 |      302
1200.51/1200.74	c 1200s |      21 |  1675531 |  1462145 |    21130    167 |        5 |      302
1202.51/1202.78	c 1202s |      21 |  1677810 |  1464145 |    21130    168 |        5 |      302
1204.61/1204.83	c 1204s |      21 |  1680706 |  1466645 |    21130    168 |        5 |      302
1206.71/1206.91	c 1206s |      21 |  1683702 |  1469245 |    21130    168 |        5 |      302
1208.71/1208.92	c 1208s |      21 |  1686128 |  1471445 |    21130    168 |        5 |      302
1210.81/1211.02	c 1210s |      21 |  1688568 |  1473645 |    21130    168 |        5 |      302
1212.80/1213.06	c 1212s |      21 |  1690973 |  1475845 |    21130    169 |        5 |      302
1214.80/1215.06	c 1214s |      21 |  1693904 |  1478445 |    21130    169 |        5 |      302
1218.30/1218.51	c 1218s |      21 |  1694780 |  1479245 |    21130    169 |        5 |      302
1220.30/1220.52	c 1220s |      21 |  1697561 |  1481645 |    21130    169 |        5 |      302
1222.30/1222.52	c 1222s |      21 |  1700059 |  1483845 |    21130    169 |        5 |      302
1224.30/1224.56	c 1224s |      21 |  1702300 |  1485845 |    21130    170 |        5 |      302
1226.30/1226.57	c 1226s |      21 |  1704957 |  1488245 |    21130    170 |        5 |      302
1228.40/1228.64	c 1228s |      21 |  1708024 |  1490945 |    23244    170 |        5 |      302
1230.40/1230.69	c 1230s |      21 |  1710676 |  1493345 |    23244    170 |        5 |      302
1232.50/1232.70	c 1232s |      21 |  1712957 |  1495445 |    23244    170 |        5 |      302
1234.50/1234.72	c 1234s |      21 |  1715026 |  1497245 |    23244    170 |        5 |      302
1236.50/1236.74	c 1236s |      21 |  1717136 |  1499145 |    23244    171 |        5 |      302
1238.59/1238.88	c 1238s |      21 |  1718562 |  1500445 |    23244    171 |        5 |      302
1238.79/1239.02	c 1238s |      22 |  1718766 |  1500622 |    23244    171 |        5 |      302
1241.00/1241.20	c 1241s |      22 |  1719144 |  1500922 |    23244    171 |        5 |      302
1243.00/1243.24	c 1243s |      22 |  1722481 |  1503722 |    23244    171 |        5 |      302
1245.01/1245.29	c 1245s |      22 |  1724954 |  1505822 |    23244    171 |        5 |      302
1247.10/1247.30	c 1247s |      22 |  1728130 |  1508422 |    23244    171 |        5 |      302
1249.10/1249.35	c 1249s |      22 |  1730938 |  1510822 |    23244    172 |        5 |      302
1251.20/1251.41	c 1251s |      22 |  1734085 |  1513522 |    23244    172 |        5 |      302
1253.20/1253.49	c 1253s |      22 |  1736942 |  1516022 |    23244    172 |        5 |      302
1255.30/1255.55	c 1255s |      22 |  1739558 |  1518322 |    23244    172 |        5 |      302
1257.40/1257.63	c 1257s |      22 |  1741985 |  1520522 |    23244    172 |        5 |      302
1259.41/1259.69	c 1259s |      22 |  1744432 |  1522722 |    23244    173 |        5 |      302
1261.51/1261.74	c 1261s |      22 |  1746118 |  1524122 |    23244    173 |        5 |      302
1263.50/1263.74	c 1263s |      22 |  1748627 |  1526322 |    23244    173 |        5 |      302
1265.60/1265.83	c 1265s |      22 |  1751359 |  1528722 |    23244    173 |        5 |      302
1267.60/1267.85	c 1267s |      22 |  1753698 |  1530822 |    23244    173 |        5 |      302
1269.70/1269.96	c 1269s |      22 |  1755952 |  1532822 |    23244    173 |        5 |      302
1271.80/1272.00	c 1271s |      22 |  1758200 |  1534822 |    23244    174 |        5 |      302
1273.80/1274.01	c 1273s |      22 |  1761125 |  1537422 |    23244    174 |        5 |      302
1275.80/1276.03	c 1275s |      22 |  1763768 |  1539822 |    23244    174 |        5 |      302
1277.90/1278.11	c 1277s |      22 |  1765942 |  1541822 |    23244    174 |        5 |      302
1281.70/1281.97	c 1281s |      22 |  1768032 |  1543722 |    23244    174 |        5 |      302
1283.70/1283.98	c 1283s |      22 |  1769930 |  1545422 |    23244    175 |        5 |      302
1285.80/1286.03	c 1285s |      22 |  1772772 |  1547922 |    23244    175 |        5 |      302
1287.80/1288.09	c 1287s |      22 |  1775747 |  1550522 |    23244    175 |        5 |      302
1289.90/1290.11	c 1289s |      22 |  1778312 |  1552822 |    23244    175 |        5 |      302
1291.90/1292.18	c 1292s |      22 |  1780797 |  1555022 |    23244    175 |        5 |      302
1294.10/1294.35	c 1294s |      22 |  1782724 |  1556822 |    23244    176 |        5 |      302
1296.20/1296.44	c 1296s |      22 |  1784675 |  1558622 |    23244    176 |        5 |      302
1298.29/1298.51	c 1298s |      22 |  1786825 |  1560522 |    23244    176 |        5 |      302
1300.29/1300.52	c 1300s |      22 |  1789257 |  1562722 |    23244    176 |        5 |      302
1302.39/1302.60	c 1302s |      22 |  1791607 |  1564722 |    23244    176 |        5 |      302
1304.40/1304.61	c 1304s |      22 |  1793637 |  1566522 |    23244    176 |        5 |      302
1306.39/1306.66	c 1306s |      22 |  1795576 |  1568322 |    23244    176 |        5 |      302
1308.49/1308.70	c 1308s |      22 |  1797605 |  1570122 |    23244    177 |        5 |      302
1310.49/1310.79	c 1310s |      22 |  1800412 |  1572622 |    23244    177 |        5 |      302
1312.59/1312.85	c 1312s |      22 |  1802754 |  1574722 |    23244    177 |        5 |      302
1314.59/1314.87	c 1314s |      22 |  1805064 |  1576822 |    23244    177 |        5 |      302
1316.79/1317.00	c 1316s |      22 |  1807210 |  1578722 |    23244    177 |        5 |      302
1318.99/1319.21	c 1319s |      22 |  1809556 |  1580422 |    23244    178 |        5 |      302
1321.00/1321.28	c 1321s |      22 |  1812001 |  1582622 |    23244    178 |        5 |      302
1323.10/1323.37	c 1323s |      22 |  1813450 |  1583922 |    23244    178 |        5 |      302
1325.19/1325.43	c 1325s |      22 |  1815608 |  1585922 |    23244    178 |        5 |      302
1327.19/1327.46	c 1327s |      22 |  1817832 |  1587922 |    23244    178 |        5 |      302
1329.19/1329.49	c 1329s |      22 |  1819679 |  1589622 |    23244    178 |        5 |      302
1331.29/1331.55	c 1331s |      22 |  1821545 |  1591322 |    23244    178 |        5 |      302
1333.39/1333.62	c 1333s |      22 |  1823447 |  1593122 |    23244    179 |        5 |      302
1335.49/1335.70	c 1335s |      22 |  1826000 |  1595422 |    23244    179 |        5 |      302
1337.50/1337.76	c 1337s |      22 |  1828475 |  1597622 |    23244    179 |        5 |      302
1339.59/1339.82	c 1339s |      22 |  1830699 |  1599622 |    23244    179 |        5 |      302
1341.59/1341.86	c 1341s |      22 |  1832680 |  1601422 |    23244    179 |        5 |      302
1343.69/1343.97	c 1343s |      22 |  1834626 |  1603222 |    23244    179 |        5 |      302
1347.18/1347.43	c 1347s |      22 |  1835509 |  1604022 |    23244    180 |        5 |      302
1349.28/1349.51	c 1349s |      22 |  1837379 |  1605622 |    23244    180 |        5 |      302
1351.28/1351.52	c 1351s |      22 |  1840250 |  1608122 |    23244    180 |        5 |      302
1353.28/1353.59	c 1353s |      22 |  1843046 |  1610622 |    23244    180 |        5 |      302
1355.28/1355.59	c 1355s |      22 |  1845492 |  1612722 |    23244    180 |        5 |      302
1357.38/1357.63	c 1357s |      22 |  1847572 |  1614422 |    23244    180 |        5 |      302
1359.49/1359.72	c 1359s |      22 |  1849572 |  1616122 |    23244    181 |        5 |      302
1361.48/1361.75	c 1361s |      22 |  1852650 |  1618822 |    23244    181 |        5 |      302
1363.58/1363.81	c 1363s |      22 |  1855608 |  1621422 |    23244    181 |        5 |      302
1365.68/1365.91	c 1365s |      22 |  1858302 |  1623822 |    23244    181 |        5 |      302
1367.68/1367.94	c 1367s |      22 |  1860433 |  1625722 |    23244    181 |        5 |      302
1369.78/1370.01	c 1369s |      22 |  1862529 |  1627622 |    23244    182 |        5 |      302
1371.78/1372.03	c 1371s |      22 |  1865158 |  1629922 |    23244    182 |        5 |      302
1373.79/1374.03	c 1373s |      22 |  1867828 |  1632322 |    23244    182 |        5 |      302
1375.89/1376.10	c 1375s |      22 |  1870242 |  1634522 |    23244    182 |        5 |      302
1377.88/1378.13	c 1377s |      22 |  1872410 |  1636522 |    23244    182 |        5 |      302
1380.68/1380.92	c 1380s |      22 |  1873078 |  1637122 |    23244    182 |        5 |      302
1382.88/1383.13	c 1382s |      22 |  1875373 |  1639122 |    23244    183 |        5 |      302
1384.88/1385.18	c 1385s |      22 |  1878190 |  1641622 |    23244    183 |        5 |      302
1387.18/1387.44	c 1387s |      22 |  1880941 |  1644122 |    23244    183 |        5 |      302
1389.18/1389.45	c 1389s |      22 |  1883291 |  1646222 |    23244    183 |        5 |      302
1391.18/1391.50	c 1391s |      22 |  1885338 |  1648122 |    23244    183 |        5 |      302
1393.28/1393.57	c 1393s |      22 |  1887509 |  1650022 |    23244    183 |        5 |      302
1395.37/1395.66	c 1395s |      22 |  1889554 |  1651922 |    23244    184 |        5 |      302
1397.37/1397.69	c 1397s |      22 |  1891994 |  1654122 |    23244    184 |        5 |      302
1399.47/1399.79	c 1399s |      22 |  1893984 |  1655922 |    23244    184 |        5 |      302
1401.57/1401.86	c 1401s |      22 |  1896307 |  1658022 |    23244    184 |        5 |      302
1403.67/1403.91	c 1403s |      22 |  1898402 |  1659922 |    23244    184 |        5 |      302
1405.68/1405.93	c 1405s |      22 |  1900376 |  1661722 |    23244    184 |        5 |      302
1407.67/1407.96	c 1407s |      22 |  1901900 |  1663122 |    23244    185 |        5 |      302
1409.67/1409.96	c 1409s |      22 |  1904596 |  1665522 |    23244    185 |        5 |      302
1411.77/1412.01	c 1411s |      22 |  1906775 |  1667522 |    23244    185 |        5 |      302
1413.77/1414.08	c 1413s |      22 |  1908842 |  1669422 |    23244    185 |        5 |      302
1416.27/1416.52	c 1416s |      22 |  1910088 |  1670522 |    23244    185 |        5 |      302
1418.37/1418.60	c 1418s |      22 |  1912154 |  1672322 |    23244    185 |        5 |      302
1420.37/1420.69	c 1420s |      22 |  1914083 |  1674022 |    23244    185 |        5 |      302
1422.47/1422.78	c 1422s |      22 |  1915927 |  1675622 |    23244    186 |        5 |      302
1424.57/1424.83	c 1424s |      22 |  1918842 |  1678022 |    23244    186 |        5 |      302
1426.58/1426.84	c 1426s |      22 |  1921187 |  1680122 |    23244    186 |        5 |      302
1428.57/1428.87	c 1428s |      22 |  1923441 |  1682122 |    23244    186 |        5 |      302
1430.67/1430.92	c 1430s |      22 |  1925407 |  1683922 |    23244    186 |        5 |      302
1432.66/1432.95	c 1432s |      22 |  1927333 |  1685622 |    23244    186 |        5 |      302
1434.76/1435.02	c 1434s |      22 |  1929161 |  1687222 |    23244    187 |        5 |      302
1436.86/1437.10	c 1436s |      22 |  1931618 |  1689422 |    23244    187 |        5 |      302
1438.86/1439.11	c 1438s |      22 |  1933411 |  1691022 |    23244    187 |        5 |      302
1440.87/1441.17	c 1441s |      22 |  1935391 |  1692822 |    23244    187 |        5 |      302
1442.86/1443.18	c 1443s |      22 |  1937700 |  1694922 |    23244    187 |        5 |      302
1444.96/1445.22	c 1445s |      22 |  1939789 |  1696822 |    23244    187 |        5 |      302
1446.96/1447.29	c 1447s |      22 |  1941669 |  1698522 |    23244    188 |        5 |      302
1449.06/1449.38	c 1449s |      22 |  1944172 |  1700822 |    23244    188 |        5 |      302
1451.16/1451.48	c 1451s |      22 |  1946438 |  1702922 |    23244    188 |        5 |      302
1453.26/1453.57	c 1453s |      22 |  1948510 |  1704822 |    23244    188 |        5 |      302
1455.35/1455.66	c 1455s |      22 |  1950281 |  1706422 |    23244    188 |        5 |      302
1457.45/1457.78	c 1457s |      22 |  1952128 |  1708122 |    23244    188 |        5 |      302
1459.56/1459.88	c 1459s |      22 |  1953780 |  1709622 |    23244    189 |        5 |      302
1461.66/1461.97	c 1461s |      22 |  1956045 |  1711722 |    23244    189 |        5 |      302
1463.75/1464.04	c 1463s |      22 |  1958236 |  1713722 |    23244    189 |        5 |      302
1465.75/1466.07	c 1465s |      22 |  1960163 |  1715522 |    23244    189 |        5 |      302
1467.85/1468.11	c 1467s |      22 |  1962010 |  1717222 |    23244    189 |        5 |      302
1469.95/1470.21	c 1470s |      22 |  1963985 |  1719022 |    23244    189 |        5 |      302
1472.25/1472.56	c 1472s |      22 |  1965570 |  1720422 |    23244    189 |        5 |      302
1474.35/1474.70	c 1474s |      22 |  1967143 |  1721822 |    23244    190 |        5 |      302
1476.45/1476.74	c 1476s |      22 |  1969876 |  1724222 |    23244    190 |        5 |      302
1478.55/1478.84	c 1478s |      22 |  1972416 |  1726522 |    23244    190 |        5 |      302
1480.64/1480.94	c 1480s |      22 |  1974489 |  1728422 |    23244    190 |        5 |      302
1482.65/1482.94	c 1482s |      22 |  1976442 |  1730222 |    23244    190 |        5 |      302
1484.64/1484.99	c 1484s |      22 |  1978329 |  1731922 |    23244    190 |        5 |      302
1487.06/1487.34	c 1487s |      22 |  1980314 |  1733622 |    23244    191 |        5 |      302
1489.15/1489.41	c 1489s |      22 |  1982444 |  1735422 |    23244    191 |        5 |      302
1491.15/1491.42	c 1491s |      22 |  1984932 |  1737622 |    23244    191 |        5 |      302
1493.24/1493.51	c 1493s |      22 |  1987378 |  1739822 |    23244    191 |        5 |      302
1495.24/1495.55	c 1495s |      22 |  1989511 |  1741722 |    23244    191 |        5 |      302
1497.34/1497.61	c 1497s |      22 |  1991577 |  1743522 |    23244    191 |        5 |      302
1499.44/1499.79	c 1499s |      22 |  1993100 |  1744922 |    23244    192 |        5 |      302
1502.14/1502.47	c 1502s |      22 |  1995424 |  1747022 |    23244    192 |        5 |      302
1504.23/1504.52	c 1504s |      22 |  1998089 |  1749222 |    23244    192 |        5 |      302
1506.33/1506.60	c 1506s |      22 |  2000837 |  1751622 |    23244    192 |        5 |      302
1508.33/1508.69	c 1508s |      22 |  2003356 |  1753822 |    23244    192 |        5 |      302
1510.53/1510.81	c 1510s |      22 |  2005618 |  1755822 |    23244    192 |        5 |      302
1512.53/1512.82	c 1512s |      22 |  2007768 |  1757722 |    23244    193 |        5 |      302
1514.54/1514.87	c 1514s |      22 |  2010692 |  1760322 |    23244    193 |        5 |      302
1516.64/1517.00	c 1516s |      22 |  2013275 |  1762622 |    23244    193 |        5 |      302
1518.74/1519.03	c 1518s |      22 |  2015419 |  1764522 |    23244    193 |        5 |      302
1520.74/1521.03	c 1520s |      22 |  2017512 |  1766422 |    23244    193 |        5 |      302
1522.73/1523.08	c 1522s |      22 |  2019672 |  1768322 |    23244    194 |        5 |      302
1524.83/1525.15	c 1524s |      22 |  2022283 |  1770722 |    23244    194 |        5 |      302
1526.83/1527.17	c 1527s |      22 |  2024862 |  1773122 |    23244    194 |        5 |      302
1528.93/1529.26	c 1529s |      22 |  2027209 |  1775222 |    23244    194 |        5 |      302
1530.94/1531.28	c 1531s |      22 |  2029469 |  1777222 |    23244    194 |        5 |      302
1533.03/1533.38	c 1533s |      22 |  2031660 |  1779222 |    23244    194 |        5 |      302
1535.13/1535.40	c 1535s |      22 |  2033394 |  1780822 |    23244    195 |        5 |      302
1537.13/1537.47	c 1537s |      22 |  2036128 |  1783322 |    23244    195 |        5 |      302
1539.23/1539.55	c 1539s |      22 |  2038698 |  1785622 |    23244    195 |        5 |      302
1542.52/1542.84	c 1542s |      22 |  2039781 |  1786622 |    23244    195 |        5 |      302
1544.52/1544.89	c 1544s |      22 |  2041529 |  1788122 |    23244    195 |        5 |      302
1546.62/1546.92	c 1546s |      22 |  2044292 |  1790522 |    23244    195 |        5 |      302
1548.63/1548.98	c 1548s |      22 |  2046221 |  1792222 |    23244    196 |        5 |      302
1550.62/1550.99	c 1550s |      22 |  2049033 |  1794722 |    23244    196 |        5 |      302
1552.72/1553.05	c 1552s |      22 |  2051528 |  1796922 |    23244    196 |        5 |      302
1554.72/1555.08	c 1554s |      22 |  2054105 |  1799122 |    23244    196 |        5 |      302
1556.82/1557.13	c 1556s |      22 |  2056142 |  1800922 |    23244    196 |        5 |      302
1558.82/1559.17	c 1559s |      22 |  2058173 |  1802722 |    23244    196 |        5 |      302
1560.92/1561.26	c 1561s |      22 |  2060215 |  1804522 |    23244    197 |        5 |      302
1563.02/1563.34	c 1563s |      22 |  2063145 |  1807022 |    23244    197 |        5 |      302
1565.12/1565.43	c 1565s |      22 |  2065655 |  1809222 |    23244    197 |        5 |      302
1567.12/1567.46	c 1567s |      22 |  2067976 |  1811322 |    23244    197 |        5 |      302
1569.22/1569.51	c 1569s |      22 |  2070069 |  1813222 |    23244    197 |        5 |      302
1571.22/1571.60	c 1571s |      22 |  2072313 |  1815222 |    23244    197 |        5 |      302
1573.32/1573.61	c 1573s |      22 |  2074850 |  1817522 |    23244    198 |        5 |      302
1575.31/1575.63	c 1575s |      22 |  2077351 |  1819822 |    23244    198 |        5 |      302
1578.11/1578.40	c 1578s |      22 |  2078048 |  1820422 |    23244    198 |        5 |      302
1580.11/1580.47	c 1580s |      22 |  2080571 |  1822622 |    23244    198 |        5 |      302
1582.21/1582.53	c 1582s |      22 |  2083098 |  1824822 |    23244    198 |        5 |      302
1584.31/1584.60	c 1584s |      22 |  2085659 |  1827022 |    23244    198 |        5 |      302
1586.31/1586.66	c 1586s |      22 |  2088138 |  1829222 |    23244    199 |        5 |      302
1588.41/1588.71	c 1588s |      22 |  2090888 |  1831722 |    23244    199 |        5 |      302
1590.42/1590.76	c 1590s |      22 |  2092626 |  1833222 |    23244    199 |        5 |      302
1592.51/1592.87	c 1592s |      22 |  2095085 |  1835322 |    23244    199 |        5 |      302
1594.60/1594.92	c 1594s |      22 |  2097322 |  1837322 |    23244    199 |        5 |      302
1596.80/1597.19	c 1597s |      22 |  2099192 |  1838922 |    23244    200 |        5 |      302
1598.90/1599.22	c 1599s |      22 |  2102199 |  1841522 |    23244    200 |        5 |      302
1600.90/1601.25	c 1601s |      22 |  2104882 |  1843922 |    23244    200 |        5 |      302
1602.90/1603.27	c 1603s |      22 |  2107270 |  1846022 |    23244    200 |        5 |      302
1605.10/1605.40	c 1605s |      22 |  2109503 |  1848022 |    23244    200 |        5 |      302
1607.10/1607.44	c 1607s |      22 |  2111786 |  1850022 |    23244    200 |        5 |      302
1609.20/1609.58	c 1609s |      22 |  2113954 |  1852022 |    23244    201 |        5 |      302
1611.30/1611.62	c 1611s |      22 |  2114732 |  1852722 |    23244    201 |        5 |      302
1613.29/1613.66	c 1613s |      22 |  2117474 |  1855122 |    23244    201 |        5 |      302
1615.29/1615.67	c 1615s |      22 |  2119882 |  1857222 |    23244    201 |        5 |      302
1617.29/1617.69	c 1617s |      22 |  2122465 |  1859422 |    23244    201 |        5 |      302
1619.39/1619.74	c 1619s |      22 |  2124869 |  1861522 |    23244    201 |        5 |      302
1621.49/1621.82	c 1621s |      22 |  2127180 |  1863622 |    23244    202 |        5 |      302
1623.49/1623.84	c 1623s |      22 |  2129706 |  1865922 |    23244    202 |        5 |      302
1625.60/1625.91	c 1625s |      22 |  2132319 |  1868222 |    23244    202 |        5 |      302
1627.60/1627.99	c 1627s |      22 |  2134980 |  1870522 |    23244    202 |        5 |      302
1629.70/1630.06	c 1629s |      22 |  2136934 |  1872222 |    23244    202 |        5 |      302
1631.89/1632.26	c 1632s |      22 |  2139088 |  1874122 |    23244    203 |        5 |      302
1633.89/1634.29	c 1634s |      22 |  2141500 |  1876322 |    23244    203 |        5 |      302
1635.99/1636.32	c 1636s |      22 |  2143851 |  1878422 |    23244    203 |        5 |      302
1638.09/1638.41	c 1638s |      22 |  2146133 |  1880522 |    23244    203 |        5 |      302
1640.29/1640.67	c 1640s |      22 |  2148047 |  1882322 |    23244    203 |        5 |      302
1642.29/1642.68	c 1642s |      22 |  2150163 |  1884222 |    23244    203 |        5 |      302
1644.39/1644.74	c 1644s |      22 |  2152241 |  1886122 |    23244    204 |        5 |      302
1646.40/1646.78	c 1646s |      22 |  2154798 |  1888422 |    23244    204 |        5 |      302
1648.49/1648.83	c 1648s |      22 |  2157151 |  1890622 |    23244    204 |        5 |      302
1650.59/1650.93	c 1650s |      22 |  2159224 |  1892522 |    23244    204 |        5 |      302
1652.58/1652.96	c 1652s |      22 |  2161159 |  1894322 |    23244    204 |        5 |      302
1654.58/1654.98	c 1654s |      22 |  2163244 |  1896222 |    23244    204 |        5 |      302
1656.68/1657.00	c 1656s |      22 |  2165059 |  1897922 |    23244    205 |        5 |      302
1658.68/1659.08	c 1658s |      22 |  2167519 |  1900122 |    23244    205 |        5 |      302
1661.08/1661.41	c 1661s |      22 |  2167865 |  1900422 |    23244    205 |        5 |      302
1663.08/1663.44	c 1663s |      22 |  2168443 |  1900922 |    23244    205 |        5 |      302
1665.08/1665.48	c 1665s |      22 |  2171450 |  1903522 |    23244    205 |        5 |      302
1667.17/1667.51	c 1667s |      22 |  2173957 |  1905722 |    23244    205 |        5 |      302
1669.17/1669.53	c 1669s |      22 |  2176168 |  1907722 |    23244    205 |        5 |      302
1671.17/1671.57	c 1671s |      22 |  2177881 |  1909322 |    23244    206 |        5 |      302
1673.27/1673.67	c 1673s |      22 |  2180466 |  1911622 |    23244    206 |        5 |      302
1675.37/1675.75	c 1675s |      22 |  2183158 |  1914022 |    23244    206 |        5 |      302
1677.47/1677.83	c 1677s |      22 |  2185502 |  1916122 |    23244    206 |        5 |      302
1679.47/1679.87	c 1679s |      22 |  2187865 |  1918222 |    23244    206 |        5 |      302
1681.57/1681.90	c 1681s |      22 |  2189666 |  1919822 |    23244    206 |        5 |      302
1683.56/1683.93	c 1683s |      22 |  2191117 |  1921122 |    23244    207 |        5 |      302
1685.56/1685.98	c 1685s |      22 |  2193655 |  1923422 |    23244    207 |        5 |      302
1687.66/1688.02	c 1687s |      22 |  2196188 |  1925722 |    23244    207 |        5 |      302
1689.66/1690.02	c 1689s |      22 |  2198405 |  1927722 |    23244    207 |        5 |      302
1691.66/1692.08	c 1691s |      22 |  2200374 |  1929522 |    23244    207 |        5 |      302
1693.76/1694.17	c 1694s |      22 |  2202394 |  1931322 |    23244    207 |        5 |      302
1695.86/1696.22	c 1696s |      22 |  2204252 |  1933022 |    23244    208 |        5 |      302
1697.85/1698.22	c 1698s |      22 |  2206655 |  1935222 |    23244    208 |        5 |      302
1699.85/1700.23	c 1700s |      22 |  2209061 |  1937422 |    23244    208 |        5 |      302
1701.95/1702.32	c 1702s |      22 |  2211328 |  1939522 |    23244    208 |        5 |      302
1704.05/1704.42	c 1704s |      22 |  2213379 |  1941422 |    23244    208 |        5 |      302
1706.05/1706.47	c 1706s |      22 |  2215348 |  1943222 |    23244    208 |        5 |      302
1708.25/1708.65	c 1708s |      22 |  2217329 |  1945022 |    23244    209 |        5 |      302
1710.25/1710.68	c 1710s |      22 |  2219728 |  1947222 |    23244    209 |        5 |      302
1712.35/1712.78	c 1712s |      22 |  2222118 |  1949422 |    23244    209 |        5 |      302
1714.44/1714.83	c 1714s |      22 |  2224387 |  1951522 |    23244    209 |        5 |      302
1717.85/1718.23	c 1718s |      22 |  2225796 |  1952822 |    23244    209 |        5 |      302
1719.95/1720.33	c 1720s |      22 |  2228048 |  1954822 |    23244    209 |        5 |      302
1722.14/1722.56	c 1722s |      22 |  2229847 |  1956422 |    23244    210 |        5 |      302
1724.24/1724.62	c 1724s |      22 |  2233082 |  1959222 |    23244    210 |        5 |      302
1726.24/1726.64	c 1726s |      22 |  2235706 |  1961522 |    23244    210 |        5 |      302
1728.34/1728.74	c 1728s |      22 |  2238244 |  1963822 |    23244    210 |        5 |      302
1730.34/1730.79	c 1730s |      22 |  2240310 |  1965722 |    23244    210 |        5 |      302
1732.44/1732.80	c 1732s |      22 |  2242195 |  1967422 |    23244    210 |        5 |      302
1734.34/1734.80	c 1734s |      22 |  2244079 |  1969122 |    23244    211 |        5 |      302
1736.44/1736.89	c 1736s |      22 |  2246585 |  1971422 |    23244    211 |        5 |      302
1738.54/1738.93	c 1738s |      22 |  2249012 |  1973622 |    23244    211 |        5 |      302
1740.54/1740.98	c 1740s |      22 |  2251349 |  1975722 |    23244    211 |        5 |      302
1742.64/1743.05	c 1742s |      22 |  2253403 |  1977622 |    23244    211 |        5 |      302
1744.63/1745.10	c 1744s |      22 |  2255352 |  1979422 |    23244    211 |        5 |      302
1746.83/1747.28	c 1747s |      22 |  2257448 |  1981322 |    23244    212 |        5 |      302
1748.83/1749.29	c 1749s |      22 |  2259838 |  1983522 |    23244    212 |        5 |      302
1752.23/1752.64	c 1752s |      22 |  2261786 |  1985322 |    23244    212 |        5 |      302
1754.33/1754.71	c 1754s |      22 |  2264023 |  1987322 |    23244    212 |        5 |      302
1756.34/1756.76	c 1756s |      22 |  2266086 |  1989222 |    23244    212 |        5 |      302
1758.43/1758.84	c 1758s |      22 |  2268110 |  1991022 |    23244    212 |        5 |      302
1760.43/1760.88	c 1760s |      22 |  2269646 |  1992422 |    23244    213 |        5 |      302
1762.43/1762.89	c 1762s |      22 |  2272052 |  1994622 |    23244    213 |        5 |      302
1764.53/1764.94	c 1764s |      22 |  2274206 |  1996622 |    23244    213 |        5 |      302
1766.53/1766.95	c 1766s |      22 |  2276328 |  1998522 |    23244    213 |        5 |      302
1768.63/1769.04	c 1768s |      22 |  2278512 |  2000522 |    23244    213 |        5 |      302
1770.73/1771.13	c 1770s |      22 |  2280135 |  2002022 |    23244    213 |        5 |      302
1773.02/1773.40	c 1773s |      22 |  2281515 |  2003322 |    23244    214 |        5 |      302
1775.02/1775.46	c 1775s |      22 |  2283566 |  2005222 |    23244    214 |        5 |      302
1777.12/1777.54	c 1777s |      22 |  2285860 |  2007322 |    23244    214 |        5 |      302
1779.12/1779.58	c 1779s |      22 |  2287920 |  2009222 |    23244    214 |        5 |      302
1781.22/1781.66	c 1781s |      22 |  2289959 |  2011122 |    23244    214 |        5 |      302
1783.22/1783.68	c 1783s |      22 |  2291624 |  2012622 |    23244    214 |        5 |      302
1785.32/1785.72	c 1785s |      22 |  2293541 |  2014322 |    23244    214 |        5 |      302
1787.32/1787.78	c 1787s |      22 |  2295504 |  2016122 |    23244    215 |        5 |      302
1789.43/1789.88	c 1789s |      22 |  2297676 |  2018122 |    23244    215 |        5 |      302
1791.53/1791.91	c 1791s |      22 |  2299845 |  2020122 |    23244    215 |        5 |      302
1795.41/1795.82	c 1795s |      22 |  2300175 |  2020422 |    23244    215 |        5 |      302
1797.41/1797.89	c 1797s |      22 |  2302944 |  2022822 |    23244    215 |        5 |      302
1799.51/1799.95	c 1799s |      22 |  2305342 |  2024922 |    23244    215 |        5 |      302

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-4096694-1466114804/watcher-4096694-1466114804 -o /tmp/evaluation-result-4096694-1466114804/solver-4096694-1466114804 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466112694-1100 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096694-1466114804.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.36 2.28 2.22 3/179 1697
/proc/meminfo: memFree=29126728/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=409020 CPUtime=0 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 1472 0 0 0 0 0 0 0 20 0 4 0 13526989 418836480 1832 33554432000 4194304 16246674 140734125452016 140734125451440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 102767 1840 441 2943 0 99661 0
[pid=1697/tid=1698] ppid=1693 vsize=519612 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 532082688 2262 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=523708 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 536276992 2280 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=528828 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13526990 541519872 2297 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.36 2.28 2.22 3/179 1697
/proc/meminfo: memFree=29126728/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 24562 0 0 0 5 4 0 0 20 0 4 0 13526989 1249447936 24861 33554432000 4194304 16246674 140734125452016 140734125451328 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 305041 24868 836 2943 0 301935 0
[pid=1697/tid=1698] ppid=1693 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1249447936 24873 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1249447936 24880 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13526990 1249447936 24885 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200466 s]
/proc/loadavg: 2.36 2.28 2.22 3/179 1697
/proc/meminfo: memFree=29126728/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1220164 CPUtime=0.18 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 43289 0 0 0 12 6 0 0 20 0 4 0 13526989 1249447936 43588 33554432000 4194304 16246674 140734125452016 140734125451328 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 305041 43598 880 2943 0 301935 0
[pid=1697/tid=1698] ppid=1693 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1249447936 43606 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1249447936 43611 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13526990 1249447936 43615 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1220164

[startup+0.300469 s]
/proc/loadavg: 2.36 2.28 2.22 3/179 1697
/proc/meminfo: memFree=29126728/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1220164 CPUtime=0.28 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 64213 0 0 0 18 10 0 0 20 0 4 0 13526989 1249447936 64511 33554432000 4194304 16246674 140734125452016 140734125451328 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 305041 64523 880 2943 0 301935 0
[pid=1697/tid=1698] ppid=1693 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1249447936 64530 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1249447936 64533 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13526990 1249447936 64537 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1220164

[startup+0.700394 s]
/proc/loadavg: 2.36 2.28 2.22 3/179 1697
/proc/meminfo: memFree=29126728/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 146699 0 0 0 46 23 0 0 20 0 4 0 13526989 1249447936 146998 33554432000 4194304 16246674 140734125452016 140734125451328 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 305041 147010 880 2943 0 301935 0
[pid=1697/tid=1698] ppid=1693 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1249447936 147015 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1249447936 147023 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13526990 1249447936 147030 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.5004 s]
/proc/loadavg: 2.36 2.28 2.22 3/183 1701
/proc/meminfo: memFree=28221936/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 266198 0 0 0 108 41 0 0 20 0 4 0 13526989 1332285440 266496 33554432000 4194304 16246674 140734125452016 140734125451328 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 325265 266496 883 2943 0 322159 0
[pid=1697/tid=1698] ppid=1693 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1332285440 266496 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1332285440 266496 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1332285440 266496 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.33 2.27 2.21 3/183 1701
/proc/meminfo: memFree=28061364/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 267842 0 0 0 268 41 0 0 20 0 4 0 13526989 1338576896 268140 33554432000 4194304 16246674 140734125452016 140734125433920 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 326801 268140 883 2943 0 323695 0
[pid=1697/tid=1698] ppid=1693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1338576896 268140 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1338576896 268140 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1338576896 268140 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.33 2.27 2.21 3/183 1701
/proc/meminfo: memFree=28051184/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1313348 CPUtime=6.28 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 269456 0 0 0 587 41 0 0 20 0 4 0 13526989 1344868352 269754 33554432000 4194304 16246674 140734125452016 140734125433920 5822908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 328337 269754 887 2943 0 325231 0
[pid=1697/tid=1698] ppid=1693 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1344868352 269754 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1344868352 269754 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1344868352 269754 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.38 2.29 2.22 4/183 1701
/proc/meminfo: memFree=28045676/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1316420 CPUtime=12.69 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 270197 0 0 0 1227 42 0 0 20 0 4 0 13526989 1348014080 270495 33554432000 4194304 16246674 140734125452016 140734125433920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 329105 270495 887 2943 0 325999 0
[pid=1697/tid=1698] ppid=1693 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1348014080 270495 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1348014080 270495 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1348014080 270495 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1316420

[startup+25.5005 s]
/proc/loadavg: 2.44 2.30 2.22 3/183 1701
/proc/meminfo: memFree=28041728/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1320516 CPUtime=25.48 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 271316 0 0 0 2506 42 0 0 20 0 4 0 13526989 1352208384 271614 33554432000 4194304 16246674 140734125452016 140734125433920 5823655 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 330129 271614 888 2943 0 327023 0
[pid=1697/tid=1698] ppid=1693 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1352208384 271614 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1352208384 271614 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1352208384 271614 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1320516

[startup+51.1004 s]
/proc/loadavg: 2.29 2.28 2.22 3/183 1701
/proc/meminfo: memFree=28033548/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1328708 CPUtime=51.08 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 273364 0 0 0 5065 43 0 0 20 0 4 0 13526989 1360596992 273662 33554432000 4194304 16246674 140734125452016 140734125435016 5674919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 332177 273662 888 2943 0 329071 0
[pid=1697/tid=1698] ppid=1693 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1360596992 273662 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1360596992 273662 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1360596992 273662 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1328708

[startup+102.3 s]
/proc/loadavg: 2.40 2.31 2.23 4/183 1702
/proc/meminfo: memFree=28023628/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1334852 CPUtime=102.28 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 274745 0 0 0 10184 44 0 0 20 0 4 0 13526989 1366888448 275043 33554432000 4194304 16246674 140734125452016 140734125435016 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 333713 275043 888 2943 0 330607 0
[pid=1697/tid=1698] ppid=1693 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1366888448 275043 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1366888448 275043 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1366888448 275043 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1334852


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

/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1409880064 285694 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1376836

[startup+1302.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 1732
/proc/meminfo: memFree=27946720/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1376836 CPUtime=1302.09 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 285396 0 0 0 130149 60 0 0 20 0 4 0 13526989 1409880064 285694 33554432000 4194304 16246674 140734125452016 140734125433920 5676233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 344209 285694 888 2943 0 341103 0
[pid=1697/tid=1698] ppid=1693 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1409880064 285694 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1409880064 285694 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1409880064 285694 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1376836

[startup+1362.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 1733
/proc/meminfo: memFree=27946952/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1376836 CPUtime=1362.08 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 285396 0 0 0 136148 60 0 0 20 0 4 0 13526989 1409880064 285694 33554432000 4194304 16246674 140734125452016 140734125433920 5721721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 344209 285694 888 2943 0 341103 0
[pid=1697/tid=1698] ppid=1693 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1409880064 285694 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1409880064 285694 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1409880064 285694 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1376836

[startup+1422.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/184 1737
/proc/meminfo: memFree=27930656/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1391172 CPUtime=1422.07 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 288987 0 0 0 142145 62 0 0 20 0 4 0 13526989 1424560128 289534 33554432000 4194304 16246674 140734125452016 140734125435016 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 347793 289534 888 2943 0 344687 0
[pid=1697/tid=1698] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1391172

[startup+1482.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 1739
/proc/meminfo: memFree=27930832/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1391172 CPUtime=1482.04 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 289017 0 0 0 148142 62 0 0 20 0 4 0 13526989 1424560128 289534 33554432000 4194304 16246674 140734125452016 140734125433920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 347793 289534 888 2943 0 344687 0
[pid=1697/tid=1698] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1391172

[startup+1542.31 s]
/proc/loadavg: 2.27 2.22 2.19 3/183 1901
/proc/meminfo: memFree=27973480/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1391172 CPUtime=1542.03 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 289042 0 0 0 154139 64 0 0 20 0 4 0 13526989 1424560128 289534 33554432000 4194304 16246674 140734125452016 140734125451112 5808428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 347793 289534 888 2943 0 344687 0
[pid=1697/tid=1698] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1391172

[startup+1602.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 1902
/proc/meminfo: memFree=27973928/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1391172 CPUtime=1602 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 289065 0 0 0 160135 65 0 0 20 0 4 0 13526989 1424560128 289534 33554432000 4194304 16246674 140734125452016 140734125433920 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 347793 289534 888 2943 0 344687 0
[pid=1697/tid=1698] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1391172

[startup+1662.3 s]
/proc/loadavg: 2.13 2.19 2.17 3/183 1903
/proc/meminfo: memFree=27973740/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1391172 CPUtime=1661.98 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 289091 0 0 0 166132 66 0 0 20 0 4 0 13526989 1424560128 289534 33554432000 4194304 16246674 140734125452016 140734125451192 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 347793 289534 888 2943 0 344687 0
[pid=1697/tid=1698] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1391172

[startup+1722.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/183 1904
/proc/meminfo: memFree=27973532/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1391172 CPUtime=1721.94 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 289132 0 0 0 172127 67 0 0 20 0 4 0 13526989 1424560128 289534 33554432000 4194304 16246674 140734125452016 140734125433920 13902478 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 347793 289534 888 2943 0 344687 0
[pid=1697/tid=1698] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1391172

[startup+1782.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 1906
/proc/meminfo: memFree=27973812/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1391172 CPUtime=1781.92 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 289153 0 0 0 178125 67 0 0 20 0 4 0 13526989 1424560128 289534 33554432000 4194304 16246674 140734125452016 140734125433920 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 347793 289534 888 2943 0 344687 0
[pid=1697/tid=1698] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1391172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.27 2.23 2.19 3/183 1906
/proc/meminfo: memFree=27973908/32872528 swapFree=1541688/1694988
[pid=1697] ppid=1693 vsize=1391172 CPUtime=1800.01 cores=0,2,4,6
/proc/1697/stat : 1697 (toysat) R 1693 1697 31715 0 -1 4202496 289160 0 0 0 179933 68 0 0 20 0 4 0 13526989 1424560128 289534 33554432000 4194304 16246674 140734125452016 140734125433920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1697/statm: 347793 289534 888 2943 0 344687 0
[pid=1697/tid=1698] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1698/stat : 1698 (toysat) S 1693 1697 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143974395120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1697/tid=1699] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1699/stat : 1699 (toysat) S 1693 1697 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143963905264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1697/tid=1700] ppid=1693 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/1697/task/1700/stat : 1700 (toysat) S 1693 1697 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13526990 1424560128 289534 33554432000 4194304 16246674 140734125452016 140143843339440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1391172

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 1697 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.44
CPU time (s): 1800.06
CPU user time (s): 1799.34
CPU system time (s): 0.716891
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 1391172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.716891
maximum resident set size= 1158136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289160
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= 195
involuntary context switches= 2008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95194 second user time and 8.80466 second system time

The end

Begin job on node125 at 2016-06-17 00:06:44
IDJOB=4096694
IDBENCH=107651
IDSOLVER=2542
FILE ID=node125/4096694-1466114804
RUNJOBID= node125-1466112694-1100
PBS_JOBID= 19904034
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_33.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096694-1466114804/watcher-4096694-1466114804 -o /tmp/evaluation-result-4096694-1466114804/solver-4096694-1466114804 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466112694-1100 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096694-1466114804.opb

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

MD5SUM BENCH= d391fabd9d095715d87c32e8f977e774
RANDOM SEED=780654633

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        29126528 kB
Buffers:           62256 kB
Cached:           161452 kB
SwapCached:         2680 kB
Active:          1234236 kB
Inactive:         108120 kB
Active(anon):    1118784 kB
Inactive(anon):     2308 kB
Active(file):     115452 kB
Inactive(file):   105812 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:             16812 kB
Writeback:             0 kB
AnonPages:       2813972 kB
Mapped:            10796 kB
Shmem:                 0 kB
Slab:             571848 kB
SReclaimable:      15420 kB
SUnreclaim:       556428 kB
KernelStack:        1584 kB
PageTables:         9316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2955444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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= 71712 MiB
End job on node125 at 2016-06-17 00:36:44