0.00/0.00	c 2016-06-18T19:59:44+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106514-1466272784.opb"]
0.00/0.01	c use --random-gen="741564305 3262245800 3195163089 2712831874 2674591543 2261789213 3052339677 3824967928 3514816383 4270609525 4268773136 4291222452 3112506530 307018755 949521123 2473520591 1421756315 3884827777 614653908 2855499789 3519413134 2891495688 3676417096 2174232885 2716072059 1825896384 3100361997 1846606028 2889627180 1283833945 330002686 4132146818 3475622085 1652163260 1285115076 1485216424 3485775135 250819478 3966591094 3431805748 4148645715 3782501811 3932296614 3374317091 1235827710 2071053244 445830800 1506067135 3612112 2945989555 1220000571 4265919834 3617963593 1206018304 2467004587 106077359 3041657892 1726625667 2410580166 1061204674 1011695683 1869468032 292016514 999153721 1137759039 1125387137 2443786072 3669313974 1657517156 2510625290 2180926441 359766043 934615732 1605288617 2742050180 1880533300 3923830795 132140390 758845093 1962735656 2760016384 700516929 1953947262 2301970372 2123335581 986113901 640959052 4231461987 449130441 3688628312 2033663408 212194599 2795503146 2379515468 3890716272 3612163004 63050406 2061392145 553244100 2242552783 3673769362 3754626048 4002317889 1923728050 1752205680 938562073 2110765318 257295902 2880754414 2869947407 2434239403 2005247158 1293091281 3064979143 4044182630 2337320130 3556301479 3131832870 3741869642 954333493 4167044335 712484193 2303726419 1583379740 1420670918 1772621357 1144484751 3511030769 1610368769 2313305857 2490939290 1760244671 3750491089 1707024022 3832377700 4001339154 3042487529 2296911510 3856546791 2761583733 1646977820 782243860 942227182 1611803844 1157852894 1036043310 3232950139 1925130166 288106809 37980550 934966031 3315868755 1632533112 2838456871 2196020967 1474247767 380094487 4075669641 3945032750 1239307973 2406850548 973533247 2696661444 3195894892 884194800 2815747383 2381906535 4216512951 3449932681 3548691077 2501470373 1078523906 1895848844 3515459802 4100757125 2222415071 1001424879 2683144432 623105766 722738734 2409803993 4048765100 2700364400 1156588473 2873249304 587334133 3400983013 476370033 3961396987 895519789 2965118079 2863795052 2758344408 1588022197 998932917 15678721 3047078974 290295138 3314986004 2193820513 3312697136 929963562 3798138208 2928353334 1345396526 2725866489 545502468 128940100 622029546 290460613 2681896403 845991841 4089007988 119357703 4290802144 779186025 3115992184 2268295308 752012977 3939200690 1650811248 1428555695 3883236263 2280013624 1217606244 3186476866 3443529539 2017167358 2449704398 3063882177 934218054 1693540865 1103793760 2965544531 3957385946 1570236721 2992526861 2657511615 1246301467 1259136293 3797132879 3478699232 3093890820 2605406326 165929658 1773878381 2438369949 3592398924 978587086 4240047661 2335025787 4020302418 4261972957 1098032080 611816676 2804792172 255 362436" option to reproduce the execution
0.00/0.01	c #vars 168
0.00/0.01	c #constraints 15
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      660      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      111 |      100 |      660      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      271 |      250 |      727      0 |        0 |        0
0.09/0.14	c  0.1s |       3 |      525 |      475 |      800      0 |        0 |        0
0.19/0.26	c  0.2s |       4 |      953 |      813 |      881      0 |        0 |        0
0.39/0.43	c  0.4s |       5 |     1521 |     1320 |      970      1 |        0 |        0
0.69/0.72	c  0.7s |       6 |     2370 |     2081 |     1174      2 |        0 |        0
1.09/1.15	c  1.1s |       7 |     3856 |     3223 |     1292      3 |        0 |        0
1.49/1.51	c  1.5s |       8 |     5728 |     4936 |     1422      5 |        0 |        0
2.79/2.89	c  2.9s |       9 |     8835 |     7506 |     1565      8 |        0 |        0
2.99/3.06	c  3.0s |       9 |     9984 |     8416 |     1565      9 |        0 |        0
2.99/3.06	c #cpu_time = 3.029s
2.99/3.06	c #wall_clock_time = 3.037s
2.99/3.06	c #decision = 9984
2.99/3.06	c #random_decision = 54
2.99/3.06	c #conflict = 8416
2.99/3.06	c #restart = 9
2.99/3.06	o 247
2.99/3.06	c BCD2: updating upper bound: 255 -> 246
2.99/3.06	c BCD2: 0 <= obj <= 246
2.99/3.06	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
2.99/3.06	c BCD2: #sat=1 #unsat=1 bias=1/2
2.99/3.06	c Solving starts ...
2.99/3.06	c ============================[ Search Statistics ]============================
2.99/3.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.99/3.06	c       |         |          |          |    Limit     GC | Var      | Constra 
2.99/3.06	c =============================================================================
2.99/3.06	c  0.0s |       0 |        0 |        0 |     1565      0 |        0 |        0
2.99/3.07	c  0.0s |       0 |        6 |        0 |     1565      0 |        0 |        0
2.99/3.07	c #cpu_time = 0.005s
2.99/3.07	c #wall_clock_time = 0.005s
2.99/3.07	c #decision = 6
2.99/3.07	c #random_decision = 0
2.99/3.07	c #conflict = 0
2.99/3.07	c #restart = 0
2.99/3.07	c BCD2: found a new core of size 7: cost of the new core is >=2
2.99/3.07	c lower bound updated to 2
2.99/3.07	c BCD2: 2 <= obj <= 246
2.99/3.07	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
2.99/3.07	c BCD2: #sat=1 #unsat=2 bias=2/3
2.99/3.07	c Solving starts ...
2.99/3.07	c ============================[ Search Statistics ]============================
2.99/3.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.99/3.07	c       |         |          |          |    Limit     GC | Var      | Constra 
2.99/3.07	c =============================================================================
2.99/3.07	c  0.0s |       0 |        0 |        0 |     1565      0 |        0 |        0
2.99/3.09	c  0.0s |       1 |      209 |      100 |     1565      0 |        0 |        0
3.19/3.30	c  0.2s |       2 |      470 |      250 |     1565      1 |        0 |        0
3.30/3.35	c  0.3s |       3 |      827 |      475 |     1565      1 |        0 |        0
3.49/3.53	c  0.5s |       4 |     1273 |      813 |     1565      1 |        0 |        0
3.69/3.76	c  0.7s |       5 |     1951 |     1320 |     1565      2 |        0 |        0
3.89/3.97	c  0.9s |       6 |     3046 |     2081 |     1565      2 |        0 |        0
4.19/4.20	c  1.1s |       7 |     4322 |     3223 |     1722      3 |        0 |        0
4.79/4.87	c  1.8s |       8 |     6213 |     4936 |     1722      5 |        0 |        0
5.39/5.49	c  2.4s |       9 |     9038 |     7506 |     1722      7 |        0 |        0
6.39/6.42	c  3.3s |      10 |    13072 |    11361 |     1895     11 |        0 |        0
8.09/8.10	c  5.0s |      11 |    19145 |    17144 |     1895     16 |        0 |        0
10.09/10.10	c  7.0s |      11 |    25824 |    23044 |     2085     20 |        0 |        0
10.69/10.74	c  7.7s |      12 |    28644 |    25819 |     2085     23 |        0 |        0
12.69/12.75	c  9.7s |      12 |    34954 |    31619 |     2294     27 |        0 |        0
14.69/14.76	c 11.7s |      12 |    42175 |    38519 |     2294     32 |        0 |        0
14.79/14.86	c 11.8s |      13 |    42496 |    38832 |     2294     32 |        0 |        0
16.79/16.87	c 13.8s |      13 |    51370 |    46432 |     2294     38 |        0 |        0
18.89/18.90	c 15.8s |      13 |    57491 |    51532 |     2524     41 |        0 |        0
20.89/20.91	c 17.8s |      13 |    65159 |    58132 |     2524     46 |        0 |        0
20.89/20.99	c 17.9s |      14 |    65394 |    58352 |     2524     46 |        0 |        0
22.99/23.03	c 20.0s |      14 |    72880 |    65452 |     2524     51 |        0 |        0
24.99/25.06	c 22.0s |      14 |    78933 |    71352 |     2524     54 |        0 |        0
26.99/27.07	c 24.0s |      14 |    85083 |    77252 |     2524     58 |        0 |        0
28.98/29.10	c 26.0s |      14 |    91795 |    83752 |     2777     62 |        0 |        0
30.48/30.58	c 27.5s |      15 |    95819 |    87632 |     2777     65 |        0 |        0
32.48/32.59	c 29.5s |      15 |   102146 |    93432 |     2777     68 |        0 |        0
34.58/34.61	c 31.5s |      15 |   108379 |    99532 |     2777     72 |        0 |        0
36.58/36.62	c 33.6s |      15 |   115711 |   106732 |     2777     77 |        0 |        0
38.59/38.64	c 35.6s |      15 |   122562 |   113132 |     2777     81 |        0 |        0
40.58/40.65	c 37.6s |      15 |   129413 |   119332 |     2777     85 |        0 |        0
42.58/42.66	c 39.6s |      15 |   135719 |   125132 |     3055     89 |        0 |        0
44.58/44.66	c 41.6s |      15 |   142153 |   131032 |     3055     92 |        0 |        0
44.78/44.83	c 41.8s |      16 |   142800 |   131552 |     3055     92 |        0 |        0
46.78/46.85	c 43.8s |      16 |   151435 |   139752 |     3055     97 |        0 |        0
48.78/48.89	c 45.8s |      16 |   160588 |   148552 |     3055    103 |        1 |        8
50.89/50.92	c 47.9s |      16 |   167642 |   155452 |     3055    106 |        1 |        8
52.89/52.93	c 49.9s |      16 |   174731 |   162052 |     3055    110 |        1 |        8
54.88/54.95	c 51.9s |      16 |   181360 |   168252 |     3055    114 |        1 |        8
56.88/56.96	c 53.9s |      16 |   187202 |   173752 |     3055    117 |        1 |        8
58.88/58.97	c 55.9s |      16 |   193136 |   179452 |     3055    120 |        1 |        8
60.88/60.99	c 57.9s |      16 |   199559 |   185552 |     3055    123 |        1 |        8
62.98/63.00	c 59.9s |      16 |   206732 |   192352 |     3361    127 |        1 |        8
64.58/64.64	c 61.6s |      17 |   212036 |   197432 |     3361    130 |        1 |        8
66.58/66.68	c 63.6s |      17 |   216699 |   201032 |     3361    131 |        1 |        8
68.68/68.72	c 65.6s |      17 |   220373 |   204232 |     3361    133 |        1 |        8
70.68/70.73	c 67.7s |      17 |   223566 |   207232 |     3361    135 |        1 |        8
72.69/72.77	c 69.7s |      17 |   226548 |   210132 |     3361    136 |        1 |        8
74.68/74.79	c 71.7s |      17 |   229632 |   212732 |     3361    138 |        1 |        8
76.78/76.85	c 73.8s |      17 |   232634 |   215632 |     3361    139 |        1 |        8
78.78/78.88	c 75.8s |      17 |   235779 |   218332 |     3361    140 |        1 |        8
80.88/80.91	c 77.8s |      17 |   239393 |   221432 |     3361    142 |        1 |        8
82.88/82.93	c 79.9s |      17 |   244503 |   226132 |     3361    145 |        1 |        8
84.88/84.97	c 81.9s |      17 |   248348 |   229532 |     3361    146 |        1 |        8
86.88/86.99	c 83.9s |      17 |   251811 |   232732 |     3361    148 |        1 |        8
88.98/89.04	c 86.0s |      17 |   255532 |   236332 |     3361    150 |        1 |        8
90.98/91.06	c 88.0s |      17 |   259478 |   239732 |     3361    152 |        1 |        8
92.97/93.07	c 90.0s |      17 |   264649 |   244832 |     3361    154 |        1 |        8
95.07/95.10	c 92.0s |      17 |   269938 |   249832 |     3361    157 |        1 |        8
97.07/97.12	c 94.1s |      17 |   276185 |   255932 |     3361    160 |        1 |        8
99.08/99.13	c 96.1s |      17 |   282390 |   262032 |     3361    163 |        1 |        8
101.07/101.15	c 98.1s |      17 |   288591 |   268132 |     3361    166 |        1 |        8
103.07/103.18	c  100s |      17 |   294964 |   274132 |     3361    170 |        1 |        8
105.17/105.21	c  102s |      17 |   299306 |   278232 |     3361    172 |        1 |        8
107.17/107.22	c  104s |      17 |   304453 |   283332 |     3361    174 |        1 |        8
109.17/109.24	c  106s |      17 |   310557 |   289332 |     3698    177 |        1 |        8
111.18/111.24	c  108s |      17 |   316353 |   295032 |     3698    180 |        1 |        8
111.67/111.73	c  108s |      18 |   317636 |   296252 |     3698    181 |        1 |        8
113.67/113.73	c  110s |      18 |   324829 |   303052 |     3698    184 |        1 |        8
115.67/115.75	c  112s |      18 |   330964 |   308952 |     3698    187 |        1 |        8
117.68/117.76	c  114s |      18 |   338177 |   315852 |     3698    190 |        1 |        8
119.77/119.81	c  116s |      18 |   344981 |   322352 |     3698    194 |        1 |        8
121.77/121.81	c  118s |      18 |   351602 |   328552 |     3698    197 |        1 |        8
123.77/123.81	c  120s |      18 |   357754 |   334352 |     3698    199 |        1 |        8
125.77/125.82	c  122s |      18 |   363763 |   340152 |     3698    202 |        1 |        8
127.77/127.83	c  124s |      18 |   370789 |   346752 |     3698    205 |        1 |        8
129.77/129.83	c  126s |      18 |   377835 |   353652 |     3698    209 |        1 |        8
131.77/131.86	c  128s |      18 |   384429 |   359952 |     3698    212 |        1 |        8
133.77/133.88	c  130s |      18 |   389598 |   364852 |     3698    214 |        1 |        8
135.87/135.91	c  132s |      18 |   396114 |   370952 |     3698    217 |        1 |        8
137.87/137.93	c  134s |      18 |   402512 |   376952 |     3698    220 |        1 |        8
139.87/139.94	c  136s |      18 |   407757 |   381952 |     3698    222 |        1 |        8
141.87/141.96	c  138s |      18 |   413223 |   387052 |     3698    225 |        1 |        8
143.86/143.96	c  140s |      18 |   418303 |   391852 |     3698    227 |        1 |        8
145.86/145.96	c  142s |      18 |   423514 |   396752 |     3698    229 |        1 |        8
147.86/147.98	c  144s |      18 |   428908 |   401852 |     3698    232 |        1 |        8
149.86/149.99	c  146s |      18 |   434985 |   407652 |     3698    235 |        1 |        8
151.96/152.01	c  148s |      18 |   440975 |   413352 |     3698    237 |        1 |        8
153.97/154.04	c  150s |      18 |   446479 |   418552 |     3698    240 |        1 |        8
155.96/156.04	c  152s |      18 |   451627 |   423452 |     3698    242 |        1 |        8
157.97/158.05	c  154s |      18 |   457996 |   429552 |     3698    245 |        1 |        8
159.97/160.07	c  157s |      18 |   463729 |   434952 |     4068    248 |        1 |        8
161.97/162.07	c  159s |      18 |   468486 |   439352 |     4068    250 |        1 |        8
163.88/163.93	c  160s |      19 |   473821 |   444482 |     4068    252 |        1 |        8
165.87/165.94	c  162s |      19 |   481643 |   452082 |     4068    255 |        1 |        8
167.87/167.95	c  164s |      19 |   488703 |   459082 |     4068    259 |        1 |        8
169.87/169.96	c  166s |      19 |   495956 |   466182 |     4068    262 |        1 |        8
171.87/171.98	c  168s |      19 |   503571 |   473682 |     4068    265 |        1 |        8
173.97/174.00	c  170s |      19 |   510817 |   480782 |     4068    268 |        1 |        8
175.97/176.00	c  172s |      19 |   518448 |   488282 |     4068    272 |        1 |        8
177.97/178.02	c  174s |      19 |   525855 |   495582 |     4068    275 |        1 |        8
179.96/180.02	c  176s |      19 |   533263 |   502882 |     4068    279 |        1 |        8
181.96/182.04	c  178s |      19 |   541003 |   510482 |     4068    282 |        1 |        8
183.96/184.06	c  180s |      19 |   548192 |   517482 |     4068    285 |        1 |        8
185.97/186.07	c  183s |      19 |   554883 |   524082 |     4068    288 |        1 |        8
187.96/188.10	c  185s |      19 |   561170 |   530282 |     4068    291 |        1 |        8
190.06/190.12	c  187s |      19 |   567437 |   536382 |     4068    294 |        1 |        8
192.06/192.12	c  189s |      19 |   574254 |   543082 |     4068    297 |        1 |        8
194.06/194.13	c  191s |      19 |   582067 |   550782 |     4068    300 |        1 |        8
196.06/196.13	c  193s |      19 |   589125 |   557682 |     4068    304 |        1 |        8
198.07/198.14	c  195s |      19 |   596678 |   565082 |     4068    307 |        1 |        8
200.06/200.15	c  197s |      19 |   603974 |   572282 |     4068    310 |        1 |        8
202.06/202.16	c  199s |      19 |   610893 |   579082 |     4068    313 |        1 |        8
204.06/204.18	c  201s |      19 |   617701 |   585782 |     4068    316 |        1 |        8
206.16/206.20	c  203s |      19 |   624706 |   592682 |     4068    320 |        1 |        8
208.16/208.22	c  205s |      19 |   632368 |   600182 |     4068    323 |        1 |        8
210.17/210.23	c  207s |      19 |   639519 |   607182 |     4068    326 |        1 |        8
212.16/212.24	c  209s |      19 |   646699 |   614182 |     4068    329 |        1 |        8
214.16/214.25	c  211s |      19 |   653608 |   620982 |     4068    333 |        1 |        8
216.16/216.25	c  213s |      19 |   660247 |   627482 |     4068    336 |        1 |        8
218.16/218.29	c  215s |      19 |   666575 |   633682 |     4068    338 |        1 |        8
220.16/220.29	c  217s |      19 |   672920 |   639882 |     4068    341 |        1 |        8
222.17/222.30	c  219s |      19 |   679713 |   646482 |     4068    344 |        1 |        8
224.26/224.30	c  221s |      19 |   686084 |   652782 |     4068    347 |        1 |        8
226.26/226.34	c  223s |      19 |   692768 |   659282 |     4475    350 |        1 |        8
228.26/228.37	c  225s |      19 |   698856 |   665182 |     4475    352 |        1 |        8
228.86/228.94	c  225s |      20 |   700512 |   666827 |     4475    353 |        1 |        8
230.86/230.98	c  227s |      20 |   706655 |   672127 |     4475    355 |        1 |        8
232.85/232.99	c  229s |      20 |   712155 |   677227 |     4475    357 |        1 |        8
234.95/235.02	c  231s |      20 |   717879 |   682427 |     4475    359 |        1 |        8
236.95/237.03	c  233s |      20 |   723226 |   686827 |     4475    361 |        1 |        8
238.95/239.04	c  235s |      20 |   728949 |   692327 |     4475    363 |        1 |        8
240.96/241.06	c  237s |      20 |   734593 |   697827 |     4475    366 |        1 |        8
242.95/243.10	c  240s |      20 |   739855 |   702927 |     4475    368 |        1 |        8
245.05/245.12	c  242s |      20 |   744527 |   707227 |     4475    369 |        1 |        8
247.05/247.15	c  244s |      20 |   749133 |   711327 |     4475    371 |        1 |        8
249.15/249.21	c  246s |      20 |   754569 |   716427 |     4475    373 |        1 |        8
251.15/251.22	c  248s |      20 |   760694 |   722027 |     4475    375 |        1 |        8
253.15/253.23	c  250s |      20 |   765537 |   726427 |     4475    377 |        1 |        8
255.15/255.25	c  252s |      20 |   771726 |   731627 |     4475    379 |        1 |        8
257.15/257.26	c  254s |      20 |   776732 |   735527 |     4475    381 |        1 |        8
259.15/259.29	c  256s |      20 |   781355 |   739527 |     4475    383 |        1 |        8
261.25/261.35	c  258s |      20 |   786932 |   744227 |     4475    385 |        1 |        8
263.25/263.36	c  260s |      20 |   791988 |   748527 |     4475    386 |        1 |        8
265.24/265.37	c  262s |      20 |   796429 |   752327 |     4475    388 |        1 |        8
267.25/267.39	c  264s |      20 |   800361 |   755927 |     4475    389 |        1 |        8
269.34/269.42	c  266s |      20 |   805260 |   759927 |     4475    391 |        1 |        8
271.34/271.44	c  268s |      20 |   810155 |   764127 |     4475    393 |        1 |        8
273.34/273.46	c  270s |      20 |   815786 |   768527 |     4475    394 |        1 |        8
275.34/275.46	c  272s |      20 |   821772 |   773027 |     4475    396 |        1 |        8
277.34/277.47	c  274s |      20 |   827581 |   778127 |     4475    398 |        1 |        8
279.45/279.53	c  276s |      20 |   833714 |   783227 |     4475    401 |        1 |        8
281.45/281.55	c  278s |      20 |   838530 |   787127 |     4475    402 |        1 |        8
283.55/283.61	c  280s |      20 |   842841 |   790927 |     4475    404 |        1 |        8
285.55/285.62	c  282s |      20 |   847482 |   795327 |     4475    405 |        1 |        8
287.55/287.65	c  284s |      20 |   852427 |   799927 |     4475    407 |        1 |        8
289.65/289.72	c  286s |      20 |   856936 |   803927 |     4475    409 |        1 |        8
291.65/291.73	c  288s |      20 |   861862 |   807927 |     4475    411 |        1 |        8
293.66/293.74	c  290s |      20 |   867492 |   812927 |     4475    413 |        1 |        8
295.65/295.74	c  292s |      20 |   872584 |   817627 |     4475    415 |        1 |        8
297.65/297.77	c  294s |      20 |   878279 |   822527 |     4475    417 |        1 |        8
299.65/299.77	c  296s |      20 |   883948 |   827627 |     4475    419 |        1 |        8
301.65/301.78	c  298s |      20 |   889049 |   832427 |     4475    421 |        1 |        8
303.75/303.82	c  300s |      20 |   894419 |   837127 |     4475    423 |        1 |        8
305.75/305.83	c  302s |      20 |   899688 |   841727 |     4475    424 |        1 |        8
307.75/307.89	c  304s |      20 |   904883 |   846527 |     4475    426 |        1 |        8
309.75/309.89	c  306s |      20 |   910392 |   851527 |     4475    428 |        1 |        8
311.85/311.90	c  308s |      20 |   915902 |   856727 |     4475    431 |        1 |        8
313.85/313.93	c  310s |      20 |   921165 |   861527 |     4475    433 |        1 |        8
315.85/315.97	c  312s |      20 |   926630 |   866027 |     4475    434 |        1 |        8
317.85/317.97	c  314s |      20 |   930778 |   869427 |     4475    436 |        1 |        8
319.85/319.98	c  316s |      20 |   935118 |   873127 |     4475    437 |        1 |        8
321.95/322.01	c  318s |      20 |   940241 |   877327 |     4475    439 |        1 |        8
323.94/324.01	c  320s |      20 |   945400 |   882027 |     4475    441 |        1 |        8
325.94/326.05	c  322s |      20 |   950503 |   886127 |     4475    443 |        1 |        8
327.94/328.07	c  324s |      20 |   955912 |   891227 |     4475    445 |        1 |        8
329.95/330.08	c  327s |      20 |   961505 |   896627 |     4475    447 |        1 |        8
332.04/332.10	c  329s |      20 |   967089 |   902027 |     4475    449 |        1 |        8
334.04/334.11	c  331s |      20 |   972633 |   907427 |     4475    451 |        1 |        8
336.04/336.14	c  333s |      20 |   978624 |   913227 |     4475    454 |        1 |        8
338.04/338.15	c  335s |      20 |   983784 |   917827 |     4475    456 |        1 |        8
340.04/340.17	c  337s |      20 |   989554 |   922527 |     4475    457 |        1 |        8
342.05/342.18	c  339s |      20 |   995363 |   928027 |     4475    460 |        1 |        8
344.14/344.21	c  341s |      20 |  1001554 |   933727 |     4475    462 |        1 |        8
346.13/346.21	c  343s |      20 |  1007834 |   939627 |     4475    464 |        1 |        8
348.13/348.22	c  345s |      20 |  1014056 |   945527 |     4475    467 |        1 |        8
350.13/350.25	c  347s |      20 |  1020622 |   951727 |     4475    469 |        1 |        8
352.13/352.27	c  349s |      20 |  1027301 |   957827 |     4475    472 |        1 |        8
354.14/354.28	c  351s |      20 |  1034028 |   963327 |     4475    474 |        1 |        8
356.13/356.29	c  353s |      20 |  1039844 |   968527 |     4475    476 |        1 |        8
358.23/358.31	c  355s |      20 |  1046477 |   974927 |     4475    479 |        1 |        8
360.23/360.32	c  357s |      20 |  1053099 |   981227 |     4475    481 |        1 |        8
362.23/362.32	c  359s |      20 |  1059485 |   986727 |     4923    484 |        1 |        8
364.23/364.38	c  361s |      20 |  1065518 |   992127 |     4923    486 |        1 |        8
366.33/366.41	c  363s |      20 |  1072031 |   997927 |     4923    488 |        1 |        8
367.13/367.29	c  364s |      21 |  1074536 |  1000345 |     4923    489 |        1 |        8
369.22/369.32	c  366s |      21 |  1081771 |  1007445 |     4923    491 |        1 |        8
371.22/371.34	c  368s |      21 |  1088101 |  1013245 |     4923    494 |        1 |        8
373.22/373.36	c  370s |      21 |  1094535 |  1019345 |     4923    496 |        1 |        8
375.22/375.38	c  372s |      21 |  1100836 |  1025145 |     4923    498 |        1 |        8
377.33/377.42	c  374s |      21 |  1106590 |  1030645 |     4923    500 |        1 |        8
379.32/379.44	c  376s |      21 |  1113337 |  1037045 |     4923    503 |        1 |        8
381.32/381.46	c  378s |      21 |  1119672 |  1043145 |     4923    505 |        1 |        8
383.32/383.48	c  380s |      21 |  1125813 |  1049045 |     4923    507 |        1 |        8
385.31/385.48	c  382s |      21 |  1132210 |  1055245 |     4923    509 |        1 |        8
387.31/387.49	c  384s |      21 |  1138578 |  1061145 |     4923    512 |        1 |        8
389.42/389.52	c  386s |      21 |  1144936 |  1067245 |     4923    514 |        1 |        8
391.41/391.55	c  388s |      21 |  1151398 |  1073445 |     4923    516 |        1 |        8
393.41/393.57	c  390s |      21 |  1157477 |  1079145 |     4923    518 |        1 |        8
395.41/395.58	c  392s |      21 |  1164793 |  1086245 |     4923    521 |        1 |        8
397.51/397.60	c  394s |      21 |  1171161 |  1092545 |     4923    523 |        1 |        8
399.51/399.62	c  396s |      21 |  1177571 |  1098645 |     4923    526 |        1 |        8
401.52/401.64	c  398s |      21 |  1183624 |  1104445 |     4923    528 |        1 |        8
403.51/403.64	c  400s |      21 |  1189836 |  1110345 |     4923    530 |        1 |        8
405.51/405.67	c  402s |      21 |  1195356 |  1115545 |     4923    532 |        1 |        8
407.51/407.67	c  404s |      21 |  1201091 |  1121045 |     4923    534 |        1 |        8
409.60/409.70	c  406s |      21 |  1206637 |  1126245 |     4923    536 |        1 |        8
411.60/411.74	c  408s |      21 |  1212692 |  1131945 |     4923    538 |        1 |        8
413.61/413.79	c  410s |      21 |  1218102 |  1137145 |     4923    540 |        1 |        8
415.60/415.79	c  412s |      21 |  1223340 |  1142045 |     4923    542 |        1 |        8
417.70/417.81	c  414s |      21 |  1228269 |  1146745 |     4923    544 |        1 |        8
419.70/419.82	c  416s |      21 |  1233349 |  1151645 |     4923    546 |        1 |        8
421.70/421.84	c  418s |      21 |  1239882 |  1157745 |     4923    548 |        1 |        8
423.70/423.84	c  420s |      21 |  1246262 |  1163745 |     4923    550 |        1 |        8
425.70/425.85	c  422s |      21 |  1252445 |  1169545 |     4923    553 |        1 |        8
427.70/427.88	c  424s |      21 |  1258874 |  1175745 |     4923    555 |        1 |        8
429.70/429.88	c  426s |      21 |  1264980 |  1181545 |     4923    557 |        1 |        8
431.69/431.89	c  428s |      21 |  1271315 |  1187545 |     4923    559 |        1 |        8
433.79/433.91	c  430s |      21 |  1277281 |  1193145 |     4923    562 |        1 |        8
435.79/435.93	c  432s |      21 |  1283124 |  1198645 |     4923    564 |        1 |        8
437.80/437.96	c  434s |      21 |  1289771 |  1204845 |     4923    566 |        1 |        8
439.79/439.99	c  436s |      21 |  1296304 |  1210845 |     4923    568 |        1 |        8
441.89/442.02	c  438s |      21 |  1302693 |  1216745 |     4923    570 |        1 |        8
443.89/444.04	c  440s |      21 |  1309069 |  1222645 |     4923    573 |        1 |        8
445.89/446.05	c  442s |      21 |  1315802 |  1228945 |     4923    575 |        1 |        8
447.88/448.07	c  445s |      21 |  1321787 |  1234645 |     4923    577 |        1 |        8
449.89/450.08	c  447s |      21 |  1328085 |  1240645 |     4923    580 |        1 |        8
451.99/452.11	c  449s |      21 |  1334085 |  1246245 |     4923    582 |        1 |        8
453.98/454.13	c  451s |      21 |  1340373 |  1252045 |     4923    584 |        1 |        8
455.98/456.14	c  453s |      21 |  1346607 |  1258045 |     4923    586 |        1 |        8
457.98/458.15	c  455s |      21 |  1353937 |  1265045 |     4923    589 |        1 |        8
459.98/460.16	c  457s |      21 |  1360847 |  1271845 |     4923    591 |        1 |        8
461.98/462.18	c  459s |      21 |  1367445 |  1278345 |     4923    594 |        1 |        8
463.98/464.20	c  461s |      21 |  1374230 |  1284945 |     4923    596 |        1 |        8
466.07/466.23	c  463s |      21 |  1379655 |  1289945 |     4923    598 |        1 |        8
468.07/468.24	c  465s |      21 |  1384890 |  1294745 |     4923    600 |        1 |        8
470.07/470.27	c  467s |      21 |  1389623 |  1298845 |     4923    601 |        1 |        8
472.08/472.29	c  469s |      21 |  1395258 |  1304145 |     4923    603 |        1 |        8
474.18/474.30	c  471s |      21 |  1400685 |  1309345 |     4923    605 |        1 |        8
476.18/476.31	c  473s |      21 |  1405998 |  1314445 |     4923    607 |        1 |        8
478.18/478.34	c  475s |      21 |  1412054 |  1320145 |     4923    609 |        1 |        8
480.18/480.36	c  477s |      21 |  1417828 |  1325245 |     4923    611 |        1 |        8
482.28/482.40	c  479s |      21 |  1422996 |  1330145 |     4923    613 |        1 |        8
484.28/484.43	c  481s |      21 |  1428860 |  1335745 |     4923    615 |        1 |        8
486.27/486.47	c  483s |      21 |  1434688 |  1341345 |     4923    617 |        1 |        8
488.28/488.48	c  485s |      21 |  1440942 |  1347145 |     4923    620 |        1 |        8
490.37/490.50	c  487s |      21 |  1446717 |  1352445 |     4923    622 |        1 |        8
492.37/492.52	c  489s |      21 |  1452118 |  1357445 |     4923    623 |        1 |        8
494.37/494.56	c  491s |      21 |  1457925 |  1362945 |     4923    625 |        1 |        8
496.37/496.59	c  493s |      21 |  1463262 |  1367945 |     4923    627 |        1 |        8
498.37/498.59	c  495s |      21 |  1468772 |  1373045 |     4923    629 |        1 |        8
500.47/500.61	c  497s |      21 |  1473364 |  1377245 |     4923    631 |        1 |        8
502.47/502.62	c  499s |      21 |  1478572 |  1382245 |     4923    633 |        1 |        8
504.47/504.66	c  501s |      21 |  1483776 |  1387245 |     4923    635 |        1 |        8
506.46/506.68	c  503s |      21 |  1489759 |  1393045 |     4923    637 |        1 |        8
508.56/508.71	c  505s |      21 |  1497326 |  1400245 |     4923    640 |        1 |        8
510.56/510.71	c  507s |      21 |  1503692 |  1406145 |     4923    642 |        1 |        8
512.57/512.74	c  509s |      21 |  1510163 |  1412445 |     4923    644 |        1 |        8
514.55/514.75	c  511s |      21 |  1516676 |  1418845 |     4923    646 |        1 |        8
516.55/516.75	c  513s |      21 |  1522653 |  1424745 |     4923    649 |        1 |        8
518.55/518.76	c  515s |      21 |  1529583 |  1431145 |     4923    651 |        1 |        8
520.55/520.76	c  517s |      21 |  1535812 |  1437045 |     4923    653 |        1 |        8
522.55/522.78	c  519s |      21 |  1542592 |  1443545 |     4923    656 |        1 |        8
524.56/524.80	c  521s |      21 |  1549127 |  1449545 |     4923    658 |        1 |        8
526.65/526.83	c  523s |      21 |  1555423 |  1455645 |     4923    660 |        1 |        8
528.65/528.83	c  525s |      21 |  1561890 |  1461645 |     4923    663 |        1 |        8
530.65/530.83	c  527s |      21 |  1567984 |  1467445 |     4923    665 |        1 |        8
532.65/532.86	c  529s |      21 |  1574003 |  1473245 |     4923    667 |        1 |        8
534.74/534.90	c  531s |      21 |  1580229 |  1479245 |     4923    669 |        1 |        8
536.75/536.92	c  533s |      21 |  1586716 |  1485345 |     5416    671 |        1 |        8
538.74/538.95	c  535s |      21 |  1592182 |  1490545 |     5416    673 |        1 |        8
540.74/540.97	c  537s |      21 |  1597730 |  1495945 |     5416    675 |        1 |        8
542.64/542.82	c  539s |      22 |  1602678 |  1500622 |     5416    676 |        1 |        8
544.64/544.83	c  541s |      22 |  1609647 |  1507122 |     5416    679 |        1 |        8
546.64/546.84	c  543s |      22 |  1615472 |  1512822 |     5416    681 |        1 |        8
548.64/548.85	c  545s |      22 |  1621419 |  1518622 |     5416    683 |        1 |        8
550.64/550.88	c  547s |      22 |  1627784 |  1524922 |     5416    685 |        1 |        8
552.64/552.89	c  549s |      22 |  1633673 |  1530722 |     5416    687 |        1 |        8
554.73/554.90	c  551s |      22 |  1640285 |  1537122 |     5416    689 |        1 |        8
556.73/556.91	c  553s |      22 |  1646743 |  1543422 |     5416    691 |        1 |        8
558.74/558.93	c  555s |      22 |  1653217 |  1549522 |     5416    694 |        1 |        8
560.73/560.96	c  557s |      22 |  1659951 |  1556122 |     5416    696 |        1 |        8
562.73/562.96	c  559s |      22 |  1666211 |  1562222 |     5416    698 |        1 |        8
564.73/564.97	c  561s |      22 |  1672638 |  1568522 |     5416    700 |        1 |        8
566.73/566.99	c  563s |      22 |  1679181 |  1574922 |     5416    702 |        1 |        8
568.82/569.02	c  565s |      22 |  1685286 |  1580922 |     5416    704 |        1 |        8
570.83/571.07	c  568s |      22 |  1691154 |  1586722 |     5416    707 |        1 |        8
572.82/573.09	c  570s |      22 |  1697090 |  1592522 |     5416    709 |        1 |        8
574.82/575.09	c  572s |      22 |  1703269 |  1598322 |     5416    711 |        1 |        8
576.92/577.14	c  574s |      22 |  1709064 |  1603822 |     5416    713 |        1 |        8
578.92/579.18	c  576s |      22 |  1714877 |  1609422 |     5416    714 |        1 |        8
580.92/581.19	c  578s |      22 |  1720124 |  1614522 |     5416    716 |        1 |        8
583.02/583.23	c  580s |      22 |  1725198 |  1619522 |     5416    718 |        1 |        8
585.02/585.25	c  582s |      22 |  1730163 |  1624422 |     5416    720 |        1 |        8
587.01/587.25	c  584s |      22 |  1735688 |  1629822 |     5416    722 |        1 |        8
589.01/589.26	c  586s |      22 |  1742246 |  1636222 |     5416    724 |        1 |        8
591.01/591.26	c  588s |      22 |  1748600 |  1642422 |     5416    726 |        1 |        8
593.01/593.27	c  590s |      22 |  1754916 |  1648622 |     5416    728 |        1 |        8
595.11/595.30	c  592s |      22 |  1760771 |  1654422 |     5416    730 |        1 |        8
597.11/597.32	c  594s |      22 |  1766204 |  1659722 |     5416    732 |        1 |        8
599.11/599.35	c  596s |      22 |  1772407 |  1665722 |     5416    734 |        1 |        8
601.11/601.38	c  598s |      22 |  1777821 |  1670822 |     5416    736 |        1 |        8
603.11/603.39	c  600s |      22 |  1784225 |  1677022 |     5416    738 |        1 |        8
605.21/605.43	c  602s |      22 |  1790560 |  1683222 |     5416    740 |        1 |        8
607.20/607.47	c  604s |      22 |  1796065 |  1688522 |     5416    742 |        1 |        8
609.31/609.51	c  606s |      22 |  1801686 |  1694022 |     5416    744 |        1 |        8
611.30/611.51	c  608s |      22 |  1807211 |  1699422 |     5416    746 |        1 |        8
613.30/613.52	c  610s |      22 |  1813250 |  1705322 |     5416    748 |        1 |        8
615.30/615.53	c  612s |      22 |  1818334 |  1710222 |     5416    750 |        1 |        8
617.30/617.53	c  614s |      22 |  1824512 |  1716222 |     5416    752 |        1 |        8
619.30/619.57	c  616s |      22 |  1831187 |  1722222 |     5416    754 |        1 |        8
621.30/621.57	c  618s |      22 |  1836677 |  1727322 |     5416    756 |        1 |        8
623.40/623.62	c  620s |      22 |  1842241 |  1732722 |     5416    758 |        1 |        8
625.39/625.63	c  622s |      22 |  1847219 |  1737622 |     5416    759 |        1 |        8
627.39/627.65	c  624s |      22 |  1852899 |  1743122 |     5416    761 |        1 |        8
629.39/629.67	c  626s |      22 |  1858179 |  1748222 |     5416    763 |        1 |        8
631.39/631.68	c  628s |      22 |  1863763 |  1753622 |     5416    765 |        1 |        8
633.40/633.69	c  630s |      22 |  1868986 |  1758622 |     5416    767 |        1 |        8
635.49/635.70	c  632s |      22 |  1875223 |  1764522 |     5416    769 |        1 |        8
637.49/637.70	c  634s |      22 |  1881152 |  1770322 |     5416    771 |        1 |        8
639.49/639.73	c  636s |      22 |  1886696 |  1775722 |     5416    773 |        1 |        8
641.49/641.74	c  638s |      22 |  1891887 |  1780822 |     5416    774 |        1 |        8
643.49/643.75	c  640s |      22 |  1898172 |  1786822 |     5416    776 |        1 |        8
645.49/645.77	c  642s |      22 |  1903675 |  1791822 |     5416    778 |        1 |        8
647.48/647.78	c  644s |      22 |  1909015 |  1796822 |     5416    780 |        1 |        8
649.48/649.78	c  646s |      22 |  1914188 |  1801722 |     5416    782 |        1 |        8
651.58/651.80	c  648s |      22 |  1920055 |  1807422 |     5416    784 |        1 |        8
653.58/653.80	c  650s |      22 |  1925790 |  1812922 |     5416    786 |        1 |        8
655.58/655.84	c  652s |      22 |  1931283 |  1818222 |     5416    787 |        1 |        8
657.58/657.87	c  654s |      22 |  1936951 |  1823722 |     5416    789 |        1 |        8
659.67/659.91	c  656s |      22 |  1942066 |  1828722 |     5416    791 |        1 |        8
661.67/661.92	c  658s |      22 |  1946756 |  1833322 |     5416    793 |        1 |        8
663.67/663.92	c  660s |      22 |  1952811 |  1839122 |     5416    795 |        1 |        8
665.67/665.93	c  662s |      22 |  1958711 |  1844722 |     5416    797 |        1 |        8
667.67/667.94	c  664s |      22 |  1965434 |  1851122 |     5416    799 |        1 |        8
669.68/669.96	c  666s |      22 |  1971573 |  1856922 |     5416    801 |        1 |        8
671.67/671.97	c  668s |      22 |  1977803 |  1862822 |     5416    803 |        1 |        8
673.67/673.98	c  670s |      22 |  1983201 |  1867922 |     5416    805 |        1 |        8
675.76/676.01	c  672s |      22 |  1989327 |  1873622 |     5416    807 |        1 |        8
677.76/678.01	c  674s |      22 |  1995264 |  1879122 |     5416    809 |        1 |        8
679.76/680.02	c  676s |      22 |  2000778 |  1884322 |     5416    810 |        1 |        8
681.77/682.03	c  678s |      22 |  2006244 |  1889322 |     5416    812 |        1 |        8
683.76/684.05	c  680s |      22 |  2012218 |  1894822 |     5416    814 |        1 |        8
685.76/686.08	c  683s |      22 |  2018162 |  1900422 |     5416    816 |        1 |        8
687.76/688.09	c  685s |      22 |  2023435 |  1905322 |     5416    818 |        1 |        8
689.86/690.10	c  687s |      22 |  2028735 |  1910322 |     5416    820 |        1 |        8
691.86/692.13	c  689s |      22 |  2034183 |  1915422 |     5416    821 |        1 |        8
693.87/694.15	c  691s |      22 |  2039979 |  1920922 |     5416    823 |        1 |        8
695.86/696.18	c  693s |      22 |  2045490 |  1926122 |     5416    825 |        1 |        8
697.96/698.21	c  695s |      22 |  2050434 |  1930822 |     5416    827 |        1 |        8
699.96/700.23	c  697s |      22 |  2055561 |  1935722 |     5416    828 |        1 |        8
701.96/702.24	c  699s |      22 |  2061525 |  1941322 |     5416    830 |        1 |        8
703.96/704.27	c  701s |      22 |  2066908 |  1946122 |     5416    832 |        1 |        8
705.96/706.29	c  703s |      22 |  2072566 |  1951422 |     5416    834 |        1 |        8
708.05/708.31	c  705s |      22 |  2077664 |  1956322 |     5416    836 |        1 |        8
710.05/710.33	c  707s |      22 |  2084046 |  1962422 |     5416    838 |        1 |        8
712.05/712.33	c  709s |      22 |  2090213 |  1968322 |     5416    840 |        1 |        8
714.05/714.34	c  711s |      22 |  2096540 |  1974422 |     5416    842 |        1 |        8
716.05/716.37	c  713s |      22 |  2103149 |  1980622 |     5416    844 |        1 |        8
718.05/718.39	c  715s |      22 |  2109322 |  1986222 |     5416    846 |        1 |        8
720.14/720.41	c  717s |      22 |  2114875 |  1991522 |     5416    848 |        1 |        8
722.14/722.44	c  719s |      22 |  2120740 |  1997122 |     5416    850 |        1 |        8
724.14/724.46	c  721s |      22 |  2126543 |  2002622 |     5416    852 |        1 |        8
726.14/726.49	c  723s |      22 |  2132696 |  2008522 |     5416    854 |        1 |        8
728.14/728.50	c  725s |      22 |  2138531 |  2014022 |     5416    856 |        1 |        8
730.25/730.51	c  727s |      22 |  2144451 |  2019622 |     5416    858 |        1 |        8
732.24/732.51	c  729s |      22 |  2150112 |  2024922 |     5416    860 |        1 |        8
734.24/734.54	c  731s |      22 |  2155692 |  2030322 |     5416    861 |        1 |        8
736.23/736.57	c  733s |      22 |  2161729 |  2036022 |     5416    863 |        1 |        8
738.23/738.57	c  735s |      22 |  2168000 |  2041922 |     5416    866 |        1 |        8
740.23/740.58	c  737s |      22 |  2174229 |  2047822 |     5416    868 |        1 |        8
742.24/742.59	c  739s |      22 |  2180585 |  2053722 |     5416    870 |        1 |        8
744.33/744.60	c  741s |      22 |  2186361 |  2059122 |     5416    872 |        1 |        8
746.32/746.61	c  743s |      22 |  2192318 |  2064722 |     5416    873 |        1 |        8
748.32/748.62	c  745s |      22 |  2198052 |  2069822 |     5416    875 |        1 |        8
750.32/750.63	c  747s |      22 |  2203862 |  2075222 |     5416    877 |        1 |        8
752.32/752.66	c  749s |      22 |  2209682 |  2080322 |     5416    879 |        1 |        8
754.33/754.70	c  751s |      22 |  2214662 |  2085022 |     5416    881 |        1 |        8
756.42/756.71	c  753s |      22 |  2220881 |  2090722 |     5416    883 |        1 |        8
758.42/758.73	c  755s |      22 |  2226342 |  2095922 |     5416    884 |        1 |        8
760.42/760.76	c  757s |      22 |  2231847 |  2101222 |     5416    886 |        1 |        8
762.42/762.79	c  759s |      22 |  2237487 |  2106422 |     5416    888 |        1 |        8
764.52/764.81	c  761s |      22 |  2243037 |  2111422 |     5416    890 |        1 |        8
766.52/766.82	c  763s |      22 |  2249508 |  2117322 |     5416    892 |        1 |        8
768.52/768.83	c  765s |      22 |  2255340 |  2122722 |     5416    894 |        1 |        8
770.52/770.84	c  767s |      22 |  2260872 |  2127922 |     5416    896 |        1 |        8
772.52/772.84	c  769s |      22 |  2266854 |  2133522 |     5416    898 |        1 |        8
774.51/774.87	c  771s |      22 |  2273656 |  2140222 |     5416    900 |        1 |        8
776.51/776.87	c  773s |      22 |  2279622 |  2146122 |     5416    902 |        1 |        8
778.52/778.90	c  775s |      22 |  2286495 |  2152622 |     5416    904 |        1 |        8
780.61/780.94	c  777s |      22 |  2292803 |  2158722 |     5416    906 |        1 |        8
782.61/782.97	c  779s |      22 |  2298446 |  2164122 |     5416    908 |        1 |        8
784.71/785.00	c  781s |      22 |  2303790 |  2169322 |     5416    910 |        1 |        8
786.71/787.02	c  783s |      22 |  2309489 |  2174822 |     5416    912 |        1 |        8
788.71/789.04	c  785s |      22 |  2315418 |  2180622 |     5416    914 |        1 |        8
790.71/791.05	c  787s |      22 |  2320158 |  2185222 |     5416    916 |        1 |        8
792.70/793.06	c  789s |      22 |  2325859 |  2190822 |     5416    918 |        1 |        8
794.69/795.06	c  791s |      22 |  2330734 |  2195622 |     5416    919 |        1 |        8
796.69/797.08	c  794s |      22 |  2335385 |  2199922 |     5416    921 |        1 |        8
798.69/799.09	c  796s |      22 |  2341112 |  2205522 |     5416    923 |        1 |        8
800.79/801.10	c  798s |      22 |  2346955 |  2211222 |     5416    925 |        1 |        8
802.80/803.13	c  800s |      22 |  2352161 |  2216322 |     5416    926 |        1 |        8
804.79/805.15	c  802s |      22 |  2357766 |  2221822 |     5416    928 |        1 |        8
806.79/807.18	c  804s |      22 |  2363681 |  2227622 |     5958    930 |        1 |        8
808.89/809.20	c  806s |      22 |  2369600 |  2233422 |     5958    932 |        1 |        8
810.89/811.21	c  808s |      22 |  2375299 |  2238922 |     5958    934 |        1 |        8
812.89/813.22	c  810s |      22 |  2381594 |  2244822 |     5958    936 |        1 |        8
814.89/815.23	c  812s |      22 |  2386972 |  2250122 |     5958    937 |        1 |        8
815.18/815.58	c  812s |      23 |  2388120 |  2251038 |     5958    938 |        1 |        8
817.28/817.68	c  814s |      23 |  2393350 |  2255638 |     5958    939 |        1 |        8
819.28/819.68	c  816s |      23 |  2397833 |  2259338 |     5958    940 |        1 |        8
821.38/821.71	c  818s |      23 |  2402480 |  2263738 |     5958    942 |        1 |        8
823.38/823.74	c  820s |      23 |  2406961 |  2268138 |     5958    943 |        1 |        8
825.47/825.83	c  822s |      23 |  2410352 |  2270638 |     5958    944 |        1 |        8
827.47/827.88	c  824s |      23 |  2414373 |  2274138 |     5958    945 |        1 |        8
829.57/829.96	c  826s |      23 |  2417742 |  2276638 |     5958    946 |        1 |        8
831.67/832.02	c  828s |      23 |  2422110 |  2279638 |     5958    946 |        1 |        8
833.67/834.02	c  830s |      23 |  2426573 |  2283638 |     5958    948 |        1 |        8
835.68/836.04	c  832s |      23 |  2430694 |  2286338 |     5958    949 |        1 |        8
837.67/838.08	c  835s |      23 |  2436427 |  2291438 |     5958    950 |        1 |        8
839.77/840.15	c  837s |      23 |  2440966 |  2294538 |     5958    951 |        1 |        8
841.77/842.17	c  839s |      23 |  2444506 |  2297238 |     5958    952 |        1 |        8
843.78/844.17	c  841s |      23 |  2449243 |  2301338 |     5958    953 |        1 |        8
845.87/846.20	c  843s |      23 |  2452679 |  2304338 |     5958    954 |        1 |        8
847.88/848.26	c  845s |      23 |  2457013 |  2308238 |     5958    955 |        1 |        8
849.87/850.29	c  847s |      23 |  2460712 |  2311238 |     5958    956 |        1 |        8
851.97/852.36	c  849s |      23 |  2464595 |  2314738 |     5958    957 |        1 |        8
853.97/854.38	c  851s |      23 |  2468320 |  2317938 |     5958    958 |        1 |        8
855.96/856.39	c  853s |      23 |  2471846 |  2321238 |     5958    960 |        1 |        8
858.06/858.42	c  855s |      23 |  2475801 |  2324638 |     5958    961 |        1 |        8
860.06/860.47	c  857s |      23 |  2480568 |  2328638 |     5958    962 |        1 |        8
862.17/862.52	c  859s |      23 |  2484512 |  2332238 |     5958    963 |        1 |        8
864.16/864.55	c  861s |      23 |  2487411 |  2334938 |     5958    964 |        1 |        8
866.16/866.57	c  863s |      23 |  2491016 |  2338238 |     5958    965 |        1 |        8
868.26/868.60	c  865s |      23 |  2494541 |  2341338 |     5958    966 |        1 |        8
870.26/870.67	c  867s |      23 |  2498647 |  2344938 |     5958    967 |        1 |        8
872.36/872.70	c  869s |      23 |  2502802 |  2348438 |     5958    968 |        1 |        8
874.46/874.81	c  871s |      23 |  2505717 |  2351138 |     5958    969 |        1 |        8
876.46/876.84	c  873s |      23 |  2508287 |  2353338 |     5958    970 |        1 |        8
878.45/878.86	c  875s |      23 |  2511731 |  2356738 |     5958    971 |        1 |        8
880.45/880.89	c  877s |      23 |  2515962 |  2360838 |     5958    972 |        1 |        8
882.55/882.90	c  879s |      23 |  2520359 |  2365138 |     5958    973 |        1 |        8
884.55/884.91	c  881s |      23 |  2524201 |  2368938 |     5958    974 |        1 |        8
886.55/886.96	c  883s |      23 |  2527711 |  2372338 |     5958    975 |        1 |        8
888.65/889.03	c  885s |      23 |  2531172 |  2375438 |     5958    976 |        1 |        8
890.65/891.04	c  887s |      23 |  2534999 |  2378838 |     5958    978 |        1 |        8
892.65/893.07	c  890s |      23 |  2539608 |  2383138 |     5958    979 |        1 |        8
894.74/895.11	c  892s |      23 |  2543287 |  2386438 |     5958    980 |        1 |        8
896.74/897.12	c  894s |      23 |  2547127 |  2390138 |     5958    981 |        1 |        8
898.74/899.16	c  896s |      23 |  2551919 |  2394138 |     5958    982 |        1 |        8
900.84/901.20	c  898s |      23 |  2555686 |  2397638 |     5958    983 |        1 |        8
902.85/903.22	c  900s |      23 |  2559841 |  2401338 |     5958    985 |        1 |        8
904.83/905.26	c  902s |      23 |  2563684 |  2404938 |     5958    986 |        1 |        8
906.83/907.26	c  904s |      23 |  2568145 |  2409038 |     5958    987 |        1 |        8
908.93/909.30	c  906s |      23 |  2572885 |  2413638 |     5958    988 |        1 |        8
910.93/911.31	c  908s |      23 |  2577470 |  2418038 |     5958    990 |        1 |        8
912.93/913.32	c  910s |      23 |  2581595 |  2421838 |     5958    991 |        1 |        8
914.94/915.38	c  912s |      23 |  2586909 |  2425938 |     5958    992 |        1 |        8
917.04/917.41	c  914s |      23 |  2590945 |  2429438 |     5958    993 |        1 |        8
919.03/919.43	c  916s |      23 |  2595108 |  2433138 |     5958    994 |        1 |        8
921.03/921.48	c  918s |      23 |  2598780 |  2436538 |     5958    996 |        1 |        8
923.03/923.49	c  920s |      23 |  2601890 |  2439538 |     5958    996 |        1 |        8
925.12/925.52	c  922s |      23 |  2606555 |  2444038 |     5958    998 |        1 |        8
927.12/927.57	c  924s |      23 |  2610680 |  2447938 |     5958    999 |        1 |        8
929.13/929.59	c  926s |      23 |  2614869 |  2451838 |     5958   1000 |        1 |        8
931.22/931.66	c  928s |      23 |  2619092 |  2455538 |     5958   1001 |        1 |        8
933.22/933.67	c  930s |      23 |  2622724 |  2458738 |     5958   1002 |        1 |        8
935.32/935.70	c  932s |      23 |  2626651 |  2462438 |     5958   1004 |        1 |        8
937.32/937.72	c  934s |      23 |  2630872 |  2466538 |     5958   1005 |        1 |        8
939.32/939.77	c  936s |      23 |  2634261 |  2469338 |     5958   1006 |        1 |        8
941.42/941.81	c  938s |      23 |  2637578 |  2472338 |     5958   1007 |        1 |        8
943.42/943.84	c  940s |      23 |  2641208 |  2475838 |     5958   1008 |        1 |        8
945.41/945.86	c  942s |      23 |  2646355 |  2480838 |     5958   1009 |        1 |        8
947.41/947.88	c  944s |      23 |  2651456 |  2485638 |     5958   1011 |        1 |        8
949.41/949.89	c  946s |      23 |  2656841 |  2490538 |     5958   1012 |        1 |        8
951.51/951.90	c  948s |      23 |  2660703 |  2494138 |     5958   1014 |        1 |        8
953.51/953.95	c  950s |      23 |  2664504 |  2497538 |     5958   1015 |        1 |        8
955.51/955.97	c  952s |      23 |  2668816 |  2501538 |     5958   1016 |        1 |        8
957.50/957.98	c  954s |      23 |  2672631 |  2505138 |     5958   1017 |        1 |        8
959.60/960.02	c  956s |      23 |  2675975 |  2508138 |     5958   1018 |        1 |        8
961.60/962.06	c  958s |      23 |  2678816 |  2510838 |     5958   1019 |        1 |        8
963.60/964.08	c  961s |      23 |  2682796 |  2514138 |     5958   1020 |        1 |        8
965.70/966.13	c  963s |      23 |  2687928 |  2518838 |     5958   1021 |        1 |        8
967.71/968.14	c  965s |      23 |  2692416 |  2523038 |     5958   1023 |        1 |        8
969.70/970.15	c  967s |      23 |  2697105 |  2527638 |     5958   1024 |        1 |        8
971.70/972.17	c  969s |      23 |  2701515 |  2531838 |     5958   1025 |        1 |        8
973.70/974.19	c  971s |      23 |  2706290 |  2536438 |     5958   1027 |        1 |        8
975.79/976.21	c  973s |      23 |  2711052 |  2540738 |     5958   1028 |        1 |        8
977.79/978.22	c  975s |      23 |  2715855 |  2545138 |     5958   1029 |        1 |        8
979.80/980.24	c  977s |      23 |  2721019 |  2549938 |     5958   1031 |        1 |        8
981.79/982.26	c  979s |      23 |  2725264 |  2554138 |     5958   1032 |        1 |        8
983.79/984.29	c  981s |      23 |  2730648 |  2559438 |     5958   1034 |        1 |        8
985.89/986.34	c  983s |      23 |  2735414 |  2564138 |     5958   1035 |        1 |        8
987.89/988.35	c  985s |      23 |  2740660 |  2568938 |     5958   1037 |        1 |        8
989.90/990.37	c  987s |      23 |  2744825 |  2572838 |     5958   1038 |        1 |        8
991.90/992.37	c  989s |      23 |  2749615 |  2577338 |     5958   1040 |        1 |        8
994.00/994.43	c  991s |      23 |  2754135 |  2581638 |     5958   1041 |        1 |        8
996.00/996.47	c  993s |      23 |  2759186 |  2585738 |     5958   1042 |        1 |        8
998.10/998.56	c  995s |      23 |  2763783 |  2589738 |     5958   1043 |        1 |        8
1000.10/1000.59	c  997s |      23 |  2768206 |  2593738 |     5958   1045 |        1 |        8
1002.19/1002.61	c  999s |      23 |  2772482 |  2597738 |     5958   1046 |        1 |        8
1004.19/1004.64	c 1001s |      23 |  2776592 |  2601538 |     5958   1047 |        1 |        8
1006.20/1006.66	c 1003s |      23 |  2781186 |  2605638 |     5958   1048 |        1 |        8
1008.19/1008.68	c 1005s |      23 |  2786255 |  2610138 |     5958   1050 |        1 |        8
1010.19/1010.69	c 1007s |      23 |  2791074 |  2614638 |     5958   1051 |        1 |        8
1012.29/1012.73	c 1009s |      23 |  2795425 |  2618838 |     5958   1053 |        1 |        8
1014.29/1014.74	c 1011s |      23 |  2800382 |  2623338 |     5958   1054 |        1 |        8
1016.29/1016.77	c 1013s |      23 |  2805629 |  2628438 |     5958   1056 |        1 |        8
1018.39/1018.80	c 1015s |      23 |  2810873 |  2633638 |     5958   1057 |        1 |        8
1020.40/1020.81	c 1017s |      23 |  2815678 |  2638338 |     5958   1059 |        1 |        8
1022.39/1022.84	c 1019s |      23 |  2821386 |  2643838 |     5958   1060 |        1 |        8
1024.39/1024.84	c 1021s |      23 |  2826859 |  2648838 |     5958   1062 |        1 |        8
1026.39/1026.87	c 1023s |      23 |  2831736 |  2653638 |     5958   1063 |        1 |        8
1028.49/1028.91	c 1025s |      23 |  2836495 |  2658338 |     5958   1065 |        1 |        8
1030.49/1030.95	c 1027s |      23 |  2841341 |  2663138 |     5958   1066 |        1 |        8
1032.49/1032.96	c 1029s |      23 |  2845847 |  2667538 |     5958   1068 |        1 |        8
1034.48/1034.98	c 1031s |      23 |  2850743 |  2672338 |     5958   1069 |        1 |        8
1036.48/1036.99	c 1033s |      23 |  2854160 |  2675338 |     5958   1070 |        1 |        8
1038.58/1039.01	c 1035s |      23 |  2857078 |  2678238 |     5958   1071 |        1 |        8
1040.58/1041.07	c 1038s |      23 |  2860716 |  2681338 |     5958   1072 |        1 |        8
1042.68/1043.13	c 1040s |      23 |  2863840 |  2684438 |     5958   1073 |        1 |        8
1044.69/1045.15	c 1042s |      23 |  2866971 |  2687538 |     5958   1074 |        1 |        8
1046.68/1047.20	c 1044s |      23 |  2870128 |  2690638 |     5958   1075 |        1 |        8
1048.78/1049.24	c 1046s |      23 |  2873357 |  2693838 |     5958   1076 |        1 |        8
1050.78/1051.29	c 1048s |      23 |  2875540 |  2695738 |     5958   1076 |        1 |        8
1052.88/1053.35	c 1050s |      23 |  2878752 |  2698638 |     5958   1077 |        1 |        8
1054.88/1055.37	c 1052s |      23 |  2882495 |  2702138 |     5958   1079 |        1 |        8
1056.88/1057.39	c 1054s |      23 |  2886218 |  2705538 |     5958   1080 |        1 |        8
1058.99/1059.42	c 1056s |      23 |  2890491 |  2709438 |     5958   1081 |        1 |        8
1060.98/1061.45	c 1058s |      23 |  2894522 |  2713138 |     5958   1082 |        1 |        8
1062.98/1063.49	c 1060s |      23 |  2898271 |  2716638 |     5958   1083 |        1 |        8
1064.98/1065.49	c 1062s |      23 |  2901822 |  2720038 |     5958   1084 |        1 |        8
1067.08/1067.52	c 1064s |      23 |  2906608 |  2724238 |     5958   1085 |        1 |        8
1069.08/1069.54	c 1066s |      23 |  2911437 |  2729038 |     5958   1087 |        1 |        8
1071.08/1071.54	c 1068s |      23 |  2917049 |  2734338 |     5958   1089 |        1 |        8
1073.08/1073.56	c 1070s |      23 |  2922298 |  2739538 |     5958   1090 |        1 |        8
1075.08/1075.58	c 1072s |      23 |  2927605 |  2744738 |     5958   1092 |        1 |        8
1077.08/1077.59	c 1074s |      23 |  2932565 |  2749638 |     5958   1093 |        1 |        8
1079.08/1079.59	c 1076s |      23 |  2937624 |  2754638 |     5958   1095 |        1 |        8
1081.18/1081.62	c 1078s |      23 |  2942784 |  2759638 |     5958   1096 |        1 |        8
1083.19/1083.64	c 1080s |      23 |  2948175 |  2764638 |     5958   1098 |        1 |        8
1085.18/1085.66	c 1082s |      23 |  2952927 |  2769038 |     5958   1099 |        1 |        8
1087.18/1087.67	c 1084s |      23 |  2957931 |  2773838 |     5958   1101 |        1 |        8
1089.18/1089.68	c 1086s |      23 |  2962270 |  2778138 |     5958   1102 |        1 |        8
1091.28/1091.71	c 1088s |      23 |  2966974 |  2782538 |     5958   1104 |        1 |        8
1093.28/1093.75	c 1090s |      23 |  2971431 |  2786938 |     5958   1105 |        1 |        8
1095.29/1095.75	c 1092s |      23 |  2976170 |  2791238 |     5958   1106 |        1 |        8
1097.28/1097.78	c 1094s |      23 |  2981449 |  2795238 |     5958   1108 |        1 |        8
1099.38/1099.80	c 1096s |      23 |  2986384 |  2798638 |     5958   1109 |        1 |        8
1101.38/1101.85	c 1098s |      23 |  2991210 |  2803438 |     5958   1110 |        1 |        8
1103.38/1103.89	c 1100s |      23 |  2995603 |  2807538 |     5958   1111 |        1 |        8
1105.48/1105.90	c 1102s |      23 |  2999988 |  2811838 |     5958   1113 |        1 |        8
1107.48/1107.91	c 1104s |      23 |  3005226 |  2816238 |     5958   1114 |        1 |        8
1109.48/1109.93	c 1106s |      23 |  3010129 |  2820938 |     5958   1116 |        1 |        8
1111.48/1111.94	c 1108s |      23 |  3014699 |  2825238 |     5958   1117 |        1 |        8
1113.48/1113.95	c 1110s |      23 |  3019730 |  2830138 |     5958   1118 |        1 |        8
1115.48/1115.97	c 1112s |      23 |  3024039 |  2834138 |     5958   1120 |        1 |        8
1117.58/1118.02	c 1114s |      23 |  3027562 |  2837138 |     5958   1121 |        1 |        8
1119.57/1120.04	c 1116s |      23 |  3031088 |  2840338 |     5958   1122 |        1 |        8
1121.58/1122.04	c 1118s |      23 |  3035110 |  2843738 |     5958   1123 |        1 |        8
1123.57/1124.07	c 1121s |      23 |  3039328 |  2847638 |     5958   1124 |        1 |        8
1125.67/1126.11	c 1123s |      23 |  3042800 |  2850638 |     5958   1125 |        1 |        8
1127.67/1128.13	c 1125s |      23 |  3046937 |  2854038 |     5958   1126 |        1 |        8
1129.67/1130.16	c 1127s |      23 |  3050137 |  2856738 |     5958   1127 |        1 |        8
1131.77/1132.21	c 1129s |      23 |  3053765 |  2860138 |     5958   1128 |        1 |        8
1133.78/1134.23	c 1131s |      23 |  3058210 |  2864238 |     5958   1129 |        1 |        8
1135.77/1136.24	c 1133s |      23 |  3062039 |  2867838 |     5958   1130 |        1 |        8
1137.77/1138.28	c 1135s |      23 |  3066213 |  2871638 |     5958   1131 |        1 |        8
1139.77/1140.28	c 1137s |      23 |  3070604 |  2875738 |     5958   1133 |        1 |        8
1141.87/1142.33	c 1139s |      23 |  3075027 |  2879638 |     5958   1134 |        1 |        8
1143.87/1144.36	c 1141s |      23 |  3079337 |  2883438 |     5958   1135 |        1 |        8
1145.97/1146.40	c 1143s |      23 |  3082794 |  2886738 |     5958   1136 |        1 |        8
1147.98/1148.43	c 1145s |      23 |  3086653 |  2890338 |     5958   1137 |        1 |        8
1149.97/1150.46	c 1147s |      23 |  3090410 |  2893838 |     5958   1138 |        1 |        8
1151.97/1152.48	c 1149s |      23 |  3094380 |  2897638 |     5958   1140 |        1 |        8
1153.97/1154.49	c 1151s |      23 |  3098979 |  2902138 |     5958   1141 |        1 |        8
1156.07/1156.51	c 1153s |      23 |  3102891 |  2905738 |     5958   1142 |        1 |        8
1158.07/1158.55	c 1155s |      23 |  3106551 |  2909238 |     5958   1143 |        1 |        8
1160.17/1160.61	c 1157s |      23 |  3110821 |  2913238 |     5958   1144 |        1 |        8
1162.17/1162.65	c 1159s |      23 |  3115312 |  2917238 |     5958   1146 |        1 |        8
1164.17/1164.67	c 1161s |      23 |  3120198 |  2921638 |     5958   1147 |        1 |        8
1166.17/1166.69	c 1163s |      23 |  3125557 |  2926538 |     5958   1149 |        1 |        8
1168.27/1168.71	c 1165s |      23 |  3131043 |  2931638 |     5958   1150 |        1 |        8
1170.27/1170.76	c 1167s |      23 |  3136705 |  2936638 |     5958   1152 |        1 |        8
1172.27/1172.77	c 1169s |      23 |  3141721 |  2941438 |     5958   1153 |        1 |        8
1174.26/1174.77	c 1171s |      23 |  3146374 |  2945838 |     5958   1155 |        1 |        8
1176.36/1176.81	c 1173s |      23 |  3151297 |  2950638 |     5958   1156 |        1 |        8
1178.36/1178.81	c 1175s |      23 |  3155529 |  2953938 |     5958   1157 |        1 |        8
1180.36/1180.86	c 1177s |      23 |  3159442 |  2957138 |     5958   1158 |        1 |        8
1182.36/1182.88	c 1179s |      23 |  3163795 |  2960338 |     5958   1159 |        1 |        8
1184.46/1184.90	c 1181s |      23 |  3168543 |  2964838 |     5958   1161 |        1 |        8
1186.47/1186.91	c 1183s |      23 |  3172429 |  2968538 |     5958   1162 |        1 |        8
1188.46/1188.91	c 1185s |      23 |  3176835 |  2972638 |     5958   1163 |        1 |        8
1190.46/1190.93	c 1187s |      23 |  3182261 |  2977838 |     5958   1165 |        1 |        8
1192.46/1192.96	c 1189s |      23 |  3186995 |  2982338 |     5958   1166 |        1 |        8
1194.46/1194.97	c 1191s |      23 |  3191840 |  2986838 |     5958   1168 |        1 |        8
1196.56/1197.00	c 1193s |      23 |  3196989 |  2991338 |     5958   1169 |        1 |        8
1198.57/1199.03	c 1195s |      23 |  3202252 |  2995738 |     5958   1170 |        1 |        8
1200.56/1201.05	c 1197s |      23 |  3206289 |  2999638 |     5958   1172 |        1 |        8
1202.56/1203.09	c 1200s |      23 |  3210768 |  3003938 |     5958   1173 |        1 |        8
1204.66/1205.13	c 1202s |      23 |  3215025 |  3008138 |     5958   1174 |        1 |        8
1206.66/1207.16	c 1204s |      23 |  3219184 |  3012238 |     5958   1176 |        1 |        8
1208.66/1209.16	c 1206s |      23 |  3224218 |  3016838 |     5958   1177 |        1 |        8
1210.67/1211.18	c 1208s |      23 |  3228442 |  3021038 |     5958   1178 |        1 |        8
1212.66/1213.18	c 1210s |      23 |  3233360 |  3025438 |     5958   1180 |        1 |        8
1214.76/1215.25	c 1212s |      23 |  3237146 |  3028538 |     5958   1181 |        1 |        8
1216.76/1217.29	c 1214s |      23 |  3241927 |  3033138 |     5958   1182 |        1 |        8
1218.86/1219.32	c 1216s |      23 |  3245440 |  3035338 |     5958   1183 |        1 |        8
1220.86/1221.36	c 1218s |      23 |  3249537 |  3038638 |     5958   1184 |        1 |        8
1222.96/1223.40	c 1220s |      23 |  3252723 |  3040738 |     5958   1184 |        1 |        8
1224.96/1225.43	c 1222s |      23 |  3258032 |  3045438 |     5958   1186 |        1 |        8
1226.95/1227.47	c 1224s |      23 |  3262668 |  3049838 |     5958   1187 |        1 |        8
1228.95/1229.50	c 1226s |      23 |  3267446 |  3054338 |     5958   1189 |        1 |        8
1231.05/1231.54	c 1228s |      23 |  3272591 |  3059138 |     5958   1190 |        1 |        8
1233.05/1233.59	c 1230s |      23 |  3276932 |  3063138 |     5958   1191 |        1 |        8
1235.15/1235.60	c 1232s |      23 |  3281250 |  3067438 |     5958   1193 |        1 |        8
1237.16/1237.65	c 1234s |      23 |  3285448 |  3071538 |     5958   1194 |        1 |        8
1239.26/1239.71	c 1236s |      23 |  3289845 |  3075638 |     5958   1195 |        1 |        8
1241.25/1241.71	c 1238s |      23 |  3294748 |  3080238 |     5958   1197 |        1 |        8
1243.25/1243.72	c 1240s |      23 |  3299262 |  3084638 |     5958   1198 |        1 |        8
1245.25/1245.75	c 1242s |      23 |  3303801 |  3089038 |     5958   1200 |        1 |        8
1247.25/1247.76	c 1244s |      23 |  3308996 |  3093938 |     5958   1201 |        1 |        8
1249.35/1249.81	c 1246s |      23 |  3313510 |  3098038 |     5958   1202 |        1 |        8
1251.36/1251.84	c 1248s |      23 |  3318028 |  3102238 |     5958   1204 |        1 |        8
1253.35/1253.84	c 1250s |      23 |  3321941 |  3105938 |     5958   1205 |        1 |        8
1255.35/1255.84	c 1252s |      23 |  3326444 |  3110138 |     5958   1206 |        1 |        8
1257.35/1257.86	c 1254s |      23 |  3330303 |  3113838 |     5958   1207 |        1 |        8
1259.35/1259.88	c 1256s |      23 |  3334942 |  3118338 |     5958   1209 |        1 |        8
1261.45/1261.91	c 1258s |      23 |  3338451 |  3121538 |     5958   1210 |        1 |        8
1263.46/1263.97	c 1260s |      23 |  3343141 |  3125838 |     5958   1211 |        1 |        8
1265.45/1265.99	c 1262s |      23 |  3346867 |  3129438 |     5958   1212 |        1 |        8
1267.55/1268.00	c 1264s |      23 |  3351059 |  3133438 |     5958   1213 |        1 |        8
1269.55/1270.05	c 1266s |      23 |  3355614 |  3137538 |     5958   1215 |        1 |        8
1271.55/1272.05	c 1268s |      23 |  3360140 |  3141438 |     5958   1216 |        1 |        8
1273.55/1274.08	c 1271s |      23 |  3364635 |  3145738 |     5958   1217 |        1 |        8
1275.55/1276.10	c 1273s |      23 |  3369476 |  3150338 |     5958   1219 |        1 |        8
1277.64/1278.15	c 1275s |      23 |  3373761 |  3154338 |     5958   1220 |        1 |        8
1279.74/1280.20	c 1277s |      23 |  3378417 |  3158638 |     5958   1221 |        1 |        8
1281.74/1282.21	c 1279s |      23 |  3382498 |  3162338 |     5958   1223 |        1 |        8
1283.74/1284.25	c 1281s |      23 |  3386754 |  3166338 |     5958   1224 |        1 |        8
1285.74/1286.26	c 1283s |      23 |  3391273 |  3170738 |     5958   1225 |        1 |        8
1287.85/1288.32	c 1285s |      23 |  3395137 |  3174538 |     5958   1226 |        1 |        8
1289.86/1290.34	c 1287s |      23 |  3399954 |  3179238 |     5958   1228 |        1 |        8
1291.85/1292.36	c 1289s |      23 |  3403992 |  3183138 |     5958   1229 |        1 |        8
1293.85/1294.39	c 1291s |      23 |  3407956 |  3186838 |     5958   1230 |        1 |        8
1295.85/1296.39	c 1293s |      23 |  3411453 |  3190138 |     5958   1231 |        1 |        8
1297.95/1298.42	c 1295s |      23 |  3416287 |  3194838 |     5958   1233 |        1 |        8
1299.95/1300.47	c 1297s |      23 |  3421104 |  3199338 |     5958   1234 |        1 |        8
1301.96/1302.48	c 1299s |      23 |  3425618 |  3203538 |     5958   1235 |        1 |        8
1303.95/1304.49	c 1301s |      23 |  3429628 |  3207238 |     5958   1237 |        1 |        8
1306.05/1306.51	c 1303s |      23 |  3434744 |  3212038 |     5958   1238 |        1 |        8
1308.05/1308.52	c 1305s |      23 |  3438776 |  3215838 |     5958   1239 |        1 |        8
1310.05/1310.58	c 1307s |      23 |  3443005 |  3219938 |     5958   1241 |        1 |        8
1312.15/1312.63	c 1309s |      23 |  3446876 |  3223638 |     5958   1242 |        1 |        8
1314.15/1314.64	c 1311s |      23 |  3450921 |  3227638 |     5958   1243 |        1 |        8
1316.15/1316.65	c 1313s |      23 |  3456124 |  3232538 |     5958   1245 |        1 |        8
1318.15/1318.65	c 1315s |      23 |  3459668 |  3235938 |     5958   1246 |        1 |        8
1320.15/1320.67	c 1317s |      23 |  3463315 |  3239438 |     5958   1247 |        1 |        8
1322.15/1322.68	c 1319s |      23 |  3467528 |  3243538 |     5958   1248 |        1 |        8
1324.25/1324.75	c 1321s |      23 |  3471510 |  3245938 |     5958   1249 |        1 |        8
1326.25/1326.76	c 1323s |      23 |  3476185 |  3250238 |     5958   1250 |        1 |        8
1328.35/1328.83	c 1325s |      23 |  3480284 |  3252738 |     5958   1251 |        1 |        8
1330.34/1330.85	c 1327s |      23 |  3484748 |  3256738 |     5958   1252 |        1 |        8
1332.34/1332.89	c 1329s |      23 |  3489219 |  3260838 |     5958   1253 |        1 |        8
1334.44/1334.90	c 1331s |      23 |  3493245 |  3264338 |     5958   1254 |        1 |        8
1336.44/1336.93	c 1333s |      23 |  3497450 |  3267938 |     5958   1256 |        1 |        8
1338.44/1338.99	c 1335s |      23 |  3500759 |  3270938 |     5958   1257 |        1 |        8
1340.55/1341.01	c 1337s |      23 |  3506116 |  3275438 |     5958   1258 |        1 |        8
1342.54/1343.04	c 1339s |      23 |  3510839 |  3279538 |     5958   1259 |        1 |        8
1344.54/1345.06	c 1341s |      23 |  3515705 |  3283338 |     5958   1260 |        1 |        8
1346.54/1347.09	c 1344s |      23 |  3520598 |  3287838 |     5958   1262 |        1 |        8
1348.64/1349.11	c 1346s |      23 |  3525454 |  3292638 |     5958   1263 |        1 |        8
1350.64/1351.13	c 1348s |      23 |  3530605 |  3297738 |     5958   1265 |        1 |        8
1352.65/1353.17	c 1350s |      23 |  3535687 |  3302638 |     5958   1266 |        1 |        8
1354.64/1355.18	c 1352s |      23 |  3540477 |  3306838 |     5958   1268 |        1 |        8
1356.74/1357.25	c 1354s |      23 |  3545284 |  3311438 |     5958   1269 |        1 |        8
1358.84/1359.30	c 1356s |      23 |  3549525 |  3315538 |     5958   1271 |        1 |        8
1360.84/1361.32	c 1358s |      23 |  3554197 |  3320038 |     5958   1272 |        1 |        8
1362.83/1363.35	c 1360s |      23 |  3558696 |  3323838 |     5958   1273 |        1 |        8
1364.93/1365.40	c 1362s |      23 |  3562917 |  3327638 |     5958   1274 |        1 |        8
1366.94/1367.46	c 1364s |      23 |  3567100 |  3331438 |     5958   1276 |        1 |        8
1369.04/1369.51	c 1366s |      23 |  3571569 |  3335438 |     5958   1277 |        1 |        8
1371.03/1371.52	c 1368s |      23 |  3576099 |  3338938 |     5958   1278 |        1 |        8
1373.03/1373.54	c 1370s |      23 |  3580580 |  3342538 |     5958   1279 |        1 |        8
1375.03/1375.58	c 1372s |      23 |  3584807 |  3346538 |     6554   1280 |        1 |        8
1377.03/1377.60	c 1374s |      23 |  3590706 |  3352338 |     6554   1282 |        1 |        8
1379.13/1379.60	c 1376s |      23 |  3595428 |  3356738 |     6554   1283 |        1 |        8
1381.14/1381.61	c 1378s |      23 |  3600246 |  3361238 |     6554   1284 |        1 |        8
1383.13/1383.65	c 1380s |      23 |  3604551 |  3365138 |     6554   1285 |        1 |        8
1385.13/1385.66	c 1382s |      23 |  3608719 |  3368738 |     6554   1287 |        1 |        8
1387.23/1387.71	c 1384s |      23 |  3614102 |  3373238 |     6554   1288 |        1 |        8
1389.03/1389.53	c 1386s |      24 |  3617836 |  3376662 |     6554   1289 |        1 |        8
1391.04/1391.56	c 1388s |      24 |  3624700 |  3383062 |     6554   1291 |        1 |        8
1393.13/1393.60	c 1390s |      24 |  3630147 |  3388262 |     6554   1292 |        1 |        8
1395.13/1395.62	c 1392s |      24 |  3635090 |  3392962 |     6554   1293 |        1 |        8
1397.13/1397.66	c 1394s |      24 |  3639516 |  3397162 |     6554   1295 |        1 |        8
1399.13/1399.66	c 1396s |      24 |  3644991 |  3402262 |     6554   1296 |        1 |        8
1401.13/1401.67	c 1398s |      24 |  3650315 |  3407362 |     6554   1297 |        1 |        8
1403.13/1403.67	c 1400s |      24 |  3656272 |  3413262 |     6554   1299 |        1 |        8
1405.23/1405.72	c 1402s |      24 |  3661260 |  3418162 |     6554   1301 |        1 |        8
1407.23/1407.74	c 1404s |      24 |  3666519 |  3423362 |     6554   1302 |        1 |        8
1409.23/1409.74	c 1406s |      24 |  3671797 |  3428562 |     6554   1303 |        1 |        8
1411.23/1411.76	c 1408s |      24 |  3678252 |  3434862 |     6554   1305 |        1 |        8
1413.23/1413.79	c 1410s |      24 |  3683912 |  3440462 |     6554   1307 |        1 |        8
1415.33/1415.82	c 1412s |      24 |  3689204 |  3445662 |     6554   1308 |        1 |        8
1417.32/1417.84	c 1414s |      24 |  3694821 |  3451062 |     6554   1310 |        1 |        8
1419.32/1419.89	c 1416s |      24 |  3699593 |  3455762 |     6554   1311 |        1 |        8
1421.42/1421.92	c 1418s |      24 |  3704595 |  3460462 |     6554   1313 |        1 |        8
1423.42/1423.93	c 1420s |      24 |  3708507 |  3464262 |     6554   1314 |        1 |        8
1425.42/1425.95	c 1422s |      24 |  3712950 |  3468462 |     6554   1315 |        1 |        8
1427.43/1427.98	c 1424s |      24 |  3718847 |  3474162 |     6554   1316 |        1 |        8
1429.42/1430.00	c 1426s |      24 |  3723915 |  3479062 |     6554   1318 |        1 |        8
1431.52/1432.02	c 1428s |      24 |  3728424 |  3483462 |     6554   1319 |        1 |        8
1433.53/1434.04	c 1430s |      24 |  3733674 |  3488462 |     6554   1320 |        1 |        8
1435.53/1436.07	c 1433s |      24 |  3739085 |  3493062 |     6554   1322 |        1 |        8
1437.53/1438.07	c 1435s |      24 |  3744105 |  3497562 |     6554   1323 |        1 |        8
1439.63/1440.11	c 1437s |      24 |  3748967 |  3501762 |     6554   1324 |        1 |        8
1441.64/1442.12	c 1439s |      24 |  3753708 |  3505862 |     6554   1325 |        1 |        8
1443.63/1444.13	c 1441s |      24 |  3758434 |  3510262 |     6554   1327 |        1 |        8
1445.63/1446.17	c 1443s |      24 |  3762673 |  3514362 |     6554   1328 |        1 |        8
1447.73/1448.23	c 1445s |      24 |  3768636 |  3520162 |     6554   1330 |        1 |        8
1449.73/1450.26	c 1447s |      24 |  3774279 |  3525662 |     6554   1331 |        1 |        8
1451.83/1452.31	c 1449s |      24 |  3778924 |  3530262 |     6554   1332 |        1 |        8
1453.83/1454.32	c 1451s |      24 |  3783898 |  3535162 |     6554   1334 |        1 |        8
1455.83/1456.33	c 1453s |      24 |  3788836 |  3539962 |     6554   1335 |        1 |        8
1457.83/1458.36	c 1455s |      24 |  3793903 |  3544562 |     6554   1336 |        1 |        8
1459.82/1460.39	c 1457s |      24 |  3797939 |  3548462 |     6554   1338 |        1 |        8
1461.92/1462.40	c 1459s |      24 |  3802775 |  3553062 |     6554   1339 |        1 |        8
1463.92/1464.41	c 1461s |      24 |  3808135 |  3558362 |     6554   1340 |        1 |        8
1465.93/1466.43	c 1463s |      24 |  3812708 |  3562862 |     6554   1342 |        1 |        8
1467.92/1468.48	c 1465s |      24 |  3817565 |  3567562 |     6554   1343 |        1 |        8
1470.02/1470.51	c 1467s |      24 |  3822157 |  3572062 |     6554   1344 |        1 |        8
1472.02/1472.51	c 1469s |      24 |  3826893 |  3576762 |     6554   1346 |        1 |        8
1474.02/1474.53	c 1471s |      24 |  3831371 |  3581162 |     6554   1347 |        1 |        8
1476.02/1476.57	c 1473s |      24 |  3835685 |  3585362 |     6554   1348 |        1 |        8
1478.12/1478.60	c 1475s |      24 |  3840743 |  3590262 |     6554   1349 |        1 |        8
1480.13/1480.62	c 1477s |      24 |  3845927 |  3595162 |     6554   1351 |        1 |        8
1482.12/1482.64	c 1479s |      24 |  3850895 |  3599962 |     6554   1352 |        1 |        8
1484.12/1484.64	c 1481s |      24 |  3856198 |  3604562 |     6554   1354 |        1 |        8
1486.12/1486.65	c 1483s |      24 |  3861097 |  3609062 |     6554   1355 |        1 |        8
1488.12/1488.68	c 1485s |      24 |  3865344 |  3613162 |     6554   1356 |        1 |        8
1490.12/1490.69	c 1487s |      24 |  3870468 |  3618062 |     6554   1357 |        1 |        8
1492.12/1492.70	c 1489s |      24 |  3876019 |  3622962 |     6554   1359 |        1 |        8
1494.22/1494.74	c 1491s |      24 |  3881154 |  3627262 |     6554   1360 |        1 |        8
1496.22/1496.75	c 1493s |      24 |  3885636 |  3631362 |     6554   1361 |        1 |        8
1498.22/1498.76	c 1495s |      24 |  3890150 |  3635662 |     6554   1362 |        1 |        8
1500.22/1500.77	c 1497s |      24 |  3894675 |  3640062 |     6554   1364 |        1 |        8
1502.32/1502.82	c 1499s |      24 |  3900485 |  3645462 |     6554   1365 |        1 |        8
1504.32/1504.88	c 1501s |      24 |  3905368 |  3649962 |     6554   1366 |        1 |        8
1506.32/1506.89	c 1503s |      24 |  3910355 |  3654462 |     6554   1368 |        1 |        8
1508.41/1508.90	c 1505s |      24 |  3915799 |  3659062 |     6554   1369 |        1 |        8
1510.41/1510.92	c 1507s |      24 |  3921004 |  3663562 |     6554   1370 |        1 |        8
1512.41/1512.97	c 1509s |      24 |  3925681 |  3667762 |     6554   1372 |        1 |        8
1514.41/1514.99	c 1511s |      24 |  3930930 |  3672362 |     6554   1373 |        1 |        8
1516.52/1517.03	c 1513s |      24 |  3936073 |  3677162 |     6554   1374 |        1 |        8
1518.51/1519.04	c 1515s |      24 |  3941817 |  3682462 |     6554   1376 |        1 |        8
1520.51/1521.07	c 1518s |      24 |  3947017 |  3687162 |     6554   1377 |        1 |        8
1522.61/1523.10	c 1520s |      24 |  3952069 |  3691462 |     6554   1378 |        1 |        8
1524.61/1525.14	c 1522s |      24 |  3956731 |  3695562 |     6554   1379 |        1 |        8
1526.61/1527.17	c 1524s |      24 |  3961357 |  3699662 |     6554   1381 |        1 |        8
1528.62/1529.17	c 1526s |      24 |  3966489 |  3704362 |     6554   1382 |        1 |        8
1530.61/1531.17	c 1528s |      24 |  3971680 |  3709062 |     6554   1383 |        1 |        8
1532.61/1533.18	c 1530s |      24 |  3978056 |  3715062 |     6554   1385 |        1 |        8
1534.71/1535.20	c 1532s |      24 |  3984070 |  3720862 |     6554   1387 |        1 |        8
1536.71/1537.20	c 1534s |      24 |  3989057 |  3725562 |     6554   1388 |        1 |        8
1538.71/1539.21	c 1536s |      24 |  3993730 |  3729962 |     6554   1389 |        1 |        8
1540.71/1541.23	c 1538s |      24 |  3998787 |  3734762 |     6554   1391 |        1 |        8
1542.71/1543.24	c 1540s |      24 |  4004638 |  3740262 |     6554   1392 |        1 |        8
1544.71/1545.25	c 1542s |      24 |  4009310 |  3744562 |     6554   1393 |        1 |        8
1546.71/1547.29	c 1544s |      24 |  4013864 |  3748762 |     6554   1395 |        1 |        8
1548.81/1549.35	c 1546s |      24 |  4019560 |  3753862 |     6554   1396 |        1 |        8
1550.81/1551.37	c 1548s |      24 |  4024404 |  3758062 |     6554   1397 |        1 |        8
1552.90/1553.41	c 1550s |      24 |  4029198 |  3762262 |     6554   1398 |        1 |        8
1554.91/1555.43	c 1552s |      24 |  4033857 |  3766462 |     6554   1400 |        1 |        8
1556.90/1557.44	c 1554s |      24 |  4038297 |  3770562 |     6554   1401 |        1 |        8
1558.90/1559.46	c 1556s |      24 |  4042985 |  3774962 |     6554   1402 |        1 |        8
1560.90/1561.46	c 1558s |      24 |  4047870 |  3779362 |     6554   1403 |        1 |        8
1562.90/1563.47	c 1560s |      24 |  4052443 |  3783762 |     6554   1404 |        1 |        8
1565.00/1565.53	c 1562s |      24 |  4057410 |  3788262 |     6554   1406 |        1 |        8
1567.01/1567.56	c 1564s |      24 |  4062637 |  3792762 |     6554   1407 |        1 |        8
1569.00/1569.59	c 1566s |      24 |  4068186 |  3797762 |     6554   1408 |        1 |        8
1571.10/1571.61	c 1568s |      24 |  4073407 |  3802362 |     6554   1410 |        1 |        8
1573.10/1573.63	c 1570s |      24 |  4078382 |  3806962 |     6554   1411 |        1 |        8
1575.10/1575.66	c 1572s |      24 |  4083800 |  3811662 |     6554   1412 |        1 |        8
1577.10/1577.67	c 1574s |      24 |  4088879 |  3816162 |     6554   1414 |        1 |        8
1579.11/1579.68	c 1576s |      24 |  4094181 |  3820562 |     6554   1415 |        1 |        8
1581.10/1581.68	c 1578s |      24 |  4099560 |  3825062 |     6554   1416 |        1 |        8
1583.10/1583.68	c 1580s |      24 |  4104733 |  3829462 |     6554   1417 |        1 |        8
1585.20/1585.70	c 1582s |      24 |  4109599 |  3833862 |     6554   1419 |        1 |        8
1587.20/1587.75	c 1584s |      24 |  4114640 |  3838662 |     6554   1420 |        1 |        8
1589.20/1589.75	c 1586s |      24 |  4119473 |  3843162 |     6554   1421 |        1 |        8
1591.20/1591.75	c 1588s |      24 |  4124609 |  3848162 |     6554   1423 |        1 |        8
1593.20/1593.76	c 1590s |      24 |  4129648 |  3852962 |     6554   1424 |        1 |        8
1595.21/1595.78	c 1592s |      24 |  4134954 |  3858062 |     6554   1426 |        1 |        8
1597.31/1597.83	c 1594s |      24 |  4140658 |  3863462 |     6554   1427 |        1 |        8
1599.30/1599.86	c 1596s |      24 |  4145676 |  3867762 |     6554   1428 |        1 |        8
1601.40/1601.90	c 1598s |      24 |  4150861 |  3872162 |     6554   1430 |        1 |        8
1603.41/1603.92	c 1600s |      24 |  4156088 |  3877062 |     6554   1431 |        1 |        8
1605.40/1605.93	c 1602s |      24 |  4161748 |  3882362 |     6554   1433 |        1 |        8
1607.40/1607.95	c 1604s |      24 |  4166823 |  3887362 |     6554   1434 |        1 |        8
1609.40/1609.96	c 1606s |      24 |  4171183 |  3891662 |     6554   1435 |        1 |        8
1611.40/1611.97	c 1608s |      24 |  4176197 |  3896562 |     6554   1437 |        1 |        8
1613.40/1613.97	c 1610s |      24 |  4181698 |  3901962 |     6554   1438 |        1 |        8
1615.60/1616.11	c 1613s |      24 |  4187003 |  3906962 |     6554   1440 |        1 |        8
1617.61/1618.11	c 1615s |      24 |  4193512 |  3913162 |     6554   1441 |        1 |        8
1619.60/1620.14	c 1617s |      24 |  4198412 |  3917662 |     6554   1443 |        1 |        8
1621.60/1622.18	c 1619s |      24 |  4203036 |  3921962 |     6554   1444 |        1 |        8
1623.70/1624.20	c 1621s |      24 |  4208700 |  3927462 |     6554   1445 |        1 |        8
1625.70/1626.23	c 1623s |      24 |  4213158 |  3931762 |     6554   1447 |        1 |        8
1627.70/1628.26	c 1625s |      24 |  4218284 |  3936662 |     6554   1448 |        1 |        8
1629.71/1630.27	c 1627s |      24 |  4223192 |  3941362 |     6554   1449 |        1 |        8
1631.80/1632.31	c 1629s |      24 |  4227949 |  3945962 |     6554   1451 |        1 |        8
1633.80/1634.32	c 1631s |      24 |  4233215 |  3951062 |     6554   1452 |        1 |        8
1635.80/1636.34	c 1633s |      24 |  4238080 |  3955662 |     6554   1453 |        1 |        8
1637.80/1638.34	c 1635s |      24 |  4242879 |  3960262 |     6554   1455 |        1 |        8
1639.80/1640.38	c 1637s |      24 |  4247852 |  3964962 |     6554   1456 |        1 |        8
1641.91/1642.42	c 1639s |      24 |  4252254 |  3969162 |     6554   1457 |        1 |        8
1643.90/1644.44	c 1641s |      24 |  4257018 |  3973662 |     6554   1458 |        1 |        8
1645.90/1646.47	c 1643s |      24 |  4262794 |  3979162 |     6554   1460 |        1 |        8
1648.00/1648.51	c 1645s |      24 |  4267237 |  3983062 |     6554   1461 |        1 |        8
1650.00/1650.53	c 1647s |      24 |  4271662 |  3987262 |     6554   1462 |        1 |        8
1651.99/1652.57	c 1649s |      24 |  4275986 |  3991362 |     6554   1463 |        1 |        8
1654.00/1654.59	c 1651s |      24 |  4280934 |  3996062 |     6554   1465 |        1 |        8
1656.10/1656.62	c 1653s |      24 |  4285912 |  4000762 |     6554   1466 |        1 |        8
1658.09/1658.64	c 1655s |      24 |  4290607 |  4005162 |     6554   1467 |        1 |        8
1660.09/1660.67	c 1657s |      24 |  4294935 |  4009362 |     6554   1469 |        1 |        8
1662.09/1662.67	c 1659s |      24 |  4299021 |  4013362 |     6554   1470 |        1 |        8
1664.09/1664.69	c 1661s |      24 |  4305551 |  4019362 |     6554   1471 |        1 |        8
1666.19/1666.70	c 1663s |      24 |  4310548 |  4023862 |     6554   1473 |        1 |        8
1668.20/1668.71	c 1665s |      24 |  4315830 |  4028662 |     6554   1474 |        1 |        8
1670.19/1670.72	c 1667s |      24 |  4321076 |  4033262 |     6554   1475 |        1 |        8
1672.19/1672.75	c 1669s |      24 |  4325856 |  4037762 |     6554   1477 |        1 |        8
1674.19/1674.77	c 1671s |      24 |  4330912 |  4042562 |     6554   1478 |        1 |        8
1676.19/1676.77	c 1673s |      24 |  4335390 |  4046862 |     6554   1479 |        1 |        8
1678.29/1678.81	c 1675s |      24 |  4341327 |  4052362 |     6554   1481 |        1 |        8
1680.30/1680.85	c 1677s |      24 |  4347041 |  4057462 |     6554   1482 |        1 |        8
1682.29/1682.89	c 1679s |      24 |  4352460 |  4062362 |     6554   1484 |        1 |        8
1684.39/1684.91	c 1681s |      24 |  4357899 |  4067362 |     6554   1485 |        1 |        8
1686.39/1686.94	c 1683s |      24 |  4362705 |  4071662 |     6554   1486 |        1 |        8
1688.39/1688.94	c 1685s |      24 |  4367692 |  4076262 |     6554   1488 |        1 |        8
1690.39/1690.97	c 1687s |      24 |  4372754 |  4080862 |     6554   1489 |        1 |        8
1692.49/1693.01	c 1689s |      24 |  4378129 |  4085862 |     6554   1490 |        1 |        8
1694.48/1695.03	c 1691s |      24 |  4382958 |  4089962 |     6554   1492 |        1 |        8
1696.48/1697.06	c 1693s |      24 |  4387591 |  4094162 |     6554   1493 |        1 |        8
1698.48/1699.08	c 1696s |      24 |  4392649 |  4098862 |     6554   1494 |        1 |        8
1700.58/1701.10	c 1698s |      24 |  4397601 |  4103362 |     6554   1495 |        1 |        8
1702.58/1703.15	c 1700s |      24 |  4401856 |  4107362 |     6554   1497 |        1 |        8
1704.59/1705.19	c 1702s |      24 |  4408079 |  4113162 |     6554   1498 |        1 |        8
1706.69/1707.24	c 1704s |      24 |  4412848 |  4117462 |     6554   1499 |        1 |        8
1708.68/1709.25	c 1706s |      24 |  4418424 |  4122562 |     6554   1501 |        1 |        8
1710.68/1711.27	c 1708s |      24 |  4423679 |  4126862 |     6554   1502 |        1 |        8
1712.68/1713.29	c 1710s |      24 |  4429166 |  4131862 |     6554   1504 |        1 |        8
1714.78/1715.31	c 1712s |      24 |  4435053 |  4137262 |     6554   1505 |        1 |        8
1716.78/1717.38	c 1714s |      24 |  4440345 |  4142262 |     6554   1507 |        1 |        8
1718.89/1719.42	c 1716s |      24 |  4445415 |  4146762 |     6554   1508 |        1 |        8
1720.88/1721.43	c 1718s |      24 |  4449996 |  4150962 |     6554   1509 |        1 |        8
1722.88/1723.43	c 1720s |      24 |  4454367 |  4155262 |     6554   1510 |        1 |        8
1724.88/1725.44	c 1722s |      24 |  4459089 |  4159862 |     6554   1512 |        1 |        8
1726.88/1727.46	c 1724s |      24 |  4464259 |  4164962 |     6554   1513 |        1 |        8
1728.98/1729.52	c 1726s |      24 |  4468862 |  4169462 |     6554   1514 |        1 |        8
1730.98/1731.52	c 1728s |      24 |  4474714 |  4174962 |     6554   1516 |        1 |        8
1732.98/1733.53	c 1730s |      24 |  4479438 |  4179462 |     6554   1517 |        1 |        8
1734.98/1735.53	c 1732s |      24 |  4483805 |  4183662 |     6554   1518 |        1 |        8
1736.98/1737.55	c 1734s |      24 |  4488655 |  4188362 |     6554   1520 |        1 |        8
1738.98/1739.58	c 1736s |      24 |  4493683 |  4193162 |     6554   1521 |        1 |        8
1741.08/1741.61	c 1738s |      24 |  4498697 |  4197962 |     6554   1522 |        1 |        8
1743.08/1743.67	c 1740s |      24 |  4502952 |  4201962 |     6554   1523 |        1 |        8
1745.07/1745.67	c 1742s |      24 |  4507496 |  4206162 |     6554   1525 |        1 |        8
1747.07/1747.68	c 1744s |      24 |  4512086 |  4210462 |     6554   1526 |        1 |        8
1749.07/1749.69	c 1746s |      24 |  4516593 |  4214562 |     6554   1527 |        1 |        8
1751.17/1751.76	c 1748s |      24 |  4521103 |  4218762 |     6554   1528 |        1 |        8
1753.27/1753.81	c 1750s |      24 |  4525707 |  4223062 |     6554   1529 |        1 |        8
1755.27/1755.85	c 1752s |      24 |  4530193 |  4227362 |     6554   1531 |        1 |        8
1757.28/1757.87	c 1754s |      24 |  4534805 |  4231762 |     6554   1532 |        1 |        8
1759.28/1759.90	c 1756s |      24 |  4538860 |  4235562 |     6554   1533 |        1 |        8
1761.38/1761.90	c 1758s |      24 |  4543296 |  4239662 |     6554   1534 |        1 |        8
1763.38/1763.92	c 1760s |      24 |  4547652 |  4243662 |     6554   1535 |        1 |        8
1765.38/1765.92	c 1762s |      24 |  4552163 |  4247962 |     6554   1536 |        1 |        8
1767.38/1767.96	c 1764s |      24 |  4555978 |  4251562 |     6554   1537 |        1 |        8
1769.39/1769.99	c 1766s |      24 |  4560489 |  4255862 |     6554   1539 |        1 |        8
1771.48/1772.02	c 1768s |      24 |  4564557 |  4259762 |     6554   1540 |        1 |        8
1773.48/1774.05	c 1770s |      24 |  4569312 |  4264262 |     6554   1541 |        1 |        8
1775.48/1776.07	c 1773s |      24 |  4574127 |  4268762 |     6554   1542 |        1 |        8
1777.58/1778.12	c 1775s |      24 |  4578289 |  4272662 |     6554   1543 |        1 |        8
1779.58/1780.17	c 1777s |      24 |  4582475 |  4276662 |     6554   1545 |        1 |        8
1781.58/1782.19	c 1779s |      24 |  4586691 |  4280662 |     6554   1546 |        1 |        8
1783.68/1784.23	c 1781s |      24 |  4590899 |  4284462 |     6554   1547 |        1 |        8
1785.67/1786.25	c 1783s |      24 |  4595208 |  4288562 |     6554   1548 |        1 |        8
1787.67/1788.28	c 1785s |      24 |  4599136 |  4292062 |     6554   1549 |        1 |        8
1789.67/1790.28	c 1787s |      24 |  4604032 |  4296762 |     6554   1550 |        1 |        8
1791.77/1792.31	c 1789s |      24 |  4607949 |  4300362 |     6554   1551 |        1 |        8
1793.77/1794.39	c 1791s |      24 |  4612418 |  4304362 |     6554   1552 |        1 |        8
1795.88/1796.44	c 1793s |      24 |  4617615 |  4309162 |     6554   1554 |        1 |        8
1797.87/1798.45	c 1795s |      24 |  4622219 |  4313362 |     6554   1555 |        1 |        8
1799.87/1800.47	c 1797s |      24 |  4626861 |  4317562 |     6554   1556 |        1 |        8

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

