0.00/0.00	c 2016-06-16T23:36:00+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-4096225-1466112960.opb"]
0.00/0.01	c use --random-gen="1653671522 1018253370 1110152261 525375649 1120469727 1882473048 3195637425 4166365398 843523571 4051912619 1380839152 93670364 716352546 376091396 2693771585 3902598148 193885164 2916759419 905873942 4070550687 852982043 2210579474 2195307378 2694283980 2306378920 3518453143 3980708093 1259392159 3428932643 242957037 4248357814 413945021 351640551 3900948438 3398211850 1678625714 3251933385 1545439023 4196501825 2305593445 721621685 2696687737 4238829820 1254327246 687243004 1874952758 3786923540 3684835982 2159789841 2758766780 1867077689 306049479 3743856994 4281663906 3668366750 3203856341 130743427 70708406 1738569259 144488797 2822896626 4290807702 2161439223 37556578 3585353176 544424365 3273018381 1345342537 3298362918 3848295496 1375414556 398680496 2632809811 134647213 886218460 234914007 1296145528 1141549747 3483017191 1791754649 398582296 2035407760 3718130719 1869327103 4097878281 1121068978 4113669387 2652022348 2718793476 1417669851 2386815266 889616323 1232157185 1882557852 3160751978 1695916292 789225388 3428245576 1080994057 1519221719 3398250404 3931282731 2783679317 4205660463 446084031 3869892158 4156180332 1478611770 3028927910 3175333767 4035172552 3379135533 2160858712 570255986 1525944486 4093040843 71861134 3146353936 2103678524 2574906843 1293764975 385742502 1932022363 3404883233 3684993611 521762808 3553369950 620267389 2278922399 1711096398 1149474865 601185031 1053196785 2720537211 1689307321 3505356717 2131609887 3051837075 79676463 1617597049 1545428905 2977808204 1918933648 1578444659 3790693609 950012806 1535749092 4291532235 3344132338 3628519372 295530657 3176347098 1630748265 2871162808 8937337 4135813313 3344821299 2823573141 247838379 2568079891 376123860 1991664985 2872989321 2376939621 592453677 1216284066 1191980358 1331485613 43402793 4253993151 1422576059 314569692 2419741698 2856305817 213639058 3519668178 1110870303 1818042494 1303427171 1270324103 1131119631 3991589137 718803357 4218189772 2343785446 2507416807 1866175057 644629029 3896591989 3038341053 3929103852 3094297718 3337238414 1559090080 2854186453 52323228 950620860 2744072755 1726627557 864840591 1123888395 3554524553 3629934816 911995773 2596800687 2228845001 4248735293 2078628771 1934336380 2924507807 3406644646 3028080505 1100164304 2480689441 3422164819 2641463365 1915450008 2451784332 1215660056 3528481586 2603252556 25288168 690677215 544801698 2824976941 1493692314 445680701 3463964332 4051714309 2079871969 1399638624 754561027 3881789250 2086901825 2076048645 3533027103 1783897395 1953507565 2989371791 2965260220 646609480 4192612715 3346727371 3503051361 2231291604 1149519345 738406548 1936056863 2233859543 3850522431 3109456277 850774280 3866723356 1606574620 2616470441 3278995808 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.19/0.22	c  0.0s |       1 |      133 |      100 |     2850      0 |        5 |      302
0.19/0.29	c  0.1s |       2 |      321 |      250 |     3136      0 |        5 |      302
0.29/0.39	c  0.2s |       3 |      600 |      475 |     3450      0 |        5 |      302
0.48/0.57	c  0.4s |       4 |      997 |      813 |     3796      0 |        5 |      302
0.79/0.85	c  0.7s |       5 |     1589 |     1320 |     4176      0 |        5 |      302
1.20/1.24	c  1.1s |       6 |     2507 |     2081 |     5054      0 |        5 |      302
1.69/1.75	c  1.6s |       7 |     3918 |     3223 |     5560      0 |        5 |      302
2.69/2.70	c  2.5s |       8 |     6809 |     4936 |     6117      0 |        5 |      302
3.98/4.03	c  3.9s |       9 |    10007 |     7506 |     6729      1 |        5 |      302
5.98/6.07	c  5.9s |       9 |    14517 |    11206 |     6729      2 |        5 |      302
6.08/6.18	c  6.0s |      10 |    14734 |    11361 |     7402      2 |        5 |      302
8.18/8.26	c  8.1s |      10 |    19305 |    15161 |     7402      3 |        5 |      302
9.48/9.52	c  9.3s |      11 |    21627 |    17144 |     8143      3 |        5 |      302
11.48/11.54	c 11.4s |      11 |    25789 |    20544 |     8143      4 |        5 |      302
13.58/13.61	c 13.4s |      11 |    29299 |    23344 |     8143      5 |        5 |      302
15.28/15.39	c 15.2s |      12 |    32316 |    25819 |     8958      5 |        5 |      302
17.39/17.44	c 17.3s |      12 |    36782 |    29519 |     8958      6 |        5 |      302
19.39/19.44	c 19.3s |      12 |    40638 |    32819 |     8958      6 |        5 |      302
21.39/21.45	c 21.3s |      12 |    44331 |    35919 |     8958      7 |        5 |      302
23.39/23.44	c 23.3s |      13 |    47746 |    38832 |     9854      8 |        5 |      302
25.39/25.46	c 25.3s |      13 |    52040 |    42132 |     9854      8 |        5 |      302
27.38/27.49	c 27.3s |      13 |    56100 |    45432 |     9854      9 |        5 |      302
29.48/29.50	c 29.3s |      13 |    60140 |    48732 |     9854     10 |        5 |      302
31.48/31.55	c 31.4s |      13 |    64543 |    52332 |     9854     10 |        5 |      302
33.48/33.58	c 33.4s |      13 |    68700 |    55732 |     9854     11 |        5 |      302
35.08/35.16	c 35.0s |      14 |    72008 |    58352 |    10840     11 |        5 |      302
37.08/37.18	c 37.0s |      14 |    75736 |    61452 |    10840     12 |        5 |      302
39.18/39.21	c 39.0s |      14 |    79331 |    64352 |    10840     12 |        5 |      302
41.18/41.27	c 41.1s |      14 |    82915 |    67352 |    10840     13 |        5 |      302
43.18/43.27	c 43.1s |      14 |    86467 |    70252 |    10840     14 |        5 |      302
45.28/45.38	c 45.2s |      14 |    90465 |    73552 |    10840     14 |        5 |      302
47.39/47.41	c 47.2s |      14 |    93698 |    76152 |    10840     15 |        5 |      302
49.38/49.46	c 49.3s |      14 |    97238 |    78952 |    10840     15 |        5 |      302
51.48/51.50	c 51.3s |      14 |   100359 |    81452 |    10840     16 |        5 |      302
53.48/53.53	c 53.4s |      14 |   104061 |    84452 |    10840     16 |        5 |      302
55.48/55.58	c 55.4s |      14 |   107447 |    87352 |    11925     17 |        5 |      302
55.68/55.75	c 55.6s |      15 |   107775 |    87632 |    11925     17 |        5 |      302
57.68/57.75	c 57.6s |      15 |   111447 |    90732 |    11925     17 |        5 |      302
59.68/59.77	c 59.6s |      15 |   114904 |    93532 |    11925     18 |        5 |      302
61.68/61.79	c 61.6s |      15 |   118449 |    96532 |    11925     18 |        5 |      302
63.78/63.86	c 63.7s |      15 |   121921 |    99432 |    11925     18 |        5 |      302
65.87/65.94	c 65.8s |      15 |   125285 |   102232 |    11925     19 |        5 |      302
67.87/67.98	c 67.8s |      15 |   128582 |   105032 |    11925     19 |        5 |      302
69.88/69.98	c 69.8s |      15 |   132091 |   108032 |    11925     20 |        5 |      302
71.88/71.99	c 71.8s |      15 |   135248 |   110732 |    11925     20 |        5 |      302
73.98/74.02	c 73.9s |      15 |   138754 |   113732 |    11925     21 |        5 |      302
75.98/76.04	c 75.9s |      15 |   142098 |   116532 |    11925     21 |        5 |      302
77.97/78.06	c 77.9s |      15 |   145432 |   119432 |    11925     22 |        5 |      302
80.07/80.11	c 79.9s |      15 |   149094 |   122432 |    11925     22 |        5 |      302
82.07/82.12	c 82.0s |      15 |   152171 |   125132 |    11925     23 |        5 |      302
84.07/84.14	c 84.0s |      15 |   155050 |   127732 |    11925     23 |        5 |      302
86.07/86.14	c 86.0s |      15 |   157951 |   130232 |    11925     24 |        5 |      302
86.88/86.97	c 86.8s |      16 |   159416 |   131552 |    13118     24 |        5 |      302
88.87/88.97	c 88.8s |      16 |   162085 |   133852 |    13118     24 |        5 |      302
90.97/91.00	c 90.8s |      16 |   165018 |   136452 |    13118     24 |        5 |      302
92.97/93.01	c 92.8s |      16 |   167933 |   138952 |    13118     25 |        5 |      302
94.97/95.08	c 94.9s |      16 |   170715 |   141452 |    13118     25 |        5 |      302
97.07/97.18	c 97.0s |      16 |   173235 |   143652 |    13118     25 |        5 |      302
99.17/99.24	c 99.1s |      16 |   176840 |   146652 |    13118     26 |        5 |      302
101.17/101.26	c  101s |      16 |   179943 |   149252 |    13118     26 |        5 |      302
103.17/103.27	c  103s |      16 |   183079 |   151852 |    13118     27 |        5 |      302
105.27/105.32	c  105s |      16 |   185914 |   154152 |    13118     27 |        5 |      302
107.26/107.34	c  107s |      16 |   188837 |   156652 |    13118     27 |        5 |      302
109.36/109.40	c  109s |      16 |   192290 |   159552 |    13118     28 |        5 |      302
111.36/111.40	c  111s |      16 |   195616 |   162452 |    13118     28 |        5 |      302
113.27/113.40	c  113s |      16 |   198871 |   165352 |    13118     29 |        5 |      302
115.36/115.42	c  115s |      16 |   202108 |   168052 |    13118     29 |        5 |      302
117.46/117.53	c  117s |      16 |   204829 |   170252 |    13118     29 |        5 |      302
119.56/119.60	c  119s |      16 |   208076 |   172952 |    13118     30 |        5 |      302
121.56/121.66	c  121s |      16 |   211288 |   175552 |    13118     30 |        5 |      302
123.76/123.82	c  123s |      16 |   214129 |   177852 |    13118     31 |        5 |      302
125.75/125.87	c  125s |      16 |   217728 |   181052 |    13118     31 |        5 |      302
127.85/127.94	c  127s |      16 |   220574 |   183652 |    13118     31 |        5 |      302
129.86/129.96	c  129s |      16 |   224015 |   186452 |    13118     32 |        5 |      302
131.96/132.01	c  131s |      16 |   227364 |   189252 |    13118     32 |        5 |      302
133.95/134.06	c  133s |      16 |   230741 |   192052 |    13118     33 |        5 |      302
135.95/136.09	c  135s |      16 |   234384 |   194852 |    13118     33 |        5 |      302
138.05/138.13	c  137s |      16 |   237285 |   197152 |    14430     33 |        5 |      302
138.25/138.37	c  138s |      17 |   237633 |   197432 |    14430     33 |        5 |      302
140.35/140.41	c  140s |      17 |   241083 |   200232 |    14430     34 |        5 |      302
142.36/142.45	c  142s |      17 |   244592 |   203232 |    14430     34 |        5 |      302
144.46/144.50	c  144s |      17 |   247301 |   205632 |    14430     34 |        5 |      302
146.46/146.51	c  146s |      17 |   250440 |   208232 |    14430     35 |        5 |      302
148.46/148.54	c  148s |      17 |   253359 |   210732 |    14430     35 |        5 |      302
150.45/150.58	c  150s |      17 |   256020 |   212932 |    14430     35 |        5 |      302
152.55/152.68	c  152s |      17 |   259466 |   215732 |    14430     36 |        5 |      302
154.65/154.71	c  154s |      17 |   262481 |   218232 |    14430     36 |        5 |      302
156.65/156.71	c  156s |      17 |   265230 |   220532 |    14430     37 |        5 |      302
158.64/158.75	c  158s |      17 |   268253 |   223032 |    14430     37 |        5 |      302
160.65/160.77	c  160s |      17 |   270916 |   225332 |    14430     37 |        5 |      302
162.75/162.83	c  162s |      17 |   273240 |   227332 |    14430     37 |        5 |      302
164.74/164.87	c  164s |      17 |   275478 |   229232 |    14430     38 |        5 |      302
166.74/166.87	c  166s |      17 |   279446 |   232232 |    14430     38 |        5 |      302
168.74/168.89	c  168s |      17 |   282519 |   234632 |    14430     38 |        5 |      302
170.84/170.94	c  170s |      17 |   285773 |   237332 |    14430     39 |        5 |      302
172.84/172.97	c  172s |      17 |   289116 |   240132 |    14430     39 |        5 |      302
174.94/175.03	c  174s |      17 |   291783 |   242332 |    14430     39 |        5 |      302
176.94/177.04	c  176s |      17 |   294523 |   244632 |    14430     40 |        5 |      302
178.93/179.09	c  178s |      17 |   297765 |   247232 |    14430     40 |        5 |      302
180.93/181.09	c  180s |      17 |   300571 |   249532 |    14430     40 |        5 |      302
183.03/183.15	c  182s |      17 |   304048 |   252332 |    14430     41 |        5 |      302
185.13/185.21	c  185s |      17 |   307069 |   254832 |    14430     41 |        5 |      302
187.13/187.22	c  187s |      17 |   309461 |   256732 |    14430     41 |        5 |      302
189.14/189.25	c  189s |      17 |   312577 |   259432 |    14430     42 |        5 |      302
191.13/191.29	c  191s |      17 |   315490 |   261932 |    14430     42 |        5 |      302
193.23/193.30	c  193s |      17 |   318153 |   264132 |    14430     42 |        5 |      302
195.33/195.49	c  195s |      17 |   321033 |   266532 |    14430     43 |        5 |      302
197.42/197.51	c  197s |      17 |   324609 |   269332 |    14430     43 |        5 |      302
199.42/199.53	c  199s |      17 |   327653 |   271832 |    14430     44 |        5 |      302
201.43/201.56	c  201s |      17 |   331177 |   274732 |    14430     44 |        5 |      302
203.44/203.56	c  203s |      17 |   334341 |   277132 |    14430     44 |        5 |      302
205.43/205.58	c  205s |      17 |   337343 |   279432 |    14430     45 |        5 |      302
207.43/207.59	c  207s |      17 |   340716 |   282032 |    14430     45 |        5 |      302
209.53/209.62	c  209s |      17 |   343950 |   284432 |    14430     45 |        5 |      302
211.52/211.64	c  211s |      17 |   346914 |   286932 |    14430     46 |        5 |      302
213.52/213.67	c  213s |      17 |   350151 |   289632 |    14430     46 |        5 |      302
215.63/215.75	c  215s |      17 |   353160 |   292032 |    14430     46 |        5 |      302
217.73/217.83	c  217s |      17 |   356500 |   294532 |    15874     47 |        5 |      302
218.93/219.08	c  218s |      18 |   358839 |   296252 |    15874     47 |        5 |      302
220.92/221.09	c  220s |      18 |   362131 |   298852 |    15874     47 |        5 |      302
223.02/223.14	c  222s |      18 |   365193 |   301452 |    15874     47 |        5 |      302
225.02/225.17	c  224s |      18 |   368233 |   304052 |    15874     48 |        5 |      302
227.11/227.22	c  227s |      18 |   371209 |   306752 |    15874     48 |        5 |      302
229.11/229.26	c  229s |      18 |   373904 |   309052 |    15874     48 |        5 |      302
231.21/231.38	c  231s |      18 |   375849 |   310752 |    15874     49 |        5 |      302
233.31/233.44	c  233s |      18 |   379005 |   313552 |    15874     49 |        5 |      302
235.32/235.46	c  235s |      18 |   381863 |   316052 |    15874     49 |        5 |      302
237.41/237.55	c  237s |      18 |   384344 |   318252 |    15874     49 |        5 |      302
239.41/239.58	c  239s |      18 |   386927 |   320452 |    15874     50 |        5 |      302
241.51/241.68	c  241s |      18 |   389927 |   323052 |    15874     50 |        5 |      302
243.51/243.69	c  243s |      18 |   392924 |   325552 |    15874     50 |        5 |      302
245.60/245.74	c  245s |      18 |   395850 |   327952 |    15874     51 |        5 |      302
247.60/247.75	c  247s |      18 |   398652 |   330352 |    15874     51 |        5 |      302
249.61/249.77	c  249s |      18 |   401594 |   332952 |    15874     51 |        5 |      302
251.70/251.84	c  251s |      18 |   404042 |   335152 |    15874     52 |        5 |      302
253.80/253.90	c  253s |      18 |   407304 |   338052 |    15874     52 |        5 |      302
255.80/255.93	c  255s |      18 |   410297 |   340752 |    15874     52 |        5 |      302
257.79/257.95	c  257s |      18 |   412410 |   342552 |    15874     52 |        5 |      302
260.09/260.25	c  260s |      18 |   415802 |   344952 |    15874     53 |        5 |      302
262.19/262.32	c  262s |      18 |   419514 |   347752 |    15874     53 |        5 |      302
264.29/264.41	c  264s |      18 |   422026 |   349952 |    15874     53 |        5 |      302
266.29/266.42	c  266s |      18 |   424517 |   352052 |    15874     54 |        5 |      302
268.30/268.43	c  268s |      18 |   427178 |   354252 |    15874     54 |        5 |      302
270.29/270.45	c  270s |      18 |   429770 |   356552 |    15874     54 |        5 |      302
272.29/272.48	c  272s |      18 |   432101 |   358652 |    15874     54 |        5 |      302
274.39/274.53	c  274s |      18 |   434583 |   360752 |    15874     55 |        5 |      302
276.39/276.59	c  276s |      18 |   438250 |   363852 |    15874     55 |        5 |      302
278.49/278.63	c  278s |      18 |   441024 |   366252 |    15874     55 |        5 |      302
280.59/280.70	c  280s |      18 |   443716 |   368552 |    15874     56 |        5 |      302
282.59/282.72	c  282s |      18 |   446212 |   370752 |    15874     56 |        5 |      302
284.58/284.73	c  284s |      18 |   449053 |   373252 |    15874     56 |        5 |      302
286.68/286.81	c  286s |      18 |   451519 |   375452 |    15874     56 |        5 |      302
288.68/288.85	c  288s |      18 |   454105 |   377752 |    15874     57 |        5 |      302
290.68/290.86	c  290s |      18 |   456974 |   380252 |    15874     57 |        5 |      302
292.78/292.93	c  292s |      18 |   459182 |   382352 |    15874     57 |        5 |      302
294.79/294.96	c  294s |      18 |   461273 |   384252 |    15874     58 |        5 |      302
296.78/297.00	c  296s |      18 |   464180 |   386952 |    15874     58 |        5 |      302
298.88/299.03	c  298s |      18 |   466839 |   389352 |    15874     58 |        5 |      302
300.88/301.08	c  300s |      18 |   469499 |   391552 |    15874     58 |        5 |      302
302.99/303.12	c  302s |      18 |   471888 |   393452 |    15874     59 |        5 |      302
304.99/305.16	c  304s |      18 |   474812 |   395652 |    15874     59 |        5 |      302
307.09/307.24	c  307s |      18 |   477873 |   398252 |    15874     59 |        5 |      302
309.19/309.36	c  309s |      18 |   480171 |   400252 |    15874     60 |        5 |      302
311.29/311.41	c  311s |      18 |   483182 |   402852 |    15874     60 |        5 |      302
313.28/313.41	c  313s |      18 |   485762 |   405052 |    15874     60 |        5 |      302
315.28/315.47	c  315s |      18 |   488474 |   407252 |    15874     60 |        5 |      302
317.89/318.02	c  317s |      18 |   491431 |   409752 |    15874     61 |        5 |      302
319.88/320.05	c  319s |      18 |   494252 |   412352 |    15874     61 |        5 |      302
321.88/322.08	c  321s |      18 |   496892 |   414652 |    15874     61 |        5 |      302
323.98/324.14	c  323s |      18 |   499631 |   416752 |    15874     62 |        5 |      302
325.98/326.15	c  325s |      18 |   502423 |   419052 |    15874     62 |        5 |      302
328.07/328.21	c  328s |      18 |   505459 |   421852 |    15874     62 |        5 |      302
330.07/330.22	c  330s |      18 |   507992 |   424152 |    15874     63 |        5 |      302
332.08/332.27	c  332s |      18 |   510961 |   426752 |    15874     63 |        5 |      302
334.17/334.34	c  334s |      18 |   513765 |   429252 |    15874     63 |        5 |      302
336.27/336.41	c  336s |      18 |   516231 |   431352 |    15874     63 |        5 |      302
338.87/339.01	c  338s |      18 |   518696 |   433452 |    15874     64 |        5 |      302
340.88/341.02	c  340s |      18 |   521872 |   436152 |    15874     64 |        5 |      302
342.87/343.04	c  342s |      18 |   524451 |   438352 |    15874     64 |        5 |      302
344.87/345.09	c  344s |      18 |   527357 |   440652 |    15874     65 |        5 |      302
346.97/347.14	c  346s |      18 |   530964 |   443852 |    17462     65 |        5 |      302
347.47/347.66	c  347s |      19 |   531750 |   444482 |    17462     65 |        5 |      302
349.56/349.70	c  349s |      19 |   533691 |   446082 |    17462     65 |        5 |      302
351.56/351.74	c  351s |      19 |   536869 |   448782 |    17462     65 |        5 |      302
353.56/353.75	c  353s |      19 |   539359 |   450882 |    17462     66 |        5 |      302
355.66/355.82	c  355s |      19 |   542226 |   453282 |    17462     66 |        5 |      302
357.66/357.89	c  357s |      19 |   544999 |   455482 |    17462     66 |        5 |      302
359.76/359.95	c  359s |      19 |   547504 |   457482 |    17462     66 |        5 |      302
361.87/362.02	c  361s |      19 |   549556 |   459182 |    17462     67 |        5 |      302
363.86/364.08	c  363s |      19 |   551528 |   460982 |    17462     67 |        5 |      302
365.96/366.14	c  365s |      19 |   553645 |   462882 |    17462     67 |        5 |      302
367.96/368.17	c  368s |      19 |   556127 |   464882 |    17462     67 |        5 |      302
370.06/370.22	c  370s |      19 |   559127 |   467282 |    17462     67 |        5 |      302
372.06/372.29	c  372s |      19 |   562132 |   469682 |    17462     68 |        5 |      302
374.16/374.30	c  374s |      19 |   565170 |   472182 |    17462     68 |        5 |      302
376.16/376.34	c  376s |      19 |   568282 |   474682 |    17462     68 |        5 |      302
378.15/378.38	c  378s |      19 |   570437 |   476582 |    17462     69 |        5 |      302
380.15/380.39	c  380s |      19 |   573474 |   479182 |    17462     69 |        5 |      302
382.25/382.45	c  382s |      19 |   576872 |   481682 |    17462     69 |        5 |      302
384.35/384.53	c  384s |      19 |   579513 |   483882 |    17462     69 |        5 |      302
386.56/386.77	c  386s |      19 |   581824 |   485682 |    17462     70 |        5 |      302
388.65/388.82	c  388s |      19 |   584749 |   488182 |    17462     70 |        5 |      302
390.65/390.82	c  390s |      19 |   587172 |   490382 |    17462     70 |        5 |      302
392.76/392.92	c  392s |      19 |   589461 |   492482 |    17462     70 |        5 |      302
395.35/395.56	c  395s |      19 |   591425 |   494282 |    17462     71 |        5 |      302
397.45/397.61	c  397s |      19 |   594728 |   496782 |    17462     71 |        5 |      302
399.45/399.70	c  399s |      19 |   597795 |   499382 |    17462     71 |        5 |      302
401.55/401.73	c  401s |      19 |   600303 |   501582 |    17462     71 |        5 |      302
403.75/403.97	c  403s |      19 |   602972 |   503582 |    17462     72 |        5 |      302
405.85/406.01	c  405s |      19 |   605940 |   506082 |    17462     72 |        5 |      302
407.84/408.05	c  407s |      19 |   608679 |   508482 |    17462     72 |        5 |      302
409.84/410.05	c  409s |      19 |   610769 |   510282 |    17462     72 |        5 |      302
412.24/412.41	c  412s |      19 |   612755 |   511982 |    17462     73 |        5 |      302
414.24/414.47	c  414s |      19 |   616238 |   514682 |    17462     73 |        5 |      302
416.34/416.50	c  416s |      19 |   619221 |   516982 |    17462     73 |        5 |      302
418.34/418.58	c  418s |      19 |   622281 |   519482 |    17462     73 |        5 |      302
420.44/420.62	c  420s |      19 |   624416 |   521082 |    17462     74 |        5 |      302
422.43/422.69	c  422s |      19 |   627666 |   523682 |    17462     74 |        5 |      302
424.54/424.76	c  424s |      19 |   630497 |   525982 |    17462     74 |        5 |      302
426.64/426.83	c  426s |      19 |   633095 |   528082 |    17462     74 |        5 |      302
428.63/428.84	c  428s |      19 |   635244 |   529982 |    17462     75 |        5 |      302
430.73/430.92	c  430s |      19 |   638411 |   532582 |    17462     75 |        5 |      302
432.73/432.95	c  432s |      19 |   640819 |   534682 |    17462     75 |        5 |      302
434.83/435.05	c  434s |      19 |   643234 |   536682 |    17462     75 |        5 |      302
436.93/437.17	c  436s |      19 |   645690 |   538682 |    17462     76 |        5 |      302
439.02/439.26	c  439s |      19 |   648569 |   541182 |    17462     76 |        5 |      302
441.03/441.29	c  441s |      19 |   651494 |   543682 |    17462     76 |        5 |      302
443.13/443.30	c  443s |      19 |   653951 |   545882 |    17462     76 |        5 |      302
445.12/445.33	c  445s |      19 |   656644 |   547882 |    17462     77 |        5 |      302
447.22/447.40	c  447s |      19 |   659544 |   550282 |    17462     77 |        5 |      302
449.22/449.42	c  449s |      19 |   662347 |   552482 |    17462     77 |        5 |      302
451.22/451.47	c  451s |      19 |   664980 |   554782 |    17462     77 |        5 |      302
453.32/453.50	c  453s |      19 |   666934 |   556482 |    17462     78 |        5 |      302
455.32/455.54	c  455s |      19 |   670191 |   559182 |    17462     78 |        5 |      302
457.42/457.60	c  457s |      19 |   673042 |   561582 |    17462     78 |        5 |      302
459.51/459.74	c  459s |      19 |   675628 |   563782 |    17462     78 |        5 |      302
461.51/461.77	c  461s |      19 |   677607 |   565482 |    17462     79 |        5 |      302
463.61/463.83	c  463s |      19 |   680401 |   567782 |    17462     79 |        5 |      302
465.61/465.88	c  465s |      19 |   682990 |   569882 |    17462     79 |        5 |      302
467.61/467.89	c  467s |      19 |   685845 |   572082 |    17462     79 |        5 |      302
469.71/469.92	c  469s |      19 |   688317 |   574082 |    17462     79 |        5 |      302
471.72/471.98	c  471s |      19 |   690452 |   575982 |    17462     80 |        5 |      302
473.81/474.03	c  473s |      19 |   693400 |   578382 |    17462     80 |        5 |      302
475.81/476.04	c  475s |      19 |   695967 |   580582 |    17462     80 |        5 |      302
477.80/478.06	c  477s |      19 |   698567 |   582882 |    17462     80 |        5 |      302
479.91/480.12	c  479s |      19 |   701217 |   585282 |    17462     81 |        5 |      302
482.01/482.22	c  482s |      19 |   704612 |   588082 |    17462     81 |        5 |      302
484.01/484.29	c  484s |      19 |   707081 |   590182 |    17462     81 |        5 |      302
486.12/486.37	c  486s |      19 |   709281 |   592082 |    17462     82 |        5 |      302
488.22/488.48	c  488s |      19 |   711928 |   594382 |    17462     82 |        5 |      302
490.31/490.50	c  490s |      19 |   714202 |   596082 |    17462     82 |        5 |      302
492.31/492.54	c  492s |      19 |   717059 |   598282 |    17462     82 |        5 |      302
494.41/494.62	c  494s |      19 |   719574 |   600382 |    17462     82 |        5 |      302
496.41/496.63	c  496s |      19 |   721923 |   602382 |    17462     83 |        5 |      302
498.40/498.65	c  498s |      19 |   724985 |   604882 |    17462     83 |        5 |      302
500.50/500.75	c  500s |      19 |   727721 |   607182 |    17462     83 |        5 |      302
502.61/502.83	c  502s |      19 |   730113 |   609282 |    17462     83 |        5 |      302
504.60/504.89	c  504s |      19 |   732855 |   611382 |    17462     84 |        5 |      302
506.70/506.96	c  506s |      19 |   735865 |   613982 |    17462     84 |        5 |      302
508.80/509.03	c  508s |      19 |   738342 |   616082 |    17462     84 |        5 |      302
510.90/511.12	c  510s |      19 |   741040 |   618382 |    17462     84 |        5 |      302
513.00/513.20	c  513s |      19 |   743865 |   620682 |    17462     85 |        5 |      302
515.00/515.26	c  515s |      19 |   746387 |   622782 |    17462     85 |        5 |      302
517.10/517.30	c  517s |      19 |   748935 |   624882 |    17462     85 |        5 |      302
519.10/519.32	c  519s |      19 |   751189 |   626782 |    17462     85 |        5 |      302
521.09/521.33	c  521s |      19 |   753689 |   628782 |    17462     86 |        5 |      302
523.19/523.41	c  523s |      19 |   756497 |   631282 |    17462     86 |        5 |      302
525.19/525.44	c  525s |      19 |   758699 |   632982 |    17462     86 |        5 |      302
527.19/527.45	c  527s |      19 |   761503 |   635182 |    17462     86 |        5 |      302
529.19/529.48	c  529s |      19 |   764151 |   637382 |    17462     87 |        5 |      302
531.19/531.49	c  531s |      19 |   767046 |   639782 |    17462     87 |        5 |      302
533.59/533.82	c  533s |      19 |   769600 |   641982 |    17462     87 |        5 |      302
535.59/535.86	c  535s |      19 |   772161 |   644082 |    17462     87 |        5 |      302
537.69/537.91	c  537s |      19 |   774263 |   645782 |    17462     88 |        5 |      302
539.68/539.98	c  539s |      19 |   777217 |   648182 |    17462     88 |        5 |      302
541.78/542.07	c  541s |      19 |   780147 |   650482 |    17462     88 |        5 |      302
543.78/544.08	c  543s |      19 |   782723 |   652682 |    17462     88 |        5 |      302
545.88/546.13	c  545s |      19 |   784931 |   654482 |    17462     89 |        5 |      302
547.98/548.21	c  548s |      19 |   788008 |   656882 |    17462     89 |        5 |      302
549.98/550.28	c  550s |      19 |   790614 |   658982 |    17462     89 |        5 |      302
552.08/552.36	c  552s |      19 |   793101 |   661082 |    17462     89 |        5 |      302
554.18/554.48	c  554s |      19 |   795584 |   663082 |    19209     89 |        5 |      302
556.48/556.80	c  556s |      19 |   797507 |   664682 |    19209     90 |        5 |      302
558.47/558.72	c  558s |      20 |   800213 |   666827 |    19209     90 |        5 |      302
560.47/560.75	c  560s |      20 |   801727 |   668127 |    19209     90 |        5 |      302
562.57/562.80	c  562s |      20 |   804633 |   670727 |    19209     90 |        5 |      302
564.57/564.84	c  564s |      20 |   807551 |   673327 |    19209     90 |        5 |      302
566.67/566.95	c  566s |      20 |   810288 |   675727 |    19209     91 |        5 |      302
568.76/569.02	c  568s |      20 |   813637 |   678627 |    19209     91 |        5 |      302
570.77/571.07	c  570s |      20 |   816289 |   680927 |    19209     91 |        5 |      302
572.87/573.16	c  572s |      20 |   818701 |   682927 |    19209     91 |        5 |      302
574.86/575.16	c  574s |      20 |   821104 |   684927 |    19209     92 |        5 |      302
576.96/577.25	c  577s |      20 |   823823 |   687227 |    19209     92 |        5 |      302
579.06/579.32	c  579s |      20 |   826506 |   689527 |    19209     92 |        5 |      302
581.06/581.37	c  581s |      20 |   828484 |   691227 |    19209     92 |        5 |      302
583.06/583.38	c  583s |      20 |   830934 |   693227 |    19209     92 |        5 |      302
585.06/585.39	c  585s |      20 |   833529 |   695427 |    19209     93 |        5 |      302
587.05/587.40	c  587s |      20 |   836595 |   697927 |    19209     93 |        5 |      302
589.15/589.44	c  589s |      20 |   839305 |   700227 |    19209     93 |        5 |      302
591.25/591.52	c  591s |      20 |   841794 |   702327 |    19209     93 |        5 |      302
593.25/593.52	c  593s |      20 |   844388 |   704527 |    19209     94 |        5 |      302
595.25/595.54	c  595s |      20 |   847124 |   706927 |    19209     94 |        5 |      302
597.24/597.57	c  597s |      20 |   849185 |   708827 |    19209     94 |        5 |      302
599.25/599.58	c  599s |      20 |   851661 |   711027 |    19209     94 |        5 |      302
601.45/601.72	c  601s |      20 |   854180 |   713127 |    19209     95 |        5 |      302
603.45/603.78	c  603s |      20 |   856774 |   715227 |    19209     95 |        5 |      302
605.55/605.82	c  605s |      20 |   859795 |   717727 |    19209     95 |        5 |      302
607.55/607.87	c  607s |      20 |   862373 |   719927 |    19209     95 |        5 |      302
609.65/609.97	c  609s |      20 |   864824 |   722027 |    19209     95 |        5 |      302
611.65/611.97	c  611s |      20 |   867070 |   723927 |    19209     96 |        5 |      302
613.75/614.02	c  613s |      20 |   869855 |   726327 |    19209     96 |        5 |      302
615.75/616.03	c  615s |      20 |   872309 |   728527 |    19209     96 |        5 |      302
617.85/618.14	c  617s |      20 |   874545 |   730527 |    19209     96 |        5 |      302
619.85/620.19	c  620s |      20 |   876422 |   732227 |    19209     96 |        5 |      302
621.95/622.23	c  622s |      20 |   878698 |   734227 |    19209     97 |        5 |      302
624.05/624.32	c  624s |      20 |   881369 |   736527 |    19209     97 |        5 |      302
626.14/626.43	c  626s |      20 |   883148 |   738027 |    19209     97 |        5 |      302
628.14/628.48	c  628s |      20 |   885494 |   740027 |    19209     97 |        5 |      302
630.15/630.48	c  630s |      20 |   887756 |   742027 |    19209     97 |        5 |      302
632.14/632.48	c  632s |      20 |   890132 |   744127 |    19209     98 |        5 |      302
634.24/634.56	c  634s |      20 |   893091 |   746627 |    19209     98 |        5 |      302
636.33/636.65	c  636s |      20 |   895559 |   748827 |    19209     98 |        5 |      302
638.33/638.67	c  638s |      20 |   897746 |   750727 |    19209     98 |        5 |      302
640.43/640.70	c  640s |      20 |   899564 |   752327 |    19209     99 |        5 |      302
642.43/642.72	c  642s |      20 |   901985 |   754427 |    19209     99 |        5 |      302
644.44/644.73	c  644s |      20 |   904778 |   756727 |    19209     99 |        5 |      302
646.43/646.76	c  646s |      20 |   907307 |   758827 |    19209     99 |        5 |      302
648.42/648.78	c  648s |      20 |   909950 |   760927 |    19209     99 |        5 |      302
650.72/651.00	c  650s |      20 |   912440 |   763027 |    19209    100 |        5 |      302
652.72/653.05	c  652s |      20 |   915222 |   765427 |    19209    100 |        5 |      302
654.72/655.05	c  654s |      20 |   917051 |   766927 |    19209    100 |        5 |      302
656.72/657.08	c  656s |      20 |   919394 |   768827 |    19209    100 |        5 |      302
658.82/659.10	c  658s |      20 |   921989 |   771027 |    19209    100 |        5 |      302
660.83/661.15	c  660s |      20 |   924844 |   773427 |    19209    101 |        5 |      302
662.82/663.16	c  662s |      20 |   927722 |   775827 |    19209    101 |        5 |      302
664.82/665.17	c  664s |      20 |   929938 |   777727 |    19209    101 |        5 |      302
666.92/667.23	c  667s |      20 |   932315 |   779727 |    19209    101 |        5 |      302
668.92/669.28	c  669s |      20 |   934478 |   781627 |    19209    102 |        5 |      302
671.01/671.35	c  671s |      20 |   936592 |   783427 |    19209    102 |        5 |      302
673.02/673.40	c  673s |      20 |   939592 |   785827 |    19209    102 |        5 |      302
675.12/675.45	c  675s |      20 |   942145 |   787927 |    19209    102 |        5 |      302
677.21/677.51	c  677s |      20 |   944365 |   789827 |    19209    102 |        5 |      302
679.21/679.53	c  679s |      20 |   946738 |   791827 |    19209    103 |        5 |      302
681.31/681.61	c  681s |      20 |   949488 |   794227 |    19209    103 |        5 |      302
683.31/683.64	c  683s |      20 |   952053 |   796327 |    19209    103 |        5 |      302
685.31/685.68	c  685s |      20 |   954565 |   798327 |    19209    103 |        5 |      302
687.82/688.18	c  688s |      20 |   957008 |   800227 |    19209    103 |        5 |      302
689.92/690.26	c  690s |      20 |   959833 |   802427 |    19209    104 |        5 |      302
692.01/692.30	c  692s |      20 |   962807 |   804727 |    19209    104 |        5 |      302
694.02/694.35	c  694s |      20 |   965364 |   806827 |    19209    104 |        5 |      302
696.02/696.37	c  696s |      20 |   967664 |   808727 |    19209    104 |        5 |      302
698.11/698.43	c  698s |      20 |   969859 |   810527 |    19209    105 |        5 |      302
700.11/700.48	c  700s |      20 |   972744 |   812927 |    19209    105 |        5 |      302
702.21/702.53	c  702s |      20 |   975227 |   814927 |    19209    105 |        5 |      302
704.21/704.59	c  704s |      20 |   977966 |   817027 |    19209    105 |        5 |      302
706.31/706.64	c  706s |      20 |   980565 |   819127 |    19209    105 |        5 |      302
708.41/708.73	c  708s |      20 |   983169 |   821227 |    19209    106 |        5 |      302
710.42/710.77	c  710s |      20 |   985659 |   823327 |    19209    106 |        5 |      302
712.41/712.80	c  712s |      20 |   988652 |   825727 |    19209    106 |        5 |      302
714.51/714.88	c  714s |      20 |   991413 |   827927 |    19209    106 |        5 |      302
716.61/716.99	c  716s |      20 |   993712 |   829827 |    19209    107 |        5 |      302
719.21/719.59	c  719s |      20 |   995992 |   831627 |    19209    107 |        5 |      302
721.31/721.66	c  721s |      20 |   999317 |   834227 |    19209    107 |        5 |      302
723.40/723.71	c  723s |      20 |  1002156 |   836627 |    19209    107 |        5 |      302
725.40/725.77	c  725s |      20 |  1004771 |   838827 |    19209    107 |        5 |      302
727.50/727.80	c  727s |      20 |  1007154 |   840827 |    19209    108 |        5 |      302
729.50/729.83	c  729s |      20 |  1009683 |   843027 |    19209    108 |        5 |      302
731.50/731.88	c  731s |      20 |  1012063 |   845027 |    19209    108 |        5 |      302
733.51/733.88	c  733s |      20 |  1014238 |   846827 |    19209    108 |        5 |      302
735.61/735.91	c  735s |      20 |  1016149 |   848427 |    19209    108 |        5 |      302
737.60/737.97	c  737s |      20 |  1018368 |   850327 |    19209    109 |        5 |      302
739.60/739.98	c  739s |      20 |  1020895 |   852527 |    19209    109 |        5 |      302
741.70/742.09	c  741s |      20 |  1023147 |   854527 |    19209    109 |        5 |      302
743.80/744.15	c  743s |      20 |  1025152 |   856327 |    19209    109 |        5 |      302
745.80/746.17	c  746s |      20 |  1027180 |   858027 |    19209    109 |        5 |      302
747.90/748.24	c  748s |      20 |  1029809 |   860127 |    19209    110 |        5 |      302
750.01/750.31	c  750s |      20 |  1032838 |   862527 |    19209    110 |        5 |      302
752.00/752.35	c  752s |      20 |  1035326 |   864627 |    19209    110 |        5 |      302
754.10/754.42	c  754s |      20 |  1037562 |   866527 |    19209    110 |        5 |      302
756.20/756.53	c  756s |      20 |  1039849 |   868427 |    19209    110 |        5 |      302
758.20/758.54	c  758s |      20 |  1041996 |   870127 |    19209    111 |        5 |      302
760.30/760.60	c  760s |      20 |  1044913 |   872527 |    19209    111 |        5 |      302
762.30/762.67	c  762s |      20 |  1047200 |   874527 |    19209    111 |        5 |      302
764.40/764.75	c  764s |      20 |  1049494 |   876427 |    19209    111 |        5 |      302
766.40/766.78	c  766s |      20 |  1051371 |   877927 |    19209    111 |        5 |      302
768.39/768.79	c  768s |      20 |  1054311 |   880327 |    19209    112 |        5 |      302
770.49/770.81	c  770s |      20 |  1057035 |   882727 |    19209    112 |        5 |      302
772.49/772.86	c  772s |      20 |  1059708 |   884927 |    19209    112 |        5 |      302
774.49/774.88	c  774s |      20 |  1061903 |   886827 |    19209    112 |        5 |      302
776.59/776.92	c  776s |      20 |  1064173 |   888727 |    19209    113 |        5 |      302
778.60/778.95	c  778s |      20 |  1066807 |   891027 |    19209    113 |        5 |      302
780.70/781.02	c  780s |      20 |  1068844 |   892727 |    19209    113 |        5 |      302
782.69/783.06	c  782s |      20 |  1071187 |   894627 |    19209    113 |        5 |      302
784.79/785.12	c  784s |      20 |  1073212 |   896327 |    19209    113 |        5 |      302
786.79/787.15	c  786s |      20 |  1075278 |   898027 |    19209    114 |        5 |      302
788.79/789.17	c  788s |      20 |  1077920 |   900227 |    19209    114 |        5 |      302
790.89/791.25	c  791s |      20 |  1080248 |   902227 |    19209    114 |        5 |      302
792.90/793.26	c  793s |      20 |  1082528 |   904127 |    19209    114 |        5 |      302
795.00/795.33	c  795s |      20 |  1084574 |   905827 |    19209    114 |        5 |      302
797.30/797.68	c  797s |      20 |  1086361 |   907327 |    19209    114 |        5 |      302
799.40/799.71	c  799s |      20 |  1088809 |   909227 |    19209    115 |        5 |      302
801.39/801.77	c  801s |      20 |  1091834 |   911627 |    19209    115 |        5 |      302
803.49/803.82	c  803s |      20 |  1094352 |   913627 |    19209    115 |        5 |      302
805.59/805.94	c  805s |      20 |  1096940 |   915627 |    19209    115 |        5 |      302
807.69/808.00	c  807s |      20 |  1099216 |   917427 |    19209    116 |        5 |      302
809.69/810.05	c  809s |      20 |  1101776 |   919527 |    19209    116 |        5 |      302
811.79/812.15	c  811s |      20 |  1104458 |   921727 |    19209    116 |        5 |      302
813.79/814.16	c  813s |      20 |  1106824 |   923627 |    19209    116 |        5 |      302
815.89/816.22	c  816s |      20 |  1108953 |   925327 |    19209    116 |        5 |      302
817.99/818.37	c  818s |      20 |  1110944 |   926927 |    19209    117 |        5 |      302
819.99/820.38	c  820s |      20 |  1113226 |   928827 |    19209    117 |        5 |      302
822.09/822.41	c  822s |      20 |  1115623 |   930727 |    19209    117 |        5 |      302
824.08/824.45	c  824s |      20 |  1117641 |   932427 |    19209    117 |        5 |      302
826.18/826.52	c  826s |      20 |  1119902 |   934127 |    19209    117 |        5 |      302
828.18/828.56	c  828s |      20 |  1122017 |   935827 |    19209    117 |        5 |      302
830.19/830.58	c  830s |      20 |  1124120 |   937527 |    19209    118 |        5 |      302
832.29/832.62	c  832s |      20 |  1126731 |   939627 |    19209    118 |        5 |      302
834.39/834.76	c  834s |      20 |  1128648 |   941127 |    19209    118 |        5 |      302
836.49/836.85	c  836s |      20 |  1131190 |   943127 |    19209    118 |        5 |      302
838.59/838.97	c  838s |      20 |  1133540 |   945027 |    19209    118 |        5 |      302
840.69/841.00	c  840s |      20 |  1135687 |   946727 |    19209    119 |        5 |      302
842.69/843.08	c  842s |      20 |  1138034 |   948627 |    19209    119 |        5 |      302
844.79/845.17	c  844s |      20 |  1140600 |   950727 |    19209    119 |        5 |      302
846.89/847.26	c  847s |      20 |  1143070 |   952727 |    19209    119 |        5 |      302
848.99/849.32	c  849s |      20 |  1145043 |   954427 |    19209    119 |        5 |      302
851.09/851.43	c  851s |      20 |  1146933 |   956027 |    19209    120 |        5 |      302
853.09/853.45	c  853s |      20 |  1149614 |   958227 |    19209    120 |        5 |      302
855.19/855.51	c  855s |      20 |  1152239 |   960427 |    19209    120 |        5 |      302
857.29/857.60	c  857s |      20 |  1154336 |   962227 |    19209    120 |        5 |      302
859.29/859.60	c  859s |      20 |  1156391 |   963927 |    19209    120 |        5 |      302
861.29/861.60	c  861s |      20 |  1157989 |   965227 |    19209    120 |        5 |      302
863.29/863.64	c  863s |      20 |  1160262 |   967127 |    19209    121 |        5 |      302
865.39/865.74	c  865s |      20 |  1163388 |   969627 |    19209    121 |        5 |      302
867.38/867.77	c  867s |      20 |  1166046 |   971727 |    19209    121 |        5 |      302
869.38/869.79	c  869s |      20 |  1168230 |   973527 |    19209    121 |        5 |      302
871.38/871.79	c  871s |      20 |  1170170 |   975127 |    19209    121 |        5 |      302
873.48/873.84	c  873s |      20 |  1172403 |   976927 |    19209    122 |        5 |      302
875.48/875.89	c  875s |      20 |  1174857 |   978927 |    19209    122 |        5 |      302
877.59/877.99	c  877s |      20 |  1177339 |   980927 |    19209    122 |        5 |      302
879.69/880.06	c  879s |      20 |  1179519 |   982727 |    19209    122 |        5 |      302
881.78/882.16	c  881s |      20 |  1181515 |   984427 |    19209    122 |        5 |      302
883.78/884.19	c  884s |      20 |  1183783 |   986227 |    19209    123 |        5 |      302
886.18/886.51	c  886s |      20 |  1186132 |   988127 |    19209    123 |        5 |      302
888.18/888.53	c  888s |      20 |  1188432 |   990027 |    19209    123 |        5 |      302
890.28/890.62	c  890s |      20 |  1190716 |   991927 |    19209    123 |        5 |      302
892.28/892.66	c  892s |      20 |  1192790 |   993627 |    21130    123 |        5 |      302
894.38/894.78	c  894s |      20 |  1194842 |   995327 |    21130    123 |        5 |      302
896.48/896.82	c  896s |      20 |  1196638 |   996827 |    21130    124 |        5 |      302
898.49/898.87	c  898s |      20 |  1199245 |   999027 |    21130    124 |        5 |      302
899.68/900.03	c  899s |      21 |  1200735 |  1000345 |    21130    124 |        5 |      302
901.68/902.10	c  901s |      21 |  1203012 |  1002045 |    21130    124 |        5 |      302
903.78/904.14	c  903s |      21 |  1206251 |  1004445 |    21130    124 |        5 |      302
905.78/906.18	c  906s |      21 |  1209071 |  1006545 |    21130    124 |        5 |      302
907.88/908.21	c  908s |      21 |  1211615 |  1008545 |    21130    125 |        5 |      302
909.88/910.26	c  910s |      21 |  1214570 |  1010845 |    21130    125 |        5 |      302
911.87/912.28	c  912s |      21 |  1217094 |  1012945 |    21130    125 |        5 |      302
913.98/914.30	c  914s |      21 |  1219448 |  1014845 |    21130    125 |        5 |      302
915.98/916.35	c  916s |      21 |  1221644 |  1016645 |    21130    125 |        5 |      302
917.97/918.39	c  918s |      21 |  1223815 |  1018245 |    21130    126 |        5 |      302
920.07/920.42	c  920s |      21 |  1226125 |  1020045 |    21130    126 |        5 |      302
922.07/922.43	c  922s |      21 |  1228791 |  1022245 |    21130    126 |        5 |      302
924.07/924.44	c  924s |      21 |  1231012 |  1024045 |    21130    126 |        5 |      302
926.07/926.46	c  926s |      21 |  1233503 |  1026045 |    21130    126 |        5 |      302
928.08/928.47	c  928s |      21 |  1235703 |  1027945 |    21130    126 |        5 |      302
930.17/930.50	c  930s |      21 |  1237907 |  1029845 |    21130    127 |        5 |      302
932.17/932.57	c  932s |      21 |  1239556 |  1031045 |    21130    127 |        5 |      302
934.27/934.64	c  934s |      21 |  1242294 |  1033245 |    21130    127 |        5 |      302
936.27/936.66	c  936s |      21 |  1245111 |  1035545 |    21130    127 |        5 |      302
938.37/938.71	c  938s |      21 |  1247706 |  1037745 |    21130    127 |        5 |      302
940.47/940.86	c  940s |      21 |  1249983 |  1039745 |    21130    128 |        5 |      302
942.47/942.87	c  942s |      21 |  1252753 |  1042245 |    21130    128 |        5 |      302
945.27/945.62	c  945s |      21 |  1255342 |  1044445 |    21130    128 |        5 |      302
947.27/947.67	c  947s |      21 |  1258280 |  1047045 |    21130    128 |        5 |      302
949.37/949.71	c  949s |      21 |  1260366 |  1048945 |    21130    128 |        5 |      302
951.37/951.73	c  951s |      21 |  1262316 |  1050745 |    21130    129 |        5 |      302
953.38/953.77	c  953s |      21 |  1265214 |  1053145 |    21130    129 |        5 |      302
955.47/955.81	c  955s |      21 |  1267954 |  1055345 |    21130    129 |        5 |      302
957.47/957.84	c  957s |      21 |  1270331 |  1057245 |    21130    129 |        5 |      302
959.47/959.87	c  959s |      21 |  1272606 |  1059045 |    21130    129 |        5 |      302
961.57/961.90	c  961s |      21 |  1274850 |  1060745 |    21130    129 |        5 |      302
963.57/963.91	c  963s |      21 |  1277088 |  1062545 |    21130    130 |        5 |      302
965.58/965.94	c  965s |      21 |  1279504 |  1064645 |    21130    130 |        5 |      302
967.57/967.96	c  967s |      21 |  1282282 |  1066945 |    21130    130 |        5 |      302
969.67/970.01	c  969s |      21 |  1284684 |  1068845 |    21130    130 |        5 |      302
971.77/972.10	c  971s |      21 |  1287262 |  1070745 |    21130    130 |        5 |      302
973.77/974.16	c  973s |      21 |  1289411 |  1072545 |    21130    131 |        5 |      302
975.87/976.25	c  976s |      21 |  1292542 |  1074945 |    21130    131 |        5 |      302
977.97/978.38	c  978s |      21 |  1294998 |  1076945 |    21130    131 |        5 |      302
979.97/980.39	c  980s |      21 |  1297294 |  1078745 |    21130    131 |        5 |      302
982.07/982.42	c  982s |      21 |  1299284 |  1080445 |    21130    131 |        5 |      302
984.37/984.71	c  984s |      21 |  1301363 |  1082145 |    21130    131 |        5 |      302
986.37/986.74	c  986s |      21 |  1303666 |  1084045 |    21130    132 |        5 |      302
988.36/988.76	c  988s |      21 |  1306871 |  1086545 |    21130    132 |        5 |      302
990.46/990.87	c  990s |      21 |  1309668 |  1088845 |    21130    132 |        5 |      302
992.56/992.91	c  992s |      21 |  1312086 |  1090845 |    21130    132 |        5 |      302
994.66/995.07	c  994s |      21 |  1314093 |  1092245 |    21130    132 |        5 |      302
996.76/997.12	c  996s |      21 |  1315888 |  1093545 |    21130    133 |        5 |      302
998.86/999.21	c  999s |      21 |  1318230 |  1095445 |    21130    133 |        5 |      302
1000.86/1001.26	c 1001s |      21 |  1320505 |  1097345 |    21130    133 |        5 |      302
1002.87/1003.27	c 1003s |      21 |  1322011 |  1098745 |    21130    133 |        5 |      302
1004.96/1005.30	c 1005s |      21 |  1323397 |  1100045 |    21130    133 |        5 |      302
1007.06/1007.43	c 1007s |      21 |  1324942 |  1101445 |    21130    133 |        5 |      302
1009.06/1009.47	c 1009s |      21 |  1326832 |  1102945 |    21130    133 |        5 |      302
1011.26/1011.65	c 1011s |      21 |  1328672 |  1104345 |    21130    134 |        5 |      302
1013.26/1013.67	c 1013s |      21 |  1331363 |  1106045 |    21130    134 |        5 |      302
1015.26/1015.68	c 1015s |      21 |  1334777 |  1108745 |    21130    134 |        5 |      302
1017.36/1017.74	c 1017s |      21 |  1337643 |  1111245 |    21130    134 |        5 |      302
1019.36/1019.75	c 1019s |      21 |  1340127 |  1113345 |    21130    134 |        5 |      302
1021.36/1021.79	c 1021s |      21 |  1342515 |  1115345 |    21130    135 |        5 |      302
1023.46/1023.84	c 1023s |      21 |  1345265 |  1117745 |    21130    135 |        5 |      302
1025.56/1025.91	c 1025s |      21 |  1347716 |  1119945 |    21130    135 |        5 |      302
1027.65/1028.00	c 1027s |      21 |  1350229 |  1122145 |    21130    135 |        5 |      302
1029.75/1030.10	c 1029s |      21 |  1352704 |  1124145 |    21130    135 |        5 |      302
1031.75/1032.10	c 1031s |      21 |  1354601 |  1125645 |    21130    136 |        5 |      302
1033.76/1034.11	c 1033s |      21 |  1356851 |  1127545 |    21130    136 |        5 |      302
1035.75/1036.15	c 1035s |      21 |  1359460 |  1129845 |    21130    136 |        5 |      302
1037.85/1038.22	c 1038s |      21 |  1361925 |  1132045 |    21130    136 |        5 |      302
1039.85/1040.24	c 1040s |      21 |  1364110 |  1134045 |    21130    136 |        5 |      302
1041.85/1042.28	c 1042s |      21 |  1366281 |  1135845 |    21130    136 |        5 |      302
1044.15/1044.58	c 1044s |      21 |  1368900 |  1137645 |    21130    137 |        5 |      302
1046.25/1046.61	c 1046s |      21 |  1371584 |  1139745 |    21130    137 |        5 |      302
1048.25/1048.64	c 1048s |      21 |  1374374 |  1142045 |    21130    137 |        5 |      302
1050.35/1050.72	c 1050s |      21 |  1377001 |  1144145 |    21130    137 |        5 |      302
1052.36/1052.76	c 1052s |      21 |  1379020 |  1145845 |    21130    137 |        5 |      302
1054.45/1054.80	c 1054s |      21 |  1381253 |  1147745 |    21130    138 |        5 |      302
1056.45/1056.84	c 1056s |      21 |  1384296 |  1150245 |    21130    138 |        5 |      302
1058.45/1058.87	c 1058s |      21 |  1385824 |  1151545 |    21130    138 |        5 |      302
1060.45/1060.89	c 1060s |      21 |  1388012 |  1153445 |    21130    138 |        5 |      302
1062.55/1062.94	c 1062s |      21 |  1390126 |  1155345 |    21130    138 |        5 |      302
1064.65/1065.07	c 1064s |      21 |  1392057 |  1157045 |    21130    138 |        5 |      302
1066.66/1067.08	c 1066s |      21 |  1393028 |  1157845 |    21130    139 |        5 |      302
1068.76/1069.12	c 1068s |      21 |  1396294 |  1160245 |    21130    139 |        5 |      302
1070.76/1071.14	c 1070s |      21 |  1398708 |  1162245 |    21130    139 |        5 |      302
1072.75/1073.15	c 1072s |      21 |  1401112 |  1164245 |    21130    139 |        5 |      302
1074.76/1075.17	c 1075s |      21 |  1403167 |  1166045 |    21130    139 |        5 |      302
1076.85/1077.23	c 1077s |      21 |  1405117 |  1167745 |    21130    139 |        5 |      302
1078.95/1079.30	c 1079s |      21 |  1406885 |  1169145 |    21130    140 |        5 |      302
1080.96/1081.37	c 1081s |      21 |  1409525 |  1171545 |    21130    140 |        5 |      302
1083.05/1083.45	c 1083s |      21 |  1412091 |  1173945 |    21130    140 |        5 |      302
1085.05/1085.48	c 1085s |      21 |  1414397 |  1175945 |    21130    140 |        5 |      302
1087.15/1087.50	c 1087s |      21 |  1416484 |  1177745 |    21130    140 |        5 |      302
1089.15/1089.54	c 1089s |      21 |  1418892 |  1179745 |    21130    141 |        5 |      302
1091.85/1092.23	c 1092s |      21 |  1420862 |  1181445 |    21130    141 |        5 |      302
1093.95/1094.30	c 1094s |      21 |  1423398 |  1183645 |    21130    141 |        5 |      302
1095.95/1096.34	c 1096s |      21 |  1425918 |  1185845 |    21130    141 |        5 |      302
1097.95/1098.38	c 1098s |      21 |  1428289 |  1187945 |    21130    141 |        5 |      302
1100.05/1100.43	c 1100s |      21 |  1430422 |  1189745 |    21130    141 |        5 |      302
1102.15/1102.51	c 1102s |      21 |  1432450 |  1191545 |    21130    142 |        5 |      302
1104.16/1104.58	c 1104s |      21 |  1434974 |  1193845 |    21130    142 |        5 |      302
1106.25/1106.62	c 1106s |      21 |  1437422 |  1196045 |    21130    142 |        5 |      302
1108.25/1108.64	c 1108s |      21 |  1439406 |  1197745 |    21130    142 |        5 |      302
1110.35/1110.72	c 1110s |      21 |  1441636 |  1199645 |    21130    142 |        5 |      302
1113.64/1114.07	c 1113s |      21 |  1443307 |  1200945 |    21130    143 |        5 |      302
1115.64/1116.08	c 1115s |      21 |  1446076 |  1203245 |    21130    143 |        5 |      302
1117.74/1118.16	c 1117s |      21 |  1448744 |  1205445 |    21130    143 |        5 |      302
1119.74/1120.17	c 1120s |      21 |  1451730 |  1207745 |    21130    143 |        5 |      302
1121.84/1122.24	c 1122s |      21 |  1454306 |  1209945 |    21130    143 |        5 |      302
1123.85/1124.30	c 1124s |      21 |  1456230 |  1211645 |    21130    144 |        5 |      302
1125.94/1126.31	c 1126s |      21 |  1457996 |  1213145 |    21130    144 |        5 |      302
1127.94/1128.37	c 1128s |      21 |  1460846 |  1215645 |    21130    144 |        5 |      302
1130.04/1130.45	c 1130s |      21 |  1463558 |  1218045 |    21130    144 |        5 |      302
1132.04/1132.49	c 1132s |      21 |  1465625 |  1219945 |    21130    144 |        5 |      302
1134.24/1134.60	c 1134s |      21 |  1467677 |  1221845 |    21130    144 |        5 |      302
1136.24/1136.62	c 1136s |      21 |  1469283 |  1223345 |    21130    145 |        5 |      302
1138.25/1138.62	c 1138s |      21 |  1471998 |  1225745 |    21130    145 |        5 |      302
1140.24/1140.69	c 1140s |      21 |  1474735 |  1227945 |    21130    145 |        5 |      302
1142.84/1143.23	c 1143s |      21 |  1477303 |  1230245 |    21130    145 |        5 |      302
1144.84/1145.26	c 1145s |      21 |  1479409 |  1231945 |    21130    145 |        5 |      302
1146.84/1147.30	c 1147s |      21 |  1481562 |  1233845 |    21130    146 |        5 |      302
1148.94/1149.35	c 1149s |      21 |  1484688 |  1236345 |    21130    146 |        5 |      302
1151.04/1151.41	c 1151s |      21 |  1487417 |  1238745 |    21130    146 |        5 |      302
1153.04/1153.43	c 1153s |      21 |  1489844 |  1240845 |    21130    146 |        5 |      302
1155.04/1155.46	c 1155s |      21 |  1492044 |  1242845 |    21130    146 |        5 |      302
1157.14/1157.50	c 1157s |      21 |  1494350 |  1244945 |    21130    147 |        5 |      302
1159.14/1159.56	c 1159s |      21 |  1496969 |  1247345 |    21130    147 |        5 |      302
1161.13/1161.59	c 1161s |      21 |  1499622 |  1249445 |    21130    147 |        5 |      302
1163.23/1163.64	c 1163s |      21 |  1503036 |  1251745 |    21130    147 |        5 |      302
1165.33/1165.72	c 1165s |      21 |  1505990 |  1254045 |    21130    147 |        5 |      302
1167.33/1167.78	c 1167s |      21 |  1508784 |  1256445 |    21130    148 |        5 |      302
1169.43/1169.86	c 1169s |      21 |  1511530 |  1258845 |    21130    148 |        5 |      302
1171.54/1171.90	c 1171s |      21 |  1512978 |  1260145 |    21130    148 |        5 |      302
1173.54/1173.99	c 1173s |      21 |  1515440 |  1262345 |    21130    148 |        5 |      302
1175.64/1176.03	c 1175s |      21 |  1516287 |  1263045 |    21130    148 |        5 |      302
1177.74/1178.12	c 1177s |      21 |  1518418 |  1264745 |    21130    148 |        5 |      302
1179.73/1180.14	c 1179s |      21 |  1520826 |  1266545 |    21130    149 |        5 |      302
1181.83/1182.20	c 1182s |      21 |  1523883 |  1269045 |    21130    149 |        5 |      302
1183.83/1184.28	c 1184s |      21 |  1526461 |  1271145 |    21130    149 |        5 |      302
1185.93/1186.36	c 1186s |      21 |  1528971 |  1273145 |    21130    149 |        5 |      302
1188.03/1188.40	c 1188s |      21 |  1531121 |  1274945 |    21130    149 |        5 |      302
1190.03/1190.43	c 1190s |      21 |  1533558 |  1277045 |    21130    150 |        5 |      302
1192.04/1192.48	c 1192s |      21 |  1536294 |  1279345 |    21130    150 |        5 |      302
1194.03/1194.48	c 1194s |      21 |  1538942 |  1281545 |    21130    150 |        5 |      302
1196.13/1196.54	c 1196s |      21 |  1541100 |  1283445 |    21130    150 |        5 |      302
1198.23/1198.65	c 1198s |      21 |  1543311 |  1285345 |    21130    150 |        5 |      302
1200.23/1200.66	c 1200s |      21 |  1545530 |  1287345 |    21130    151 |        5 |      302
1202.23/1202.67	c 1202s |      21 |  1547890 |  1289445 |    21130    151 |        5 |      302
1204.33/1204.75	c 1204s |      21 |  1550477 |  1291745 |    21130    151 |        5 |      302
1206.44/1206.82	c 1206s |      21 |  1552902 |  1293845 |    21130    151 |        5 |      302
1208.43/1208.84	c 1208s |      21 |  1555378 |  1295845 |    21130    151 |        5 |      302
1210.43/1210.89	c 1210s |      21 |  1557126 |  1297245 |    21130    152 |        5 |      302
1213.32/1213.72	c 1213s |      21 |  1558651 |  1298645 |    21130    152 |        5 |      302
1215.33/1215.74	c 1215s |      21 |  1561508 |  1301145 |    21130    152 |        5 |      302
1217.33/1217.78	c 1217s |      21 |  1563994 |  1303345 |    21130    152 |        5 |      302
1219.42/1219.89	c 1219s |      21 |  1566177 |  1305345 |    21130    152 |        5 |      302
1221.52/1221.92	c 1221s |      21 |  1568235 |  1307245 |    21130    152 |        5 |      302
1223.53/1223.99	c 1223s |      21 |  1570125 |  1308845 |    21130    153 |        5 |      302
1225.63/1226.03	c 1225s |      21 |  1572914 |  1311345 |    21130    153 |        5 |      302
1227.63/1228.03	c 1227s |      21 |  1575352 |  1313445 |    21130    153 |        5 |      302
1229.73/1230.11	c 1229s |      21 |  1577445 |  1315145 |    21130    153 |        5 |      302
1231.83/1232.21	c 1232s |      21 |  1579571 |  1316845 |    21130    153 |        5 |      302
1234.03/1234.49	c 1234s |      21 |  1581473 |  1318445 |    21130    154 |        5 |      302
1237.43/1237.82	c 1237s |      21 |  1584009 |  1320545 |    21130    154 |        5 |      302
1239.43/1239.88	c 1239s |      21 |  1586940 |  1323045 |    21130    154 |        5 |      302
1241.53/1241.97	c 1241s |      21 |  1589337 |  1325145 |    21130    154 |        5 |      302
1243.63/1244.06	c 1243s |      21 |  1591662 |  1327145 |    21130    154 |        5 |      302
1245.62/1246.07	c 1245s |      21 |  1593709 |  1328945 |    21130    154 |        5 |      302
1247.72/1248.12	c 1247s |      21 |  1596234 |  1331145 |    21130    155 |        5 |      302
1249.72/1250.18	c 1250s |      21 |  1598997 |  1333545 |    21130    155 |        5 |      302
1251.82/1252.23	c 1252s |      21 |  1602097 |  1336145 |    21130    155 |        5 |      302
1253.92/1254.30	c 1254s |      21 |  1604585 |  1338345 |    21130    155 |        5 |      302
1255.93/1256.30	c 1256s |      21 |  1606739 |  1340345 |    21130    156 |        5 |      302
1257.92/1258.39	c 1258s |      21 |  1609362 |  1342745 |    21130    156 |        5 |      302
1260.02/1260.47	c 1260s |      21 |  1611886 |  1344945 |    21130    156 |        5 |      302
1262.02/1262.48	c 1262s |      21 |  1614044 |  1346845 |    21130    156 |        5 |      302
1264.12/1264.54	c 1264s |      21 |  1616442 |  1348845 |    21130    156 |        5 |      302
1266.12/1266.57	c 1266s |      21 |  1618422 |  1350545 |    21130    156 |        5 |      302
1268.22/1268.61	c 1268s |      21 |  1620620 |  1352245 |    21130    157 |        5 |      302
1270.62/1271.05	c 1270s |      21 |  1622385 |  1353845 |    21130    157 |        5 |      302
1272.62/1273.08	c 1272s |      21 |  1625161 |  1356245 |    21130    157 |        5 |      302
1274.72/1275.12	c 1274s |      21 |  1627694 |  1358245 |    21130    157 |        5 |      302
1276.73/1277.15	c 1276s |      21 |  1629801 |  1360145 |    21130    157 |        5 |      302
1278.82/1279.21	c 1279s |      21 |  1631926 |  1361945 |    21130    158 |        5 |      302
1280.82/1281.27	c 1281s |      21 |  1635025 |  1364745 |    21130    158 |        5 |      302
1282.92/1283.33	c 1283s |      21 |  1637903 |  1367045 |    21130    158 |        5 |      302
1284.92/1285.36	c 1285s |      21 |  1640512 |  1369145 |    21130    158 |        5 |      302
1287.02/1287.45	c 1287s |      21 |  1642966 |  1371245 |    21130    158 |        5 |      302
1289.02/1289.46	c 1289s |      21 |  1645314 |  1373245 |    21130    159 |        5 |      302
1291.13/1291.54	c 1291s |      21 |  1647992 |  1375645 |    21130    159 |        5 |      302
1293.12/1293.59	c 1293s |      21 |  1650165 |  1377545 |    21130    159 |        5 |      302
1295.22/1295.66	c 1295s |      21 |  1652768 |  1379845 |    21130    159 |        5 |      302
1297.22/1297.66	c 1297s |      21 |  1655377 |  1382145 |    21130    159 |        5 |      302
1299.22/1299.68	c 1299s |      21 |  1656656 |  1383245 |    21130    160 |        5 |      302
1301.32/1301.74	c 1301s |      21 |  1659988 |  1385945 |    21130    160 |        5 |      302
1303.32/1303.77	c 1303s |      21 |  1662777 |  1388445 |    21130    160 |        5 |      302
1305.42/1305.85	c 1305s |      21 |  1665364 |  1390645 |    21130    160 |        5 |      302
1307.42/1307.87	c 1307s |      21 |  1667697 |  1392645 |    21130    160 |        5 |      302
1309.42/1309.87	c 1309s |      21 |  1669663 |  1394345 |    21130    161 |        5 |      302
1311.72/1312.14	c 1311s |      21 |  1671975 |  1396245 |    21130    161 |        5 |      302
1313.71/1314.19	c 1314s |      21 |  1675157 |  1398845 |    21130    161 |        5 |      302
1315.81/1316.24	c 1316s |      21 |  1677716 |  1401045 |    21130    161 |        5 |      302
1317.91/1318.32	c 1318s |      21 |  1680422 |  1403245 |    21130    161 |        5 |      302
1319.91/1320.36	c 1320s |      21 |  1682981 |  1405345 |    21130    162 |        5 |      302
1322.01/1322.41	c 1322s |      21 |  1685837 |  1407745 |    21130    162 |        5 |      302
1324.12/1324.58	c 1324s |      21 |  1688302 |  1409845 |    21130    162 |        5 |      302
1326.22/1326.67	c 1326s |      21 |  1691387 |  1412445 |    21130    162 |        5 |      302
1328.31/1328.72	c 1328s |      21 |  1693862 |  1414545 |    21130    162 |        5 |      302
1330.31/1330.72	c 1330s |      21 |  1695131 |  1415645 |    21130    163 |        5 |      302
1332.41/1332.81	c 1332s |      21 |  1698347 |  1418445 |    21130    163 |        5 |      302
1334.41/1334.85	c 1334s |      21 |  1701064 |  1420945 |    21130    163 |        5 |      302
1336.51/1336.94	c 1336s |      21 |  1703498 |  1423145 |    21130    163 |        5 |      302
1338.51/1338.99	c 1338s |      21 |  1705773 |  1425245 |    21130    163 |        5 |      302
1340.71/1341.16	c 1340s |      21 |  1706945 |  1426245 |    21130    164 |        5 |      302
1342.82/1343.21	c 1343s |      21 |  1710106 |  1428845 |    21130    164 |        5 |      302
1344.81/1345.23	c 1345s |      21 |  1712902 |  1431245 |    21130    164 |        5 |      302
1346.91/1347.33	c 1347s |      21 |  1715359 |  1433445 |    21130    164 |        5 |      302
1349.31/1349.71	c 1349s |      21 |  1717879 |  1435545 |    21130    164 |        5 |      302
1351.31/1351.76	c 1351s |      21 |  1720452 |  1437545 |    21130    165 |        5 |      302
1353.41/1353.80	c 1353s |      21 |  1723536 |  1440045 |    21130    165 |        5 |      302
1355.41/1355.82	c 1355s |      21 |  1726306 |  1442245 |    21130    165 |        5 |      302
1357.41/1357.83	c 1357s |      21 |  1728296 |  1443645 |    21130    165 |        5 |      302
1359.51/1359.93	c 1359s |      21 |  1730691 |  1445645 |    21130    165 |        5 |      302
1361.51/1361.98	c 1361s |      21 |  1732756 |  1447445 |    21130    166 |        5 |      302
1363.61/1364.04	c 1363s |      21 |  1735586 |  1449845 |    21130    166 |        5 |      302
1365.70/1366.11	c 1365s |      21 |  1738243 |  1452245 |    21130    166 |        5 |      302
1368.01/1368.47	c 1368s |      21 |  1740164 |  1453845 |    21130    166 |        5 |      302
1370.10/1370.53	c 1370s |      21 |  1742953 |  1456345 |    21130    166 |        5 |      302
1372.10/1372.58	c 1372s |      21 |  1745776 |  1458745 |    21130    167 |        5 |      302
1374.20/1374.61	c 1374s |      21 |  1747756 |  1460545 |    21130    167 |        5 |      302
1376.20/1376.63	c 1376s |      21 |  1750833 |  1462945 |    21130    167 |        5 |      302
1378.30/1378.71	c 1378s |      21 |  1753248 |  1465045 |    21130    167 |        5 |      302
1380.30/1380.79	c 1380s |      21 |  1755723 |  1467145 |    21130    167 |        5 |      302
1382.41/1382.81	c 1382s |      21 |  1757895 |  1469145 |    21130    168 |        5 |      302
1384.40/1384.83	c 1384s |      21 |  1760874 |  1471845 |    21130    168 |        5 |      302
1386.40/1386.86	c 1386s |      21 |  1763804 |  1474445 |    21130    168 |        5 |      302
1388.40/1388.88	c 1388s |      21 |  1766225 |  1476645 |    21130    168 |        5 |      302
1390.50/1390.95	c 1390s |      21 |  1768352 |  1478645 |    21130    168 |        5 |      302
1392.50/1392.96	c 1392s |      21 |  1769884 |  1480045 |    21130    169 |        5 |      302
1394.60/1395.03	c 1394s |      21 |  1772906 |  1482745 |    21130    169 |        5 |      302
1396.61/1397.04	c 1396s |      21 |  1775650 |  1485245 |    21130    169 |        5 |      302
1398.60/1399.06	c 1398s |      21 |  1778054 |  1487445 |    21130    169 |        5 |      302
1400.70/1401.11	c 1400s |      21 |  1780510 |  1489545 |    21130    169 |        5 |      302
1402.70/1403.19	c 1403s |      21 |  1782920 |  1491645 |    23244    170 |        5 |      302
1404.70/1405.19	c 1405s |      21 |  1785654 |  1493845 |    23244    170 |        5 |      302
1406.80/1407.27	c 1407s |      21 |  1788190 |  1495945 |    23244    170 |        5 |      302
1408.90/1409.33	c 1409s |      21 |  1790553 |  1498045 |    23244    170 |        5 |      302
1411.00/1411.45	c 1411s |      21 |  1792842 |  1500045 |    23244    170 |        5 |      302
1411.59/1412.08	c 1411s |      22 |  1793495 |  1500622 |    23244    170 |        5 |      302
1413.69/1414.13	c 1413s |      22 |  1795223 |  1502022 |    23244    170 |        5 |      302
1415.69/1416.15	c 1415s |      22 |  1797285 |  1503622 |    23244    171 |        5 |      302
1417.70/1418.19	c 1418s |      22 |  1800812 |  1506522 |    23244    171 |        5 |      302
1419.81/1420.26	c 1420s |      22 |  1803994 |  1509022 |    23244    171 |        5 |      302
1421.91/1422.32	c 1422s |      22 |  1805560 |  1510222 |    23244    171 |        5 |      302
1423.90/1424.32	c 1424s |      22 |  1807679 |  1512022 |    23244    171 |        5 |      302
1425.90/1426.36	c 1426s |      22 |  1810049 |  1514022 |    23244    171 |        5 |      302
1427.90/1428.37	c 1428s |      22 |  1812780 |  1516222 |    23244    172 |        5 |      302
1429.90/1430.38	c 1430s |      22 |  1815613 |  1518722 |    23244    172 |        5 |      302
1432.00/1432.40	c 1432s |      22 |  1818279 |  1521022 |    23244    172 |        5 |      302
1434.11/1434.50	c 1434s |      22 |  1820626 |  1523022 |    23244    172 |        5 |      302
1436.10/1436.60	c 1436s |      22 |  1822724 |  1524822 |    23244    172 |        5 |      302
1438.30/1438.79	c 1438s |      22 |  1824399 |  1526322 |    23244    173 |        5 |      302
1440.39/1440.82	c 1440s |      22 |  1826745 |  1528322 |    23244    173 |        5 |      302
1442.39/1442.87	c 1442s |      22 |  1829611 |  1530822 |    23244    173 |        5 |      302
1444.49/1444.93	c 1444s |      22 |  1832112 |  1533022 |    23244    173 |        5 |      302
1446.49/1446.98	c 1446s |      22 |  1834606 |  1535122 |    23244    173 |        5 |      302
1448.59/1449.09	c 1448s |      22 |  1837187 |  1537222 |    23244    173 |        5 |      302
1452.29/1452.75	c 1452s |      22 |  1839459 |  1539122 |    23244    174 |        5 |      302
1454.39/1454.84	c 1454s |      22 |  1842316 |  1541422 |    23244    174 |        5 |      302
1456.39/1456.86	c 1456s |      22 |  1844978 |  1543522 |    23244    174 |        5 |      302
1458.49/1458.95	c 1458s |      22 |  1847395 |  1545522 |    23244    174 |        5 |      302
1460.59/1461.03	c 1460s |      22 |  1849659 |  1547522 |    23244    174 |        5 |      302
1462.59/1463.09	c 1462s |      22 |  1851607 |  1549222 |    23244    174 |        5 |      302
1464.69/1465.13	c 1464s |      22 |  1853812 |  1551122 |    23244    175 |        5 |      302
1466.69/1467.15	c 1466s |      22 |  1856399 |  1553422 |    23244    175 |        5 |      302
1468.79/1469.23	c 1469s |      22 |  1859121 |  1555822 |    23244    175 |        5 |      302
1470.79/1471.28	c 1471s |      22 |  1861553 |  1558022 |    23244    175 |        5 |      302
1472.89/1473.35	c 1473s |      22 |  1864107 |  1560222 |    23244    175 |        5 |      302
1474.99/1475.40	c 1475s |      22 |  1866811 |  1562622 |    23244    176 |        5 |      302
1478.10/1478.55	c 1478s |      22 |  1867442 |  1563122 |    23244    176 |        5 |      302
1480.09/1480.60	c 1480s |      22 |  1870834 |  1565522 |    23244    176 |        5 |      302
1482.19/1482.68	c 1482s |      22 |  1873618 |  1567622 |    23244    176 |        5 |      302
1484.19/1484.69	c 1484s |      22 |  1875952 |  1569622 |    23244    176 |        5 |      302
1486.29/1486.71	c 1486s |      22 |  1878282 |  1571522 |    23244    176 |        5 |      302
1488.29/1488.75	c 1488s |      22 |  1880212 |  1573122 |    23244    177 |        5 |      302
1490.29/1490.77	c 1490s |      22 |  1883149 |  1575622 |    23244    177 |        5 |      302
1492.39/1492.84	c 1492s |      22 |  1885849 |  1578022 |    23244    177 |        5 |      302
1494.49/1494.91	c 1494s |      22 |  1888653 |  1580222 |    23244    177 |        5 |      302
1496.49/1496.92	c 1496s |      22 |  1890848 |  1582022 |    23244    177 |        5 |      302
1498.48/1498.98	c 1498s |      22 |  1893002 |  1583822 |    23244    177 |        5 |      302
1500.58/1501.01	c 1500s |      22 |  1894845 |  1585522 |    23244    178 |        5 |      302
1502.58/1503.01	c 1502s |      22 |  1897446 |  1587722 |    23244    178 |        5 |      302
1504.58/1505.08	c 1504s |      22 |  1900318 |  1590022 |    23244    178 |        5 |      302
1506.59/1507.08	c 1506s |      22 |  1902846 |  1592122 |    23244    178 |        5 |      302
1508.68/1509.18	c 1509s |      22 |  1904978 |  1593922 |    23244    178 |        5 |      302
1510.78/1511.28	c 1511s |      22 |  1906956 |  1595622 |    23244    178 |        5 |      302
1512.88/1513.34	c 1513s |      22 |  1908938 |  1597222 |    23244    179 |        5 |      302
1514.88/1515.38	c 1515s |      22 |  1910386 |  1598422 |    23244    179 |        5 |      302
1516.88/1517.38	c 1517s |      22 |  1912991 |  1600722 |    23244    179 |        5 |      302
1519.08/1519.50	c 1519s |      22 |  1915723 |  1603022 |    23244    179 |        5 |      302
1521.08/1521.59	c 1521s |      22 |  1918179 |  1605122 |    23244    179 |        5 |      302
1523.78/1524.26	c 1524s |      22 |  1918947 |  1605722 |    23244    179 |        5 |      302
1525.78/1526.29	c 1526s |      22 |  1921666 |  1607622 |    23244    179 |        5 |      302
1527.88/1528.30	c 1528s |      22 |  1924406 |  1609622 |    23244    180 |        5 |      302
1529.88/1530.34	c 1530s |      22 |  1927345 |  1612022 |    23244    180 |        5 |      302
1531.99/1532.42	c 1532s |      22 |  1930303 |  1614422 |    23244    180 |        5 |      302
1533.98/1534.47	c 1534s |      22 |  1932955 |  1616522 |    23244    180 |        5 |      302
1536.08/1536.52	c 1536s |      22 |  1934883 |  1618122 |    23244    180 |        5 |      302
1538.28/1538.78	c 1538s |      22 |  1937500 |  1620022 |    23244    181 |        5 |      302
1540.68/1541.12	c 1540s |      22 |  1938973 |  1621122 |    23244    181 |        5 |      302
1542.78/1543.20	c 1543s |      22 |  1942262 |  1623622 |    23244    181 |        5 |      302
1544.78/1545.23	c 1545s |      22 |  1944739 |  1625622 |    23244    181 |        5 |      302
1546.77/1547.27	c 1547s |      22 |  1947333 |  1627722 |    23244    181 |        5 |      302
1548.77/1549.29	c 1549s |      22 |  1949752 |  1629722 |    23244    181 |        5 |      302
1550.87/1551.32	c 1551s |      22 |  1951890 |  1631422 |    23244    181 |        5 |      302
1552.88/1553.33	c 1553s |      22 |  1954115 |  1633222 |    23244    182 |        5 |      302
1554.87/1555.40	c 1555s |      22 |  1955717 |  1634522 |    23244    182 |        5 |      302
1556.97/1557.41	c 1557s |      22 |  1958278 |  1636822 |    23244    182 |        5 |      302
1558.97/1559.42	c 1559s |      22 |  1961120 |  1639122 |    23244    182 |        5 |      302
1561.07/1561.50	c 1561s |      22 |  1963522 |  1640822 |    23244    182 |        5 |      302
1563.17/1563.63	c 1563s |      22 |  1965750 |  1642422 |    23244    182 |        5 |      302
1565.17/1565.67	c 1565s |      22 |  1967494 |  1644022 |    23244    183 |        5 |      302
1567.19/1567.69	c 1567s |      22 |  1970844 |  1646422 |    23244    183 |        5 |      302
1569.29/1569.79	c 1569s |      22 |  1973850 |  1648622 |    23244    183 |        5 |      302
1571.38/1571.81	c 1571s |      22 |  1976609 |  1650922 |    23244    183 |        5 |      302
1573.38/1573.81	c 1573s |      22 |  1979154 |  1652822 |    23244    183 |        5 |      302
1575.48/1575.94	c 1575s |      22 |  1981403 |  1654722 |    23244    183 |        5 |      302
1577.48/1577.95	c 1577s |      22 |  1983369 |  1656522 |    23244    184 |        5 |      302
1579.58/1580.02	c 1579s |      22 |  1986316 |  1659222 |    23244    184 |        5 |      302
1581.68/1582.11	c 1581s |      22 |  1988736 |  1661422 |    23244    184 |        5 |      302
1583.68/1584.15	c 1583s |      22 |  1991025 |  1663522 |    23244    184 |        5 |      302
1585.68/1586.18	c 1586s |      22 |  1993118 |  1665422 |    23244    184 |        5 |      302
1587.88/1588.36	c 1588s |      22 |  1994804 |  1667022 |    23244    185 |        5 |      302
1589.88/1590.36	c 1590s |      22 |  1996736 |  1668822 |    23244    185 |        5 |      302
1591.98/1592.45	c 1592s |      22 |  1998862 |  1670822 |    23244    185 |        5 |      302
1593.98/1594.45	c 1594s |      22 |  2000494 |  1672322 |    23244    185 |        5 |      302
1596.08/1596.52	c 1596s |      22 |  2002695 |  1674322 |    23244    185 |        5 |      302
1598.08/1598.59	c 1598s |      22 |  2004636 |  1676122 |    23244    185 |        5 |      302
1600.18/1600.69	c 1600s |      22 |  2006470 |  1677822 |    23244    185 |        5 |      302
1602.38/1602.85	c 1602s |      22 |  2008182 |  1679422 |    23244    186 |        5 |      302
1604.37/1604.89	c 1604s |      22 |  2010562 |  1681622 |    23244    186 |        5 |      302
1606.47/1606.98	c 1606s |      22 |  2012649 |  1683522 |    23244    186 |        5 |      302
1608.57/1609.08	c 1608s |      22 |  2014602 |  1685322 |    23244    186 |        5 |      302
1610.77/1611.20	c 1611s |      22 |  2016541 |  1687122 |    23244    186 |        5 |      302
1612.87/1613.36	c 1613s |      22 |  2018370 |  1688822 |    23244    186 |        5 |      302
1614.97/1615.48	c 1615s |      22 |  2020191 |  1690422 |    23244    186 |        5 |      302
1617.07/1617.55	c 1617s |      22 |  2021985 |  1692122 |    23244    187 |        5 |      302
1619.27/1619.73	c 1619s |      22 |  2023170 |  1693222 |    23244    187 |        5 |      302
1621.27/1621.79	c 1621s |      22 |  2025732 |  1695522 |    23244    187 |        5 |      302
1623.37/1623.88	c 1623s |      22 |  2028038 |  1697622 |    23244    187 |        5 |      302
1625.47/1625.98	c 1625s |      22 |  2030177 |  1699522 |    23244    187 |        5 |      302
1627.57/1628.07	c 1627s |      22 |  2032283 |  1701422 |    23244    187 |        5 |      302
1629.67/1630.12	c 1629s |      22 |  2034327 |  1703322 |    23244    188 |        5 |      302
1631.77/1632.21	c 1632s |      22 |  2036403 |  1705222 |    23244    188 |        5 |      302
1633.77/1634.26	c 1634s |      22 |  2038305 |  1707022 |    23244    188 |        5 |      302
1635.87/1636.37	c 1636s |      22 |  2040286 |  1708822 |    23244    188 |        5 |      302
1637.97/1638.42	c 1638s |      22 |  2041890 |  1710322 |    23244    188 |        5 |      302
1639.96/1640.42	c 1640s |      22 |  2043495 |  1711822 |    23244    188 |        5 |      302
1641.97/1642.44	c 1642s |      22 |  2044995 |  1713222 |    23244    188 |        5 |      302
1644.86/1645.37	c 1645s |      22 |  2045968 |  1714122 |    23244    189 |        5 |      302
1646.86/1647.39	c 1647s |      22 |  2048607 |  1716422 |    23244    189 |        5 |      302
1648.96/1649.41	c 1649s |      22 |  2051690 |  1719022 |    23244    189 |        5 |      302
1650.96/1651.49	c 1651s |      22 |  2054506 |  1721522 |    23244    189 |        5 |      302
1653.06/1653.55	c 1653s |      22 |  2057131 |  1723822 |    23244    189 |        5 |      302
1655.27/1655.74	c 1655s |      22 |  2059685 |  1725922 |    23244    190 |        5 |      302
1657.27/1657.75	c 1657s |      22 |  2062720 |  1728222 |    23244    190 |        5 |      302
1659.27/1659.77	c 1659s |      22 |  2065122 |  1730222 |    23244    190 |        5 |      302
1661.37/1661.80	c 1661s |      22 |  2067341 |  1732222 |    23244    190 |        5 |      302
1663.36/1663.81	c 1663s |      22 |  2069317 |  1734022 |    23244    190 |        5 |      302
1665.36/1665.84	c 1665s |      22 |  2071729 |  1735922 |    23244    190 |        5 |      302
1667.56/1668.04	c 1667s |      22 |  2073974 |  1737522 |    23244    191 |        5 |      302
1669.56/1670.05	c 1669s |      22 |  2076406 |  1739722 |    23244    191 |        5 |      302
1671.57/1672.05	c 1671s |      22 |  2078826 |  1741822 |    23244    191 |        5 |      302
1673.66/1674.13	c 1673s |      22 |  2081121 |  1743522 |    23244    191 |        5 |      302
1675.66/1676.13	c 1675s |      22 |  2083572 |  1745422 |    23244    191 |        5 |      302
1677.66/1678.18	c 1678s |      22 |  2086176 |  1747722 |    23244    191 |        5 |      302
1679.76/1680.25	c 1680s |      22 |  2088280 |  1749522 |    23244    192 |        5 |      302
1681.76/1682.28	c 1682s |      22 |  2091339 |  1752022 |    23244    192 |        5 |      302
1683.86/1684.37	c 1684s |      22 |  2094135 |  1754422 |    23244    192 |        5 |      302
1685.97/1686.43	c 1686s |      22 |  2096476 |  1756422 |    23244    192 |        5 |      302
1687.96/1688.46	c 1688s |      22 |  2098522 |  1758122 |    23244    192 |        5 |      302
1689.96/1690.46	c 1690s |      22 |  2100845 |  1759922 |    23244    192 |        5 |      302
1692.06/1692.52	c 1692s |      22 |  2102700 |  1761422 |    23244    193 |        5 |      302
1694.06/1694.55	c 1694s |      22 |  2104993 |  1763222 |    23244    193 |        5 |      302
1696.06/1696.58	c 1696s |      22 |  2107131 |  1764822 |    23244    193 |        5 |      302
1698.06/1698.59	c 1698s |      22 |  2109511 |  1766822 |    23244    193 |        5 |      302
1700.16/1700.64	c 1700s |      22 |  2111852 |  1768822 |    23244    193 |        5 |      302
1702.16/1702.69	c 1702s |      22 |  2114095 |  1770722 |    23244    193 |        5 |      302
1704.26/1704.79	c 1704s |      22 |  2115989 |  1772422 |    23244    193 |        5 |      302
1706.36/1706.85	c 1706s |      22 |  2117662 |  1773922 |    23244    194 |        5 |      302
1708.46/1708.90	c 1708s |      22 |  2120281 |  1776322 |    23244    194 |        5 |      302
1710.46/1710.96	c 1710s |      22 |  2122435 |  1778222 |    23244    194 |        5 |      302
1712.55/1713.05	c 1712s |      22 |  2124641 |  1780022 |    23244    194 |        5 |      302
1714.66/1715.14	c 1714s |      22 |  2126904 |  1781922 |    23244    194 |        5 |      302
1716.66/1717.16	c 1716s |      22 |  2128992 |  1783822 |    23244    194 |        5 |      302
1719.35/1719.89	c 1719s |      22 |  2129801 |  1784522 |    23244    195 |        5 |      302
1721.45/1721.95	c 1721s |      22 |  2132801 |  1786922 |    23244    195 |        5 |      302
1723.45/1723.98	c 1723s |      22 |  2135354 |  1789222 |    23244    195 |        5 |      302
1725.56/1726.02	c 1725s |      22 |  2138215 |  1791522 |    23244    195 |        5 |      302
1727.55/1728.07	c 1727s |      22 |  2140717 |  1793522 |    23244    195 |        5 |      302
1729.65/1730.15	c 1729s |      22 |  2143137 |  1795622 |    23244    195 |        5 |      302
1732.25/1732.75	c 1732s |      22 |  2144056 |  1796422 |    23244    196 |        5 |      302
1734.25/1734.80	c 1734s |      22 |  2147308 |  1798922 |    23244    196 |        5 |      302
1736.35/1736.86	c 1736s |      22 |  2150157 |  1801022 |    23244    196 |        5 |      302
1738.45/1738.97	c 1738s |      22 |  2152669 |  1803022 |    23244    196 |        5 |      302
1740.65/1741.10	c 1740s |      22 |  2154812 |  1804822 |    23244    196 |        5 |      302
1742.65/1743.11	c 1742s |      22 |  2157054 |  1806522 |    23244    196 |        5 |      302
1744.95/1745.42	c 1745s |      22 |  2158869 |  1808122 |    23244    197 |        5 |      302
1746.95/1747.45	c 1747s |      22 |  2161791 |  1810422 |    23244    197 |        5 |      302
1748.95/1749.47	c 1749s |      22 |  2164459 |  1812622 |    23244    197 |        5 |      302
1751.04/1751.53	c 1751s |      22 |  2166639 |  1814422 |    23244    197 |        5 |      302
1753.14/1753.66	c 1753s |      22 |  2168439 |  1816022 |    23244    197 |        5 |      302
1755.15/1755.68	c 1755s |      22 |  2170547 |  1817822 |    23244    197 |        5 |      302
1757.25/1757.76	c 1757s |      22 |  2171915 |  1818922 |    23244    197 |        5 |      302
1759.35/1759.83	c 1759s |      22 |  2174170 |  1820622 |    23244    198 |        5 |      302
1761.35/1761.88	c 1761s |      22 |  2176895 |  1822822 |    23244    198 |        5 |      302
1763.45/1763.95	c 1763s |      22 |  2179572 |  1825022 |    23244    198 |        5 |      302
1765.55/1766.04	c 1765s |      22 |  2181571 |  1826722 |    23244    198 |        5 |      302
1767.55/1768.05	c 1767s |      22 |  2183706 |  1828522 |    23244    198 |        5 |      302
1769.55/1770.06	c 1769s |      22 |  2185877 |  1830322 |    23244    198 |        5 |      302
1771.54/1772.09	c 1771s |      22 |  2187484 |  1831722 |    23244    199 |        5 |      302
1773.64/1774.10	c 1773s |      22 |  2189671 |  1833722 |    23244    199 |        5 |      302
1775.64/1776.19	c 1776s |      22 |  2192951 |  1836622 |    23244    199 |        5 |      302
1777.74/1778.26	c 1778s |      22 |  2195485 |  1838822 |    23244    199 |        5 |      302
1779.84/1780.31	c 1780s |      22 |  2197732 |  1840822 |    23244    199 |        5 |      302
1781.84/1782.32	c 1782s |      22 |  2199627 |  1842522 |    23244    199 |        5 |      302
1783.85/1784.39	c 1784s |      22 |  2201516 |  1844222 |    23244    200 |        5 |      302
1785.84/1786.39	c 1786s |      22 |  2203806 |  1846222 |    23244    200 |        5 |      302
1787.94/1788.45	c 1788s |      22 |  2206344 |  1848422 |    23244    200 |        5 |      302
1789.94/1790.48	c 1790s |      22 |  2209073 |  1850622 |    23244    200 |        5 |      302
1792.04/1792.53	c 1792s |      22 |  2211458 |  1852722 |    23244    200 |        5 |      302
1794.04/1794.57	c 1794s |      22 |  2213638 |  1854522 |    23244    200 |        5 |      302
1796.14/1796.60	c 1796s |      22 |  2215806 |  1856322 |    23244    201 |        5 |      302
1798.14/1798.66	c 1798s |      22 |  2217714 |  1857922 |    23244    201 |        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-4096225-1466112960/watcher-4096225-1466112960 -o /tmp/evaluation-result-4096225-1466112960/solver-4096225-1466112960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466112960-31001 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096225-1466112960.opb 

