0.00/0.00	c 2016-06-18T05:05:11+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-4100993-1466219111.opb"]
0.00/0.01	c use --random-gen="3042711731 3217695547 2422933023 1481762478 611286370 744313855 2674337285 626181820 4288707406 3217928735 2655551021 4256909289 3456061059 2860433306 1028476412 430168930 3497524046 662368620 1775801731 3454802705 3035298815 2022902895 2327610250 1055399197 4064860839 131997596 1807370740 3348202541 920430625 2491362668 2465073916 818450163 167713221 2609808250 3031231323 1520176524 1580721303 4274527940 3856695092 117343130 3082538151 3035057207 2975658699 3923629952 3173083713 1002374271 635469785 1308703945 768064002 567916212 1315281935 3927736927 3552060643 1087821918 1342738180 1557507271 136579631 1335431739 4171854748 808912885 1726297197 3802984037 2832467880 3484359820 3980197254 3127745583 2251998120 1736583436 90786589 28196149 574917707 1771820048 2020182009 3527073395 621756410 1174339973 2837419948 2889477219 2414754191 4152440789 145525520 3980900544 846630602 1191907751 1717996952 2113653361 2942234864 2378435019 169045726 204619656 2306734832 3820115012 1874723929 686905427 2179790071 776350101 2140499708 2182707117 4281229640 3056150453 413349842 3343922497 1672677004 3590016912 1711004456 2619411090 1662622118 3941117531 3112252185 4174887526 4154344130 3612224356 2399326200 882264029 1652243247 3857121592 189898146 3505125580 81111534 1800587920 23480732 2887914699 2546349835 3014569129 3888102807 1133032844 2236260994 1027996503 1936039475 3651233636 4102118122 1310060432 1065343873 1896184458 1884106542 347545799 2848756987 762528523 1631905904 1673135355 3056641770 4086573692 2450344824 942373588 826923528 2700145076 2732456334 2798103319 3249751639 688174792 739245052 2728508218 1790604034 3120187670 2575316982 560886586 2163914003 1665854456 1257484452 1857598756 467508646 729019391 2799490889 1008382522 2113212083 3838883469 1049519344 378192679 3116618117 1977672252 1219030476 2981638248 2605327849 1851780477 3808698631 3985567659 3757380299 900498793 2666942679 1706974378 1550099199 1186623576 436401605 2731159549 1632558448 455877139 3253294809 2989694198 816052295 3863237855 4141372155 2137107767 2732870888 1702821164 3478752442 2470715168 2762507791 24580946 1295507685 458304198 2695819988 3830385335 965384348 1486419473 756985718 1670793647 423378236 3178430290 2595787598 1413596882 1276097611 2539449108 169787907 3116040971 104830687 2368990818 4002728331 642556479 1617806722 927179594 2034674885 268078064 3016289871 157280122 3669600232 1711697979 1393560781 231856953 2515212442 2336136746 593806759 3801486442 3654220558 594915347 988939057 1202456547 3281658119 2041026683 1177368215 599608064 3698344238 2779578578 3861487440 2194631104 1884632819 465121395 1562025710 1951305397 2164870170 4114742105 2536644792 2177955094 4203475976 1728952801 607404439 2549555997 255 362436" option to reproduce the execution
0.09/0.12	c #vars 10740
0.09/0.12	c #constraints 377
0.89/0.98	c BCD2: Hardening is enabled.
0.89/0.98	c BCD2: BiasedSearch is enabled.
0.89/0.98	c Solving starts ...
0.89/0.98	c ============================[ Search Statistics ]============================
0.89/0.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.89/0.98	c       |         |          |          |    Limit     GC | Var      | Constra 
0.89/0.98	c =============================================================================
0.89/0.98	c  0.0s |       0 |        0 |        0 |     3791      0 |     1364 |        0
1.10/1.14	c  0.2s |       1 |     5426 |      100 |     3791      0 |     1371 |       26
1.10/1.20	c  0.2s |       2 |     5633 |      250 |     4171      0 |     1371 |       26
1.29/1.31	c  0.3s |       3 |     5913 |      475 |     4589      0 |     1371 |       26
1.39/1.43	c  0.4s |       4 |     6305 |      813 |     5048      0 |     1371 |       26
1.49/1.59	c  0.6s |       5 |     6875 |     1320 |     5553      0 |     1371 |       26
1.79/1.84	c  0.9s |       6 |     7759 |     2081 |     6720      0 |     1371 |       26
2.19/2.26	c  1.3s |       7 |     9083 |     3223 |     7393      0 |     1371 |       26
2.79/2.82	c  1.8s |       8 |    10964 |     4936 |     8133      0 |     1371 |       26
3.69/3.75	c  2.8s |       9 |    13776 |     7506 |     8947      0 |     1371 |       26
5.29/5.38	c  4.4s |      10 |    18830 |    11361 |     9842      1 |     1371 |       26
7.29/7.39	c  6.4s |      10 |    23776 |    16161 |     9842      1 |     1371 |       26
7.89/7.91	c  6.9s |      11 |    24797 |    17144 |    10827      2 |     1371 |       26
9.89/9.96	c  9.0s |      11 |    30401 |    22244 |    10827      2 |     1371 |       26
11.78/11.80	c 10.8s |      12 |    34384 |    25819 |    11910      3 |     1373 |       26
13.78/13.87	c 12.9s |      12 |    39150 |    30419 |    11910      4 |     1373 |       26
15.78/15.88	c 14.9s |      12 |    43909 |    35019 |    11910      4 |     1373 |       26
17.78/17.87	c 16.9s |      13 |    47937 |    38832 |    13102      5 |     1373 |       26
19.79/19.88	c 18.9s |      13 |    52573 |    43032 |    13102      5 |     1373 |       26
22.39/22.41	c 21.4s |      13 |    55918 |    46132 |    13102      6 |     1374 |       26
24.39/24.43	c 23.4s |      13 |    60281 |    50232 |    13102      6 |     1374 |       26
26.39/26.47	c 25.5s |      13 |    64132 |    53932 |    13102      7 |     1374 |       26
28.49/28.52	c 27.5s |      13 |    67996 |    57532 |    13102      7 |     1374 |       26
28.99/29.06	c 28.1s |      14 |    68832 |    58352 |    14413      7 |     1374 |       26
31.19/31.23	c 30.2s |      14 |    71865 |    61052 |    14413      8 |     1374 |       26
33.19/33.26	c 32.3s |      14 |    75746 |    64652 |    14413      8 |     1374 |       26
35.29/35.31	c 34.3s |      14 |    79319 |    67852 |    14413      8 |     1374 |       26
37.29/37.32	c 36.3s |      14 |    82789 |    71052 |    14413      9 |     1374 |       26
39.29/39.35	c 38.4s |      14 |    86424 |    74452 |    14413      9 |     1374 |       26
41.28/41.35	c 40.4s |      14 |    89174 |    76952 |    14413     10 |     1374 |       26
43.38/43.41	c 42.4s |      14 |    93394 |    80952 |    14413     10 |     1374 |       26
45.38/45.45	c 44.5s |      14 |    96888 |    84052 |    14413     10 |     1374 |       26
47.18/47.26	c 46.3s |      15 |   100835 |    87632 |    15855     11 |     1374 |       26
49.18/49.27	c 48.3s |      15 |   104591 |    91032 |    15855     11 |     1374 |       26
51.18/51.29	c 50.3s |      15 |   107762 |    93932 |    15855     12 |     1374 |       26
53.28/53.34	c 52.4s |      15 |   111903 |    97832 |    15855     12 |     1374 |       26
55.28/55.35	c 54.4s |      15 |   115557 |   101232 |    15855     12 |     1376 |       26
57.29/57.38	c 56.4s |      15 |   118387 |   103732 |    15855     13 |     1376 |       26
59.39/59.45	c 58.5s |      15 |   122190 |   107132 |    15855     13 |     1377 |       26
61.48/61.52	c 60.5s |      15 |   125887 |   110332 |    15855     13 |     1377 |       26
63.48/63.52	c 62.5s |      15 |   129396 |   113532 |    15855     14 |     1377 |       26
65.48/65.54	c 64.6s |      15 |   133164 |   116932 |    15855     14 |     1377 |       26
67.48/67.55	c 66.6s |      15 |   136866 |   120332 |    15855     15 |     1377 |       26
69.48/69.58	c 68.6s |      15 |   140778 |   123932 |    15855     15 |     1377 |       26
71.48/71.58	c 70.6s |      15 |   144099 |   126932 |    15855     15 |     1377 |       26
73.57/73.60	c 72.6s |      15 |   147477 |   130132 |    15855     16 |     1377 |       26
74.27/74.38	c 73.4s |      16 |   148977 |   131552 |    17441     16 |     1377 |       26
76.38/76.40	c 75.4s |      16 |   150895 |   133252 |    17441     16 |     1377 |       26
78.38/78.43	c 77.5s |      16 |   154251 |   136252 |    17441     16 |     1377 |       26
80.48/80.51	c 79.5s |      16 |   157404 |   139152 |    17441     17 |     1377 |       26
82.49/82.54	c 81.6s |      16 |   161694 |   143152 |    17441     17 |     1377 |       26
84.58/84.61	c 83.6s |      16 |   165139 |   146352 |    17441     17 |     1377 |       26
86.68/86.73	c 85.8s |      16 |   167625 |   148652 |    17441     18 |     1377 |       26
88.68/88.76	c 87.8s |      16 |   171462 |   152252 |    17441     18 |     1377 |       26
90.68/90.78	c 89.8s |      16 |   174780 |   155252 |    17441     18 |     1377 |       26
92.68/92.78	c 91.8s |      16 |   178308 |   158552 |    17441     19 |     1377 |       26
94.78/94.84	c 93.9s |      16 |   181558 |   161552 |    17441     19 |     1377 |       26
96.78/96.89	c 95.9s |      16 |   185001 |   164752 |    17441     19 |     1377 |       26
98.88/98.91	c 97.9s |      16 |   188359 |   167852 |    17441     20 |     1377 |       26
100.88/100.95	c 100.0s |      16 |   191423 |   170652 |    17441     20 |     1377 |       26
102.88/102.95	c  101s |      16 |   194620 |   173552 |    17441     20 |     1377 |       26
104.88/104.97	c  103s |      16 |   197543 |   176252 |    17441     20 |     1377 |       26
106.88/106.99	c  106s |      16 |   201409 |   179752 |    17441     21 |     1379 |       26
108.98/109.07	c  108s |      16 |   205816 |   183952 |    17441     21 |     1379 |       26
110.97/111.07	c  110s |      16 |   208170 |   186152 |    17441     22 |     1379 |       26
113.07/113.12	c  112s |      16 |   211671 |   189452 |    17441     22 |     1379 |       26
115.07/115.14	c  114s |      16 |   214625 |   192152 |    17441     22 |     1379 |       26
117.07/117.16	c  116s |      16 |   217441 |   194652 |    17441     22 |     1379 |       26
119.17/119.20	c  118s |      16 |   219998 |   196952 |    19186     23 |     1379 |       26
119.47/119.50	c  118s |      17 |   220523 |   197432 |    19186     23 |     1382 |       26
121.47/121.51	c  120s |      17 |   224013 |   200632 |    19186     23 |     1382 |       26
123.47/123.56	c  122s |      17 |   227731 |   203632 |    19186     23 |     1383 |       26
125.67/125.77	c  124s |      17 |   231053 |   206632 |    19186     24 |     1383 |       26
127.68/127.78	c  126s |      17 |   234043 |   209332 |    19186     24 |     1383 |       26
129.78/129.82	c  128s |      17 |   237905 |   213032 |    19186     24 |     1383 |       26
131.77/131.83	c  130s |      17 |   241065 |   216032 |    19186     24 |     1383 |       26
133.87/133.94	c  132s |      17 |   242814 |   217632 |    19186     25 |     1383 |       26
135.87/135.99	c  135s |      17 |   246421 |   221032 |    19186     25 |     1383 |       26
137.97/138.03	c  137s |      17 |   249384 |   223832 |    19186     25 |     1383 |       26
140.07/140.10	c  139s |      17 |   252064 |   226332 |    19186     25 |     1383 |       26
142.07/142.13	c  141s |      17 |   255618 |   229632 |    19186     26 |     1383 |       26
144.97/145.05	c  144s |      17 |   258168 |   231932 |    19186     26 |     1383 |       26
147.07/147.11	c  146s |      17 |   261414 |   234832 |    19186     26 |     1383 |       26
149.07/149.12	c  148s |      17 |   264031 |   237232 |    19186     26 |     1383 |       26
151.47/151.50	c  150s |      17 |   267077 |   240132 |    19186     27 |     1383 |       26
153.47/153.54	c  152s |      17 |   270127 |   242932 |    19186     27 |     1387 |       26
155.47/155.58	c  154s |      17 |   273112 |   245732 |    19186     27 |     1387 |       26
157.57/157.63	c  156s |      17 |   275990 |   248332 |    19186     28 |     1387 |       26
159.57/159.65	c  158s |      17 |   279733 |   251832 |    19186     28 |     1387 |       26
161.57/161.69	c  160s |      17 |   282855 |   254732 |    19186     28 |     1387 |       26
163.67/163.77	c  162s |      17 |   286075 |   257732 |    19186     28 |     1387 |       26
165.67/165.78	c  164s |      17 |   290221 |   261532 |    19186     29 |     1387 |       26
167.77/167.84	c  166s |      17 |   293954 |   265032 |    19186     29 |     1387 |       26
169.77/169.88	c  168s |      17 |   296758 |   267732 |    19186     29 |     1387 |       26
171.76/171.89	c  170s |      17 |   299393 |   270032 |    19186     30 |     1387 |       26
173.87/173.91	c  172s |      17 |   302953 |   273332 |    19186     30 |     1387 |       26
175.86/175.94	c  174s |      17 |   306075 |   276332 |    19186     30 |     1387 |       26
177.86/177.94	c  176s |      17 |   308600 |   278732 |    19186     30 |     1388 |       26
179.86/179.94	c  178s |      17 |   309918 |   279932 |    19186     31 |     1388 |       26
181.86/181.97	c  180s |      17 |   314038 |   283732 |    19186     31 |     1388 |       26
183.96/184.00	c  183s |      17 |   317370 |   286932 |    19186     31 |     1388 |       26
185.97/186.08	c  185s |      17 |   319689 |   289132 |    19186     32 |     1388 |       26
187.96/188.08	c  187s |      17 |   322566 |   291732 |    19186     32 |     1388 |       26
190.06/190.10	c  189s |      17 |   326188 |   295132 |    21105     32 |     1388 |       26
190.66/190.78	c  189s |      18 |   327383 |   296252 |    21105     32 |     1388 |       26
192.76/192.85	c  191s |      18 |   330484 |   299052 |    21105     32 |     1388 |       26
194.96/195.09	c  194s |      18 |   333101 |   301452 |    21105     33 |     1390 |       26
197.06/197.19	c  196s |      18 |   336542 |   304652 |    21105     33 |     1390 |       26
199.07/199.19	c  198s |      18 |   340068 |   307952 |    21105     33 |     1390 |       26
201.06/201.20	c  200s |      18 |   343089 |   310752 |    21105     33 |     1390 |       26
203.16/203.24	c  202s |      18 |   345979 |   313452 |    21105     34 |     1390 |       26
205.16/205.26	c  204s |      18 |   349011 |   316252 |    21105     34 |     1390 |       26
207.26/207.32	c  206s |      18 |   352533 |   319452 |    21105     34 |     1390 |       26
209.26/209.37	c  208s |      18 |   356190 |   323052 |    21105     34 |     1390 |       26
211.36/211.41	c  210s |      18 |   359020 |   325652 |    21105     35 |     1390 |       26
213.36/213.47	c  212s |      18 |   361757 |   328252 |    21105     35 |     1390 |       26
215.36/215.48	c  214s |      18 |   364497 |   330752 |    21105     35 |     1390 |       26
217.46/217.50	c  216s |      18 |   368441 |   334252 |    21105     35 |     1390 |       26
219.45/219.54	c  218s |      18 |   371791 |   337252 |    21105     36 |     1390 |       26
221.55/221.60	c  220s |      18 |   375935 |   340952 |    21105     36 |     1390 |       26
223.55/223.67	c  222s |      18 |   379412 |   343952 |    21105     36 |     1390 |       26
225.75/225.83	c  224s |      18 |   382628 |   346552 |    21105     37 |     1390 |       26
227.76/227.88	c  226s |      18 |   386314 |   349952 |    21105     37 |     1390 |       26
229.86/229.90	c  228s |      18 |   389014 |   352252 |    21105     37 |     1390 |       26
231.85/231.93	c  230s |      18 |   392316 |   355452 |    21105     37 |     1390 |       26
233.85/233.94	c  232s |      18 |   395544 |   358552 |    21105     38 |     1390 |       26
235.85/235.98	c  234s |      18 |   397410 |   360252 |    21105     38 |     1390 |       26
237.95/238.02	c  237s |      18 |   401514 |   363752 |    21105     38 |     1390 |       26
239.95/240.06	c  239s |      18 |   405483 |   366952 |    21105     38 |     1390 |       26
242.05/242.13	c  241s |      18 |   409073 |   370052 |    21105     39 |     1390 |       26
244.05/244.17	c  243s |      18 |   411655 |   372452 |    21105     39 |     1390 |       26
246.15/246.22	c  245s |      18 |   415192 |   375452 |    21105     39 |     1390 |       26
248.15/248.24	c  247s |      18 |   418222 |   377852 |    21105     39 |     1390 |       26
250.76/250.82	c  249s |      18 |   420004 |   379252 |    21105     39 |     1390 |       26
253.06/253.12	c  252s |      18 |   423425 |   382452 |    21105     40 |     1390 |       26
255.05/255.17	c  254s |      18 |   427293 |   385852 |    21105     40 |     1390 |       26
257.15/257.23	c  256s |      18 |   431289 |   389352 |    21105     40 |     1390 |       26
259.15/259.28	c  258s |      18 |   434350 |   392152 |    21105     41 |     1390 |       26
261.25/261.31	c  260s |      18 |   437922 |   395252 |    21105     41 |     1390 |       26
263.35/263.49	c  262s |      18 |   438537 |   395852 |    21105     41 |     1390 |       26
265.94/266.02	c  265s |      18 |   438847 |   396052 |    21105     41 |     1390 |       26
267.94/268.03	c  267s |      18 |   443277 |   399752 |    21105     41 |     1390 |       26
269.94/270.03	c  269s |      18 |   446732 |   403052 |    21105     42 |     1390 |       26
272.25/272.31	c  271s |      18 |   450021 |   406252 |    21105     42 |     1390 |       26
274.25/274.36	c  273s |      18 |   453429 |   409552 |    21105     42 |     1390 |       26
276.35/276.47	c  275s |      18 |   455819 |   411752 |    21105     42 |     1390 |       26
278.36/278.47	c  277s |      18 |   458239 |   413952 |    21105     42 |     1390 |       26
280.35/280.48	c  279s |      18 |   460964 |   416452 |    21105     43 |     1390 |       26
282.45/282.55	c  281s |      18 |   464243 |   419552 |    21105     43 |     1390 |       26
284.55/284.64	c  283s |      18 |   467299 |   422352 |    21105     43 |     1390 |       26
286.55/286.68	c  285s |      18 |   469840 |   424752 |    21105     43 |     1390 |       26
288.65/288.72	c  287s |      18 |   471257 |   426052 |    21105     44 |     1390 |       26
290.65/290.75	c  289s |      18 |   474657 |   429152 |    21105     44 |     1390 |       26
292.66/292.77	c  291s |      18 |   477674 |   431952 |    21105     44 |     1390 |       26
294.76/294.83	c  293s |      18 |   480714 |   434852 |    21105     44 |     1390 |       26
296.85/296.96	c  295s |      18 |   482808 |   436752 |    21105     45 |     1390 |       26
298.85/298.99	c  298s |      18 |   485801 |   439552 |    21105     45 |     1390 |       26
300.95/301.00	c  300s |      18 |   489208 |   442852 |    23216     45 |     1390 |       26
302.25/302.30	c  301s |      19 |   491055 |   444482 |    23216     45 |     1390 |       26
304.25/304.37	c  303s |      19 |   493538 |   446682 |    23216     45 |     1390 |       26
306.35/306.43	c  305s |      19 |   496073 |   448982 |    23216     45 |     1390 |       26
308.35/308.48	c  307s |      19 |   498737 |   451482 |    23216     46 |     1390 |       26
310.35/310.49	c  309s |      19 |   501793 |   454182 |    23216     46 |     1390 |       26
312.45/312.54	c  311s |      19 |   505044 |   457282 |    23216     46 |     1390 |       26
314.45/314.56	c  313s |      19 |   508382 |   460482 |    23216     46 |     1390 |       26
316.44/316.59	c  315s |      19 |   511574 |   463382 |    23216     47 |     1390 |       26
318.54/318.62	c  317s |      19 |   514696 |   466382 |    23216     47 |     1390 |       26
320.54/320.68	c  319s |      19 |   517280 |   468882 |    23216     47 |     1390 |       26
322.64/322.73	c  321s |      19 |   519481 |   470982 |    23216     47 |     1390 |       26
324.74/324.82	c  323s |      19 |   521879 |   473282 |    23216     47 |     1390 |       26
326.75/326.85	c  325s |      19 |   524419 |   475582 |    23216     48 |     1390 |       26
328.74/328.88	c  327s |      19 |   527281 |   478182 |    23216     48 |     1390 |       26
330.84/330.93	c  329s |      19 |   528671 |   479482 |    23216     48 |     1390 |       26
332.94/333.00	c  332s |      19 |   531153 |   481782 |    23216     48 |     1390 |       26
334.94/335.04	c  334s |      19 |   533544 |   483982 |    23216     48 |     1390 |       26
336.94/337.06	c  336s |      19 |   535698 |   485982 |    23216     48 |     1390 |       26
338.94/339.07	c  338s |      19 |   537312 |   487482 |    23216     49 |     1390 |       26
341.04/341.12	c  340s |      19 |   538992 |   488982 |    23216     49 |     1390 |       26
343.04/343.19	c  342s |      19 |   542424 |   492082 |    23216     49 |     1390 |       26
345.14/345.26	c  344s |      19 |   545431 |   494882 |    23216     49 |     1390 |       26
347.24/347.33	c  346s |      19 |   548187 |   497382 |    23216     49 |     1390 |       26
349.23/349.34	c  348s |      19 |   550556 |   499482 |    23216     50 |     1390 |       26
351.23/351.39	c  350s |      19 |   553130 |   501882 |    23216     50 |     1390 |       26
353.33/353.46	c  352s |      19 |   556585 |   505182 |    23216     50 |     1390 |       26
355.43/355.52	c  354s |      19 |   559703 |   508082 |    23216     50 |     1390 |       26
357.44/357.56	c  356s |      19 |   563161 |   511282 |    23216     50 |     1390 |       26
359.43/359.58	c  358s |      19 |   565063 |   512882 |    23216     51 |     1392 |       26
361.53/361.62	c  360s |      19 |   569377 |   516882 |    23216     51 |     1392 |       26
363.53/363.68	c  362s |      19 |   572381 |   519682 |    23216     51 |     1392 |       26
365.63/365.71	c  364s |      19 |   575354 |   522482 |    23216     51 |     1392 |       26
367.63/367.73	c  366s |      19 |   577425 |   524482 |    23216     52 |     1393 |       26
369.64/369.77	c  368s |      19 |   580866 |   527682 |    23216     52 |     1393 |       26
371.74/371.83	c  370s |      19 |   584340 |   530982 |    23216     52 |     1393 |       26
373.74/373.89	c  372s |      19 |   587875 |   534282 |    23216     52 |     1393 |       26
376.14/376.22	c  375s |      19 |   590705 |   536982 |    23216     53 |     1393 |       26
378.23/378.33	c  377s |      19 |   593215 |   539382 |    23216     53 |     1393 |       26
380.23/380.35	c  379s |      19 |   596019 |   542082 |    23216     53 |     1393 |       26
382.33/382.43	c  381s |      19 |   598553 |   544482 |    23216     53 |     1393 |       26
384.33/384.47	c  383s |      19 |   600621 |   546382 |    23216     53 |     1393 |       26
386.43/386.50	c  385s |      19 |   603024 |   548582 |    23216     53 |     1393 |       26
388.43/388.51	c  387s |      19 |   604662 |   550082 |    23216     54 |     1393 |       26
390.44/390.53	c  389s |      19 |   608011 |   553182 |    23216     54 |     1393 |       26
392.43/392.53	c  391s |      19 |   611773 |   556782 |    23216     54 |     1393 |       26
394.43/394.57	c  393s |      19 |   614958 |   559882 |    23216     54 |     1393 |       26
396.43/396.59	c  395s |      19 |   618620 |   563382 |    23216     55 |     1393 |       26
398.53/398.62	c  397s |      19 |   622517 |   566882 |    23216     55 |     1393 |       26
400.53/400.67	c  399s |      19 |   625454 |   569482 |    23216     55 |     1393 |       26
402.64/402.71	c  401s |      19 |   628354 |   572182 |    23216     55 |     1393 |       26
404.63/404.71	c  403s |      19 |   630959 |   574682 |    23216     56 |     1393 |       26
406.63/406.77	c  405s |      19 |   633758 |   577182 |    23216     56 |     1393 |       26
408.73/408.84	c  407s |      19 |   636955 |   580282 |    23216     56 |     1393 |       26
410.73/410.85	c  409s |      19 |   639899 |   583082 |    23216     56 |     1393 |       26
412.73/412.88	c  411s |      19 |   642697 |   585682 |    23216     56 |     1393 |       26
415.13/415.28	c  414s |      19 |   643882 |   586782 |    23216     57 |     1393 |       26
417.23/417.34	c  416s |      19 |   646813 |   589582 |    23216     57 |     1393 |       26
420.23/420.36	c  419s |      19 |   648336 |   590982 |    23216     57 |     1393 |       26
422.22/422.37	c  421s |      19 |   651468 |   593882 |    23216     57 |     1393 |       26
424.32/424.40	c  423s |      19 |   654098 |   596282 |    23216     57 |     1393 |       26
426.32/426.49	c  425s |      19 |   656232 |   598282 |    23216     58 |     1393 |       26
428.42/428.51	c  427s |      19 |   659364 |   601282 |    23216     58 |     1393 |       26
430.42/430.56	c  429s |      19 |   662326 |   603982 |    23216     58 |     1393 |       26
432.42/432.59	c  431s |      19 |   665127 |   606482 |    23216     58 |     1393 |       26
434.53/434.65	c  433s |      19 |   667483 |   608682 |    23216     58 |     1393 |       26
436.63/436.77	c  435s |      19 |   669478 |   610482 |    23216     59 |     1393 |       26
441.03/441.15	c  440s |      19 |   670895 |   611782 |    23216     59 |     1393 |       26
443.02/443.16	c  442s |      19 |   673954 |   614582 |    23216     59 |     1393 |       26
445.12/445.22	c  444s |      19 |   676763 |   617182 |    23216     59 |     1393 |       26
447.12/447.27	c  446s |      19 |   679433 |   619682 |    23216     59 |     1393 |       26
449.22/449.37	c  448s |      19 |   682090 |   622082 |    23216     59 |     1393 |       26
451.32/451.42	c  450s |      19 |   684470 |   624282 |    23216     60 |     1393 |       26
453.32/453.45	c  452s |      19 |   688387 |   627882 |    23216     60 |     1393 |       26
455.42/455.51	c  454s |      19 |   691977 |   631282 |    23216     60 |     1393 |       26
457.42/457.57	c  456s |      19 |   694763 |   633882 |    23216     60 |     1393 |       26
459.62/459.71	c  458s |      19 |   696113 |   634882 |    23216     60 |     1393 |       26
461.61/461.76	c  460s |      19 |   698427 |   637082 |    23216     61 |     1393 |       26
463.71/463.85	c  462s |      19 |   701621 |   640082 |    23216     61 |     1393 |       26
465.71/465.89	c  464s |      19 |   704630 |   642982 |    23216     61 |     1393 |       26
467.81/467.91	c  466s |      19 |   707574 |   645682 |    23216     61 |     1393 |       26
469.81/469.94	c  468s |      19 |   710135 |   647982 |    23216     62 |     1393 |       26
471.82/471.95	c  470s |      19 |   712387 |   650082 |    23216     62 |     1393 |       26
473.81/473.95	c  472s |      19 |   715236 |   652782 |    23216     62 |     1393 |       26
475.91/476.02	c  475s |      19 |   717891 |   655282 |    23216     62 |     1393 |       26
477.91/478.06	c  477s |      19 |   720161 |   657382 |    23216     62 |     1393 |       26
480.01/480.14	c  479s |      19 |   722268 |   659382 |    23216     62 |     1393 |       26
482.11/482.29	c  481s |      19 |   723567 |   660582 |    23216     63 |     1393 |       26
484.21/484.36	c  483s |      19 |   726718 |   663582 |    25538     63 |     1393 |       26
486.31/486.40	c  485s |      19 |   729045 |   665682 |    25538     63 |     1393 |       26
487.22/487.37	c  486s |      20 |   730283 |   666827 |    25538     63 |     1393 |       26
489.32/489.42	c  488s |      20 |   732037 |   668427 |    25538     63 |     1396 |       26
491.32/491.43	c  490s |      20 |   734510 |   670727 |    25538     63 |     1396 |       26
493.42/493.51	c  492s |      20 |   736749 |   672827 |    25538     63 |     1396 |       26
496.22/496.30	c  495s |      20 |   738656 |   674627 |    25538     64 |     1396 |       26
498.22/498.31	c  497s |      20 |   741183 |   677027 |    25538     64 |     1396 |       26
500.22/500.34	c  499s |      20 |   744434 |   680027 |    25538     64 |     1396 |       26
502.22/502.39	c  501s |      20 |   747266 |   682627 |    25538     64 |     1396 |       26
504.31/504.45	c  503s |      20 |   749859 |   685027 |    25538     64 |     1396 |       26
506.41/506.52	c  505s |      20 |   752553 |   687627 |    25538     64 |     1396 |       26
508.41/508.53	c  507s |      20 |   754931 |   689827 |    25538     65 |     1396 |       26
510.42/510.59	c  509s |      20 |   758157 |   692727 |    25538     65 |     1396 |       26
512.52/512.64	c  511s |      20 |   760980 |   695427 |    25538     65 |     1396 |       26
514.51/514.66	c  513s |      20 |   763708 |   698027 |    25538     65 |     1396 |       26
516.61/516.72	c  515s |      20 |   765950 |   700127 |    25538     65 |     1396 |       26
518.61/518.75	c  517s |      20 |   768582 |   702627 |    25538     66 |     1396 |       26
520.61/520.75	c  519s |      20 |   771537 |   705427 |    25538     66 |     1396 |       26
522.61/522.76	c  521s |      20 |   773259 |   707027 |    25538     66 |     1396 |       26
524.72/524.81	c  523s |      20 |   775930 |   709527 |    25538     66 |     1396 |       26
526.71/526.81	c  525s |      20 |   778522 |   712027 |    25538     66 |     1396 |       26
528.71/528.83	c  527s |      20 |   780561 |   713927 |    25538     66 |     1396 |       26
531.01/531.17	c  530s |      20 |   782146 |   715327 |    25538     67 |     1396 |       26
533.01/533.18	c  532s |      20 |   785420 |   718427 |    25538     67 |     1396 |       26
535.11/535.22	c  534s |      20 |   788101 |   720927 |    25538     67 |     1396 |       26
537.11/537.29	c  536s |      20 |   790270 |   722927 |    25538     67 |     1396 |       26
539.21/539.33	c  538s |      20 |   793279 |   725727 |    25538     67 |     1396 |       26
541.21/541.34	c  540s |      20 |   795914 |   728227 |    25538     67 |     1396 |       26
543.90/544.06	c  543s |      20 |   798946 |   731127 |    25538     68 |     1396 |       26
545.90/546.07	c  545s |      20 |   801678 |   733627 |    25538     68 |     1396 |       26
548.00/548.13	c  547s |      20 |   804486 |   736127 |    25538     68 |     1396 |       26
550.01/550.16	c  549s |      20 |   807115 |   738527 |    25538     68 |     1396 |       26
552.11/552.23	c  551s |      20 |   809565 |   740727 |    25538     68 |     1396 |       26
554.20/554.39	c  553s |      20 |   811078 |   742027 |    25538     69 |     1396 |       26
556.30/556.43	c  555s |      20 |   814521 |   745027 |    25538     69 |     1396 |       26
558.40/558.50	c  557s |      20 |   817720 |   748127 |    25538     69 |     1396 |       26
560.40/560.50	c  559s |      20 |   820243 |   750527 |    25538     69 |     1396 |       26
562.40/562.52	c  561s |      20 |   823029 |   753227 |    25538     69 |     1396 |       26
564.40/564.54	c  563s |      20 |   825402 |   755427 |    25538     69 |     1396 |       26
566.41/566.56	c  565s |      20 |   827764 |   757627 |    25538     70 |     1396 |       26
568.41/568.59	c  567s |      20 |   830429 |   759927 |    25538     70 |     1396 |       26
571.10/571.25	c  570s |      20 |   832190 |   761527 |    25538     70 |     1396 |       26
573.50/573.65	c  572s |      20 |   833270 |   762527 |    25538     70 |     1396 |       26
575.50/575.69	c  574s |      20 |   836008 |   765027 |    25538     70 |     1396 |       26
577.60/577.79	c  576s |      20 |   838746 |   767527 |    25538     70 |     1396 |       26
580.00/580.18	c  579s |      20 |   840442 |   769127 |    25538     71 |     1396 |       26
582.00/582.18	c  581s |      20 |   843946 |   772527 |    25538     71 |     1396 |       26
584.00/584.19	c  583s |      20 |   847076 |   775427 |    25538     71 |     1396 |       26
586.10/586.24	c  585s |      20 |   850126 |   778327 |    25538     71 |     1396 |       26
588.20/588.31	c  587s |      20 |   852890 |   781027 |    25538     71 |     1396 |       26
590.19/590.34	c  589s |      20 |   855552 |   783627 |    25538     72 |     1396 |       26
592.20/592.38	c  591s |      20 |   858721 |   786627 |    25538     72 |     1396 |       26
594.29/594.44	c  593s |      20 |   861178 |   789027 |    25538     72 |     1396 |       26
596.29/596.49	c  595s |      20 |   863529 |   791327 |    25538     72 |     1396 |       26
598.40/598.55	c  597s |      20 |   865401 |   793127 |    25538     72 |     1396 |       26
600.39/600.57	c  599s |      20 |   867270 |   794927 |    25538     72 |     1396 |       26
602.59/602.75	c  601s |      20 |   868604 |   796227 |    25538     73 |     1396 |       26
604.60/604.77	c  603s |      20 |   869909 |   797427 |    25538     73 |     1396 |       26
606.70/606.84	c  605s |      20 |   872515 |   799827 |    25538     73 |     1396 |       26
608.70/608.85	c  607s |      20 |   875493 |   802627 |    25538     73 |     1396 |       26
610.80/610.92	c  609s |      20 |   878400 |   805327 |    25538     73 |     1396 |       26
612.80/612.98	c  611s |      20 |   880838 |   807627 |    25538     73 |     1396 |       26
615.00/615.14	c  614s |      20 |   882873 |   809527 |    25538     74 |     1396 |       26
617.00/617.16	c  616s |      20 |   885624 |   811927 |    25538     74 |     1396 |       26
619.00/619.18	c  618s |      20 |   888111 |   814227 |    25538     74 |     1396 |       26
621.10/621.22	c  620s |      20 |   891185 |   817127 |    25538     74 |     1396 |       26
623.10/623.26	c  622s |      20 |   893782 |   819627 |    25538     74 |     1396 |       26
625.20/625.32	c  624s |      20 |   895097 |   820727 |    25538     74 |     1396 |       26
627.30/627.41	c  626s |      20 |   897748 |   822827 |    25538     74 |     1396 |       26
629.30/629.43	c  628s |      20 |   901294 |   825727 |    25538     75 |     1396 |       26
631.30/631.47	c  630s |      20 |   903684 |   827827 |    25538     75 |     1396 |       26
633.39/633.51	c  632s |      20 |   906566 |   830527 |    25538     75 |     1396 |       26
635.39/635.58	c  634s |      20 |   909330 |   833227 |    25538     75 |     1396 |       26
637.49/637.65	c  636s |      20 |   911705 |   835427 |    25538     75 |     1396 |       26
639.49/639.66	c  638s |      20 |   913719 |   837327 |    25538     76 |     1396 |       26
641.69/641.84	c  640s |      20 |   916746 |   840227 |    25538     76 |     1396 |       26
643.79/643.91	c  642s |      20 |   919194 |   842427 |    25538     76 |     1396 |       26
645.79/645.93	c  644s |      20 |   922052 |   844927 |    25538     76 |     1396 |       26
647.80/648.00	c  647s |      20 |   925079 |   847627 |    25538     76 |     1396 |       26
650.00/650.13	c  649s |      20 |   927642 |   849927 |    25538     77 |     1396 |       26
651.99/652.15	c  651s |      20 |   930877 |   852927 |    25538     77 |     1396 |       26
654.09/654.21	c  653s |      20 |   933732 |   855427 |    25538     77 |     1396 |       26
656.09/656.23	c  655s |      20 |   936593 |   858027 |    25538     77 |     1396 |       26
658.09/658.26	c  657s |      20 |   938620 |   859827 |    25538     77 |     1397 |       26
663.20/663.38	c  662s |      20 |   941014 |   862027 |    25538     77 |     1397 |       26
665.89/666.04	c  665s |      20 |   942667 |   863427 |    25538     78 |     1397 |       26
667.89/668.09	c  667s |      20 |   945190 |   865627 |    25538     78 |     1397 |       26
669.99/670.11	c  669s |      20 |   948503 |   868727 |    25538     78 |     1397 |       26
672.00/672.18	c  671s |      20 |   951156 |   871127 |    25538     78 |     1397 |       26
673.99/674.19	c  673s |      20 |   953382 |   873227 |    25538     78 |     1397 |       26
676.09/676.23	c  675s |      20 |   955866 |   875527 |    25538     78 |     1397 |       26
678.09/678.24	c  677s |      20 |   957341 |   876927 |    25538     79 |     1397 |       26
680.09/680.29	c  679s |      20 |   960248 |   879727 |    25538     79 |     1397 |       26
682.19/682.38	c  681s |      20 |   963205 |   882527 |    25538     79 |     1397 |       26
684.19/684.39	c  683s |      20 |   965352 |   884427 |    25538     79 |     1397 |       26
686.29/686.42	c  685s |      20 |   967989 |   886927 |    25538     79 |     1397 |       26
688.29/688.47	c  687s |      20 |   970747 |   889327 |    25538     79 |     1397 |       26
690.39/690.50	c  689s |      20 |   972322 |   890727 |    25538     80 |     1397 |       26
692.39/692.51	c  691s |      20 |   975781 |   894027 |    25538     80 |     1397 |       26
694.59/694.70	c  693s |      20 |   978984 |   897127 |    25538     80 |     1397 |       26
696.59/696.73	c  695s |      20 |   981208 |   899227 |    25538     80 |     1397 |       26
698.58/698.78	c  697s |      20 |   984204 |   901927 |    25538     80 |     1397 |       26
700.59/700.79	c  699s |      20 |   986700 |   904327 |    25538     81 |     1397 |       26
702.68/702.84	c  701s |      20 |   989450 |   906827 |    25538     81 |     1397 |       26
704.78/704.90	c  703s |      20 |   992120 |   909227 |    25538     81 |     1397 |       26
706.78/706.90	c  705s |      20 |   994599 |   911427 |    25538     81 |     1397 |       26
708.78/708.97	c  707s |      20 |   997206 |   913927 |    25538     81 |     1397 |       26
710.78/710.99	c  710s |      20 |   999480 |   916127 |    25538     81 |     1397 |       26
712.88/713.03	c  712s |      20 |  1001351 |   917827 |    25538     82 |     1397 |       26
714.89/715.07	c  714s |      20 |  1005489 |   921327 |    25538     82 |     1397 |       26
716.88/717.09	c  716s |      20 |  1009134 |   923927 |    25538     82 |     1397 |       26
718.98/719.15	c  718s |      20 |  1012374 |   926827 |    25538     82 |     1397 |       26
721.08/721.23	c  720s |      20 |  1015286 |   929627 |    25538     82 |     1397 |       26
723.18/723.36	c  722s |      20 |  1017449 |   931727 |    25538     83 |     1397 |       26
725.17/725.37	c  724s |      20 |  1020157 |   934227 |    25538     83 |     1397 |       26
727.17/727.38	c  726s |      20 |  1022867 |   936827 |    25538     83 |     1397 |       26
729.28/729.46	c  728s |      20 |  1025697 |   939227 |    25538     83 |     1397 |       26
731.39/731.51	c  730s |      20 |  1027538 |   940827 |    25538     83 |     1398 |       26
733.38/733.53	c  732s |      20 |  1030126 |   942927 |    25538     83 |     1398 |       26
735.38/735.59	c  734s |      20 |  1032037 |   944627 |    25538     84 |     1398 |       26
737.58/737.79	c  736s |      20 |  1034761 |   947327 |    25538     84 |     1398 |       26
739.68/739.89	c  738s |      20 |  1036402 |   948827 |    25538     84 |     1398 |       26
741.78/741.98	c  740s |      20 |  1039114 |   951427 |    25538     84 |     1399 |       26
743.78/744.00	c  743s |      20 |  1041412 |   953627 |    25538     84 |     1399 |       26
745.88/746.05	c  745s |      20 |  1044216 |   956127 |    25538     84 |     1399 |       26
747.89/748.05	c  747s |      20 |  1046288 |   958027 |    25538     85 |     1399 |       26
749.88/750.09	c  749s |      20 |  1049557 |   961027 |    25538     85 |     1399 |       26
751.98/752.11	c  751s |      20 |  1052340 |   963527 |    25538     85 |     1399 |       26
753.98/754.13	c  753s |      20 |  1055197 |   966127 |    25538     85 |     1399 |       26
755.98/756.19	c  755s |      20 |  1057886 |   968327 |    25538     85 |     1399 |       26
758.08/758.24	c  757s |      20 |  1060533 |   970927 |    25538     85 |     1399 |       26
760.08/760.27	c  759s |      20 |  1063571 |   973927 |    25538     86 |     1399 |       26
762.18/762.33	c  761s |      20 |  1066052 |   976327 |    25538     86 |     1399 |       26
764.28/764.42	c  763s |      20 |  1068912 |   979127 |    25538     86 |     1399 |       26
766.27/766.50	c  765s |      20 |  1071114 |   981127 |    25538     86 |     1399 |       26
768.37/768.55	c  767s |      20 |  1073382 |   983327 |    25538     86 |     1399 |       26
770.47/770.60	c  769s |      20 |  1075302 |   985127 |    25538     87 |     1399 |       26
772.47/772.69	c  771s |      20 |  1076275 |   985927 |    25538     87 |     1399 |       26
774.57/774.76	c  773s |      20 |  1078729 |   988227 |    25538     87 |     1399 |       26
776.67/776.84	c  775s |      20 |  1081637 |   990827 |    25538     87 |     1399 |       26
778.68/778.89	c  777s |      20 |  1084176 |   993127 |    25538     87 |     1399 |       26
780.67/780.89	c  779s |      20 |  1086471 |   995327 |    28092     87 |     1399 |       26
782.77/782.94	c  781s |      20 |  1088810 |   997627 |    28092     87 |     1399 |       26
784.77/784.97	c  783s |      20 |  1090953 |   999427 |    28092     87 |     1399 |       26
785.77/785.95	c  784s |      21 |  1092054 |  1000345 |    28092     87 |     1399 |       26
787.87/788.05	c  787s |      21 |  1093057 |  1001245 |    28092     88 |     1399 |       26
789.87/790.06	c  789s |      21 |  1096095 |  1003945 |    28092     88 |     1399 |       26
791.97/792.11	c  791s |      21 |  1099078 |  1006645 |    28092     88 |     1399 |       26
793.97/794.14	c  793s |      21 |  1102135 |  1009445 |    28092     88 |     1399 |       26
795.97/796.17	c  795s |      21 |  1104668 |  1011845 |    28092     88 |     1399 |       26
798.07/798.22	c  797s |      21 |  1107740 |  1014745 |    28092     88 |     1399 |       26
800.07/800.25	c  799s |      21 |  1110079 |  1016545 |    28092     89 |     1399 |       26
802.07/802.27	c  801s |      21 |  1112935 |  1019145 |    28092     89 |     1399 |       26
804.17/804.30	c  803s |      21 |  1115920 |  1021945 |    28092     89 |     1399 |       26
806.17/806.33	c  805s |      21 |  1119738 |  1025045 |    28092     89 |     1399 |       26
808.17/808.33	c  807s |      21 |  1123048 |  1027945 |    28092     89 |     1399 |       26
810.27/810.46	c  809s |      21 |  1125807 |  1030545 |    28092     90 |     1399 |       26
812.36/812.50	c  811s |      21 |  1128616 |  1033245 |    28092     90 |     1399 |       26
814.36/814.57	c  813s |      21 |  1131785 |  1036245 |    28092     90 |     1399 |       26
816.46/816.62	c  815s |      21 |  1134926 |  1039145 |    28092     90 |     1399 |       26
818.46/818.65	c  817s |      21 |  1137010 |  1041045 |    28092     90 |     1399 |       26
820.57/820.72	c  819s |      21 |  1140185 |  1043845 |    28092     90 |     1399 |       26
822.67/822.84	c  821s |      21 |  1141960 |  1045445 |    28092     91 |     1400 |       26
824.66/824.87	c  823s |      21 |  1145155 |  1048345 |    28092     91 |     1400 |       26
826.66/826.88	c  825s |      21 |  1148624 |  1051545 |    28092     91 |     1400 |       26
828.76/828.92	c  827s |      21 |  1152095 |  1054845 |    28092     91 |     1400 |       26
830.76/830.93	c  829s |      21 |  1154724 |  1057245 |    28092     91 |     1400 |       26
832.86/833.00	c  832s |      21 |  1157527 |  1059745 |    28092     91 |     1400 |       26
834.87/835.02	c  834s |      21 |  1159509 |  1061545 |    28092     92 |     1400 |       26
836.96/837.12	c  836s |      21 |  1162494 |  1064245 |    28092     92 |     1400 |       26
838.96/839.13	c  838s |      21 |  1165324 |  1066745 |    28092     92 |     1400 |       26
841.06/841.21	c  840s |      21 |  1168061 |  1069245 |    28092     92 |     1400 |       26
843.06/843.25	c  842s |      21 |  1170477 |  1071345 |    28092     92 |     1400 |       26
845.26/845.44	c  844s |      21 |  1172319 |  1073045 |    28092     92 |     1400 |       26
847.76/847.94	c  846s |      21 |  1174321 |  1074845 |    28092     93 |     1400 |       26
849.76/849.96	c  848s |      21 |  1175983 |  1076345 |    28092     93 |     1400 |       26
851.76/851.97	c  850s |      21 |  1179308 |  1079445 |    28092     93 |     1400 |       26
853.86/854.03	c  853s |      21 |  1182634 |  1082445 |    28092     93 |     1400 |       26
855.86/856.08	c  855s |      21 |  1185582 |  1085145 |    28092     93 |     1400 |       26
857.87/858.08	c  857s |      21 |  1188302 |  1087745 |    28092     93 |     1400 |       26
859.96/860.12	c  859s |      21 |  1190797 |  1090145 |    28092     94 |     1400 |       26
862.06/862.21	c  861s |      21 |  1192792 |  1091945 |    28092     94 |     1400 |       26
864.06/864.27	c  863s |      21 |  1195239 |  1094145 |    28092     94 |     1400 |       26
866.16/866.35	c  865s |      21 |  1197757 |  1096445 |    28092     94 |     1400 |       26
868.26/868.40	c  867s |      21 |  1199942 |  1098445 |    28092     94 |     1400 |       26
870.26/870.46	c  869s |      21 |  1202267 |  1100545 |    28092     94 |     1400 |       26
872.36/872.58	c  871s |      21 |  1204365 |  1102445 |    28092     94 |     1400 |       26
874.56/874.77	c  873s |      21 |  1206589 |  1104445 |    28092     95 |     1400 |       26
876.56/876.80	c  875s |      21 |  1208028 |  1105745 |    28092     95 |     1400 |       26
878.66/878.85	c  877s |      21 |  1210726 |  1108245 |    28092     95 |     1400 |       26
880.66/880.88	c  879s |      21 |  1213672 |  1110945 |    28092     95 |     1400 |       26
882.76/882.91	c  881s |      21 |  1216289 |  1113345 |    28092     95 |     1400 |       26
884.76/884.95	c  883s |      21 |  1218841 |  1115745 |    28092     95 |     1400 |       26
886.86/887.00	c  886s |      21 |  1221057 |  1117745 |    28092     95 |     1400 |       26
888.86/889.08	c  888s |      21 |  1224161 |  1120545 |    28092     96 |     1400 |       26
890.86/891.08	c  890s |      21 |  1226881 |  1122945 |    28092     96 |     1401 |       26
892.95/893.12	c  892s |      21 |  1228275 |  1124245 |    28092     96 |     1401 |       26
894.95/895.18	c  894s |      21 |  1230972 |  1126745 |    28092     96 |     1401 |       26
897.05/897.26	c  896s |      21 |  1233659 |  1129245 |    28092     96 |     1401 |       26
899.15/899.37	c  898s |      21 |  1236278 |  1131645 |    28092     96 |     1401 |       26
901.25/901.45	c  900s |      21 |  1238528 |  1133745 |    28092     96 |     1401 |       26
903.65/903.85	c  902s |      21 |  1240166 |  1135245 |    28092     97 |     1401 |       26
905.75/905.92	c  904s |      21 |  1243127 |  1137945 |    28092     97 |     1401 |       26
907.75/907.96	c  906s |      21 |  1245809 |  1140445 |    28092     97 |     1401 |       26
909.75/909.99	c  909s |      21 |  1248434 |  1142945 |    28092     97 |     1401 |       26
911.86/912.03	c  911s |      21 |  1250891 |  1145145 |    28092     97 |     1401 |       26
913.85/914.10	c  913s |      21 |  1253108 |  1147145 |    28092     97 |     1401 |       26
916.26/916.41	c  915s |      21 |  1254912 |  1148745 |    28092     98 |     1401 |       26
918.25/918.43	c  917s |      21 |  1257934 |  1151545 |    28092     98 |     1401 |       26
920.25/920.45	c  919s |      21 |  1260343 |  1153745 |    28092     98 |     1401 |       26
922.25/922.49	c  921s |      21 |  1263026 |  1156245 |    28092     98 |     1401 |       26
924.35/924.56	c  923s |      21 |  1265209 |  1158245 |    28092     98 |     1401 |       26
926.45/926.60	c  925s |      21 |  1268037 |  1160945 |    28092     98 |     1401 |       26
928.45/928.67	c  927s |      21 |  1270475 |  1163245 |    28092     98 |     1401 |       26
930.45/930.69	c  929s |      21 |  1272614 |  1165245 |    28092     99 |     1401 |       26
932.54/932.75	c  931s |      21 |  1273633 |  1166145 |    28092     99 |     1401 |       26
934.54/934.78	c  933s |      21 |  1276989 |  1169245 |    28092     99 |     1401 |       26
936.64/936.83	c  935s |      21 |  1279887 |  1171945 |    28092     99 |     1401 |       26
938.74/938.93	c  937s |      21 |  1282540 |  1174445 |    28092     99 |     1401 |       26
940.74/940.95	c  939s |      21 |  1284390 |  1176145 |    28092     99 |     1401 |       26
942.74/942.96	c  941s |      21 |  1286377 |  1178045 |    28092     99 |     1401 |       26
944.85/945.02	c  944s |      21 |  1289293 |  1180845 |    28092    100 |     1401 |       26
946.95/947.17	c  946s |      21 |  1291951 |  1183345 |    28092    100 |     1401 |       26
949.04/949.24	c  948s |      21 |  1294589 |  1185845 |    28092    100 |     1401 |       26
951.35/951.60	c  950s |      21 |  1296798 |  1187745 |    28092    100 |     1401 |       26
953.44/953.68	c  952s |      21 |  1298814 |  1189545 |    28092    100 |     1401 |       26
955.54/955.75	c  954s |      21 |  1300990 |  1191645 |    28092    100 |     1401 |       26
957.84/958.00	c  957s |      21 |  1302682 |  1193145 |    28092    101 |     1401 |       26
959.84/960.03	c  959s |      21 |  1304775 |  1195045 |    28092    101 |     1401 |       26
961.84/962.07	c  961s |      21 |  1307542 |  1197645 |    28092    101 |     1401 |       26
963.94/964.12	c  963s |      21 |  1310257 |  1200245 |    28092    101 |     1401 |       26
965.94/966.14	c  965s |      21 |  1312675 |  1202545 |    28092    101 |     1401 |       26
967.94/968.18	c  967s |      21 |  1315443 |  1205145 |    28092    101 |     1401 |       26
970.04/970.23	c  969s |      21 |  1317748 |  1207345 |    28092    101 |     1401 |       26
972.04/972.25	c  971s |      21 |  1321105 |  1210545 |    28092    102 |     1401 |       26
974.04/974.25	c  973s |      21 |  1323118 |  1212445 |    28092    102 |     1401 |       26
976.05/976.29	c  975s |      21 |  1325303 |  1214545 |    28092    102 |     1401 |       26
978.15/978.36	c  977s |      21 |  1327692 |  1216745 |    28092    102 |     1401 |       26
980.25/980.43	c  979s |      21 |  1330022 |  1218845 |    28092    102 |     1401 |       26
982.25/982.49	c  981s |      21 |  1332166 |  1220845 |    28092    102 |     1401 |       26
985.04/985.25	c  984s |      21 |  1334137 |  1222645 |    28092    103 |     1401 |       26
987.04/987.27	c  986s |      21 |  1335701 |  1224045 |    28092    103 |     1401 |       26
989.04/989.28	c  988s |      21 |  1338389 |  1226545 |    28092    103 |     1401 |       26
991.05/991.29	c  990s |      21 |  1341579 |  1229545 |    28092    103 |     1401 |       26
993.15/993.36	c  992s |      21 |  1344446 |  1232245 |    28092    103 |     1401 |       26
995.24/995.40	c  994s |      21 |  1346784 |  1234445 |    28092    103 |     1401 |       26
997.24/997.42	c  996s |      21 |  1349427 |  1236945 |    28092    103 |     1401 |       26
999.24/999.43	c  998s |      21 |  1351296 |  1238745 |    28092    104 |     1401 |       26
1001.24/1001.44	c 1000s |      21 |  1354780 |  1242045 |    28092    104 |     1401 |       26
1003.24/1003.47	c 1002s |      21 |  1357157 |  1244245 |    28092    104 |     1401 |       26
1005.34/1005.53	c 1004s |      21 |  1359711 |  1246545 |    28092    104 |     1401 |       26
1007.34/1007.57	c 1006s |      21 |  1362100 |  1248845 |    28092    104 |     1401 |       26
1009.34/1009.58	c 1008s |      21 |  1364288 |  1250945 |    28092    104 |     1401 |       26
1012.03/1012.22	c 1011s |      21 |  1365750 |  1252245 |    28092    105 |     1401 |       26
1014.04/1014.22	c 1013s |      21 |  1368685 |  1255045 |    28092    105 |     1401 |       26
1016.03/1016.27	c 1015s |      21 |  1371771 |  1258045 |    28092    105 |     1401 |       26
1018.03/1018.28	c 1017s |      21 |  1374916 |  1260945 |    28092    105 |     1401 |       26
1020.13/1020.30	c 1019s |      21 |  1377735 |  1263645 |    28092    105 |     1401 |       26
1022.13/1022.33	c 1021s |      21 |  1380428 |  1266245 |    28092    105 |     1401 |       26
1025.43/1025.67	c 1024s |      21 |  1381882 |  1267545 |    28092    106 |     1401 |       26
1027.43/1027.70	c 1026s |      21 |  1384518 |  1270045 |    28092    106 |     1401 |       26
1029.54/1029.76	c 1028s |      21 |  1387940 |  1272945 |    28092    106 |     1401 |       26
1031.53/1031.78	c 1030s |      21 |  1390300 |  1275145 |    28092    106 |     1401 |       26
1033.63/1033.87	c 1032s |      21 |  1392658 |  1277445 |    28092    106 |     1401 |       26
1035.63/1035.89	c 1034s |      21 |  1394955 |  1279645 |    28092    106 |     1401 |       26
1037.93/1038.10	c 1037s |      21 |  1397289 |  1281745 |    28092    107 |     1401 |       26
1039.93/1040.13	c 1039s |      21 |  1400170 |  1284545 |    28092    107 |     1401 |       26
1041.93/1042.14	c 1041s |      21 |  1403493 |  1287445 |    28092    107 |     1401 |       26
1044.03/1044.21	c 1043s |      21 |  1406428 |  1290245 |    28092    107 |     1401 |       26
1046.03/1046.28	c 1045s |      21 |  1409174 |  1292845 |    28092    107 |     1401 |       26
1048.13/1048.33	c 1047s |      21 |  1411592 |  1295045 |    28092    107 |     1401 |       26
1050.23/1050.41	c 1049s |      21 |  1413959 |  1297045 |    28092    108 |     1401 |       26
1052.23/1052.45	c 1051s |      21 |  1416429 |  1299245 |    28092    108 |     1401 |       26
1054.23/1054.49	c 1053s |      21 |  1418211 |  1300945 |    28092    108 |     1401 |       26
1056.23/1056.49	c 1055s |      21 |  1421521 |  1303645 |    28092    108 |     1401 |       26
1058.33/1058.54	c 1057s |      21 |  1424060 |  1305745 |    28092    108 |     1401 |       26
1060.34/1060.57	c 1059s |      21 |  1426801 |  1308045 |    28092    108 |     1401 |       26
1062.44/1062.68	c 1061s |      21 |  1429574 |  1310045 |    28092    108 |     1401 |       26
1064.93/1065.15	c 1064s |      21 |  1430900 |  1311245 |    28092    109 |     1401 |       26
1067.33/1067.58	c 1066s |      21 |  1431169 |  1311445 |    28092    109 |     1401 |       26
1069.43/1069.62	c 1068s |      21 |  1433422 |  1313545 |    28092    109 |     1401 |       26
1071.43/1071.69	c 1070s |      21 |  1436327 |  1316245 |    28092    109 |     1401 |       26
1073.53/1073.73	c 1072s |      21 |  1439491 |  1319245 |    28092    109 |     1401 |       26
1075.53/1075.75	c 1074s |      21 |  1441776 |  1321345 |    28092    109 |     1401 |       26
1077.63/1077.86	c 1076s |      21 |  1444183 |  1323545 |    28092    109 |     1401 |       26
1080.72/1080.95	c 1079s |      21 |  1446297 |  1325545 |    28092    109 |     1401 |       26
1082.82/1083.03	c 1082s |      21 |  1447161 |  1326345 |    28092    110 |     1401 |       26
1084.82/1085.09	c 1084s |      21 |  1450583 |  1329445 |    28092    110 |     1401 |       26
1086.92/1087.12	c 1086s |      21 |  1453534 |  1332045 |    28092    110 |     1401 |       26
1088.93/1089.14	c 1088s |      21 |  1456414 |  1334745 |    28092    110 |     1401 |       26
1091.03/1091.22	c 1090s |      21 |  1459184 |  1337345 |    28092    110 |     1401 |       26
1093.12/1093.31	c 1092s |      21 |  1461290 |  1339345 |    28092    110 |     1401 |       26
1095.62/1095.82	c 1094s |      21 |  1462991 |  1340845 |    28092    111 |     1401 |       26
1097.63/1097.84	c 1096s |      21 |  1466021 |  1343645 |    28092    111 |     1401 |       26
1099.63/1099.89	c 1098s |      21 |  1469439 |  1346845 |    28092    111 |     1401 |       26
1101.73/1101.90	c 1100s |      21 |  1472198 |  1349445 |    28092    111 |     1401 |       26
1103.73/1103.98	c 1102s |      21 |  1474885 |  1351945 |    28092    111 |     1401 |       26
1105.73/1105.99	c 1105s |      21 |  1477152 |  1354045 |    28092    111 |     1401 |       26
1107.93/1108.13	c 1107s |      21 |  1478958 |  1355745 |    28092    112 |     1401 |       26
1109.93/1110.18	c 1109s |      21 |  1481755 |  1358445 |    28092    112 |     1401 |       26
1111.93/1112.19	c 1111s |      21 |  1484079 |  1360545 |    28092    112 |     1401 |       26
1114.02/1114.23	c 1113s |      21 |  1486939 |  1363245 |    28092    112 |     1401 |       26
1116.12/1116.32	c 1115s |      21 |  1489650 |  1365845 |    28092    112 |     1401 |       26
1118.12/1118.39	c 1117s |      21 |  1492295 |  1368045 |    28092    112 |     1401 |       26
1120.22/1120.45	c 1119s |      21 |  1494785 |  1370345 |    28092    113 |     1401 |       26
1122.22/1122.47	c 1121s |      21 |  1497250 |  1372545 |    28092    113 |     1401 |       26
1125.13/1125.35	c 1124s |      21 |  1497716 |  1372945 |    28092    113 |     1401 |       26
1127.22/1127.40	c 1126s |      21 |  1501127 |  1376145 |    28092    113 |     1401 |       26
1129.22/1129.47	c 1128s |      21 |  1504044 |  1378845 |    28092    113 |     1401 |       26
1131.22/1131.48	c 1130s |      21 |  1506895 |  1381445 |    28092    113 |     1401 |       26
1133.32/1133.56	c 1132s |      21 |  1509292 |  1383645 |    28092    113 |     1401 |       26
1135.42/1135.64	c 1134s |      21 |  1511031 |  1385245 |    28092    114 |     1401 |       26
1137.52/1137.70	c 1136s |      21 |  1513387 |  1387345 |    28092    114 |     1401 |       26
1139.52/1139.74	c 1138s |      21 |  1516303 |  1390045 |    28092    114 |     1401 |       26
1141.52/1141.78	c 1140s |      21 |  1519634 |  1393045 |    28092    114 |     1401 |       26
1143.62/1143.89	c 1142s |      21 |  1522070 |  1395345 |    28092    114 |     1401 |       26
1145.72/1145.92	c 1144s |      21 |  1523750 |  1396945 |    28092    114 |     1401 |       26
1147.72/1147.96	c 1146s |      21 |  1526234 |  1399245 |    28092    114 |     1401 |       26
1149.81/1150.00	c 1149s |      21 |  1528590 |  1401345 |    28092    115 |     1401 |       26
1151.81/1152.05	c 1151s |      21 |  1530820 |  1403445 |    28092    115 |     1401 |       26
1153.82/1154.09	c 1153s |      21 |  1533537 |  1405845 |    28092    115 |     1401 |       26
1155.92/1156.12	c 1155s |      21 |  1536264 |  1408445 |    28092    115 |     1401 |       26
1157.91/1158.18	c 1157s |      21 |  1538947 |  1410945 |    28092    115 |     1401 |       26
1160.01/1160.28	c 1159s |      21 |  1541160 |  1412945 |    28092    115 |     1401 |       26
1162.31/1162.55	c 1161s |      21 |  1543151 |  1414745 |    28092    116 |     1401 |       26
1164.31/1164.59	c 1163s |      21 |  1545962 |  1417345 |    28092    116 |     1401 |       26
1166.41/1166.66	c 1165s |      21 |  1548470 |  1419645 |    28092    116 |     1401 |       26
1168.51/1168.75	c 1167s |      21 |  1550522 |  1421545 |    28092    116 |     1401 |       26
1170.51/1170.78	c 1169s |      21 |  1553183 |  1423945 |    28092    116 |     1401 |       26
1172.61/1172.84	c 1171s |      21 |  1555825 |  1426445 |    28092    116 |     1401 |       26
1174.61/1174.88	c 1173s |      21 |  1558400 |  1428845 |    28092    116 |     1401 |       26
1176.72/1176.92	c 1175s |      21 |  1560752 |  1431045 |    28092    117 |     1401 |       26
1178.71/1178.99	c 1178s |      21 |  1564201 |  1434145 |    28092    117 |     1401 |       26
1181.01/1181.24	c 1180s |      21 |  1566306 |  1436145 |    28092    117 |     1401 |       26
1183.11/1183.33	c 1182s |      21 |  1568812 |  1438445 |    28092    117 |     1401 |       26
1185.11/1185.36	c 1184s |      21 |  1570917 |  1440445 |    28092    117 |     1401 |       26
1187.11/1187.37	c 1186s |      21 |  1573198 |  1442545 |    28092    117 |     1401 |       26
1189.51/1189.73	c 1188s |      21 |  1575070 |  1444245 |    28092    118 |     1401 |       26
1192.11/1192.35	c 1191s |      21 |  1576724 |  1445745 |    28092    118 |     1401 |       26
1194.21/1194.41	c 1193s |      21 |  1579353 |  1448145 |    28092    118 |     1401 |       26
1196.21/1196.44	c 1195s |      21 |  1582069 |  1450645 |    28092    118 |     1401 |       26
1198.21/1198.49	c 1197s |      21 |  1584600 |  1452945 |    28092    118 |     1401 |       26
1200.31/1200.53	c 1199s |      21 |  1586719 |  1454945 |    28092    118 |     1401 |       26
1202.41/1202.66	c 1201s |      21 |  1589055 |  1457145 |    28092    118 |     1401 |       26
1204.42/1204.67	c 1203s |      21 |  1591027 |  1458945 |    28092    118 |     1401 |       26
1206.52/1206.72	c 1205s |      21 |  1593296 |  1461145 |    28092    119 |     1401 |       26
1208.51/1208.76	c 1207s |      21 |  1595500 |  1463245 |    28092    119 |     1401 |       26
1210.51/1210.76	c 1209s |      21 |  1598853 |  1466245 |    28092    119 |     1401 |       26
1212.61/1212.80	c 1211s |      21 |  1601626 |  1468745 |    28092    119 |     1401 |       26
1214.61/1214.83	c 1213s |      21 |  1604208 |  1471245 |    28092    119 |     1401 |       26
1217.31/1217.58	c 1216s |      21 |  1606892 |  1473745 |    28092    120 |     1401 |       26
1219.41/1219.63	c 1218s |      21 |  1608707 |  1475445 |    28092    120 |     1401 |       26
1221.41/1221.66	c 1220s |      21 |  1611484 |  1478045 |    28092    120 |     1401 |       26
1223.41/1223.66	c 1222s |      21 |  1614371 |  1480845 |    28092    120 |     1401 |       26
1225.51/1225.71	c 1224s |      21 |  1617105 |  1483445 |    28092    120 |     1401 |       26
1227.51/1227.76	c 1226s |      21 |  1619693 |  1485945 |    28092    120 |     1401 |       26
1229.71/1229.94	c 1228s |      21 |  1622380 |  1488545 |    28092    121 |     1401 |       26
1231.81/1232.06	c 1231s |      21 |  1623915 |  1490045 |    30902    121 |     1401 |       26
1233.90/1234.12	c 1233s |      21 |  1625710 |  1491645 |    30902    121 |     1401 |       26
1236.00/1236.22	c 1235s |      21 |  1628368 |  1494145 |    30902    121 |     1401 |       26
1238.00/1238.25	c 1237s |      21 |  1631021 |  1496645 |    30902    121 |     1401 |       26
1240.00/1240.28	c 1239s |      21 |  1633342 |  1498845 |    30902    121 |     1401 |       26
1241.90/1242.14	c 1241s |      22 |  1635237 |  1500622 |    30902    121 |     1401 |       26
1244.10/1244.30	c 1243s |      22 |  1637139 |  1502322 |    30902    121 |     1401 |       26
1246.10/1246.37	c 1245s |      22 |  1639127 |  1504222 |    30902    121 |     1401 |       26
1248.10/1248.38	c 1247s |      22 |  1640953 |  1505922 |    30902    121 |     1401 |       26
1250.20/1250.46	c 1249s |      22 |  1642234 |  1507122 |    30902    122 |     1401 |       26
1252.30/1252.52	c 1251s |      22 |  1644754 |  1509522 |    30902    122 |     1401 |       26
1254.29/1254.58	c 1253s |      22 |  1645610 |  1510322 |    30902    122 |     1401 |       26
1256.39/1256.65	c 1255s |      22 |  1648351 |  1512922 |    30902    122 |     1401 |       26
1258.39/1258.68	c 1257s |      22 |  1650656 |  1515022 |    30902    122 |     1401 |       26
1260.40/1260.70	c 1259s |      22 |  1652976 |  1517122 |    30902    122 |     1401 |       26
1262.49/1262.80	c 1261s |      22 |  1654941 |  1518922 |    30902    122 |     1401 |       26
1264.59/1264.88	c 1263s |      22 |  1656969 |  1520822 |    30902    122 |     1401 |       26
1266.90/1267.11	c 1266s |      22 |  1658613 |  1522322 |    30902    123 |     1401 |       26
1268.90/1269.12	c 1268s |      22 |  1660866 |  1524322 |    30902    123 |     1401 |       26
1272.79/1273.07	c 1272s |      22 |  1661551 |  1524822 |    30902    123 |     1401 |       26
1274.89/1275.13	c 1274s |      22 |  1664267 |  1527322 |    30902    123 |     1401 |       26
1276.90/1277.18	c 1276s |      22 |  1666953 |  1529822 |    30902    123 |     1401 |       26
1278.99/1279.24	c 1278s |      22 |  1669350 |  1532022 |    30902    123 |     1401 |       26
1280.99/1281.27	c 1280s |      22 |  1671309 |  1533722 |    30902    123 |     1402 |       26
1282.99/1283.29	c 1282s |      22 |  1673414 |  1535622 |    30902    123 |     1402 |       26
1285.09/1285.35	c 1284s |      22 |  1675525 |  1537522 |    30902    123 |     1402 |       26
1287.29/1287.51	c 1286s |      22 |  1676921 |  1538822 |    30902    124 |     1402 |       26
1289.79/1290.00	c 1289s |      22 |  1679687 |  1541322 |    30902    124 |     1402 |       26
1291.79/1292.04	c 1291s |      22 |  1682608 |  1544022 |    30902    124 |     1402 |       26
1293.79/1294.08	c 1293s |      22 |  1685093 |  1546322 |    30902    124 |     1402 |       26
1295.89/1296.11	c 1295s |      22 |  1687486 |  1548522 |    30902    124 |     1402 |       26
1297.89/1298.15	c 1297s |      22 |  1690215 |  1551122 |    30902    124 |     1402 |       26
1299.90/1300.19	c 1299s |      22 |  1692092 |  1552822 |    30902    124 |     1402 |       26
1302.10/1302.33	c 1301s |      22 |  1694143 |  1554722 |    30902    125 |     1402 |       26
1304.20/1304.45	c 1303s |      22 |  1696625 |  1557022 |    30902    125 |     1402 |       26
1306.20/1306.49	c 1305s |      22 |  1698281 |  1558522 |    30902    125 |     1402 |       26
1308.30/1308.52	c 1307s |      22 |  1701900 |  1561922 |    30902    125 |     1402 |       26
1310.29/1310.59	c 1309s |      22 |  1704436 |  1564222 |    30902    125 |     1402 |       26
1312.39/1312.60	c 1311s |      22 |  1706515 |  1566122 |    30902    125 |     1402 |       26
1314.40/1314.64	c 1313s |      22 |  1708450 |  1567922 |    30902    125 |     1402 |       26
1316.39/1316.65	c 1315s |      22 |  1711105 |  1570422 |    30902    125 |     1402 |       26
1318.39/1318.67	c 1317s |      22 |  1713124 |  1572022 |    30902    126 |     1402 |       26
1320.49/1320.70	c 1319s |      22 |  1717012 |  1575422 |    30902    126 |     1402 |       26
1322.49/1322.76	c 1321s |      22 |  1720010 |  1578022 |    30902    126 |     1402 |       26
1324.59/1324.80	c 1323s |      22 |  1722607 |  1580522 |    30902    126 |     1402 |       26
1326.59/1326.84	c 1325s |      22 |  1725401 |  1583022 |    30902    126 |     1402 |       26
1328.60/1328.89	c 1327s |      22 |  1727934 |  1585522 |    30902    126 |     1402 |       26
1330.59/1330.89	c 1329s |      22 |  1729668 |  1587222 |    30902    127 |     1402 |       26
1332.69/1332.96	c 1331s |      22 |  1732057 |  1589422 |    30902    127 |     1402 |       26
1334.79/1335.03	c 1334s |      22 |  1734624 |  1591922 |    30902    127 |     1402 |       26
1336.79/1337.08	c 1336s |      22 |  1737592 |  1594722 |    30902    127 |     1402 |       26
1338.99/1339.28	c 1338s |      22 |  1740057 |  1596922 |    30902    127 |     1402 |       26
1340.99/1341.29	c 1340s |      22 |  1742793 |  1599422 |    30902    127 |     1402 |       26
1343.09/1343.36	c 1342s |      22 |  1745902 |  1602322 |    30902    127 |     1402 |       26
1345.19/1345.41	c 1344s |      22 |  1747778 |  1604022 |    30902    128 |     1402 |       26
1347.19/1347.47	c 1346s |      22 |  1749672 |  1605722 |    30902    128 |     1402 |       26
1349.29/1349.59	c 1348s |      22 |  1752457 |  1608322 |    30902    128 |     1402 |       26
1351.39/1351.62	c 1350s |      22 |  1755422 |  1611022 |    30902    128 |     1402 |       26
1353.39/1353.63	c 1352s |      22 |  1758037 |  1613522 |    30902    128 |     1402 |       26
1355.49/1355.70	c 1354s |      22 |  1760846 |  1616122 |    30902    128 |     1402 |       26
1357.48/1357.72	c 1356s |      22 |  1763034 |  1617922 |    30902    128 |     1402 |       26
1359.49/1359.74	c 1358s |      22 |  1764969 |  1619622 |    30902    129 |     1402 |       26
1361.48/1361.77	c 1360s |      22 |  1768891 |  1623422 |    30902    129 |     1402 |       26
1363.58/1363.85	c 1362s |      22 |  1771294 |  1625622 |    30902    129 |     1402 |       26
1365.68/1365.90	c 1364s |      22 |  1773001 |  1627222 |    30902    129 |     1402 |       26
1367.68/1367.93	c 1366s |      22 |  1775716 |  1629822 |    30902    129 |     1402 |       26
1369.78/1370.01	c 1369s |      22 |  1777864 |  1631722 |    30902    129 |     1402 |       26
1371.78/1372.01	c 1371s |      22 |  1779996 |  1633722 |    30902    129 |     1402 |       26
1374.48/1374.73	c 1373s |      22 |  1781964 |  1635622 |    30902    130 |     1402 |       26
1376.48/1376.77	c 1375s |      22 |  1784514 |  1638022 |    30902    130 |     1402 |       26
1378.58/1378.80	c 1377s |      22 |  1787466 |  1640722 |    30902    130 |     1402 |       26
1380.58/1380.83	c 1379s |      22 |  1790575 |  1643722 |    30902    130 |     1402 |       26
1382.58/1382.83	c 1381s |      22 |  1793403 |  1646322 |    30902    130 |     1402 |       26
1384.58/1384.87	c 1383s |      22 |  1796274 |  1648922 |    30902    130 |     1402 |       26
1386.68/1386.90	c 1385s |      22 |  1798472 |  1650922 |    30902    130 |     1402 |       26
1388.97/1389.24	c 1388s |      22 |  1799622 |  1652022 |    30902    131 |     1402 |       26
1391.07/1391.31	c 1390s |      22 |  1800737 |  1653022 |    30902    131 |     1402 |       26
1393.07/1393.38	c 1392s |      22 |  1803859 |  1655822 |    30902    131 |     1402 |       26
1395.17/1395.47	c 1394s |      22 |  1806678 |  1658422 |    30902    131 |     1402 |       26
1397.27/1397.52	c 1396s |      22 |  1809332 |  1660822 |    30902    131 |     1402 |       26
1399.27/1399.59	c 1398s |      22 |  1811746 |  1663122 |    30902    131 |     1402 |       26
1401.28/1401.59	c 1400s |      22 |  1814028 |  1665222 |    30902    131 |     1402 |       26
1403.38/1403.69	c 1402s |      22 |  1816257 |  1667322 |    30902    131 |     1402 |       26
1405.58/1405.85	c 1404s |      22 |  1817740 |  1668722 |    30902    132 |     1402 |       26
1407.57/1407.85	c 1406s |      22 |  1821344 |  1672122 |    30902    132 |     1402 |       26
1409.67/1409.90	c 1408s |      22 |  1824596 |  1675122 |    30902    132 |     1402 |       26
1411.77/1412.00	c 1411s |      22 |  1826992 |  1677322 |    30902    132 |     1402 |       26
1413.77/1414.02	c 1413s |      22 |  1828788 |  1679022 |    30902    132 |     1402 |       26
1415.78/1416.06	c 1415s |      22 |  1830777 |  1680822 |    30902    132 |     1402 |       26
1417.88/1418.16	c 1417s |      22 |  1832700 |  1682622 |    30902    132 |     1402 |       26
1419.88/1420.19	c 1419s |      22 |  1834375 |  1684122 |    30902    133 |     1402 |       26
1421.98/1422.20	c 1421s |      22 |  1836722 |  1686222 |    30902    133 |     1402 |       26
1423.98/1424.26	c 1423s |      22 |  1839622 |  1689022 |    30902    133 |     1402 |       26
1426.08/1426.39	c 1425s |      22 |  1841959 |  1691222 |    30902    133 |     1402 |       26
1428.17/1428.46	c 1427s |      22 |  1843722 |  1692822 |    30902    133 |     1402 |       26
1430.17/1430.50	c 1429s |      22 |  1845813 |  1694722 |    30902    133 |     1402 |       26
1432.27/1432.57	c 1431s |      22 |  1848073 |  1696822 |    30902    133 |     1402 |       26
1434.28/1434.57	c 1433s |      22 |  1850124 |  1698722 |    30902    133 |     1402 |       26
1436.87/1437.17	c 1436s |      22 |  1851964 |  1700422 |    30902    134 |     1402 |       26
1438.97/1439.23	c 1438s |      22 |  1854048 |  1702322 |    30902    134 |     1402 |       26
1440.97/1441.26	c 1440s |      22 |  1856639 |  1704722 |    30902    134 |     1402 |       26
1443.08/1443.31	c 1442s |      22 |  1859055 |  1706922 |    30902    134 |     1402 |       26
1445.07/1445.39	c 1444s |      22 |  1861387 |  1709122 |    30902    134 |     1402 |       26
1447.17/1447.46	c 1446s |      22 |  1863444 |  1711022 |    30902    134 |     1402 |       26
1449.17/1449.49	c 1448s |      22 |  1865491 |  1712922 |    30902    134 |     1402 |       26
1451.27/1451.51	c 1450s |      22 |  1867593 |  1714822 |    30902    134 |     1402 |       26
1453.27/1453.56	c 1452s |      22 |  1869352 |  1716522 |    30902    135 |     1402 |       26
1455.57/1455.81	c 1454s |      22 |  1871675 |  1718722 |    30902    135 |     1402 |       26
1457.67/1457.90	c 1456s |      22 |  1874814 |  1721622 |    30902    135 |     1402 |       26
1459.67/1459.96	c 1458s |      22 |  1877655 |  1724322 |    30902    135 |     1402 |       26
1461.77/1462.00	c 1461s |      22 |  1880114 |  1726622 |    30902    135 |     1402 |       26
1463.87/1464.11	c 1463s |      22 |  1882988 |  1729322 |    30902    135 |     1402 |       26
1465.86/1466.18	c 1465s |      22 |  1885331 |  1731522 |    30902    135 |     1402 |       26
1468.86/1469.11	c 1468s |      22 |  1886741 |  1732722 |    30902    136 |     1402 |       26
1470.86/1471.13	c 1470s |      22 |  1889262 |  1735022 |    30902    136 |     1402 |       26
1472.86/1473.17	c 1472s |      22 |  1892387 |  1737922 |    30902    136 |     1402 |       26
1474.87/1475.17	c 1474s |      22 |  1895599 |  1740722 |    30902    136 |     1402 |       26
1476.96/1477.26	c 1476s |      22 |  1898040 |  1742922 |    30902    136 |     1402 |       26
1478.96/1479.27	c 1478s |      22 |  1900068 |  1744822 |    30902    136 |     1402 |       26
1481.06/1481.35	c 1480s |      22 |  1902230 |  1746722 |    30902    136 |     1402 |       26
1483.16/1483.44	c 1482s |      22 |  1904299 |  1748622 |    30902    136 |     1402 |       26
1485.16/1485.49	c 1484s |      22 |  1905730 |  1749922 |    30902    137 |     1402 |       26
1489.17/1489.47	c 1488s |      22 |  1909223 |  1753222 |    30902    137 |     1402 |       26
1491.27/1491.52	c 1490s |      22 |  1911611 |  1755422 |    30902    137 |     1402 |       26
1493.27/1493.58	c 1492s |      22 |  1914231 |  1757922 |    30902    137 |     1402 |       26
1495.37/1495.65	c 1494s |      22 |  1916955 |  1760422 |    30902    137 |     1402 |       26
1497.47/1497.79	c 1496s |      22 |  1919087 |  1762422 |    30902    137 |     1402 |       26
1499.57/1499.88	c 1498s |      22 |  1920913 |  1764122 |    30902    137 |     1402 |       26
1502.66/1502.98	c 1502s |      22 |  1922087 |  1765222 |    30902    138 |     1402 |       26
1504.76/1505.05	c 1504s |      22 |  1925335 |  1768222 |    30902    138 |     1402 |       26
1506.77/1507.09	c 1506s |      22 |  1927831 |  1770522 |    30902    138 |     1402 |       26
1508.86/1509.10	c 1508s |      22 |  1930432 |  1773022 |    30902    138 |     1402 |       26
1510.86/1511.16	c 1510s |      22 |  1932787 |  1775222 |    30902    138 |     1402 |       26
1512.96/1513.21	c 1512s |      22 |  1935207 |  1777522 |    30902    138 |     1402 |       26
1514.96/1515.24	c 1514s |      22 |  1937178 |  1779422 |    30902    138 |     1402 |       26
1517.77/1518.05	c 1517s |      22 |  1939077 |  1781222 |    30902    139 |     1402 |       26
1519.76/1520.09	c 1519s |      22 |  1941543 |  1783422 |    30902    139 |     1402 |       26
1521.86/1522.14	c 1521s |      22 |  1944417 |  1786122 |    30902    139 |     1402 |       26
1523.86/1524.15	c 1523s |      22 |  1946779 |  1788322 |    30902    139 |     1402 |       26
1525.96/1526.25	c 1525s |      22 |  1948968 |  1790322 |    30902    139 |     1402 |       26
1528.06/1528.35	c 1527s |      22 |  1951341 |  1792522 |    30902    139 |     1402 |       26
1530.16/1530.43	c 1529s |      22 |  1953281 |  1794322 |    30902    139 |     1402 |       26
1532.26/1532.52	c 1531s |      22 |  1955424 |  1796322 |    30902    139 |     1402 |       26
1534.26/1534.58	c 1533s |      22 |  1957293 |  1798122 |    30902    140 |     1402 |       26
1536.26/1536.58	c 1535s |      22 |  1959359 |  1800022 |    30902    140 |     1402 |       26
1538.36/1538.63	c 1537s |      22 |  1961577 |  1802122 |    30902    140 |     1402 |       26
1540.45/1540.71	c 1539s |      22 |  1964396 |  1804822 |    30902    140 |     1402 |       26
1542.45/1542.79	c 1541s |      22 |  1966688 |  1806922 |    30902    140 |     1402 |       26
1544.55/1544.87	c 1543s |      22 |  1968615 |  1808722 |    30902    140 |     1402 |       26
1546.65/1546.91	c 1545s |      22 |  1970472 |  1810422 |    30902    140 |     1402 |       26
1548.66/1548.97	c 1547s |      22 |  1972266 |  1812122 |    30902    140 |     1402 |       26
1550.76/1551.02	c 1550s |      22 |  1973872 |  1813622 |    30902    141 |     1402 |       26
1552.75/1553.02	c 1552s |      22 |  1975519 |  1815122 |    30902    141 |     1402 |       26
1554.75/1555.04	c 1554s |      22 |  1978208 |  1817622 |    30902    141 |     1402 |       26
1556.75/1557.04	c 1556s |      22 |  1980827 |  1820022 |    30902    141 |     1402 |       26
1558.75/1559.07	c 1558s |      22 |  1983249 |  1822222 |    30902    141 |     1402 |       26
1560.75/1561.09	c 1560s |      22 |  1986098 |  1824922 |    30902    141 |     1402 |       26
1562.85/1563.12	c 1562s |      22 |  1988434 |  1827122 |    30902    141 |     1402 |       26
1564.85/1565.16	c 1564s |      22 |  1990531 |  1829122 |    30902    141 |     1402 |       26
1566.95/1567.22	c 1566s |      22 |  1992926 |  1831222 |    30902    142 |     1402 |       26
1568.95/1569.22	c 1568s |      22 |  1996223 |  1834222 |    30902    142 |     1402 |       26
1570.94/1571.23	c 1570s |      22 |  1999261 |  1837022 |    30902    142 |     1402 |       26
1572.94/1573.27	c 1572s |      22 |  2001238 |  1838722 |    30902    142 |     1402 |       26
1574.95/1575.28	c 1574s |      22 |  2003884 |  1841122 |    30902    142 |     1402 |       26
1577.04/1577.30	c 1576s |      22 |  2006353 |  1843422 |    30902    142 |     1402 |       26
1579.04/1579.33	c 1578s |      22 |  2008854 |  1845722 |    30902    142 |     1402 |       26
1581.04/1581.38	c 1580s |      22 |  2010890 |  1847422 |    30902    143 |     1402 |       26
1583.14/1583.45	c 1582s |      22 |  2013538 |  1849922 |    30902    143 |     1402 |       26
1585.14/1585.48	c 1584s |      22 |  2016106 |  1852322 |    30902    143 |     1402 |       26
1587.24/1587.50	c 1586s |      22 |  2018989 |  1854822 |    30902    143 |     1402 |       26
1589.25/1589.58	c 1588s |      22 |  2021582 |  1857122 |    30902    143 |     1402 |       26
1591.34/1591.68	c 1590s |      22 |  2023896 |  1859322 |    30902    143 |     1402 |       26
1593.34/1593.69	c 1592s |      22 |  2026138 |  1861422 |    30902    143 |     1402 |       26
1595.44/1595.73	c 1594s |      22 |  2028226 |  1863222 |    30902    144 |     1402 |       26
1597.74/1598.05	c 1597s |      22 |  2030961 |  1865822 |    30902    144 |     1402 |       26
1599.74/1600.06	c 1599s |      22 |  2032046 |  1866822 |    30902    144 |     1402 |       26
1601.84/1602.11	c 1601s |      22 |  2035092 |  1869422 |    30902    144 |     1402 |       26
1603.84/1604.18	c 1603s |      22 |  2038267 |  1871722 |    30902    144 |     1402 |       26
1605.93/1606.20	c 1605s |      22 |  2041132 |  1874222 |    30902    144 |     1402 |       26
1608.04/1608.32	c 1607s |      22 |  2043929 |  1876422 |    30902    144 |     1402 |       26
1610.33/1610.61	c 1609s |      22 |  2046246 |  1878322 |    30902    145 |     1402 |       26
1612.34/1612.64	c 1611s |      22 |  2049228 |  1880922 |    30902    145 |     1402 |       26
1614.33/1614.68	c 1613s |      22 |  2052203 |  1883622 |    30902    145 |     1402 |       26
1616.43/1616.79	c 1615s |      22 |  2054640 |  1886022 |    30902    145 |     1402 |       26
1618.53/1618.88	c 1617s |      22 |  2056942 |  1888222 |    30902    145 |     1402 |       26
1620.63/1620.94	c 1619s |      22 |  2059099 |  1890222 |    30902    145 |     1402 |       26
1622.63/1622.94	c 1621s |      22 |  2061127 |  1892122 |    30902    145 |     1402 |       26
1624.64/1624.94	c 1623s |      22 |  2063076 |  1894022 |    30902    145 |     1402 |       26
1626.64/1626.97	c 1625s |      22 |  2063988 |  1894922 |    30902    146 |     1402 |       26
1628.63/1628.99	c 1628s |      22 |  2065824 |  1896722 |    30902    146 |     1402 |       26
1630.63/1630.99	c 1630s |      22 |  2069008 |  1899822 |    30902    146 |     1402 |       26
1632.83/1633.11	c 1632s |      22 |  2069981 |  1900622 |    30902    146 |     1402 |       26
1634.83/1635.16	c 1634s |      22 |  2072866 |  1903322 |    30902    146 |     1402 |       26
1636.93/1637.23	c 1636s |      22 |  2075192 |  1905422 |    30902    146 |     1402 |       26
1638.93/1639.28	c 1638s |      22 |  2077513 |  1907622 |    30902    146 |     1402 |       26
1640.93/1641.29	c 1640s |      22 |  2079736 |  1909722 |    30902    146 |     1402 |       26
1643.03/1643.32	c 1642s |      22 |  2081616 |  1911522 |    30902    147 |     1402 |       26
1648.32/1648.65	c 1647s |      22 |  2083445 |  1913222 |    30902    147 |     1402 |       26
1650.42/1650.74	c 1649s |      22 |  2086187 |  1915722 |    30902    147 |     1402 |       26
1652.42/1652.76	c 1651s |      22 |  2088843 |  1918222 |    30902    147 |     1402 |       26
1654.52/1654.80	c 1653s |      22 |  2091554 |  1920622 |    30902    147 |     1402 |       26
1656.52/1656.85	c 1655s |      22 |  2094018 |  1922922 |    30902    147 |     1402 |       26
1658.62/1658.92	c 1657s |      22 |  2096296 |  1925022 |    30902    147 |     1402 |       26
1660.91/1661.24	c 1660s |      22 |  2098051 |  1926622 |    30902    147 |     1402 |       26
1663.03/1663.38	c 1662s |      22 |  2098625 |  1927122 |    30902    148 |     1402 |       26
1665.12/1665.40	c 1664s |      22 |  2102214 |  1930422 |    30902    148 |     1402 |       26
1667.12/1667.47	c 1666s |      22 |  2105175 |  1933022 |    30902    148 |     1402 |       26
1669.12/1669.49	c 1668s |      22 |  2108164 |  1935822 |    30902    148 |     1402 |       26
1671.22/1671.55	c 1670s |      22 |  2111549 |  1938822 |    30902    148 |     1402 |       26
1673.32/1673.62	c 1672s |      22 |  2113879 |  1940922 |    30902    148 |     1402 |       26
1675.42/1675.78	c 1674s |      22 |  2116106 |  1943022 |    30902    149 |     1402 |       26
1677.52/1677.84	c 1676s |      22 |  2119190 |  1945922 |    30902    149 |     1402 |       26
1679.52/1679.84	c 1678s |      22 |  2122085 |  1948622 |    30902    149 |     1402 |       26
1681.51/1681.86	c 1680s |      22 |  2124653 |  1951022 |    30902    149 |     1402 |       26
1683.61/1683.92	c 1682s |      22 |  2126632 |  1952922 |    30902    149 |     1402 |       26
1685.61/1685.96	c 1684s |      22 |  2128549 |  1954722 |    30902    149 |     1402 |       26
1687.71/1688.05	c 1687s |      22 |  2130115 |  1956122 |    30902    149 |     1402 |       26
1689.71/1690.09	c 1689s |      22 |  2132017 |  1957922 |    30902    149 |     1402 |       26
1691.81/1692.10	c 1691s |      22 |  2133552 |  1959322 |    30902    150 |     1402 |       26
1693.81/1694.11	c 1693s |      22 |  2136671 |  1962222 |    30902    150 |     1402 |       26
1695.91/1696.23	c 1695s |      22 |  2139510 |  1964922 |    30902    150 |     1402 |       26
1698.30/1698.64	c 1697s |      22 |  2141634 |  1966822 |    30902    150 |     1402 |       26
1700.31/1700.68	c 1699s |      22 |  2142724 |  1967822 |    30902    150 |     1402 |       26
1702.40/1702.70	c 1701s |      22 |  2144754 |  1969722 |    30902    150 |     1402 |       26
1704.40/1704.77	c 1703s |      22 |  2147008 |  1971822 |    30902    150 |     1402 |       26
1706.50/1706.85	c 1705s |      22 |  2149069 |  1973722 |    30902    150 |     1402 |       26
1708.80/1709.16	c 1708s |      22 |  2150843 |  1975422 |    30902    151 |     1402 |       26
1710.80/1711.17	c 1710s |      22 |  2152804 |  1977322 |    30902    151 |     1402 |       26
1712.80/1713.19	c 1712s |      22 |  2155538 |  1979822 |    30902    151 |     1402 |       26
1714.90/1715.23	c 1714s |      22 |  2157743 |  1981822 |    30902    151 |     1402 |       26
1716.90/1717.26	c 1716s |      22 |  2160187 |  1984122 |    30902    151 |     1402 |       26
1719.00/1719.34	c 1718s |      22 |  2162259 |  1986022 |    30902    151 |     1402 |       26
1721.00/1721.36	c 1720s |      22 |  2163968 |  1987622 |    30902    151 |     1402 |       26
1723.10/1723.40	c 1722s |      22 |  2165825 |  1989322 |    30902    151 |     1402 |       26
1725.09/1725.48	c 1724s |      22 |  2167706 |  1991022 |    30902    151 |     1402 |       26
1727.19/1727.50	c 1726s |      22 |  2168774 |  1992022 |    30902    152 |     1402 |       26
1729.19/1729.53	c 1728s |      22 |  2171312 |  1994422 |    30902    152 |     1402 |       26
1731.29/1731.61	c 1730s |      22 |  2174294 |  1997222 |    30902    152 |     1402 |       26
1733.30/1733.61	c 1732s |      22 |  2177014 |  1999722 |    30902    152 |     1402 |       26
1735.29/1735.63	c 1734s |      22 |  2179529 |  2002122 |    30902    152 |     1402 |       26
1737.39/1737.76	c 1736s |      22 |  2181765 |  2004122 |    30902    152 |     1402 |       26
1739.49/1739.86	c 1738s |      22 |  2183830 |  2006022 |    30902    152 |     1402 |       26
1741.89/1742.29	c 1741s |      22 |  2185628 |  2007722 |    30902    153 |     1402 |       26
1743.99/1744.30	c 1743s |      22 |  2188023 |  2009922 |    30902    153 |     1402 |       26
1745.99/1746.37	c 1745s |      22 |  2189349 |  2011122 |    30902    153 |     1402 |       26
1747.99/1748.38	c 1747s |      22 |  2191838 |  2013422 |    30902    153 |     1402 |       26
1750.09/1750.45	c 1749s |      22 |  2194410 |  2015822 |    30902    153 |     1402 |       26
1752.10/1752.47	c 1751s |      22 |  2197021 |  2018222 |    30902    153 |     1402 |       26
1754.19/1754.53	c 1753s |      22 |  2199694 |  2020722 |    30902    153 |     1402 |       26
1756.29/1756.61	c 1755s |      22 |  2201723 |  2022622 |    30902    153 |     1402 |       26
1758.98/1759.30	c 1758s |      22 |  2202802 |  2023622 |    30902    153 |     1402 |       26
1761.09/1761.46	c 1760s |      22 |  2203462 |  2024222 |    30902    154 |     1402 |       26
1763.19/1763.50	c 1762s |      22 |  2205877 |  2026422 |    30902    154 |     1402 |       26
1765.19/1765.51	c 1764s |      22 |  2208712 |  2029022 |    30902    154 |     1402 |       26
1767.19/1767.58	c 1766s |      22 |  2211233 |  2031322 |    30902    154 |     1402 |       26
1769.29/1769.60	c 1768s |      22 |  2213639 |  2033522 |    30902    154 |     1402 |       26
1771.28/1771.64	c 1770s |      22 |  2216089 |  2035822 |    30902    154 |     1402 |       26
1773.38/1773.72	c 1772s |      22 |  2218381 |  2037922 |    30902    154 |     1402 |       26
1775.38/1775.79	c 1774s |      22 |  2220217 |  2039622 |    30902    154 |     1402 |       26
1777.48/1777.84	c 1776s |      22 |  2220909 |  2040222 |    30902    155 |     1402 |       26
1779.49/1779.88	c 1778s |      22 |  2223781 |  2042822 |    30902    155 |     1402 |       26
1781.58/1781.91	c 1780s |      22 |  2226465 |  2045322 |    30902    155 |     1402 |       26
1783.68/1784.00	c 1783s |      22 |  2229236 |  2047822 |    30902    155 |     1402 |       26
1785.68/1786.02	c 1785s |      22 |  2231586 |  2050022 |    30902    155 |     1402 |       26
1787.68/1788.04	c 1787s |      22 |  2233658 |  2051922 |    30902    155 |     1402 |       26
1789.68/1790.07	c 1789s |      22 |  2236317 |  2054422 |    30902    155 |     1402 |       26
1791.68/1792.09	c 1791s |      22 |  2238812 |  2056822 |    30902    156 |     1402 |       26
1793.67/1794.10	c 1793s |      22 |  2242216 |  2060122 |    30902    156 |     1402 |       26
1795.77/1796.16	c 1795s |      22 |  2244067 |  2061922 |    30902    156 |     1402 |       26
1797.87/1798.22	c 1797s |      22 |  2246399 |  2064022 |    30902    156 |     1402 |       26
1799.87/1800.27	c 1799s |      22 |  2249325 |  2066522 |    30902    156 |     1402 |       26

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