pid=31350
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: 1.30 1.36 1.68 4/175 31356
/proc/meminfo: memFree=30319504/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 2999 0 0 0 0 0 0 0 20 0 4 0 29327169 819392512 3359 33554432000 4194304 16246674 140736285915888 140736285914824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 200559 3368 441 2943 0 197453 0
[pid=31356/tid=31357] ppid=31350 vsize=817596 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 837218304 3428 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=822716 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 842461184 3445 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=826812 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 846655488 3463 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100151 s]
/proc/loadavg: 1.30 1.36 1.68 4/175 31356
/proc/meminfo: memFree=30319504/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 21628 0 0 0 7 2 0 0 20 0 4 0 29327169 1247350784 21976 33554432000 4194304 16246674 140736285915888 140736285914824 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 304529 21985 758 2943 0 301423 0
[pid=31356/tid=31357] ppid=31350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1247350784 21990 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1247350784 21993 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1247350784 21996 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200489 s]
/proc/loadavg: 1.30 1.36 1.68 4/175 31356
/proc/meminfo: memFree=30319504/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 39818 0 0 0 15 4 0 0 20 0 4 0 29327169 1247350784 40166 33554432000 4194304 16246674 140736285915888 140736285914824 5722381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 304529 40172 758 2943 0 301423 0
[pid=31356/tid=31357] ppid=31350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1247350784 40177 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1247350784 40181 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1247350784 40185 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300404 s]
/proc/loadavg: 1.30 1.36 1.68 4/175 31356
/proc/meminfo: memFree=30319504/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 57297 0 0 0 23 6 0 0 20 0 4 0 29327169 1247350784 57645 33554432000 4194304 16246674 140736285915888 140736285914824 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 304529 57648 758 2943 0 301423 0
[pid=31356/tid=31357] ppid=31350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1247350784 57652 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1247350784 57657 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1247350784 57662 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700371 s]
/proc/loadavg: 1.30 1.36 1.68 4/175 31356
/proc/meminfo: memFree=30319504/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 131690 0 0 0 53 16 0 0 20 0 4 0 29327169 1247350784 132038 33554432000 4194304 16246674 140736285915888 140736285914824 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 304529 132044 765 2943 0 301423 0
[pid=31356/tid=31357] ppid=31350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1247350784 132048 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1247350784 132050 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1247350784 132054 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 1.30 1.36 1.68 4/183 31364
/proc/meminfo: memFree=28744340/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 246212 0 0 0 117 32 0 0 20 0 4 0 29327169 1250496512 246537 33554432000 4194304 16246674 140736285915888 140736285915200 13760208 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 305297 246537 832 2943 0 302191 0
[pid=31356/tid=31357] ppid=31350 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1250496512 246537 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1250496512 246537 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1250496512 246537 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10038 s]
/proc/loadavg: 1.43 1.39 1.68 4/183 31364
/proc/meminfo: memFree=28284796/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1303108 CPUtime=3.09 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 266615 0 0 0 275 34 0 0 20 0 4 0 29327169 1334382592 266940 33554432000 4194304 16246674 140736285915888 140736285897792 5589527 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 325777 266940 850 2943 0 322671 0
[pid=31356/tid=31357] ppid=31350 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1334382592 266940 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1334382592 266940 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1334382592 266940 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30038 s]
/proc/loadavg: 1.43 1.39 1.68 5/183 31364
/proc/meminfo: memFree=28173024/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 268152 0 0 0 594 35 0 0 20 0 4 0 29327169 1339625472 268477 33554432000 4194304 16246674 140736285915888 140736285913728 5523072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 327057 268477 851 2943 0 323951 0
[pid=31356/tid=31357] ppid=31350 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1339625472 268477 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1339625472 268477 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1339625472 268477 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 1.52 1.41 1.69 4/183 31364
/proc/meminfo: memFree=28169072/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 268486 0 0 0 1234 35 0 0 20 0 4 0 29327169 1341722624 268811 33554432000 4194304 16246674 140736285915888 140736285897792 5754961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 327569 268811 851 2943 0 324463 0
[pid=31356/tid=31357] ppid=31350 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1341722624 268811 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1341722624 268811 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1341722624 268811 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 1.59 1.43 1.69 5/184 31367
/proc/meminfo: memFree=28168044/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 268664 0 0 0 2514 35 0 0 20 0 4 0 29327169 1341722624 268989 33554432000 4194304 16246674 140736285915888 140736285897792 5712672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 327569 268989 851 2943 0 324463 0
[pid=31356/tid=31357] ppid=31350 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1341722624 268989 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1341722624 268989 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1341722624 268989 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1004 s]
/proc/loadavg: 1.80 1.49 1.70 4/184 31367
/proc/meminfo: memFree=28160008/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1318468 CPUtime=51.09 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 270715 0 0 0 5073 36 0 0 20 0 4 0 29327169 1350111232 271040 33554432000 4194304 16246674 140736285915888 140736285897792 5712698 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 329617 271040 854 2943 0 326511 0
[pid=31356/tid=31357] ppid=31350 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1350111232 271040 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1350111232 271040 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1350111232 271040 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.10 1.62 1.73 4/184 31390
/proc/meminfo: memFree=28155336/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1318468 CPUtime=102.28 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 270715 0 0 0 10192 36 0 0 20 0 4 0 29327169 1350111232 271040 33554432000 4194304 16246674 140736285915888 140736285897792 5711916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 329617 271040 854 2943 0 326511 0
[pid=31356/tid=31357] ppid=31350 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1350111232 271040 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1350111232 271040 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1350111232 271040 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1325636