pid=31024
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.04 2.11 2.08 5/175 31030
/proc/meminfo: memFree=30601312/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 2774 0 0 0 0 0 0 0 20 0 4 0 13342607 760672256 3645 33554432000 4194304 16246674 140736129125808 140736129125232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 186479 3654 441 2943 0 183373 0
[pid=31030/tid=31031] ppid=31024 vsize=761276 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 779546624 3714 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=765372 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 783740928 3729 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=768444 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13342608 786886656 3745 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100066 s]
/proc/loadavg: 2.04 2.11 2.08 5/175 31030
/proc/meminfo: memFree=30601312/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 24694 0 0 0 6 3 0 0 20 0 4 0 13342607 1249447936 25504 33554432000 4194304 16246674 140736129125808 140736129125120 5518673 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 305041 25509 835 2943 0 301935 0
[pid=31030/tid=31031] ppid=31024 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1249447936 25515 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1249447936 25520 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13342608 1249447936 25525 33554432000 4194304 16246674 140736129125808 139728775015600 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.200426 s]
/proc/loadavg: 2.04 2.11 2.08 5/175 31030
/proc/meminfo: memFree=30601312/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 42940 0 0 0 13 6 0 0 20 0 4 0 13342607 1249447936 43749 33554432000 4194304 16246674 140736129125808 140736129125120 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 305041 43760 877 2943 0 301935 0
[pid=31030/tid=31031] ppid=31024 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1249447936 43767 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1249447936 43775 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13342608 1249447936 43782 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300409 s]
/proc/loadavg: 2.04 2.11 2.08 5/175 31030
/proc/meminfo: memFree=30601312/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 63829 0 0 0 20 9 0 0 20 0 4 0 13342607 1249447936 64638 33554432000 4194304 16246674 140736129125808 140736129125120 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 305041 64648 877 2943 0 301935 0
[pid=31030/tid=31031] ppid=31024 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1249447936 64650 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1249447936 64653 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13342608 1249447936 64658 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700338 s]
/proc/loadavg: 2.04 2.11 2.08 5/175 31030
/proc/meminfo: memFree=30601312/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 149008 0 0 0 47 22 0 0 20 0 4 0 13342607 1249447936 149818 33554432000 4194304 16246674 140736129125808 140736129107712 13965592 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 305041 149829 877 2943 0 301935 0
[pid=31030/tid=31031] ppid=31024 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1249447936 149840 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1249447936 149853 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13342608 1249447936 149861 33554432000 4194304 16246674 140736129125808 139728775015600 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.50034 s]
/proc/loadavg: 2.04 2.11 2.08 4/183 31038
/proc/meminfo: memFree=28728460/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1300036 CPUtime=1.49 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 266141 0 0 0 111 38 0 0 20 0 4 0 13342607 1331236864 266950 33554432000 4194304 16246674 140736129125808 140736129125120 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 325009 266950 880 2943 0 321903 0
[pid=31030/tid=31031] ppid=31024 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1331236864 266950 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1331236864 266950 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1331236864 266950 33554432000 4194304 16246674 140736129125808 139728775015600 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) 1300036