pid=3109
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.20 2.23 2.18 3/179 3112
/proc/meminfo: memFree=28920068/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=765372 CPUtime=0 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 2861 0 0 0 0 0 0 0 20 0 4 0 23958272 783740928 3221 33554432000 4194304 16246674 140734731541600 140734731541024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 191855 3231 441 2943 0 188749 0
[pid=3112/tid=3113] ppid=3109 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 801566720 3292 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 805761024 3308 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 811003904 3325 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.20 2.23 2.18 3/179 3112
/proc/meminfo: memFree=28920068/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 29042 0 0 0 5 4 0 0 20 0 4 0 23958272 1333334016 29341 33554432000 4194304 16246674 140734731541600 140734731540912 12752373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 325521 29355 801 2943 0 322415 0
[pid=3112/tid=3113] ppid=3109 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1333334016 29366 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1333334016 29378 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1333334016 29388 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200519 s]
/proc/loadavg: 2.20 2.23 2.18 3/179 3112
/proc/meminfo: memFree=28920068/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 50479 0 0 0 12 7 0 0 20 0 4 0 23958272 1333334016 50778 33554432000 4194304 16246674 140734731541600 140734731540912 12369109 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 325521 50793 834 2943 0 322415 0
[pid=3112/tid=3113] ppid=3109 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1333334016 50806 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1333334016 50810 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1333334016 50818 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300478 s]
/proc/loadavg: 2.20 2.23 2.18 3/179 3112
/proc/meminfo: memFree=28920068/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 80361 0 0 0 19 10 0 0 20 0 4 0 23958272 1334382592 80659 33554432000 4194304 16246674 140734731541600 140734731540912 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 325777 80666 835 2943 0 322671 0
[pid=3112/tid=3113] ppid=3109 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1334382592 80669 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1334382592 80675 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1334382592 80680 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700404 s]
/proc/loadavg: 2.20 2.23 2.18 3/179 3112
/proc/meminfo: memFree=28920068/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1321540 CPUtime=0.69 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 161366 0 0 0 49 20 0 0 20 0 4 0 23958272 1353256960 161665 33554432000 4194304 16246674 140734731541600 140734731540912 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 330385 161682 835 2943 0 327279 0
[pid=3112/tid=3113] ppid=3109 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1353256960 161693 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1353256960 161703 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1353256960 161713 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1321540