[startup+1302.3 s]
/proc/loadavg: 2.18 2.20 2.09 5/183 31421
/proc/meminfo: memFree=28135720/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1325636 CPUtime=1301.85 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 272940 0 0 0 130140 45 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140736285897792 5722972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 331409 273088 854 2943 0 328303 0
[pid=31356/tid=31357] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.16 2.19 2.09 4/183 31423
/proc/meminfo: memFree=28135876/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1325636 CPUtime=1361.84 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 272940 0 0 0 136139 45 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140736285897792 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 331409 273088 854 2943 0 328303 0
[pid=31356/tid=31357] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1325636

[startup+1422.3 s]
/proc/loadavg: 2.30 2.21 2.10 4/183 31424
/proc/meminfo: memFree=28136032/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1325636 CPUtime=1421.83 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 272940 0 0 0 142138 45 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140736285897792 13780628 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 331409 273088 854 2943 0 328303 0
[pid=31356/tid=31357] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1325636

[startup+1482.3 s]
/proc/loadavg: 2.21 2.20 2.10 5/183 31425
/proc/meminfo: memFree=28136080/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1325636 CPUtime=1481.82 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 272940 0 0 0 148136 46 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140736285897792 5808585 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 331409 273088 854 2943 0 328303 0
[pid=31356/tid=31357] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1325636