[startup+3.10038 s]
/proc/loadavg: 2.04 2.11 2.08 4/183 31038
/proc/meminfo: memFree=28458512/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 267856 0 0 0 271 38 0 0 20 0 4 0 13342607 1338576896 268665 33554432000 4194304 16246674 140736129125808 140736129107712 5677537 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 326801 268665 880 2943 0 323695 0
[pid=31030/tid=31031] ppid=31024 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1338576896 268665 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1338576896 268665 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1338576896 268665 33554432000 4194304 16246674 140736129125808 139728775015600 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.30034 s]
/proc/loadavg: 2.04 2.11 2.08 4/183 31038
/proc/meminfo: memFree=28453132/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1308228 CPUtime=6.28 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 268004 0 0 0 590 38 0 0 20 0 4 0 13342607 1339625472 268813 33554432000 4194304 16246674 140736129125808 140736129107712 5673987 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 327057 268813 885 2943 0 323951 0
[pid=31030/tid=31031] ppid=31024 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1339625472 268813 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1339625472 268813 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1339625472 268813 33554432000 4194304 16246674 140736129125808 139728775015600 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) 1308228

[startup+12.7003 s]
/proc/loadavg: 2.11 2.12 2.09 4/183 31038
/proc/meminfo: memFree=28445864/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1309252 CPUtime=12.68 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 268494 0 0 0 1230 38 0 0 20 0 4 0 13342607 1340674048 269303 33554432000 4194304 16246674 140736129125808 140736129108808 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 327313 269303 885 2943 0 324207 0
[pid=31030/tid=31031] ppid=31024 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1340674048 269303 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1340674048 269303 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1340674048 269303 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5004 s]
/proc/loadavg: 2.09 2.12 2.09 4/183 31038
/proc/meminfo: memFree=28435792/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1321540 CPUtime=25.49 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 271352 0 0 0 2510 39 0 0 20 0 4 0 13342607 1353256960 272161 33554432000 4194304 16246674 140736129125808 140736129107712 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 330385 272161 886 2943 0 327279 0
[pid=31030/tid=31031] ppid=31024 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1353256960 272161 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1353256960 272161 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1353256960 272161 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1321540