[startup+1.50036 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 3116
/proc/meminfo: memFree=27879992/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1321540 CPUtime=1.49 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 271576 0 0 0 116 33 0 0 20 0 4 0 23958272 1353256960 271874 33554432000 4194304 16246674 140734731541600 140734731523520 13928136 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 330385 271874 896 2943 0 327279 0
[pid=3112/tid=3113] ppid=3109 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1353256960 271874 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1353256960 271874 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1353256960 271874 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1321540

[startup+3.1004 s]
/proc/loadavg: 2.26 2.25 2.19 4/183 3116
/proc/meminfo: memFree=27833616/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1321540 CPUtime=3.09 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 271580 0 0 0 276 33 0 0 20 0 4 0 23958272 1353256960 271878 33554432000 4194304 16246674 140734731541600 140734731524600 13943608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 330385 271878 899 2943 0 327279 0
[pid=3112/tid=3113] ppid=3109 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1353256960 271878 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1353256960 271878 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1353256960 271878 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1321540

[startup+6.30036 s]
/proc/loadavg: 2.40 2.28 2.20 4/183 3116
/proc/meminfo: memFree=27833296/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1321540 CPUtime=6.29 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 271582 0 0 0 596 33 0 0 20 0 4 0 23958272 1353256960 271880 33554432000 4194304 16246674 140734731541600 140734731523520 13781188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 330385 271880 901 2943 0 327279 0
[pid=3112/tid=3113] ppid=3109 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1353256960 271880 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1353256960 271880 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1353256960 271880 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1321540

[startup+12.7005 s]
/proc/loadavg: 2.37 2.27 2.20 4/183 3116
/proc/meminfo: memFree=27827344/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1327684 CPUtime=12.68 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 273119 0 0 0 1235 33 0 0 20 0 4 0 23958272 1359548416 273417 33554432000 4194304 16246674 140734731541600 140734731523520 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 331921 273417 902 2943 0 328815 0
[pid=3112/tid=3113] ppid=3109 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1359548416 273417 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1359548416 273417 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1359548416 273417 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1327684

[startup+25.5005 s]
/proc/loadavg: 2.29 2.26 2.19 4/183 3116
/proc/meminfo: memFree=27827404/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1327684 CPUtime=25.49 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 273119 0 0 0 2515 34 0 0 20 0 4 0 23958272 1359548416 273417 33554432000 4194304 16246674 140734731541600 140734731523520 5523480 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 331921 273417 902 2943 0 328815 0
[pid=3112/tid=3113] ppid=3109 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1359548416 273417 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1359548416 273417 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1359548416 273417 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1327684

[startup+51.1005 s]
/proc/loadavg: 2.33 2.27 2.19 4/183 3116
/proc/meminfo: memFree=27780288/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1375812 CPUtime=51.08 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 284918 0 0 0 5072 36 0 0 20 0 4 0 23958272 1408831488 285216 33554432000 4194304 16246674 140734731541600 140734731523520 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 343953 285216 902 2943 0 340847 0
[pid=3112/tid=3113] ppid=3109 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1408831488 285216 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1408831488 285216 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1408831488 285216 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1375812

[startup+102.301 s]
/proc/loadavg: 2.22 2.24 2.18 3/183 3117
/proc/meminfo: memFree=27778924/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1375812 CPUtime=102.28 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 285151 0 0 0 10191 37 0 0 20 0 4 0 23958272 1408831488 285449 33554432000 4194304 16246674 140734731541600 140734731524600 5672237 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 343953 285449 902 2943 0 340847 0
[pid=3112/tid=3113] ppid=3109 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1408831488 285449 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1408831488 285449 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1375812 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1408831488 285449 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1375812


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

/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1434180

[startup+1302.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 3148
/proc/meminfo: memFree=25814728/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1434180 CPUtime=1302.1 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 299746 0 0 0 130156 54 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140734731523520 13198424 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 358545 300044 905 2943 0 355439 0
[pid=3112/tid=3113] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1434180

[startup+1362.3 s]
/proc/loadavg: 2.25 2.24 2.18 3/183 3149
/proc/meminfo: memFree=25777192/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1434180 CPUtime=1362.08 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 299746 0 0 0 136154 54 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140734731523520 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 358545 300044 905 2943 0 355439 0
[pid=3112/tid=3113] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1434180

[startup+1422.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 3151
/proc/meminfo: memFree=25735244/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1434180 CPUtime=1422.08 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 299746 0 0 0 142153 55 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140734731523520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 358545 300044 905 2943 0 355439 0
[pid=3112/tid=3113] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1434180

[startup+1482.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/183 3152
/proc/meminfo: memFree=25710224/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1434180 CPUtime=1482.06 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 299746 0 0 0 148151 55 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140734731523520 5823428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 358545 300044 905 2943 0 355439 0
[pid=3112/tid=3113] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300044 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1434180

[startup+1542.31 s]
/proc/loadavg: 2.33 2.26 2.19 3/184 3205
/proc/meminfo: memFree=27768380/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1434180 CPUtime=1542.06 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 299748 0 0 0 154150 56 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140734731523520 5712004 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 358545 300300 905 2943 0 355439 0
[pid=3112/tid=3113] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1434180

[startup+1602.3 s]
/proc/loadavg: 2.25 2.26 2.19 3/183 3206
/proc/meminfo: memFree=27761268/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1434180 CPUtime=1602.03 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 299761 0 0 0 160147 56 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140734731523520 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 358545 300300 905 2943 0 355439 0
[pid=3112/tid=3113] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1434180

[startup+1662.3 s]
/proc/loadavg: 2.18 2.24 2.18 3/183 3207
/proc/meminfo: memFree=27761088/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1434180 CPUtime=1662.01 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 299789 0 0 0 166144 57 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140734731539456 13898695 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 358545 300300 905 2943 0 355439 0
[pid=3112/tid=3113] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1434180

[startup+1722.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 3209
/proc/meminfo: memFree=27759940/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1434180 CPUtime=1722 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 299806 0 0 0 172142 58 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140734731523520 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 358545 300300 905 2943 0 355439 0
[pid=3112/tid=3113] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1434180

[startup+1782.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/183 3210
/proc/meminfo: memFree=27759804/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1434180 CPUtime=1781.98 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 299831 0 0 0 178139 59 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140734731523520 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 358545 300300 905 2943 0 355439 0
[pid=3112/tid=3113] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1434180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.23 2.25 2.19 4/183 3210
/proc/meminfo: memFree=27760296/32872528 swapFree=17888/1798212
[pid=3112] ppid=3109 vsize=1434180 CPUtime=1800.07 cores=0,2,4,6
/proc/3112/stat : 3112 (toysat) R 3109 3112 579 0 -1 4202496 299839 0 0 0 179948 59 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140734731523520 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3112/statm: 358545 300300 905 2943 0 355439 0
[pid=3112/tid=3113] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3113/stat : 3113 (toysat) S 3109 3112 579 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512158788848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3112/tid=3114] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3114/stat : 3114 (toysat) S 3109 3112 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512148298992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3112/tid=3115] ppid=3109 vsize=1434180 CPUtime=0 cores=0,2,4,6
/proc/3112/task/3115/stat : 3115 (toysat) S 3109 3112 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23958272 1468600320 300300 33554432000 4194304 16246674 140734731541600 140512069676208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1434180

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.12
CPU user time (s): 1799.49
CPU system time (s): 0.632903
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 1434180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.632903
maximum resident set size= 1201200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299839
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= 107
involuntary context switches= 1901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.46856 second user time and 18.9591 second system time

The end

Begin job on node123 at 2016-06-18 05:05:11
IDJOB=4100993
IDBENCH=1687
IDSOLVER=2542
FILE ID=node123/4100993-1466219111
RUNJOBID= node123-1466206081-595
PBS_JOBID= 19918154
Free space on /tmp= 71616 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scorpion.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100993-1466219111/watcher-4100993-1466219111 -o /tmp/evaluation-result-4100993-1466219111/solver-4100993-1466219111 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100993-1466219111.opb

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

MD5SUM BENCH= c81149f534c8693c12d254417cbfee8f
RANDOM SEED=213709423

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.791
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:        28920224 kB
Buffers:          109040 kB
Cached:           174888 kB
SwapCached:         1648 kB
Active:          1230600 kB
Inactive:         184852 kB
Active(anon):    1132756 kB
Inactive(anon):     1152 kB
Active(file):      97844 kB
Inactive(file):   183700 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             16968 kB
Writeback:             0 kB
AnonPages:       2929524 kB
Mapped:            10872 kB
Shmem:                 0 kB
Slab:             602592 kB
SReclaimable:      46392 kB
SUnreclaim:       556200 kB
KernelStack:        1488 kB
PageTables:         9940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3085508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1785856 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= 71604 MiB
End job on node123 at 2016-06-18 05:35:12