[startup+1542.31 s]
/proc/loadavg: 2.23 2.21 2.11 4/183 31426
/proc/meminfo: memFree=28135988/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1325636 CPUtime=1541.81 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 272940 0 0 0 154135 46 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140736285897792 5822612 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 331409 273088 854 2943 0 328303 0
[pid=31356/tid=31357] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1325636

[startup+1602.3 s]
/proc/loadavg: 2.19 2.20 2.11 4/183 31427
/proc/meminfo: memFree=28131312/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1325636 CPUtime=1601.8 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 272940 0 0 0 160133 47 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140736285897792 5823821 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 331409 273088 854 2943 0 328303 0
[pid=31356/tid=31357] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1325636

[startup+1662.3 s]
/proc/loadavg: 2.11 2.18 2.10 5/183 31429
/proc/meminfo: memFree=28131216/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1325636 CPUtime=1661.79 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 272940 0 0 0 166132 47 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140736285897792 6845868 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 331409 273088 854 2943 0 328303 0
[pid=31356/tid=31357] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1357451264 273088 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1325636

[startup+1722.3 s]
/proc/loadavg: 2.14 2.17 2.10 4/183 31430
/proc/meminfo: memFree=28128900/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1327684 CPUtime=1721.78 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 273452 0 0 0 172131 47 0 0 20 0 4 0 29327169 1359548416 273600 33554432000 4194304 16246674 140736285915888 140736285897792 12478249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 331921 273600 854 2943 0 328815 0
[pid=31356/tid=31357] ppid=31350 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1359548416 273600 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1359548416 273600 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1359548416 273600 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1327684