[startup+51.1004 s]
/proc/loadavg: 2.25 2.15 2.10 3/183 31185
/proc/meminfo: memFree=28432912/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1321540 CPUtime=51.08 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 271356 0 0 0 5069 39 0 0 20 0 4 0 13342607 1353256960 272161 33554432000 4194304 16246674 140736129125808 140736129107712 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 330385 272161 886 2943 0 327279 0
[pid=31030/tid=31031] ppid=31024 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1353256960 272161 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1353256960 272161 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1353256960 272161 33554432000 4194304 16246674 140736129125808 139728775015600 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) 1321540

[startup+102.3 s]
/proc/loadavg: 2.26 2.17 2.11 3/183 31186
/proc/meminfo: memFree=28403664/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1333828 CPUtime=102.27 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 274658 0 0 0 10187 40 0 0 20 0 4 0 13342607 1365839872 275449 33554432000 4194304 16246674 140736129125808 140736129107712 5839996 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 333457 275449 887 2943 0 330351 0
[pid=31030/tid=31031] ppid=31024 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1365839872 275449 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1365839872 275449 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1365839872 275449 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1333828


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

/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1365572

[startup+1362.3 s]
/proc/loadavg: 2.08 2.21 2.18 3/183 31228
/proc/meminfo: memFree=28317228/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1365572 CPUtime=1361.91 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 282929 0 0 0 136137 54 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 140736129107712 5823523 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 341393 283386 888 2943 0 338287 0
[pid=31030/tid=31031] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1365572

[startup+1422.3 s]
/proc/loadavg: 2.28 2.25 2.20 4/183 31229
/proc/meminfo: memFree=28316828/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1365572 CPUtime=1421.91 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 282929 0 0 0 142136 55 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 140736129107712 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 341393 283386 888 2943 0 338287 0
[pid=31030/tid=31031] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1365572

[startup+1482.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/184 31234
/proc/meminfo: memFree=28317836/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1365572 CPUtime=1481.89 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 282929 0 0 0 148133 56 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 140736129107712 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 341393 283386 888 2943 0 338287 0
[pid=31030/tid=31031] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1365572

[startup+1542.31 s]
/proc/loadavg: 2.20 2.23 2.19 3/184 31258
/proc/meminfo: memFree=28312736/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1365572 CPUtime=1541.88 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 282929 0 0 0 154131 57 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 140736129107712 5832846 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 341393 283386 888 2943 0 338287 0
[pid=31030/tid=31031] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1365572

[startup+1602.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 31259
/proc/meminfo: memFree=28311732/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1365572 CPUtime=1601.87 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 282929 0 0 0 160129 58 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 140736129107712 5675707 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 341393 283386 888 2943 0 338287 0
[pid=31030/tid=31031] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1365572

[startup+1662.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 31260
/proc/meminfo: memFree=28312072/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1365572 CPUtime=1661.87 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 282929 0 0 0 166128 59 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 140736129107712 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 341393 283386 888 2943 0 338287 0
[pid=31030/tid=31031] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1365572

[startup+1722.3 s]
/proc/loadavg: 2.21 2.20 2.18 4/182 31261
/proc/meminfo: memFree=28312680/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1365572 CPUtime=1721.85 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 282929 0 0 0 172126 59 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 140736129107712 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 341393 283386 888 2943 0 338287 0
[pid=31030/tid=31031] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1365572

[startup+1782.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 31264
/proc/meminfo: memFree=28311684/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1365572 CPUtime=1781.84 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 282929 0 0 0 178124 60 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 140736129107712 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 341393 283386 888 2943 0 338287 0
[pid=31030/tid=31031] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1365572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 31264
/proc/meminfo: memFree=28311392/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1365572 CPUtime=1800.04 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 282929 0 0 0 179944 60 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 140736129108808 5823947 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 341393 283386 888 2943 0 338287 0
[pid=31030/tid=31031] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1365572

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

[startup+1800.5 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 31264
/proc/meminfo: memFree=28311392/32872528 swapFree=1190796/1305260
[pid=31030] ppid=31024 vsize=1365572 CPUtime=1800.04 cores=0,2,4,6
/proc/31030/stat : 31030 (toysat) R 31024 31030 29204 0 -1 4202496 282929 0 0 0 179944 60 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 140736129108808 5823947 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31030/statm: 341393 283386 888 2943 0 338287 0
[pid=31030/tid=31031] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31031/stat : 31031 (toysat) S 31024 31030 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728902925552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31030/tid=31032] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31032/stat : 31032 (toysat) S 31024 31030 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13342607 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728892435696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=31030/tid=31033] ppid=31024 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/31030/task/31033/stat : 31033 (toysat) S 31024 31030 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13342608 1398345728 283386 33554432000 4194304 16246674 140736129125808 139728775015600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1365572

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.45
CPU system time (s): 0.608907
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1365572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.608907
maximum resident set size= 1133544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282929
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= 368
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3753 second user time and 13.6019 second system time

The end

Begin job on node127 at 2016-06-16 23:36:00
IDJOB=4096225
IDBENCH=107584
IDSOLVER=2542
FILE ID=node127/4096225-1466112960
RUNJOBID= node127-1466112960-31001
PBS_JOBID= 19904036
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= 2a4e2dc9beed1e91067eb396cd2960ae
RANDOM SEED=1507708253

node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30602508 kB
Buffers:           56428 kB
Cached:           167000 kB
SwapCached:        34656 kB
Active:           115164 kB
Inactive:         143464 kB
Active(anon):       2348 kB
Inactive(anon):    35592 kB
Active(file):     112816 kB
Inactive(file):   107872 kB
Unevictable:     1305260 kB
Mlocked:         1190796 kB
SwapTotal:      67108856 kB
SwapFree:       67066092 kB
Dirty:             33044 kB
Writeback:             0 kB
AnonPages:       1307548 kB
Mapped:             7020 kB
Shmem:                 0 kB
Slab:             571404 kB
SReclaimable:      15336 kB
SUnreclaim:       556068 kB
KernelStack:        1408 kB
PageTables:         7172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1401968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node127 at 2016-06-17 00:06:00