[startup+1782.3 s]
/proc/loadavg: 2.21 2.18 2.10 4/183 31431
/proc/meminfo: memFree=28128288/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1327684 CPUtime=1781.78 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 273452 0 0 0 178130 48 0 0 20 0 4 0 29327169 1359548416 273600 33554432000 4194304 16246674 140736285915888 140736285897792 5515784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 331921 273600 854 2943 0 328815 0
[pid=31356/tid=31357] ppid=31350 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1359548416 273600 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1359548416 273600 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1359548416 273600 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1327684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.23 2.19 2.10 4/183 31431
/proc/meminfo: memFree=28128168/32872528 swapFree=1431120/1543540
[pid=31356] ppid=31350 vsize=1327684 CPUtime=1800.07 cores=0,2,4,6
/proc/31356/stat : 31356 (toysat) R 31350 31356 19971 0 -1 4202496 273452 0 0 0 179959 48 0 0 20 0 4 0 29327169 1359548416 273600 33554432000 4194304 16246674 140736285915888 140736285897792 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31356/statm: 331921 273600 854 2943 0 328815 0
[pid=31356/tid=31357] ppid=31350 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31357/stat : 31357 (toysat) S 31350 31356 19971 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29327169 1359548416 273600 33554432000 4194304 16246674 140736285915888 140218932899056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31356/tid=31358] ppid=31350 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31358/stat : 31358 (toysat) S 31350 31356 19971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29327169 1359548416 273600 33554432000 4194304 16246674 140736285915888 140218922409200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31356/tid=31359] ppid=31350 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/31356/task/31359/stat : 31359 (toysat) S 31350 31356 19971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29327169 1359548416 273600 33554432000 4194304 16246674 140736285915888 140218803940528 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1327684

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.6
CPU system time (s): 0.481926
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.481926
maximum resident set size= 1094400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273452
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= 445
involuntary context switches= 2055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.80227 second user time and 7.14191 second system time

The end

Begin job on node116 at 2016-06-18 19:59:44
IDJOB=4106514
IDBENCH=48087
IDSOLVER=2542
FILE ID=node116/4106514-1466272784
RUNJOBID= node116-1466272784-31327
PBS_JOBID= 19918206
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106514-1466272784/watcher-4106514-1466272784 -o /tmp/evaluation-result-4106514-1466272784/solver-4106514-1466272784 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466272784-31327 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106514-1466272784.opb

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

MD5SUM BENCH= afe3df18e5a0f1ba7fdc86d94afdb427
RANDOM SEED=1886330330

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30320808 kB
Buffers:           88316 kB
Cached:           174040 kB
SwapCached:         1596 kB
Active:           102832 kB
Inactive:         162312 kB
Active(anon):       2292 kB
Inactive(anon):     3016 kB
Active(file):     100540 kB
Inactive(file):   159296 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             32644 kB
Writeback:             4 kB
AnonPages:       1546044 kB
Mapped:             6956 kB
Shmem:                 0 kB
Slab:             609460 kB
SReclaimable:      53800 kB
SUnreclaim:       555660 kB
KernelStack:        1400 kB
PageTables:         6964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1638920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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= 71696 MiB
End job on node116 at 2016-06-18 20:29:45