0.00/0.00	c 2016-06-06T15:15:08+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-4078711-1465218907.opb"]
0.00/0.01	c use --random-gen="2833972922 426005431 3978839064 1590390800 1256607455 1407861995 1683456460 175764200 3259991004 1549170153 3847664706 495003090 4062786710 3144966225 3509207468 167471927 1561167930 2030923472 2543155574 1269758577 1991266211 340033788 1023147164 1879589450 2313723045 1515863504 2725264861 1474175964 4009454596 834367795 771198956 3002060328 3034892480 4148198282 3633801726 3441768396 170404418 1999733414 3956395384 1279854868 4236519109 4260402991 2542777928 3973198924 3187855155 3689059432 1943819592 3084844939 1958680463 3580628557 1350501155 1625094719 3957724349 1601479920 4025124567 3554710663 3564909615 931413359 1963873911 1547516370 2775884340 399694885 2065540898 2008616 263126602 3079552739 1431523820 962193941 1718596161 4011021241 1728422074 2021277758 1292217712 1191321395 1179500164 1553682179 2874408159 570592323 3076165804 925095770 2809734290 2962862919 1705451596 399512005 3636390273 1521503801 333805214 1398936363 1932246538 3802186673 1444823387 2924954346 4220307166 3351857561 3348427611 4015024963 124801399 3479635518 2812921438 976717499 2979388602 911304913 432939876 3729186905 953855928 1742932868 1928854789 1063858630 3725544039 3102964716 299455173 1520827673 1643512321 354309913 3874189784 2605843818 3645241483 1616513412 4074651071 2676206520 440307973 382035005 1627841349 3059894820 2425137414 1243127343 2149521000 4230946649 4114992210 169756224 2007442763 1302564352 4171699796 2153041682 1843681612 3880492593 4219073190 3843910962 3073405968 359543655 992055006 2418927456 2974569194 3699475534 2303122120 2884724052 4055869757 2442802595 399635187 4177710725 3589042713 2567332771 1753466975 2408649458 678605948 846219646 1679390405 2433750764 636011388 4184585288 3901827012 1624953039 2512094405 1059226307 2976992704 1065715516 2875081503 2506941631 944436180 3922433827 2437964993 1374425101 131645769 2202444241 2812911315 2831414075 2393775964 3506634136 4229895248 3298633405 3833521860 3709261047 1871176662 583036020 3445533781 141828933 2177991843 2546870149 3648795572 3679290883 4218626555 1036497004 4154416672 4273273631 2315133926 2939047182 2534938691 390832706 1166026098 2927195526 4288620537 2577486037 2772711675 25621907 2368807146 1206832095 2504959485 3882237278 4126714228 1271398171 2510027052 565664091 1741907659 4063607704 1116165604 652234543 4246278909 3123429785 913634493 3473909370 1603187006 4166873736 3582327375 1208364365 4226955793 227927619 144402103 2832913578 3989219277 3934668411 1709003697 3075184330 1573930512 3582587344 2980923595 3652613601 529254619 2190228227 3974196231 2285226717 4147111393 2233102248 4042092407 2914147866 530897995 3198152654 359078084 1563582759 3675311948 4191011552 455664635 3088830868 2965358432 1883629723 1693724113 2586589973 255 362436" option to reproduce the execution
0.00/0.02	c #vars 428
0.00/0.02	c #constraints 644
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      357      0 |        0 |        0
0.00/0.09	c  0.1s |       1 |      131 |      100 |      357      0 |        0 |        0
0.19/0.21	c  0.2s |       2 |      661 |      250 |      393      0 |        0 |        0
0.29/0.37	c  0.3s |       3 |     1978 |      475 |      433      0 |        0 |        0
0.69/0.72	c  0.7s |       4 |     3530 |      813 |      477      1 |        0 |        0
0.99/1.05	c  1.0s |       5 |     5652 |     1320 |      525      2 |        0 |        0
1.49/1.54	c  1.5s |       6 |     7982 |     2081 |      636      4 |        0 |        0
2.20/2.28	c  2.2s |       7 |    11230 |     3223 |      700      7 |        0 |        0
3.30/3.36	c  3.3s |       8 |    14952 |     4936 |      771     10 |        0 |        0
4.99/5.04	c  5.0s |       9 |    22978 |     7506 |      849     15 |        0 |        0
6.99/7.07	c  7.0s |       9 |    30302 |    10706 |      849     21 |        0 |        0
7.39/7.48	c  7.4s |      10 |    31657 |    11361 |      934     22 |        0 |        0
9.49/9.53	c  9.5s |      10 |    39478 |    14461 |      934     27 |        0 |        0
11.39/11.46	c 11.4s |      11 |    44816 |    17144 |     1028     32 |        0 |        0
13.39/13.48	c 13.5s |      11 |    51319 |    20044 |     1028     36 |        0 |        0
15.49/15.55	c 15.5s |      11 |    57061 |    22844 |     1028     40 |        0 |        0
17.49/17.60	c 17.6s |      11 |    62008 |    25644 |     1028     45 |        0 |        0
17.69/17.71	c 17.7s |      12 |    62238 |    25819 |     1131     45 |        0 |        0
19.68/19.74	c 19.7s |      12 |    68658 |    28619 |     1131     49 |        0 |        0
21.78/21.83	c 21.8s |      12 |    72921 |    31119 |     1131     52 |        0 |        0
23.78/23.89	c 23.9s |      12 |    78287 |    33919 |     1131     56 |        0 |        0
25.78/25.89	c 25.9s |      12 |    85298 |    36819 |     1131     61 |        0 |        0
27.38/27.40	c 27.4s |      13 |    89127 |    38832 |     1245     63 |        0 |        0
29.38/29.44	c 29.4s |      13 |    94513 |    41532 |     1245     67 |        0 |        0
31.38/31.45	c 31.4s |      13 |    98764 |    44132 |     1245     70 |        0 |        0
33.38/33.48	c 33.5s |      13 |   104005 |    46832 |     1245     74 |        0 |        0
35.38/35.49	c 35.5s |      13 |   108297 |    49332 |     1245     77 |        0 |        0
37.39/37.50	c 37.5s |      13 |   111970 |    51632 |     1245     80 |        0 |        0
39.48/39.57	c 39.5s |      13 |   115213 |    54132 |     1245     83 |        0 |        0
41.58/41.62	c 41.6s |      13 |   119020 |    56632 |     1245     87 |        0 |        0
42.89/42.99	c 43.0s |      14 |   122119 |    58352 |     1370     89 |        0 |        0
44.98/45.06	c 45.0s |      14 |   134116 |    61452 |     1370     92 |        0 |        0
47.08/47.10	c 47.1s |      14 |   140682 |    64152 |     1370     96 |        0 |        0
49.08/49.10	c 49.1s |      14 |   146594 |    66752 |     1370     99 |        0 |        0
51.08/51.12	c 51.1s |      14 |   151926 |    69352 |     1370    102 |        0 |        0
53.08/53.13	c 53.1s |      14 |   156351 |    71752 |     1370    105 |        0 |        0
55.08/55.19	c 55.2s |      14 |   161366 |    74652 |     1370    109 |        0 |        0
57.18/57.25	c 57.2s |      14 |   167069 |    77552 |     1370    112 |        0 |        0
59.18/59.28	c 59.2s |      14 |   172691 |    80152 |     1370    115 |        0 |        0
61.28/61.36	c 61.3s |      14 |   178350 |    82752 |     1370    118 |        0 |        0
63.38/63.41	c 63.4s |      14 |   182690 |    85252 |     1370    121 |        0 |        0
65.38/65.44	c 65.4s |      15 |   186818 |    87632 |     1508    124 |        0 |        0
67.38/67.47	c 67.4s |      15 |   194790 |    90232 |     1508    127 |        0 |        0
69.39/69.49	c 69.5s |      15 |   201211 |    93132 |     1508    131 |        0 |        0
71.49/71.53	c 71.5s |      15 |   205942 |    95832 |     1508    134 |        0 |        0
73.48/73.59	c 73.6s |      15 |   211170 |    98632 |     1508    137 |        0 |        0
75.58/75.60	c 75.6s |      15 |   217610 |   101232 |     1508    140 |        0 |        0
77.58/77.63	c 77.6s |      15 |   223337 |   103932 |     1508    143 |        0 |        0
79.58/79.64	c 79.6s |      15 |   227472 |   106332 |     1508    145 |        0 |        0
81.68/81.70	c 81.7s |      15 |   231630 |   108832 |     1508    148 |        0 |        0
83.59/83.70	c 83.7s |      15 |   235075 |   111232 |     1508    151 |        0 |        0
85.68/85.71	c 85.7s |      15 |   239671 |   113732 |     1508    154 |        0 |        0
87.68/87.72	c 87.7s |      15 |   245823 |   116432 |     1508    157 |        0 |        0
89.68/89.79	c 89.8s |      15 |   250332 |   119032 |     1508    160 |        0 |        0
91.78/91.82	c 91.8s |      15 |   254168 |   121432 |     1508    162 |        0 |        0
93.78/93.86	c 93.8s |      15 |   257584 |   123732 |     1508    165 |        0 |        0
95.79/95.86	c 95.8s |      15 |   261731 |   126132 |     1508    167 |        0 |        0
97.78/97.89	c 97.9s |      15 |   265247 |   128732 |     1508    170 |        0 |        0
99.78/99.81	c 99.8s |      16 |   270142 |   131552 |     1659    173 |        0 |        0
101.77/101.83	c  101s |      16 |   274962 |   134452 |     1659    176 |        0 |        0
103.77/103.86	c  103s |      16 |   279716 |   137252 |     1659    179 |        0 |        0
105.77/105.87	c  105s |      16 |   288143 |   140452 |     1659    183 |        0 |        0
107.78/107.88	c  107s |      16 |   294365 |   143452 |     1659    186 |        0 |        0
109.87/109.93	c  109s |      16 |   298402 |   146152 |     1659    189 |        0 |        0
111.87/111.96	c  111s |      16 |   302549 |   148852 |     1659    191 |        0 |        0
113.87/114.00	c  113s |      16 |   306268 |   151352 |     1659    194 |        0 |        0
115.97/116.06	c  116s |      16 |   309752 |   153852 |     1659    196 |        0 |        0
118.07/118.17	c  118s |      16 |   313299 |   156252 |     1659    199 |        0 |        0
120.17/120.23	c  120s |      16 |   316106 |   158452 |     1659    201 |        0 |        0
122.27/122.31	c  122s |      16 |   320164 |   160852 |     1659    204 |        0 |        0
124.28/124.35	c  124s |      16 |   323380 |   163152 |     1659    206 |        0 |        0
126.27/126.37	c  126s |      16 |   326513 |   165452 |     1659    208 |        0 |        0
128.27/128.39	c  128s |      16 |   329583 |   167752 |     1659    211 |        0 |        0
130.37/130.47	c  130s |      16 |   332959 |   170252 |     1659    213 |        0 |        0
132.37/132.49	c  132s |      16 |   337228 |   172952 |     1659    216 |        0 |        0
134.47/134.56	c  134s |      16 |   341141 |   175552 |     1659    219 |        0 |        0
136.47/136.56	c  136s |      16 |   345251 |   178252 |     1659    221 |        0 |        0
138.57/138.61	c  138s |      16 |   350034 |   180852 |     1659    224 |        0 |        0
140.57/140.68	c  140s |      16 |   354138 |   183252 |     1659    227 |        0 |        0
142.67/142.77	c  142s |      16 |   359222 |   185852 |     1659    229 |        0 |        0
144.77/144.81	c  144s |      16 |   362074 |   188052 |     1659    232 |        0 |        0
146.77/146.84	c  146s |      16 |   366755 |   190552 |     1659    234 |        0 |        0
148.77/148.85	c  148s |      16 |   371006 |   192952 |     1659    237 |        0 |        0
150.77/150.89	c  150s |      16 |   374894 |   195352 |     1659    239 |        0 |        0
152.66/152.70	c  152s |      17 |   377820 |   197432 |     1825    241 |        0 |        0
154.66/154.70	c  154s |      17 |   383725 |   200232 |     1825    244 |        0 |        0
156.66/156.75	c  156s |      17 |   389989 |   203232 |     1825    246 |        0 |        0
158.66/158.75	c  158s |      17 |   394521 |   205932 |     1825    249 |        0 |        0
160.76/160.80	c  160s |      17 |   398934 |   208632 |     1825    252 |        0 |        0
162.77/162.83	c  162s |      17 |   404050 |   211432 |     1825    254 |        0 |        0
164.76/164.88	c  164s |      17 |   408385 |   214032 |     1825    257 |        0 |        0
166.86/166.94	c  166s |      17 |   412090 |   216432 |     1825    259 |        0 |        0
168.86/168.96	c  168s |      17 |   416401 |   219332 |     1825    262 |        0 |        0
170.86/170.98	c  170s |      17 |   420531 |   222032 |     1825    264 |        0 |        0
172.96/173.02	c  172s |      17 |   426784 |   224732 |     1825    267 |        0 |        0
174.97/175.06	c  175s |      17 |   431880 |   227232 |     1825    269 |        0 |        0
176.96/177.09	c  177s |      17 |   436789 |   229932 |     1825    272 |        0 |        0
179.06/179.14	c  179s |      17 |   441351 |   232532 |     1825    274 |        0 |        0
181.06/181.17	c  181s |      17 |   445655 |   234932 |     1825    277 |        0 |        0
183.16/183.20	c  183s |      17 |   449785 |   237432 |     1825    279 |        0 |        0
185.16/185.26	c  185s |      17 |   454747 |   240032 |     1825    282 |        0 |        0
187.26/187.35	c  187s |      17 |   458398 |   242432 |     1825    284 |        0 |        0
189.27/189.35	c  189s |      17 |   462604 |   244732 |     1825    286 |        0 |        0
191.26/191.36	c  191s |      17 |   467147 |   247232 |     1825    288 |        0 |        0
193.26/193.39	c  193s |      17 |   470690 |   249532 |     1825    291 |        0 |        0
195.26/195.39	c  195s |      17 |   474484 |   251832 |     1825    293 |        0 |        0
197.36/197.44	c  197s |      17 |   480274 |   254432 |     1825    295 |        0 |        0
199.36/199.47	c  199s |      17 |   487060 |   257132 |     1825    298 |        0 |        0
201.36/201.49	c  201s |      17 |   493058 |   259932 |     1825    300 |        0 |        0
203.46/203.56	c  203s |      17 |   497371 |   262532 |     1825    303 |        0 |        0
205.56/205.63	c  205s |      17 |   501343 |   265032 |     1825    305 |        0 |        0
207.56/207.66	c  207s |      17 |   505535 |   267532 |     1825    308 |        0 |        0
209.56/209.69	c  209s |      17 |   509291 |   269832 |     1825    310 |        0 |        0
211.65/211.76	c  211s |      17 |   513312 |   272432 |     1825    312 |        0 |        0
213.75/213.81	c  213s |      17 |   516433 |   274732 |     1825    314 |        0 |        0
215.75/215.88	c  215s |      17 |   519861 |   277132 |     1825    317 |        0 |        0
217.76/217.89	c  217s |      17 |   523333 |   279432 |     1825    319 |        0 |        0
219.85/219.93	c  219s |      17 |   526298 |   281532 |     1825    321 |        0 |        0
221.85/221.93	c  221s |      17 |   529051 |   283632 |     1825    323 |        0 |        0
223.85/223.98	c  223s |      17 |   534285 |   286432 |     1825    326 |        0 |        0
225.95/226.02	c  225s |      17 |   540465 |   289232 |     1825    328 |        0 |        0
227.95/228.07	c  228s |      17 |   545085 |   291732 |     1825    331 |        0 |        0
230.05/230.16	c  230s |      17 |   548825 |   294132 |     1825    333 |        0 |        0
231.95/232.02	c  231s |      18 |   552309 |   296252 |     2008    335 |        0 |        0
233.95/234.06	c  234s |      18 |   561829 |   299052 |     2008    337 |        0 |        0
235.95/236.07	c  236s |      18 |   570936 |   301852 |     2008    340 |        0 |        0
238.05/238.11	c  238s |      18 |   576463 |   304452 |     2008    342 |        0 |        0
240.05/240.12	c  240s |      18 |   582930 |   307052 |     2008    344 |        0 |        0
242.06/242.15	c  242s |      18 |   587667 |   309552 |     2008    346 |        0 |        0
244.15/244.22	c  244s |      18 |   592914 |   312152 |     2008    349 |        0 |        0
246.15/246.25	c  246s |      18 |   597924 |   314552 |     2008    351 |        0 |        0
248.25/248.31	c  248s |      18 |   601955 |   316952 |     2008    353 |        0 |        0
250.25/250.35	c  250s |      18 |   606811 |   319552 |     2008    355 |        0 |        0
252.25/252.39	c  252s |      18 |   611629 |   322252 |     2008    357 |        0 |        0
254.35/254.45	c  254s |      18 |   616128 |   324752 |     2008    360 |        0 |        0
256.35/256.46	c  256s |      18 |   620752 |   327352 |     2008    362 |        0 |        0
258.46/258.51	c  258s |      18 |   627285 |   329952 |     2008    364 |        0 |        0
260.45/260.56	c  260s |      18 |   632262 |   332452 |     2008    366 |        0 |        0
262.55/262.65	c  262s |      18 |   636315 |   334952 |     2008    369 |        0 |        0
264.55/264.69	c  264s |      18 |   640012 |   337352 |     2008    371 |        0 |        0
266.65/266.73	c  266s |      18 |   644210 |   339852 |     2008    373 |        0 |        0
268.75/268.80	c  268s |      18 |   647557 |   342052 |     2008    375 |        0 |        0
270.75/270.87	c  270s |      18 |   656222 |   344752 |     2008    377 |        0 |        0
272.76/272.89	c  272s |      18 |   661291 |   347252 |     2008    379 |        0 |        0
274.75/274.89	c  274s |      18 |   666400 |   349752 |     2008    382 |        0 |        0
276.85/276.97	c  276s |      18 |   671836 |   352352 |     2008    384 |        0 |        0
278.95/279.00	c  278s |      18 |   675436 |   354652 |     2008    386 |        0 |        0
280.95/281.08	c  281s |      18 |   679404 |   356852 |     2008    388 |        0 |        0
283.05/283.18	c  283s |      18 |   682986 |   359152 |     2008    390 |        0 |        0
285.15/285.24	c  285s |      18 |   686179 |   361352 |     2008    392 |        0 |        0
287.25/287.31	c  287s |      18 |   690629 |   363752 |     2008    394 |        0 |        0
289.26/289.31	c  289s |      18 |   693492 |   365852 |     2008    395 |        0 |        0
291.25/291.34	c  291s |      18 |   696264 |   367852 |     2008    397 |        0 |        0
293.25/293.38	c  293s |      18 |   700936 |   370152 |     2008    399 |        0 |        0
295.25/295.38	c  295s |      18 |   704092 |   372352 |     2008    401 |        0 |        0
297.34/297.45	c  297s |      18 |   707907 |   374752 |     2008    403 |        0 |        0
299.34/299.47	c  299s |      18 |   712432 |   377252 |     2008    405 |        0 |        0
301.35/301.48	c  301s |      18 |   717297 |   379752 |     2008    408 |        0 |        0
303.44/303.53	c  303s |      18 |   722747 |   382352 |     2008    410 |        0 |        0
305.54/305.62	c  305s |      18 |   726844 |   384852 |     2008    412 |        0 |        0
307.54/307.67	c  307s |      18 |   731136 |   387252 |     2008    414 |        0 |        0
309.64/309.71	c  309s |      18 |   734717 |   389452 |     2008    416 |        0 |        0
311.64/311.78	c  311s |      18 |   738686 |   391752 |     2008    418 |        0 |        0
313.74/313.81	c  313s |      18 |   741520 |   393752 |     2008    420 |        0 |        0
315.75/315.84	c  315s |      18 |   746695 |   396352 |     2008    422 |        0 |        0
317.85/317.90	c  317s |      18 |   749735 |   398652 |     2008    424 |        0 |        0
319.84/319.96	c  319s |      18 |   752933 |   400952 |     2008    426 |        0 |        0
321.94/322.01	c  321s |      18 |   759520 |   403552 |     2008    428 |        0 |        0
323.94/324.04	c  324s |      18 |   765186 |   406152 |     2008    431 |        0 |        0
325.94/326.05	c  326s |      18 |   769229 |   408452 |     2008    433 |        0 |        0
327.94/328.07	c  328s |      18 |   773418 |   410752 |     2008    435 |        0 |        0
330.04/330.15	c  330s |      18 |   777304 |   413152 |     2008    437 |        0 |        0
332.04/332.17	c  332s |      18 |   780880 |   415352 |     2008    439 |        0 |        0
334.14/334.26	c  334s |      18 |   783840 |   417452 |     2008    441 |        0 |        0
336.13/336.29	c  336s |      18 |   787304 |   419652 |     2008    442 |        0 |        0
338.23/338.30	c  338s |      18 |   790455 |   421652 |     2008    444 |        0 |        0
340.23/340.35	c  340s |      18 |   794544 |   423952 |     2008    446 |        0 |        0
342.33/342.40	c  342s |      18 |   799418 |   426452 |     2008    448 |        0 |        0
344.34/344.47	c  344s |      18 |   803584 |   428852 |     2008    451 |        0 |        0
346.44/346.54	c  346s |      18 |   806787 |   431052 |     2008    452 |        0 |        0
348.43/348.57	c  348s |      18 |   810973 |   433452 |     2008    455 |        0 |        0
350.53/350.60	c  350s |      18 |   814575 |   435752 |     2008    457 |        0 |        0
352.53/352.62	c  352s |      18 |   817668 |   437952 |     2008    458 |        0 |        0
354.63/354.71	c  354s |      18 |   821165 |   440152 |     2008    460 |        0 |        0
356.63/356.74	c  356s |      18 |   823860 |   442152 |     2209    462 |        0 |        0
358.64/358.78	c  358s |      18 |   826927 |   444352 |     2209    464 |        0 |        0
358.83/358.91	c  358s |      19 |   827113 |   444482 |     2209    464 |        0 |        0
360.84/360.99	c  360s |      19 |   834681 |   446982 |     2209    466 |        0 |        0
362.94/363.02	c  362s |      19 |   841045 |   449482 |     2209    468 |        0 |        0
364.94/365.04	c  365s |      19 |   846816 |   451982 |     2209    470 |        0 |        0
367.04/367.11	c  367s |      19 |   851178 |   454482 |     2209    472 |        0 |        0
369.04/369.17	c  369s |      19 |   857101 |   457082 |     2209    474 |        0 |        0
371.14/371.24	c  371s |      19 |   861615 |   459582 |     2209    476 |        0 |        0
373.24/373.32	c  373s |      19 |   865087 |   461782 |     2209    478 |        0 |        0
375.24/375.39	c  375s |      19 |   869651 |   464282 |     2209    480 |        0 |        0
377.34/377.45	c  377s |      19 |   875495 |   466782 |     2209    482 |        0 |        0
379.44/379.54	c  379s |      19 |   879512 |   469182 |     2209    484 |        0 |        0
381.54/381.62	c  381s |      19 |   882606 |   471382 |     2209    485 |        0 |        0
383.53/383.63	c  383s |      19 |   887114 |   473782 |     2209    487 |        0 |        0
385.63/385.71	c  385s |      19 |   890617 |   476082 |     2209    489 |        0 |        0
387.63/387.72	c  387s |      19 |   893402 |   478082 |     2209    491 |        0 |        0
389.63/389.76	c  389s |      19 |   895954 |   480082 |     2209    492 |        0 |        0
391.64/391.77	c  391s |      19 |   903652 |   482782 |     2209    495 |        0 |        0
393.63/393.80	c  393s |      19 |   908012 |   485282 |     2209    497 |        0 |        0
395.73/395.80	c  395s |      19 |   911711 |   487582 |     2209    498 |        0 |        0
397.73/397.85	c  397s |      19 |   916907 |   490082 |     2209    500 |        0 |        0
399.83/399.92	c  399s |      19 |   920411 |   492382 |     2209    502 |        0 |        0
401.83/401.98	c  401s |      19 |   924165 |   494682 |     2209    504 |        0 |        0
403.93/404.01	c  403s |      19 |   927293 |   496682 |     2209    506 |        0 |        0
405.93/406.06	c  406s |      19 |   931973 |   499182 |     2209    508 |        0 |        0
408.03/408.12	c  408s |      19 |   935149 |   501382 |     2209    509 |        0 |        0
410.03/410.16	c  410s |      19 |   938111 |   503582 |     2209    511 |        0 |        0
412.13/412.20	c  412s |      19 |   941832 |   505882 |     2209    513 |        0 |        0
414.13/414.23	c  414s |      19 |   944714 |   507982 |     2209    515 |        0 |        0
416.12/416.28	c  416s |      19 |   947263 |   509982 |     2209    516 |        0 |        0
418.22/418.37	c  418s |      19 |   953496 |   512682 |     2209    519 |        0 |        0
420.32/420.46	c  420s |      19 |   956923 |   515082 |     2209    521 |        0 |        0
422.33/422.47	c  422s |      19 |   962410 |   517582 |     2209    523 |        0 |        0
424.42/424.51	c  424s |      19 |   967134 |   520082 |     2209    525 |        0 |        0
426.42/426.52	c  426s |      19 |   970728 |   522382 |     2209    526 |        0 |        0
428.42/428.55	c  428s |      19 |   974036 |   524682 |     2209    528 |        0 |        0
430.52/430.63	c  430s |      19 |   978702 |   527182 |     2209    530 |        0 |        0
432.62/432.71	c  432s |      19 |   982594 |   529582 |     2209    532 |        0 |        0
434.62/434.76	c  434s |      19 |   985972 |   531782 |     2209    534 |        0 |        0
436.73/436.86	c  436s |      19 |   988608 |   533882 |     2209    536 |        0 |        0
438.72/438.88	c  438s |      19 |   991992 |   536082 |     2209    537 |        0 |        0
440.72/440.89	c  440s |      19 |   997016 |   538482 |     2209    539 |        0 |        0
442.82/442.92	c  442s |      19 |  1001217 |   540782 |     2209    541 |        0 |        0
444.82/444.93	c  444s |      19 |  1005825 |   543182 |     2209    543 |        0 |        0
446.82/446.96	c  446s |      19 |  1008714 |   545282 |     2209    545 |        0 |        0
448.82/448.98	c  448s |      19 |  1011322 |   547282 |     2209    546 |        0 |        0
450.82/451.00	c  450s |      19 |  1015352 |   549382 |     2209    548 |        0 |        0
452.92/453.06	c  453s |      19 |  1018941 |   551682 |     2209    550 |        0 |        0
454.92/455.09	c  455s |      19 |  1021619 |   553682 |     2209    551 |        0 |        0
457.02/457.10	c  457s |      19 |  1024619 |   555682 |     2209    553 |        0 |        0
459.02/459.15	c  459s |      19 |  1027151 |   557582 |     2209    555 |        0 |        0
461.01/461.18	c  461s |      19 |  1030355 |   559782 |     2209    556 |        0 |        0
463.12/463.24	c  463s |      19 |  1034905 |   562382 |     2209    558 |        0 |        0
465.11/465.26	c  465s |      19 |  1041613 |   565082 |     2209    561 |        0 |        0
467.11/467.29	c  467s |      19 |  1046973 |   567582 |     2209    563 |        0 |        0
469.21/469.32	c  469s |      19 |  1050815 |   569982 |     2209    565 |        0 |        0
471.21/471.32	c  471s |      19 |  1054303 |   572282 |     2209    566 |        0 |        0
473.21/473.37	c  473s |      19 |  1058895 |   574782 |     2209    568 |        0 |        0
475.22/475.38	c  475s |      19 |  1061739 |   576982 |     2209    570 |        0 |        0
477.33/477.42	c  477s |      19 |  1067191 |   579382 |     2209    572 |        0 |        0
479.32/479.48	c  479s |      19 |  1070317 |   581482 |     2209    574 |        0 |        0
481.42/481.53	c  481s |      19 |  1074287 |   583782 |     2209    576 |        0 |        0
483.52/483.60	c  483s |      19 |  1079029 |   586282 |     2209    578 |        0 |        0
485.52/485.64	c  485s |      19 |  1082165 |   588482 |     2209    579 |        0 |        0
487.52/487.67	c  487s |      19 |  1084842 |   590482 |     2209    581 |        0 |        0
489.53/489.70	c  489s |      19 |  1087675 |   592482 |     2209    583 |        0 |        0
491.52/491.70	c  491s |      19 |  1090588 |   594582 |     2209    584 |        0 |        0
493.62/493.75	c  493s |      19 |  1093886 |   596682 |     2209    586 |        0 |        0
495.62/495.77	c  495s |      19 |  1096360 |   598682 |     2209    588 |        0 |        0
497.62/497.79	c  497s |      19 |  1099511 |   600882 |     2209    589 |        0 |        0
499.72/499.82	c  499s |      19 |  1104184 |   603282 |     2209    591 |        0 |        0
501.72/501.84	c  501s |      19 |  1107224 |   605482 |     2209    593 |        0 |        0
503.72/503.90	c  503s |      19 |  1111081 |   607782 |     2209    595 |        0 |        0
505.82/505.96	c  505s |      19 |  1115300 |   610082 |     2209    597 |        0 |        0
507.92/508.04	c  508s |      19 |  1118045 |   612082 |     2209    598 |        0 |        0
509.91/510.09	c  510s |      19 |  1123226 |   614582 |     2209    600 |        0 |        0
512.01/512.17	c  512s |      19 |  1126408 |   616782 |     2209    602 |        0 |        0
514.01/514.19	c  514s |      19 |  1129191 |   618782 |     2209    604 |        0 |        0
516.11/516.21	c  516s |      19 |  1131938 |   620782 |     2209    605 |        0 |        0
518.12/518.28	c  518s |      19 |  1135315 |   622982 |     2209    607 |        0 |        0
520.22/520.38	c  520s |      19 |  1138206 |   624982 |     2209    609 |        0 |        0
522.31/522.44	c  522s |      19 |  1140831 |   626982 |     2209    610 |        0 |        0
524.31/524.45	c  524s |      19 |  1143214 |   628882 |     2209    612 |        0 |        0
526.41/526.54	c  526s |      19 |  1145824 |   630882 |     2209    613 |        0 |        0
528.41/528.55	c  528s |      19 |  1149333 |   633082 |     2209    615 |        0 |        0
530.51/530.64	c  530s |      19 |  1152906 |   635282 |     2209    617 |        0 |        0
532.51/532.68	c  532s |      19 |  1155502 |   637282 |     2209    618 |        0 |        0
534.51/534.70	c  534s |      19 |  1158328 |   639382 |     2209    620 |        0 |        0
536.61/536.72	c  536s |      19 |  1161435 |   641782 |     2209    622 |        0 |        0
538.61/538.73	c  538s |      19 |  1165643 |   644182 |     2209    624 |        0 |        0
540.61/540.76	c  540s |      19 |  1170536 |   646682 |     2209    626 |        0 |        0
542.61/542.76	c  542s |      19 |  1175598 |   649182 |     2209    628 |        0 |        0
544.61/544.78	c  544s |      19 |  1179272 |   651482 |     2209    630 |        0 |        0
546.61/546.78	c  546s |      19 |  1182993 |   653782 |     2209    632 |        0 |        0
548.71/548.80	c  548s |      19 |  1188728 |   656382 |     2209    634 |        0 |        0
550.71/550.84	c  550s |      19 |  1193424 |   658882 |     2209    636 |        0 |        0
552.70/552.88	c  552s |      19 |  1196791 |   661082 |     2209    637 |        0 |        0
554.80/554.95	c  554s |      19 |  1202152 |   663582 |     2430    639 |        0 |        0
556.80/556.98	c  556s |      19 |  1206475 |   665882 |     2430    641 |        0 |        0
557.71/557.82	c  557s |      20 |  1208243 |   666827 |     2430    642 |        0 |        0
559.70/559.82	c  559s |      20 |  1215180 |   669527 |     2430    644 |        0 |        0
561.80/561.91	c  561s |      20 |  1221150 |   671927 |     2430    645 |        0 |        0
563.80/563.94	c  563s |      20 |  1227540 |   674327 |     2430    647 |        0 |        0
565.80/565.99	c  565s |      20 |  1232256 |   676527 |     2430    649 |        0 |        0
567.90/568.08	c  568s |      20 |  1237380 |   679027 |     2430    651 |        0 |        0
570.00/570.16	c  570s |      20 |  1243733 |   681527 |     2430    652 |        0 |        0
572.01/572.19	c  572s |      20 |  1248699 |   683627 |     2430    654 |        0 |        0
574.11/574.28	c  574s |      20 |  1253730 |   685827 |     2430    656 |        0 |        0
576.20/576.32	c  576s |      20 |  1258031 |   687927 |     2430    657 |        0 |        0
578.20/578.37	c  578s |      20 |  1262253 |   690027 |     2430    659 |        0 |        0
580.30/580.42	c  580s |      20 |  1265701 |   692127 |     2430    660 |        0 |        0
582.30/582.46	c  582s |      20 |  1268567 |   694027 |     2430    662 |        0 |        0
584.40/584.52	c  584s |      20 |  1273104 |   696527 |     2430    663 |        0 |        0
586.40/586.54	c  586s |      20 |  1276848 |   698527 |     2430    665 |        0 |        0
588.40/588.56	c  588s |      20 |  1279821 |   700327 |     2430    666 |        0 |        0
590.40/590.57	c  590s |      20 |  1281921 |   701827 |     2430    667 |        0 |        0
592.50/592.62	c  592s |      20 |  1284647 |   703627 |     2430    669 |        0 |        0
594.50/594.66	c  594s |      20 |  1287295 |   705227 |     2430    670 |        0 |        0
596.60/596.72	c  596s |      20 |  1290096 |   707127 |     2430    671 |        0 |        0
598.60/598.74	c  598s |      20 |  1293653 |   708927 |     2430    673 |        0 |        0
600.60/600.78	c  600s |      20 |  1296464 |   710527 |     2430    674 |        0 |        0
602.70/602.89	c  602s |      20 |  1301670 |   712827 |     2430    676 |        0 |        0
604.69/604.90	c  604s |      20 |  1306476 |   715127 |     2430    677 |        0 |        0
606.79/606.93	c  606s |      20 |  1309741 |   717127 |     2430    679 |        0 |        0
608.79/608.95	c  608s |      20 |  1312774 |   719027 |     2430    680 |        0 |        0
610.79/610.99	c  610s |      20 |  1315727 |   720827 |     2430    681 |        0 |        0
612.79/612.99	c  612s |      20 |  1318880 |   722627 |     2430    683 |        0 |        0
614.80/615.00	c  614s |      20 |  1321309 |   724327 |     2430    684 |        0 |        0
616.89/617.02	c  616s |      20 |  1325179 |   726527 |     2430    686 |        0 |        0
618.89/619.06	c  619s |      20 |  1330055 |   728827 |     2430    687 |        0 |        0
620.89/621.09	c  621s |      20 |  1333896 |   731027 |     2430    689 |        0 |        0
622.99/623.10	c  623s |      20 |  1337459 |   733127 |     2430    690 |        0 |        0
625.09/625.22	c  625s |      20 |  1340471 |   735127 |     2430    692 |        0 |        0
627.09/627.23	c  627s |      20 |  1343934 |   737127 |     2430    693 |        0 |        0
629.20/629.31	c  629s |      20 |  1346403 |   738927 |     2430    695 |        0 |        0
631.19/631.37	c  631s |      20 |  1350346 |   741127 |     2430    696 |        0 |        0
633.29/633.46	c  633s |      20 |  1352918 |   742927 |     2430    698 |        0 |        0
635.39/635.54	c  635s |      20 |  1357319 |   745527 |     2430    700 |        0 |        0
637.49/637.60	c  637s |      20 |  1361954 |   748127 |     2430    701 |        0 |        0
639.49/639.65	c  639s |      20 |  1366393 |   750427 |     2430    703 |        0 |        0
641.49/641.69	c  641s |      20 |  1369508 |   752427 |     2430    705 |        0 |        0
643.59/643.72	c  643s |      20 |  1372497 |   754527 |     2430    706 |        0 |        0
645.59/645.78	c  645s |      20 |  1375923 |   756627 |     2430    708 |        0 |        0
647.60/647.79	c  647s |      20 |  1379103 |   758827 |     2430    709 |        0 |        0
649.70/649.87	c  649s |      20 |  1382163 |   760927 |     2430    711 |        0 |        0
651.79/651.94	c  651s |      20 |  1385106 |   763027 |     2430    712 |        0 |        0
653.79/654.00	c  653s |      20 |  1388063 |   765127 |     2430    714 |        0 |        0
655.89/656.01	c  655s |      20 |  1392854 |   767127 |     2430    715 |        0 |        0
657.89/658.05	c  658s |      20 |  1397225 |   769327 |     2430    717 |        0 |        0
659.90/660.10	c  660s |      20 |  1399971 |   771327 |     2430    718 |        0 |        0
662.10/662.20	c  662s |      20 |  1402773 |   773227 |     2430    720 |        0 |        0
664.09/664.25	c  664s |      20 |  1405396 |   775127 |     2430    721 |        0 |        0
666.19/666.33	c  666s |      20 |  1408044 |   777027 |     2430    723 |        0 |        0
668.19/668.34	c  668s |      20 |  1411104 |   778827 |     2430    724 |        0 |        0
670.19/670.36	c  670s |      20 |  1414627 |   781027 |     2430    726 |        0 |        0
672.29/672.43	c  672s |      20 |  1417488 |   783027 |     2430    727 |        0 |        0
674.39/674.50	c  674s |      20 |  1420223 |   785027 |     2430    729 |        0 |        0
676.40/676.51	c  676s |      20 |  1422990 |   787027 |     2430    730 |        0 |        0
678.39/678.55	c  678s |      20 |  1426123 |   789027 |     2430    731 |        0 |        0
680.39/680.59	c  680s |      20 |  1428761 |   790827 |     2430    733 |        0 |        0
682.49/682.60	c  682s |      20 |  1433375 |   793127 |     2430    735 |        0 |        0
684.49/684.61	c  684s |      20 |  1436715 |   795227 |     2430    736 |        0 |        0
686.49/686.68	c  686s |      20 |  1442110 |   797627 |     2430    738 |        0 |        0
688.59/688.77	c  688s |      20 |  1446797 |   799927 |     2430    740 |        0 |        0
690.69/690.83	c  690s |      20 |  1451082 |   802127 |     2430    741 |        0 |        0
692.69/692.87	c  692s |      20 |  1454748 |   804227 |     2430    743 |        0 |        0
694.78/694.92	c  694s |      20 |  1459657 |   806427 |     2430    744 |        0 |        0
696.88/697.02	c  696s |      20 |  1463057 |   808527 |     2430    746 |        0 |        0
698.88/699.02	c  698s |      20 |  1467069 |   810527 |     2430    747 |        0 |        0
700.98/701.10	c  701s |      20 |  1473123 |   812827 |     2430    749 |        0 |        0
703.08/703.20	c  703s |      20 |  1476389 |   814827 |     2430    751 |        0 |        0
705.09/705.20	c  705s |      20 |  1479970 |   816827 |     2430    752 |        0 |        0
707.08/707.23	c  707s |      20 |  1484494 |   819027 |     2430    754 |        0 |        0
709.08/709.28	c  709s |      20 |  1489460 |   821227 |     2430    755 |        0 |        0
711.18/711.34	c  711s |      20 |  1493250 |   823327 |     2430    757 |        0 |        0
713.18/713.37	c  713s |      20 |  1496272 |   825327 |     2430    758 |        0 |        0
715.28/715.48	c  715s |      20 |  1499086 |   827227 |     2430    760 |        0 |        0
717.38/717.50	c  717s |      20 |  1502005 |   829127 |     2430    761 |        0 |        0
719.39/719.55	c  719s |      20 |  1504950 |   831027 |     2430    762 |        0 |        0
721.49/721.62	c  721s |      20 |  1507083 |   832727 |     2430    764 |        0 |        0
723.48/723.68	c  723s |      20 |  1511769 |   834827 |     2430    765 |        0 |        0
725.58/725.72	c  725s |      20 |  1516078 |   836927 |     2430    767 |        0 |        0
727.58/727.72	c  727s |      20 |  1518948 |   838727 |     2430    768 |        0 |        0
729.58/729.73	c  729s |      20 |  1524829 |   840827 |     2430    770 |        0 |        0
731.68/731.81	c  731s |      20 |  1532177 |   843127 |     2430    771 |        0 |        0
733.68/733.81	c  733s |      20 |  1537034 |   845227 |     2430    773 |        0 |        0
735.68/735.82	c  735s |      20 |  1541046 |   847427 |     2430    775 |        0 |        0
737.67/737.82	c  737s |      20 |  1545510 |   849527 |     2430    776 |        0 |        0
739.77/739.91	c  739s |      20 |  1549704 |   851527 |     2430    778 |        0 |        0
741.77/741.95	c  741s |      20 |  1555168 |   853727 |     2430    779 |        0 |        0
743.87/744.01	c  743s |      20 |  1560629 |   855927 |     2430    781 |        0 |        0
745.87/746.08	c  746s |      20 |  1564496 |   857927 |     2430    782 |        0 |        0
747.98/748.13	c  748s |      20 |  1568715 |   859927 |     2430    784 |        0 |        0
749.97/750.19	c  750s |      20 |  1575008 |   862227 |     2430    785 |        0 |        0
752.07/752.21	c  752s |      20 |  1578949 |   864127 |     2430    787 |        0 |        0
754.07/754.27	c  754s |      20 |  1581800 |   865927 |     2430    788 |        0 |        0
756.17/756.38	c  756s |      20 |  1584825 |   867827 |     2430    790 |        0 |        0
758.27/758.46	c  758s |      20 |  1587267 |   869527 |     2430    791 |        0 |        0
760.37/760.58	c  760s |      20 |  1590048 |   871327 |     2430    792 |        0 |        0
762.47/762.63	c  762s |      20 |  1592497 |   873027 |     2430    793 |        0 |        0
764.57/764.71	c  764s |      20 |  1595492 |   874927 |     2430    795 |        0 |        0
766.58/766.79	c  766s |      20 |  1597878 |   876627 |     2430    796 |        0 |        0
768.67/768.87	c  768s |      20 |  1600556 |   878327 |     2430    797 |        0 |        0
770.67/770.87	c  770s |      20 |  1603315 |   880027 |     2430    799 |        0 |        0
772.77/772.95	c  772s |      20 |  1605343 |   881527 |     2430    800 |        0 |        0
774.77/774.97	c  774s |      20 |  1607357 |   883027 |     2430    801 |        0 |        0
776.87/777.02	c  776s |      20 |  1609602 |   884627 |     2430    802 |        0 |        0
778.97/779.11	c  779s |      20 |  1612328 |   886427 |     2430    803 |        0 |        0
781.07/781.23	c  781s |      20 |  1615365 |   888227 |     2430    805 |        0 |        0
783.17/783.35	c  783s |      20 |  1617981 |   890027 |     2430    806 |        0 |        0
785.17/785.36	c  785s |      20 |  1620045 |   891627 |     2430    807 |        0 |        0
787.17/787.38	c  787s |      20 |  1623390 |   893427 |     2430    808 |        0 |        0
789.17/789.38	c  789s |      20 |  1626123 |   895127 |     2430    810 |        0 |        0
791.37/791.52	c  791s |      20 |  1628865 |   896827 |     2430    811 |        0 |        0
793.47/793.63	c  793s |      20 |  1630972 |   898427 |     2430    812 |        0 |        0
795.47/795.66	c  795s |      20 |  1633038 |   900027 |     2430    813 |        0 |        0
797.47/797.68	c  797s |      20 |  1635491 |   901727 |     2430    814 |        0 |        0
799.57/799.74	c  799s |      20 |  1638072 |   903427 |     2430    816 |        0 |        0
801.56/801.74	c  801s |      20 |  1640801 |   905627 |     2430    817 |        0 |        0
803.56/803.77	c  803s |      20 |  1644088 |   907727 |     2430    819 |        0 |        0
805.66/805.81	c  805s |      20 |  1648366 |   910027 |     2430    821 |        0 |        0
807.66/807.87	c  807s |      20 |  1652365 |   912427 |     2430    822 |        0 |        0
809.77/809.91	c  809s |      20 |  1656105 |   914627 |     2430    824 |        0 |        0
811.78/811.97	c  811s |      20 |  1661344 |   916927 |     2430    826 |        0 |        0
813.88/814.02	c  813s |      20 |  1666354 |   919227 |     2430    827 |        0 |        0
815.87/816.09	c  816s |      20 |  1670231 |   921527 |     2430    829 |        0 |        0
817.97/818.15	c  818s |      20 |  1675726 |   923827 |     2430    831 |        0 |        0
820.07/820.22	c  820s |      20 |  1680063 |   926027 |     2430    832 |        0 |        0
822.07/822.28	c  822s |      20 |  1684938 |   928227 |     2430    834 |        0 |        0
824.17/824.32	c  824s |      20 |  1689744 |   930427 |     2430    836 |        0 |        0
826.17/826.38	c  826s |      20 |  1693158 |   932427 |     2430    837 |        0 |        0
828.17/828.39	c  828s |      20 |  1697616 |   934527 |     2430    839 |        0 |        0
830.27/830.40	c  830s |      20 |  1704131 |   936827 |     2430    840 |        0 |        0
832.27/832.43	c  832s |      20 |  1708905 |   938927 |     2430    842 |        0 |        0
834.27/834.45	c  834s |      20 |  1712225 |   940927 |     2430    843 |        0 |        0
836.36/836.50	c  836s |      20 |  1715694 |   942927 |     2430    845 |        0 |        0
838.36/838.59	c  838s |      20 |  1719541 |   945227 |     2430    846 |        0 |        0
840.46/840.68	c  840s |      20 |  1723873 |   947327 |     2430    848 |        0 |        0
842.57/842.71	c  842s |      20 |  1726914 |   949327 |     2430    849 |        0 |        0
844.56/844.74	c  844s |      20 |  1733268 |   951527 |     2430    851 |        0 |        0
846.56/846.77	c  846s |      20 |  1739840 |   953827 |     2430    853 |        0 |        0
848.56/848.78	c  848s |      20 |  1749565 |   956227 |     2430    854 |        0 |        0
850.66/850.83	c  850s |      20 |  1755879 |   958427 |     2430    856 |        0 |        0
852.66/852.87	c  852s |      20 |  1760623 |   960527 |     2430    858 |        0 |        0
854.76/854.93	c  854s |      20 |  1764498 |   962527 |     2430    859 |        0 |        0
856.77/856.93	c  856s |      20 |  1767989 |   964427 |     2430    861 |        0 |        0
858.86/859.00	c  858s |      20 |  1771460 |   966427 |     2430    862 |        0 |        0
860.96/861.10	c  861s |      20 |  1774456 |   968327 |     2430    863 |        0 |        0
862.96/863.11	c  863s |      20 |  1776564 |   969927 |     2430    865 |        0 |        0
864.96/865.14	c  865s |      20 |  1779108 |   971727 |     2430    866 |        0 |        0
866.96/867.17	c  867s |      20 |  1781555 |   973427 |     2430    867 |        0 |        0
869.06/869.21	c  869s |      20 |  1784311 |   975127 |     2430    868 |        0 |        0
871.16/871.31	c  871s |      20 |  1786289 |   976727 |     2430    870 |        0 |        0
873.16/873.32	c  873s |      20 |  1788390 |   978327 |     2430    871 |        0 |        0
875.26/875.40	c  875s |      20 |  1790418 |   979927 |     2430    872 |        0 |        0
877.26/877.46	c  877s |      20 |  1792595 |   981627 |     2430    873 |        0 |        0
879.26/879.48	c  879s |      20 |  1795367 |   983327 |     2430    874 |        0 |        0
881.36/881.55	c  881s |      20 |  1803002 |   985527 |     2430    876 |        0 |        0
883.35/883.56	c  883s |      20 |  1806297 |   987527 |     2430    877 |        0 |        0
885.36/885.57	c  885s |      20 |  1809413 |   989427 |     2430    879 |        0 |        0
887.45/887.60	c  887s |      20 |  1814032 |   991427 |     2430    880 |        0 |        0
889.45/889.64	c  889s |      20 |  1818984 |   993527 |     2673    882 |        0 |        0
891.55/891.71	c  891s |      20 |  1822537 |   995527 |     2673    883 |        0 |        0
893.55/893.72	c  893s |      20 |  1825080 |   997327 |     2673    884 |        0 |        0
895.65/895.81	c  895s |      20 |  1827851 |   999227 |     2673    886 |        0 |        0
896.85/897.07	c  897s |      21 |  1829264 |  1000345 |     2673    886 |        0 |        0
898.85/899.09	c  899s |      21 |  1836030 |  1003145 |     2673    888 |        0 |        0
900.95/901.13	c  901s |      21 |  1840208 |  1005645 |     2673    890 |        0 |        0
902.96/903.13	c  903s |      21 |  1844321 |  1008145 |     2673    892 |        0 |        0
904.95/905.18	c  905s |      21 |  1849120 |  1010745 |     2673    893 |        0 |        0
907.05/907.25	c  907s |      21 |  1853217 |  1013445 |     2673    895 |        0 |        0
909.15/909.32	c  909s |      21 |  1857423 |  1015845 |     2673    897 |        0 |        0
911.15/911.36	c  911s |      21 |  1862533 |  1018345 |     2673    899 |        0 |        0
913.15/913.37	c  913s |      21 |  1865387 |  1020545 |     2673    900 |        0 |        0
915.16/915.38	c  915s |      21 |  1868925 |  1022945 |     2673    902 |        0 |        0
917.26/917.43	c  917s |      21 |  1872967 |  1025345 |     2673    903 |        0 |        0
919.25/919.47	c  919s |      21 |  1876099 |  1027445 |     2673    905 |        0 |        0
921.25/921.49	c  921s |      21 |  1879417 |  1029845 |     2673    906 |        0 |        0
923.25/923.49	c  923s |      21 |  1882878 |  1032245 |     2673    908 |        0 |        0
925.35/925.51	c  925s |      21 |  1887319 |  1034645 |     2673    910 |        0 |        0
927.35/927.55	c  927s |      21 |  1890391 |  1036745 |     2673    911 |        0 |        0
929.45/929.62	c  929s |      21 |  1893642 |  1039045 |     2673    913 |        0 |        0
931.45/931.64	c  931s |      21 |  1896857 |  1041345 |     2673    914 |        0 |        0
933.55/933.71	c  933s |      21 |  1901882 |  1043745 |     2673    916 |        0 |        0
935.55/935.75	c  935s |      21 |  1910030 |  1046245 |     2673    917 |        0 |        0
937.64/937.80	c  937s |      21 |  1917684 |  1048845 |     2673    919 |        0 |        0
939.64/939.81	c  939s |      21 |  1923716 |  1051145 |     2673    921 |        0 |        0
941.64/941.87	c  941s |      21 |  1928897 |  1053545 |     2673    922 |        0 |        0
943.75/943.93	c  943s |      21 |  1933821 |  1055845 |     2673    924 |        0 |        0
945.74/945.96	c  945s |      21 |  1939547 |  1058245 |     2673    926 |        0 |        0
947.74/947.99	c  947s |      21 |  1944802 |  1060745 |     2673    927 |        0 |        0
949.84/950.02	c  949s |      21 |  1948974 |  1063045 |     2673    929 |        0 |        0
951.94/952.10	c  952s |      21 |  1955915 |  1065745 |     2673    931 |        0 |        0
953.94/954.14	c  954s |      21 |  1959843 |  1067945 |     2673    932 |        0 |        0
955.94/956.17	c  956s |      21 |  1965016 |  1070345 |     2673    934 |        0 |        0
957.95/958.20	c  958s |      21 |  1969245 |  1072645 |     2673    935 |        0 |        0
960.15/960.31	c  960s |      21 |  1972766 |  1074845 |     2673    937 |        0 |        0
962.14/962.32	c  962s |      21 |  1977088 |  1077145 |     2673    938 |        0 |        0
964.14/964.33	c  964s |      21 |  1980497 |  1079045 |     2673    940 |        0 |        0
966.14/966.35	c  966s |      21 |  1983996 |  1081245 |     2673    941 |        0 |        0
968.14/968.37	c  968s |      21 |  1986356 |  1083045 |     2673    942 |        0 |        0
970.24/970.40	c  970s |      21 |  1992801 |  1085445 |     2673    944 |        0 |        0
972.25/972.43	c  972s |      21 |  1997790 |  1087845 |     2673    946 |        0 |        0
974.24/974.48	c  974s |      21 |  2001396 |  1090045 |     2673    947 |        0 |        0
976.34/976.53	c  976s |      21 |  2005143 |  1092245 |     2673    949 |        0 |        0
978.44/978.61	c  978s |      21 |  2008282 |  1094345 |     2673    950 |        0 |        0
980.44/980.61	c  980s |      21 |  2011532 |  1096345 |     2673    951 |        0 |        0
982.44/982.67	c  982s |      21 |  2014664 |  1098545 |     2673    953 |        0 |        0
984.44/984.69	c  984s |      21 |  2017617 |  1100545 |     2673    954 |        0 |        0
986.54/986.70	c  986s |      21 |  2021742 |  1102745 |     2673    956 |        0 |        0
988.54/988.76	c  988s |      21 |  2025581 |  1104945 |     2673    957 |        0 |        0
990.64/990.84	c  990s |      21 |  2028595 |  1107045 |     2673    959 |        0 |        0
992.64/992.86	c  992s |      21 |  2031638 |  1109045 |     2673    960 |        0 |        0
994.73/994.96	c  994s |      21 |  2034220 |  1110945 |     2673    961 |        0 |        0
996.83/997.02	c  996s |      21 |  2037508 |  1113145 |     2673    963 |        0 |        0
998.83/999.07	c  999s |      21 |  2041635 |  1115645 |     2673    964 |        0 |        0
1000.94/1001.16	c 1001s |      21 |  2044618 |  1117745 |     2673    966 |        0 |        0
1002.93/1003.16	c 1003s |      21 |  2047601 |  1119745 |     2673    967 |        0 |        0
1004.93/1005.18	c 1005s |      21 |  2051384 |  1122045 |     2673    969 |        0 |        0
1007.03/1007.21	c 1007s |      21 |  2056027 |  1124545 |     2673    970 |        0 |        0
1009.03/1009.29	c 1009s |      21 |  2060380 |  1126945 |     2673    972 |        0 |        0
1011.03/1011.29	c 1011s |      21 |  2063914 |  1129045 |     2673    973 |        0 |        0
1013.13/1013.35	c 1013s |      21 |  2067774 |  1131245 |     2673    975 |        0 |        0
1015.14/1015.40	c 1015s |      21 |  2070968 |  1133345 |     2673    976 |        0 |        0
1017.23/1017.42	c 1017s |      21 |  2074227 |  1135345 |     2673    978 |        0 |        0
1019.23/1019.45	c 1019s |      21 |  2077927 |  1137545 |     2673    979 |        0 |        0
1021.33/1021.50	c 1021s |      21 |  2080434 |  1139445 |     2673    980 |        0 |        0
1023.33/1023.50	c 1023s |      21 |  2083282 |  1141345 |     2673    982 |        0 |        0
1025.33/1025.51	c 1025s |      21 |  2087597 |  1143645 |     2673    983 |        0 |        0
1027.34/1027.54	c 1027s |      21 |  2093760 |  1146145 |     2673    985 |        0 |        0
1029.44/1029.62	c 1029s |      21 |  2097619 |  1148445 |     2673    987 |        0 |        0
1031.43/1031.68	c 1031s |      21 |  2102131 |  1150745 |     2673    988 |        0 |        0
1033.43/1033.68	c 1033s |      21 |  2104963 |  1152745 |     2673    990 |        0 |        0
1035.53/1035.72	c 1035s |      21 |  2108589 |  1154945 |     2673    991 |        0 |        0
1037.63/1037.82	c 1037s |      21 |  2111448 |  1156945 |     2673    992 |        0 |        0
1039.63/1039.86	c 1039s |      21 |  2114164 |  1158945 |     2673    994 |        0 |        0
1041.73/1041.93	c 1041s |      21 |  2118528 |  1161245 |     2673    995 |        0 |        0
1043.73/1044.00	c 1043s |      21 |  2121942 |  1163245 |     2673    997 |        0 |        0
1045.83/1046.06	c 1046s |      21 |  2124881 |  1165245 |     2673    998 |        0 |        0
1047.93/1048.15	c 1048s |      21 |  2127965 |  1167245 |     2673    999 |        0 |        0
1050.03/1050.22	c 1050s |      21 |  2130162 |  1168945 |     2673   1000 |        0 |        0
1052.03/1052.25	c 1052s |      21 |  2132723 |  1170845 |     2673   1002 |        0 |        0
1054.13/1054.31	c 1054s |      21 |  2136824 |  1173145 |     2673   1003 |        0 |        0
1056.13/1056.32	c 1056s |      21 |  2139954 |  1175245 |     2673   1005 |        0 |        0
1058.23/1058.40	c 1058s |      21 |  2142825 |  1177345 |     2673   1006 |        0 |        0
1060.24/1060.46	c 1060s |      21 |  2145354 |  1179245 |     2673   1007 |        0 |        0
1062.33/1062.53	c 1062s |      21 |  2149030 |  1181545 |     2673   1009 |        0 |        0
1064.43/1064.60	c 1064s |      21 |  2152358 |  1183745 |     2673   1010 |        0 |        0
1066.43/1066.61	c 1066s |      21 |  2156671 |  1185945 |     2673   1012 |        0 |        0
1068.43/1068.66	c 1068s |      21 |  2160593 |  1188145 |     2673   1013 |        0 |        0
1070.53/1070.74	c 1070s |      21 |  2162998 |  1190045 |     2673   1015 |        0 |        0
1072.53/1072.79	c 1072s |      21 |  2166562 |  1192145 |     2673   1016 |        0 |        0
1074.64/1074.88	c 1074s |      21 |  2169348 |  1194145 |     2673   1017 |        0 |        0
1076.74/1076.92	c 1076s |      21 |  2172492 |  1196245 |     2673   1019 |        0 |        0
1078.73/1078.97	c 1078s |      21 |  2176956 |  1198445 |     2673   1020 |        0 |        0
1080.83/1081.06	c 1081s |      21 |  2180913 |  1200545 |     2673   1022 |        0 |        0
1082.93/1083.15	c 1083s |      21 |  2184810 |  1202745 |     2673   1023 |        0 |        0
1085.03/1085.22	c 1085s |      21 |  2188798 |  1204945 |     2673   1025 |        0 |        0
1087.03/1087.23	c 1087s |      21 |  2191947 |  1206945 |     2673   1026 |        0 |        0
1089.03/1089.28	c 1089s |      21 |  2194810 |  1208945 |     2673   1027 |        0 |        0
1091.13/1091.31	c 1091s |      21 |  2197464 |  1210845 |     2673   1029 |        0 |        0
1093.23/1093.41	c 1093s |      21 |  2200705 |  1212945 |     2673   1030 |        0 |        0
1095.23/1095.48	c 1095s |      21 |  2203129 |  1214845 |     2673   1031 |        0 |        0
1097.23/1097.48	c 1097s |      21 |  2206136 |  1217045 |     2673   1033 |        0 |        0
1099.33/1099.58	c 1099s |      21 |  2210649 |  1219345 |     2673   1035 |        0 |        0
1101.43/1101.60	c 1101s |      21 |  2215535 |  1221745 |     2673   1036 |        0 |        0
1103.43/1103.63	c 1103s |      21 |  2218336 |  1223745 |     2673   1037 |        0 |        0
1105.43/1105.66	c 1105s |      21 |  2221376 |  1225745 |     2673   1039 |        0 |        0
1107.53/1107.73	c 1107s |      21 |  2224183 |  1227745 |     2673   1040 |        0 |        0
1109.52/1109.75	c 1109s |      21 |  2226561 |  1229545 |     2673   1041 |        0 |        0
1111.52/1111.76	c 1111s |      21 |  2229158 |  1231445 |     2673   1043 |        0 |        0
1113.62/1113.81	c 1113s |      21 |  2231900 |  1233445 |     2673   1044 |        0 |        0
1115.62/1115.85	c 1115s |      21 |  2234639 |  1235345 |     2673   1045 |        0 |        0
1117.62/1117.89	c 1117s |      21 |  2238570 |  1237545 |     2673   1047 |        0 |        0
1119.73/1119.91	c 1119s |      21 |  2243613 |  1239945 |     2673   1048 |        0 |        0
1121.72/1121.98	c 1121s |      21 |  2250848 |  1242545 |     2673   1050 |        0 |        0
1123.82/1124.03	c 1123s |      21 |  2254572 |  1244845 |     2673   1052 |        0 |        0
1125.82/1126.08	c 1126s |      21 |  2258384 |  1247045 |     2673   1053 |        0 |        0
1127.82/1128.08	c 1128s |      21 |  2262306 |  1249045 |     2673   1055 |        0 |        0
1129.92/1130.15	c 1130s |      21 |  2266931 |  1251345 |     2673   1056 |        0 |        0
1131.92/1132.17	c 1132s |      21 |  2270636 |  1253445 |     2673   1058 |        0 |        0
1134.03/1134.23	c 1134s |      21 |  2274529 |  1255645 |     2673   1059 |        0 |        0
1136.02/1136.28	c 1136s |      21 |  2279239 |  1257845 |     2673   1061 |        0 |        0
1138.02/1138.28	c 1138s |      21 |  2281921 |  1259745 |     2673   1062 |        0 |        0
1140.12/1140.35	c 1140s |      21 |  2284288 |  1261545 |     2673   1063 |        0 |        0
1142.12/1142.40	c 1142s |      21 |  2287113 |  1263445 |     2673   1064 |        0 |        0
1144.22/1144.47	c 1144s |      21 |  2290039 |  1265345 |     2673   1066 |        0 |        0
1146.32/1146.56	c 1146s |      21 |  2292547 |  1267245 |     2673   1067 |        0 |        0
1148.42/1148.66	c 1148s |      21 |  2294869 |  1269045 |     2673   1068 |        0 |        0
1150.52/1150.74	c 1150s |      21 |  2297460 |  1270945 |     2673   1069 |        0 |        0
1152.62/1152.83	c 1152s |      21 |  2300410 |  1272945 |     2673   1071 |        0 |        0
1154.62/1154.84	c 1154s |      21 |  2304788 |  1275045 |     2673   1072 |        0 |        0
1156.62/1156.89	c 1156s |      21 |  2310722 |  1277445 |     2673   1074 |        0 |        0
1158.71/1158.94	c 1158s |      21 |  2315063 |  1279745 |     2673   1075 |        0 |        0
1160.71/1160.94	c 1160s |      21 |  2318161 |  1281845 |     2673   1077 |        0 |        0
1162.71/1162.96	c 1162s |      21 |  2321836 |  1284145 |     2673   1078 |        0 |        0
1164.82/1165.05	c 1165s |      21 |  2325084 |  1286345 |     2673   1080 |        0 |        0
1166.81/1167.09	c 1167s |      21 |  2328992 |  1288645 |     2673   1081 |        0 |        0
1168.91/1169.13	c 1169s |      21 |  2332652 |  1290745 |     2673   1083 |        0 |        0
1170.91/1171.20	c 1171s |      21 |  2335586 |  1292945 |     2673   1084 |        0 |        0
1173.01/1173.27	c 1173s |      21 |  2338068 |  1294945 |     2673   1086 |        0 |        0
1175.11/1175.34	c 1175s |      21 |  2341796 |  1297145 |     2673   1087 |        0 |        0
1177.11/1177.34	c 1177s |      21 |  2346827 |  1299345 |     2673   1089 |        0 |        0
1179.21/1179.43	c 1179s |      21 |  2350525 |  1301645 |     2673   1090 |        0 |        0
1181.22/1181.45	c 1181s |      21 |  2354847 |  1303845 |     2673   1092 |        0 |        0
1183.21/1183.47	c 1183s |      21 |  2357586 |  1305845 |     2673   1093 |        0 |        0
1185.31/1185.52	c 1185s |      21 |  2360870 |  1307945 |     2673   1094 |        0 |        0
1187.31/1187.58	c 1187s |      21 |  2365502 |  1310145 |     2673   1096 |        0 |        0
1189.31/1189.58	c 1189s |      21 |  2368287 |  1312045 |     2673   1097 |        0 |        0
1191.41/1191.62	c 1191s |      21 |  2370951 |  1314045 |     2673   1099 |        0 |        0
1193.51/1193.71	c 1193s |      21 |  2373498 |  1315945 |     2673   1100 |        0 |        0
1195.52/1195.80	c 1195s |      21 |  2376269 |  1317845 |     2673   1101 |        0 |        0
1197.61/1197.87	c 1197s |      21 |  2379493 |  1319945 |     2673   1103 |        0 |        0
1199.71/1199.90	c 1199s |      21 |  2382450 |  1321945 |     2673   1104 |        0 |        0
1201.71/1201.96	c 1201s |      21 |  2385482 |  1323945 |     2673   1105 |        0 |        0
1203.81/1204.04	c 1204s |      21 |  2388794 |  1326045 |     2673   1107 |        0 |        0
1205.81/1206.06	c 1206s |      21 |  2390935 |  1327745 |     2673   1108 |        0 |        0
1207.91/1208.10	c 1208s |      21 |  2393267 |  1329545 |     2673   1109 |        0 |        0
1209.91/1210.13	c 1210s |      21 |  2396221 |  1331645 |     2673   1110 |        0 |        0
1211.90/1212.17	c 1212s |      21 |  2399234 |  1333645 |     2673   1112 |        0 |        0
1214.00/1214.26	c 1214s |      21 |  2402400 |  1335845 |     2673   1113 |        0 |        0
1216.10/1216.33	c 1216s |      21 |  2406419 |  1338045 |     2673   1115 |        0 |        0
1218.10/1218.39	c 1218s |      21 |  2409561 |  1340145 |     2673   1116 |        0 |        0
1220.30/1220.51	c 1220s |      21 |  2412348 |  1342245 |     2673   1118 |        0 |        0
1222.30/1222.53	c 1222s |      21 |  2415371 |  1344245 |     2673   1119 |        0 |        0
1224.30/1224.59	c 1224s |      21 |  2418087 |  1346245 |     2673   1120 |        0 |        0
1226.41/1226.67	c 1226s |      21 |  2421522 |  1348345 |     2673   1122 |        0 |        0
1228.51/1228.74	c 1228s |      21 |  2425515 |  1350645 |     2673   1123 |        0 |        0
1230.50/1230.74	c 1230s |      21 |  2429108 |  1352745 |     2673   1125 |        0 |        0
1232.60/1232.80	c 1232s |      21 |  2432378 |  1354845 |     2673   1126 |        0 |        0
1234.60/1234.87	c 1234s |      21 |  2435244 |  1356945 |     2673   1127 |        0 |        0
1236.70/1236.95	c 1236s |      21 |  2438099 |  1359145 |     2673   1129 |        0 |        0
1238.80/1239.00	c 1238s |      21 |  2442166 |  1361545 |     2673   1131 |        0 |        0
1240.80/1241.00	c 1240s |      21 |  2445159 |  1363645 |     2673   1132 |        0 |        0
1242.81/1243.09	c 1243s |      21 |  2448866 |  1366045 |     2673   1134 |        0 |        0
1244.90/1245.10	c 1245s |      21 |  2451799 |  1368145 |     2673   1135 |        0 |        0
1246.90/1247.14	c 1247s |      21 |  2454450 |  1370145 |     2673   1136 |        0 |        0
1249.00/1249.21	c 1249s |      21 |  2457282 |  1372145 |     2673   1138 |        0 |        0
1251.10/1251.31	c 1251s |      21 |  2460242 |  1374145 |     2673   1139 |        0 |        0
1253.10/1253.33	c 1253s |      21 |  2462917 |  1376145 |     2673   1140 |        0 |        0
1255.10/1255.39	c 1255s |      21 |  2465368 |  1378045 |     2673   1142 |        0 |        0
1257.20/1257.44	c 1257s |      21 |  2467867 |  1379945 |     2673   1143 |        0 |        0
1259.20/1259.48	c 1259s |      21 |  2470775 |  1382045 |     2673   1144 |        0 |        0
1261.29/1261.57	c 1261s |      21 |  2473541 |  1384145 |     2673   1146 |        0 |        0
1263.29/1263.59	c 1263s |      21 |  2476870 |  1386245 |     2673   1147 |        0 |        0
1265.39/1265.61	c 1265s |      21 |  2480303 |  1388345 |     2673   1149 |        0 |        0
1267.49/1267.72	c 1267s |      21 |  2483804 |  1390545 |     2673   1150 |        0 |        0
1269.49/1269.75	c 1269s |      21 |  2487258 |  1392545 |     2673   1151 |        0 |        0
1271.50/1271.77	c 1271s |      21 |  2491613 |  1394745 |     2673   1153 |        0 |        0
1273.60/1273.86	c 1273s |      21 |  2496263 |  1397145 |     2673   1155 |        0 |        0
1275.69/1275.95	c 1275s |      21 |  2499682 |  1399345 |     2673   1156 |        0 |        0
1277.69/1277.97	c 1277s |      21 |  2505638 |  1401645 |     2673   1158 |        0 |        0
1279.79/1280.07	c 1280s |      21 |  2511991 |  1404145 |     2673   1159 |        0 |        0
1281.89/1282.17	c 1282s |      21 |  2517699 |  1406545 |     2673   1161 |        0 |        0
1283.99/1284.23	c 1284s |      21 |  2523270 |  1409045 |     2673   1163 |        0 |        0
1285.99/1286.23	c 1286s |      21 |  2528055 |  1411345 |     2673   1164 |        0 |        0
1288.00/1288.29	c 1288s |      21 |  2533583 |  1413645 |     2673   1166 |        0 |        0
1289.99/1290.30	c 1290s |      21 |  2537652 |  1415845 |     2673   1167 |        0 |        0
1292.09/1292.37	c 1292s |      21 |  2543027 |  1418145 |     2673   1169 |        0 |        0
1294.09/1294.39	c 1294s |      21 |  2548270 |  1420545 |     2673   1170 |        0 |        0
1296.19/1296.45	c 1296s |      21 |  2555782 |  1423045 |     2673   1172 |        0 |        0
1298.19/1298.48	c 1298s |      21 |  2563423 |  1425545 |     2673   1174 |        0 |        0
1300.29/1300.52	c 1300s |      21 |  2570436 |  1428045 |     2673   1176 |        0 |        0
1302.30/1302.57	c 1302s |      21 |  2575143 |  1430445 |     2673   1177 |        0 |        0
1304.29/1304.58	c 1304s |      21 |  2579332 |  1432745 |     2673   1179 |        0 |        0
1306.39/1306.67	c 1306s |      21 |  2585748 |  1435245 |     2673   1180 |        0 |        0
1308.39/1308.68	c 1308s |      21 |  2589816 |  1437445 |     2673   1182 |        0 |        0
1310.49/1310.72	c 1310s |      21 |  2593778 |  1439545 |     2673   1183 |        0 |        0
1312.49/1312.77	c 1312s |      21 |  2598372 |  1441845 |     2673   1185 |        0 |        0
1314.59/1314.84	c 1314s |      21 |  2603153 |  1444245 |     2673   1187 |        0 |        0
1316.60/1316.85	c 1316s |      21 |  2607266 |  1446545 |     2673   1188 |        0 |        0
1318.70/1318.93	c 1318s |      21 |  2610900 |  1448745 |     2673   1190 |        0 |        0
1320.79/1321.02	c 1320s |      21 |  2614370 |  1450945 |     2673   1191 |        0 |        0
1322.79/1323.05	c 1323s |      21 |  2617410 |  1452945 |     2673   1192 |        0 |        0
1324.79/1325.09	c 1325s |      21 |  2620975 |  1455045 |     2673   1194 |        0 |        0
1326.89/1327.18	c 1327s |      21 |  2623828 |  1457045 |     2673   1195 |        0 |        0
1328.99/1329.20	c 1329s |      21 |  2627181 |  1459045 |     2673   1197 |        0 |        0
1330.99/1331.27	c 1331s |      21 |  2630598 |  1461145 |     2673   1198 |        0 |        0
1333.10/1333.35	c 1333s |      21 |  2632906 |  1462945 |     2673   1199 |        0 |        0
1335.09/1335.38	c 1335s |      21 |  2636979 |  1465045 |     2673   1201 |        0 |        0
1337.09/1337.39	c 1337s |      21 |  2640227 |  1467045 |     2673   1202 |        0 |        0
1339.19/1339.47	c 1339s |      21 |  2643080 |  1469045 |     2673   1203 |        0 |        0
1341.29/1341.57	c 1341s |      21 |  2645397 |  1470845 |     2673   1205 |        0 |        0
1343.39/1343.63	c 1343s |      21 |  2648514 |  1472845 |     2673   1206 |        0 |        0
1345.39/1345.66	c 1345s |      21 |  2652241 |  1474945 |     2673   1207 |        0 |        0
1347.49/1347.70	c 1347s |      21 |  2654817 |  1476845 |     2673   1209 |        0 |        0
1349.49/1349.78	c 1349s |      21 |  2657249 |  1478645 |     2673   1210 |        0 |        0
1351.69/1351.90	c 1351s |      21 |  2659831 |  1480545 |     2673   1211 |        0 |        0
1353.69/1353.94	c 1353s |      21 |  2662413 |  1482345 |     2673   1212 |        0 |        0
1355.69/1355.98	c 1355s |      21 |  2664593 |  1484045 |     2673   1213 |        0 |        0
1357.79/1358.03	c 1357s |      21 |  2666757 |  1485745 |     2673   1215 |        0 |        0
1359.79/1360.06	c 1360s |      21 |  2671314 |  1487845 |     2673   1216 |        0 |        0
1361.79/1362.07	c 1362s |      21 |  2674431 |  1489845 |     2673   1217 |        0 |        0
1363.89/1364.18	c 1364s |      21 |  2677289 |  1491845 |     2941   1218 |        0 |        0
1365.99/1366.24	c 1366s |      21 |  2679733 |  1493645 |     2941   1220 |        0 |        0
1368.09/1368.31	c 1368s |      21 |  2682479 |  1495645 |     2941   1221 |        0 |        0
1370.08/1370.33	c 1370s |      21 |  2684648 |  1497345 |     2941   1222 |        0 |        0
1372.18/1372.41	c 1372s |      21 |  2686914 |  1499145 |     2941   1223 |        0 |        0
1373.69/1374.00	c 1373s |      22 |  2688886 |  1500622 |     2941   1224 |        0 |        0
1375.78/1376.01	c 1375s |      22 |  2694014 |  1502922 |     2941   1225 |        0 |        0
1377.78/1378.08	c 1378s |      22 |  2699593 |  1505322 |     2941   1227 |        0 |        0
1379.88/1380.16	c 1380s |      22 |  2704578 |  1507722 |     2941   1228 |        0 |        0
1381.98/1382.20	c 1382s |      22 |  2707908 |  1509722 |     2941   1230 |        0 |        0
1383.98/1384.24	c 1384s |      22 |  2711172 |  1511822 |     2941   1231 |        0 |        0
1386.08/1386.33	c 1386s |      22 |  2714758 |  1513922 |     2941   1232 |        0 |        0
1388.09/1388.39	c 1388s |      22 |  2717783 |  1515922 |     2941   1233 |        0 |        0
1390.19/1390.41	c 1390s |      22 |  2721435 |  1517922 |     2941   1235 |        0 |        0
1392.18/1392.41	c 1392s |      22 |  2726414 |  1520122 |     2941   1236 |        0 |        0
1394.18/1394.45	c 1394s |      22 |  2729287 |  1522022 |     2941   1237 |        0 |        0
1396.18/1396.49	c 1396s |      22 |  2731594 |  1523722 |     2941   1238 |        0 |        0
1398.28/1398.53	c 1398s |      22 |  2734104 |  1525522 |     2941   1239 |        0 |        0
1400.28/1400.58	c 1400s |      22 |  2736854 |  1527422 |     2941   1240 |        0 |        0
1402.38/1402.66	c 1402s |      22 |  2740333 |  1529522 |     2941   1242 |        0 |        0
1404.48/1404.72	c 1404s |      22 |  2743075 |  1531422 |     2941   1243 |        0 |        0
1406.48/1406.77	c 1406s |      22 |  2746136 |  1533422 |     2941   1244 |        0 |        0
1408.48/1408.79	c 1408s |      22 |  2748375 |  1535122 |     2941   1245 |        0 |        0
1410.58/1410.87	c 1410s |      22 |  2750549 |  1536822 |     2941   1246 |        0 |        0
1412.68/1412.92	c 1412s |      22 |  2755159 |  1538822 |     2941   1248 |        0 |        0
1414.67/1414.93	c 1414s |      22 |  2757801 |  1540622 |     2941   1249 |        0 |        0
1416.77/1417.00	c 1416s |      22 |  2760146 |  1542422 |     2941   1250 |        0 |        0
1418.78/1419.04	c 1419s |      22 |  2762516 |  1544222 |     2941   1251 |        0 |        0
1420.77/1421.05	c 1421s |      22 |  2765144 |  1546022 |     2941   1252 |        0 |        0
1422.77/1423.06	c 1423s |      22 |  2767265 |  1547622 |     2941   1253 |        0 |        0
1424.87/1425.10	c 1425s |      22 |  2769695 |  1549422 |     2941   1254 |        0 |        0
1426.87/1427.20	c 1427s |      22 |  2772788 |  1551322 |     2941   1255 |        0 |        0
1428.97/1429.29	c 1429s |      22 |  2776254 |  1553422 |     2941   1257 |        0 |        0
1431.07/1431.35	c 1431s |      22 |  2778761 |  1555222 |     2941   1258 |        0 |        0
1433.08/1433.40	c 1433s |      22 |  2781769 |  1557122 |     2941   1259 |        0 |        0
1435.17/1435.44	c 1435s |      22 |  2784018 |  1558822 |     2941   1260 |        0 |        0
1437.27/1437.51	c 1437s |      22 |  2786839 |  1560722 |     2941   1261 |        0 |        0
1439.27/1439.58	c 1439s |      22 |  2789395 |  1562522 |     2941   1262 |        0 |        0
1441.37/1441.67	c 1441s |      22 |  2791973 |  1564322 |     2941   1263 |        0 |        0
1443.47/1443.71	c 1443s |      22 |  2794367 |  1566122 |     2941   1265 |        0 |        0
1445.47/1445.74	c 1445s |      22 |  2797618 |  1568022 |     2941   1266 |        0 |        0
1447.57/1447.82	c 1447s |      22 |  2801241 |  1570022 |     2941   1267 |        0 |        0
1449.57/1449.86	c 1449s |      22 |  2804821 |  1572322 |     2941   1268 |        0 |        0
1451.57/1451.88	c 1451s |      22 |  2807380 |  1574222 |     2941   1269 |        0 |        0
1453.67/1453.90	c 1453s |      22 |  2810164 |  1576122 |     2941   1271 |        0 |        0
1455.67/1455.92	c 1455s |      22 |  2813189 |  1578122 |     2941   1272 |        0 |        0
1457.67/1457.98	c 1457s |      22 |  2816510 |  1580322 |     2941   1273 |        0 |        0
1459.77/1460.03	c 1460s |      22 |  2819049 |  1582222 |     2941   1274 |        0 |        0
1461.87/1462.16	c 1462s |      22 |  2821315 |  1584022 |     2941   1276 |        0 |        0
1463.87/1464.20	c 1464s |      22 |  2824467 |  1586022 |     2941   1277 |        0 |        0
1465.97/1466.20	c 1466s |      22 |  2829605 |  1588222 |     2941   1278 |        0 |        0
1467.96/1468.24	c 1468s |      22 |  2836037 |  1590622 |     2941   1280 |        0 |        0
1469.96/1470.25	c 1470s |      22 |  2840738 |  1593022 |     2941   1281 |        0 |        0
1471.96/1472.25	c 1472s |      22 |  2844882 |  1595222 |     2941   1282 |        0 |        0
1474.06/1474.32	c 1474s |      22 |  2851919 |  1597822 |     2941   1284 |        0 |        0
1476.07/1476.38	c 1476s |      22 |  2857644 |  1600122 |     2941   1285 |        0 |        0
1478.17/1478.41	c 1478s |      22 |  2865195 |  1602722 |     2941   1287 |        0 |        0
1480.16/1480.43	c 1480s |      22 |  2868775 |  1604922 |     2941   1288 |        0 |        0
1482.16/1482.49	c 1482s |      22 |  2872339 |  1607022 |     2941   1290 |        0 |        0
1484.26/1484.53	c 1484s |      22 |  2875299 |  1609022 |     2941   1291 |        0 |        0
1486.36/1486.61	c 1486s |      22 |  2878213 |  1611122 |     2941   1292 |        0 |        0
1488.36/1488.66	c 1488s |      22 |  2881286 |  1613222 |     2941   1294 |        0 |        0
1490.46/1490.73	c 1490s |      22 |  2887544 |  1615722 |     2941   1295 |        0 |        0
1492.57/1492.83	c 1492s |      22 |  2891242 |  1617922 |     2941   1297 |        0 |        0
1494.56/1494.90	c 1494s |      22 |  2894467 |  1620022 |     2941   1298 |        0 |        0
1496.66/1496.92	c 1496s |      22 |  2899200 |  1622122 |     2941   1299 |        0 |        0
1498.66/1498.96	c 1498s |      22 |  2904449 |  1624522 |     2941   1301 |        0 |        0
1500.66/1500.96	c 1500s |      22 |  2910118 |  1626822 |     2941   1302 |        0 |        0
1502.76/1503.01	c 1502s |      22 |  2917647 |  1629322 |     2941   1304 |        0 |        0
1504.76/1505.06	c 1505s |      22 |  2923021 |  1631622 |     2941   1305 |        0 |        0
1506.77/1507.07	c 1507s |      22 |  2926863 |  1633622 |     2941   1306 |        0 |        0
1508.86/1509.10	c 1509s |      22 |  2931645 |  1635722 |     2941   1308 |        0 |        0
1510.86/1511.11	c 1511s |      22 |  2936232 |  1637822 |     2941   1309 |        0 |        0
1512.86/1513.12	c 1513s |      22 |  2939224 |  1640022 |     2941   1310 |        0 |        0
1514.86/1515.17	c 1515s |      22 |  2941618 |  1641922 |     2941   1311 |        0 |        0
1516.96/1517.20	c 1517s |      22 |  2944141 |  1643822 |     2941   1313 |        0 |        0
1518.96/1519.29	c 1519s |      22 |  2949414 |  1646122 |     2941   1314 |        0 |        0
1521.06/1521.37	c 1521s |      22 |  2952712 |  1648222 |     2941   1315 |        0 |        0
1523.16/1523.45	c 1523s |      22 |  2955620 |  1650222 |     2941   1317 |        0 |        0
1525.26/1525.51	c 1525s |      22 |  2958585 |  1652122 |     2941   1318 |        0 |        0
1527.26/1527.57	c 1527s |      22 |  2961812 |  1654122 |     2941   1319 |        0 |        0
1529.36/1529.69	c 1529s |      22 |  2964822 |  1656022 |     2941   1320 |        0 |        0
1531.46/1531.72	c 1531s |      22 |  2966997 |  1657722 |     2941   1321 |        0 |        0
1533.55/1533.80	c 1533s |      22 |  2969432 |  1659522 |     2941   1322 |        0 |        0
1535.55/1535.83	c 1535s |      22 |  2971788 |  1661222 |     2941   1323 |        0 |        0
1537.56/1537.84	c 1537s |      22 |  2974162 |  1662922 |     2941   1324 |        0 |        0
1539.65/1539.94	c 1539s |      22 |  2976483 |  1664722 |     2941   1325 |        0 |        0
1541.65/1541.97	c 1541s |      22 |  2978750 |  1666422 |     2941   1326 |        0 |        0
1543.75/1544.06	c 1544s |      22 |  2980959 |  1668122 |     2941   1328 |        0 |        0
1545.85/1546.10	c 1546s |      22 |  2983883 |  1670022 |     2941   1329 |        0 |        0
1547.85/1548.16	c 1548s |      22 |  2986622 |  1671822 |     2941   1330 |        0 |        0
1549.95/1550.26	c 1550s |      22 |  2990343 |  1674222 |     2941   1331 |        0 |        0
1552.05/1552.34	c 1552s |      22 |  2993093 |  1676222 |     2941   1333 |        0 |        0
1554.06/1554.37	c 1554s |      22 |  2995804 |  1678222 |     2941   1334 |        0 |        0
1556.15/1556.41	c 1556s |      22 |  2998293 |  1680122 |     2941   1335 |        0 |        0
1558.15/1558.46	c 1558s |      22 |  3001590 |  1682222 |     2941   1336 |        0 |        0
1560.25/1560.50	c 1560s |      22 |  3003939 |  1684022 |     2941   1337 |        0 |        0
1562.25/1562.56	c 1562s |      22 |  3006391 |  1685922 |     2941   1339 |        0 |        0
1564.25/1564.58	c 1564s |      22 |  3009097 |  1687922 |     2941   1340 |        0 |        0
1566.25/1566.59	c 1566s |      22 |  3011921 |  1689922 |     2941   1341 |        0 |        0
1568.35/1568.65	c 1568s |      22 |  3014821 |  1691922 |     2941   1342 |        0 |        0
1570.45/1570.70	c 1570s |      22 |  3017558 |  1693922 |     2941   1343 |        0 |        0
1572.45/1572.73	c 1572s |      22 |  3020425 |  1695822 |     2941   1345 |        0 |        0
1574.55/1574.83	c 1574s |      22 |  3023866 |  1697822 |     2941   1346 |        0 |        0
1576.55/1576.89	c 1576s |      22 |  3026559 |  1699722 |     2941   1347 |        0 |        0
1578.65/1578.90	c 1578s |      22 |  3028954 |  1701522 |     2941   1348 |        0 |        0
1580.65/1580.93	c 1580s |      22 |  3032279 |  1703422 |     2941   1349 |        0 |        0
1582.76/1583.03	c 1582s |      22 |  3035479 |  1705322 |     2941   1351 |        0 |        0
1584.86/1585.11	c 1585s |      22 |  3040793 |  1707722 |     2941   1352 |        0 |        0
1586.85/1587.16	c 1587s |      22 |  3043692 |  1709822 |     2941   1353 |        0 |        0
1588.95/1589.23	c 1589s |      22 |  3048752 |  1712022 |     2941   1355 |        0 |        0
1591.05/1591.33	c 1591s |      22 |  3053956 |  1714522 |     2941   1356 |        0 |        0
1593.05/1593.34	c 1593s |      22 |  3057269 |  1716622 |     2941   1358 |        0 |        0
1595.05/1595.36	c 1595s |      22 |  3060748 |  1718722 |     2941   1359 |        0 |        0
1597.06/1597.37	c 1597s |      22 |  3065570 |  1721022 |     2941   1360 |        0 |        0
1599.05/1599.40	c 1599s |      22 |  3069437 |  1723222 |     2941   1362 |        0 |        0
1601.15/1601.40	c 1601s |      22 |  3074913 |  1725522 |     2941   1363 |        0 |        0
1603.15/1603.45	c 1603s |      22 |  3079540 |  1727822 |     2941   1364 |        0 |        0
1605.25/1605.53	c 1605s |      22 |  3084265 |  1730222 |     2941   1366 |        0 |        0
1607.35/1607.61	c 1607s |      22 |  3087430 |  1732322 |     2941   1367 |        0 |        0
1609.35/1609.65	c 1609s |      22 |  3092712 |  1734522 |     2941   1369 |        0 |        0
1611.36/1611.67	c 1611s |      22 |  3096268 |  1736722 |     2941   1370 |        0 |        0
1613.45/1613.71	c 1613s |      22 |  3100637 |  1739022 |     2941   1371 |        0 |        0
1615.45/1615.71	c 1615s |      22 |  3105075 |  1741122 |     2941   1373 |        0 |        0
1617.45/1617.78	c 1617s |      22 |  3110072 |  1743522 |     2941   1374 |        0 |        0
1619.55/1619.84	c 1619s |      22 |  3113539 |  1745622 |     2941   1376 |        0 |        0
1621.55/1621.84	c 1621s |      22 |  3118370 |  1747822 |     2941   1377 |        0 |        0
1623.65/1623.93	c 1623s |      22 |  3122447 |  1750122 |     2941   1378 |        0 |        0
1625.65/1625.97	c 1625s |      22 |  3126252 |  1752322 |     2941   1380 |        0 |        0
1627.75/1628.01	c 1627s |      22 |  3129568 |  1754322 |     2941   1381 |        0 |        0
1629.74/1630.08	c 1630s |      22 |  3134734 |  1756722 |     2941   1382 |        0 |        0
1631.74/1632.09	c 1632s |      22 |  3138716 |  1758922 |     2941   1384 |        0 |        0
1633.84/1634.14	c 1634s |      22 |  3141884 |  1761022 |     2941   1385 |        0 |        0
1635.84/1636.16	c 1636s |      22 |  3149562 |  1763422 |     2941   1387 |        0 |        0
1637.94/1638.25	c 1638s |      22 |  3154977 |  1765822 |     2941   1388 |        0 |        0
1640.03/1640.32	c 1640s |      22 |  3159022 |  1767922 |     2941   1389 |        0 |        0
1642.04/1642.34	c 1642s |      22 |  3164189 |  1770122 |     2941   1391 |        0 |        0
1644.03/1644.37	c 1644s |      22 |  3168482 |  1772422 |     2941   1392 |        0 |        0
1646.13/1646.47	c 1646s |      22 |  3172390 |  1774622 |     2941   1394 |        0 |        0
1648.23/1648.50	c 1648s |      22 |  3176198 |  1776722 |     2941   1395 |        0 |        0
1650.23/1650.55	c 1650s |      22 |  3178649 |  1778522 |     2941   1396 |        0 |        0
1652.33/1652.61	c 1652s |      22 |  3182011 |  1780622 |     2941   1397 |        0 |        0
1654.33/1654.66	c 1654s |      22 |  3184685 |  1782522 |     2941   1398 |        0 |        0
1656.43/1656.71	c 1656s |      22 |  3190561 |  1784722 |     2941   1400 |        0 |        0
1658.42/1658.73	c 1658s |      22 |  3197112 |  1787122 |     2941   1401 |        0 |        0
1660.52/1660.80	c 1660s |      22 |  3202053 |  1789422 |     2941   1403 |        0 |        0
1662.52/1662.82	c 1662s |      22 |  3207239 |  1791622 |     2941   1404 |        0 |        0
1664.52/1664.88	c 1664s |      22 |  3214122 |  1794022 |     2941   1406 |        0 |        0
1666.52/1666.89	c 1666s |      22 |  3220334 |  1796422 |     2941   1407 |        0 |        0
1668.62/1668.93	c 1668s |      22 |  3224928 |  1798722 |     2941   1408 |        0 |        0
1670.63/1670.95	c 1670s |      22 |  3228282 |  1800722 |     2941   1410 |        0 |        0
1672.62/1672.96	c 1672s |      22 |  3231125 |  1802622 |     2941   1411 |        0 |        0
1674.72/1675.04	c 1675s |      22 |  3234456 |  1804622 |     2941   1412 |        0 |        0
1676.72/1677.09	c 1677s |      22 |  3237893 |  1806722 |     2941   1413 |        0 |        0
1678.81/1679.14	c 1679s |      22 |  3240028 |  1808422 |     2941   1414 |        0 |        0
1680.81/1681.19	c 1681s |      22 |  3245037 |  1810522 |     2941   1416 |        0 |        0
1682.91/1683.20	c 1683s |      22 |  3250165 |  1812722 |     2941   1417 |        0 |        0
1684.92/1685.21	c 1685s |      22 |  3254955 |  1814922 |     2941   1418 |        0 |        0
1686.91/1687.25	c 1687s |      22 |  3258180 |  1817022 |     2941   1420 |        0 |        0
1688.91/1689.28	c 1689s |      22 |  3262632 |  1819422 |     2941   1421 |        0 |        0
1691.11/1691.40	c 1691s |      22 |  3265848 |  1821522 |     2941   1423 |        0 |        0
1693.11/1693.47	c 1693s |      22 |  3268387 |  1823422 |     2941   1424 |        0 |        0
1695.11/1695.49	c 1695s |      22 |  3271853 |  1825422 |     2941   1425 |        0 |        0
1697.21/1697.54	c 1697s |      22 |  3275811 |  1827722 |     2941   1426 |        0 |        0
1699.31/1699.62	c 1699s |      22 |  3280194 |  1830022 |     2941   1428 |        0 |        0
1701.30/1701.66	c 1701s |      22 |  3284469 |  1832322 |     2941   1429 |        0 |        0
1703.30/1703.68	c 1703s |      22 |  3288272 |  1834422 |     2941   1431 |        0 |        0
1705.40/1705.71	c 1705s |      22 |  3291370 |  1836322 |     2941   1432 |        0 |        0
1707.50/1707.83	c 1707s |      22 |  3293440 |  1838022 |     2941   1433 |        0 |        0
1709.60/1709.90	c 1709s |      22 |  3296947 |  1840322 |     2941   1434 |        0 |        0
1711.70/1712.02	c 1711s |      22 |  3300147 |  1842422 |     2941   1436 |        0 |        0
1713.70/1714.08	c 1714s |      22 |  3303499 |  1844222 |     2941   1437 |        0 |        0
1715.80/1716.13	c 1716s |      22 |  3308439 |  1846622 |     2941   1438 |        0 |        0
1717.90/1718.20	c 1718s |      22 |  3311959 |  1848822 |     2941   1439 |        0 |        0
1719.89/1720.26	c 1720s |      22 |  3314579 |  1850722 |     2941   1441 |        0 |        0
1721.99/1722.31	c 1722s |      22 |  3318301 |  1852822 |     2941   1442 |        0 |        0
1723.99/1724.38	c 1724s |      22 |  3320908 |  1854722 |     2941   1443 |        0 |        0
1726.09/1726.41	c 1726s |      22 |  3324226 |  1856922 |     2941   1444 |        0 |        0
1728.09/1728.45	c 1728s |      22 |  3326871 |  1858822 |     2941   1446 |        0 |        0
1730.10/1730.45	c 1730s |      22 |  3330353 |  1860922 |     2941   1447 |        0 |        0
1732.09/1732.50	c 1732s |      22 |  3332951 |  1862822 |     2941   1448 |        0 |        0
1734.19/1734.51	c 1734s |      22 |  3335656 |  1864822 |     2941   1449 |        0 |        0
1736.19/1736.52	c 1736s |      22 |  3338597 |  1866822 |     2941   1451 |        0 |        0
1738.29/1738.63	c 1738s |      22 |  3343271 |  1869122 |     2941   1452 |        0 |        0
1740.29/1740.66	c 1740s |      22 |  3346914 |  1871222 |     2941   1453 |        0 |        0
1742.29/1742.68	c 1742s |      22 |  3349052 |  1872922 |     2941   1454 |        0 |        0
1744.39/1744.76	c 1744s |      22 |  3351216 |  1874622 |     2941   1455 |        0 |        0
1746.49/1746.86	c 1746s |      22 |  3354730 |  1876622 |     2941   1457 |        0 |        0
1748.48/1748.88	c 1748s |      22 |  3357052 |  1878422 |     2941   1458 |        0 |        0
1750.58/1750.93	c 1750s |      22 |  3359664 |  1880222 |     2941   1459 |        0 |        0
1752.58/1752.98	c 1752s |      22 |  3361938 |  1881922 |     2941   1460 |        0 |        0
1754.68/1755.09	c 1755s |      22 |  3364695 |  1883822 |     2941   1461 |        0 |        0
1756.88/1757.20	c 1757s |      22 |  3367537 |  1885622 |     2941   1462 |        0 |        0
1758.88/1759.27	c 1759s |      22 |  3370237 |  1887422 |     2941   1463 |        0 |        0
1760.98/1761.34	c 1761s |      22 |  3372455 |  1889122 |     2941   1464 |        0 |        0
1762.98/1763.36	c 1763s |      22 |  3374961 |  1891022 |     2941   1466 |        0 |        0
1765.08/1765.43	c 1765s |      22 |  3378517 |  1893222 |     2941   1467 |        0 |        0
1767.17/1767.50	c 1767s |      22 |  3382208 |  1895422 |     2941   1468 |        0 |        0
1769.17/1769.54	c 1769s |      22 |  3385720 |  1897522 |     2941   1470 |        0 |        0
1771.27/1771.61	c 1771s |      22 |  3389689 |  1899722 |     2941   1471 |        0 |        0
1773.27/1773.69	c 1773s |      22 |  3394090 |  1902022 |     2941   1472 |        0 |        0
1775.37/1775.70	c 1775s |      22 |  3397897 |  1904122 |     2941   1474 |        0 |        0
1777.37/1777.78	c 1777s |      22 |  3400644 |  1906122 |     2941   1475 |        0 |        0
1779.47/1779.83	c 1779s |      22 |  3403244 |  1908022 |     2941   1476 |        0 |        0
1781.46/1781.85	c 1781s |      22 |  3406049 |  1909922 |     2941   1477 |        0 |        0
1783.56/1783.93	c 1783s |      22 |  3408712 |  1911922 |     2941   1478 |        0 |        0
1785.56/1785.96	c 1785s |      22 |  3411443 |  1913822 |     2941   1480 |        0 |        0
1787.66/1788.02	c 1787s |      22 |  3414667 |  1916022 |     2941   1481 |        0 |        0
1789.66/1790.06	c 1790s |      22 |  3418048 |  1918022 |     2941   1482 |        0 |        0
1791.66/1792.08	c 1792s |      22 |  3421829 |  1920122 |     2941   1483 |        0 |        0
1793.76/1794.15	c 1794s |      22 |  3425660 |  1922322 |     2941   1485 |        0 |        0
1795.85/1796.23	c 1796s |      22 |  3429444 |  1924422 |     2941   1486 |        0 |        0
1797.95/1798.31	c 1798s |      22 |  3434032 |  1926622 |     2941   1488 |        0 |        0
1799.95/1800.34	c 1800s |      22 |  3438119 |  1928822 |     2941   1489 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=32492
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.28 1.87 1.99 2/175 32499
/proc/meminfo: memFree=30417604/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 2815 0 0 0 0 0 0 0 20 0 4 0 103824364 770109440 2664 33554432000 4194304 16246674 140736844285200 140736844284624 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 188783 2673 441 2943 0 185677 0
[pid=32499/tid=32501] ppid=32492 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 787935232 2732 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 793178112 2749 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103824364 797372416 2766 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100119 s]
/proc/loadavg: 1.28 1.87 1.99 2/175 32499
/proc/meminfo: memFree=30417604/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 27359 0 0 0 5 3 0 0 20 0 4 0 103824364 1247350784 27197 33554432000 4194304 16246674 140736844285200 140736844267072 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 304529 27207 716 2943 0 301423 0
[pid=32499/tid=32501] ppid=32492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 27216 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 27226 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 27235 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.20047 s]
/proc/loadavg: 1.28 1.87 1.99 2/175 32499
/proc/meminfo: memFree=30417604/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 54813 0 0 0 12 7 0 0 20 0 4 0 103824364 1247350784 54651 33554432000 4194304 16246674 140736844285200 140736844267072 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 304529 54657 716 2943 0 301423 0
[pid=32499/tid=32501] ppid=32492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 54665 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 54677 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 54686 33554432000 4194304 16246674 140736844285200 140560164703408 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.300396 s]
/proc/loadavg: 1.28 1.87 1.99 2/175 32499
/proc/meminfo: memFree=30417604/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 81032 0 0 0 19 10 0 0 20 0 4 0 103824364 1247350784 80870 33554432000 4194304 16246674 140736844285200 140736844267072 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 304529 80883 716 2943 0 301423 0
[pid=32499/tid=32501] ppid=32492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 80893 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 80901 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 80911 33554432000 4194304 16246674 140736844285200 140560164703408 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.700332 s]
/proc/loadavg: 1.28 1.87 1.99 2/175 32499
/proc/meminfo: memFree=30417604/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 194472 0 0 0 46 23 0 0 20 0 4 0 103824364 1247350784 194311 33554432000 4194304 16246674 140736844285200 140736844267072 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 304529 194324 723 2943 0 301423 0
[pid=32499/tid=32501] ppid=32492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 194333 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 194344 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103824364 1247350784 194353 33554432000 4194304 16246674 140736844285200 140560164703408 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.50034 s]
/proc/loadavg: 1.28 1.87 1.99 4/183 32507
/proc/meminfo: memFree=28452876/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1304132 CPUtime=1.49 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 266847 0 0 0 116 33 0 0 20 0 4 0 103824364 1335431168 266665 33554432000 4194304 16246674 140736844285200 140736844268192 12483345 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 326033 266665 792 2943 0 322927 0
[pid=32499/tid=32501] ppid=32492 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1335431168 266665 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1335431168 266665 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1335431168 266665 33554432000 4194304 16246674 140736844285200 140560164703408 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) 1304132

[startup+3.10034 s]
/proc/loadavg: 1.28 1.87 1.99 5/183 32507
/proc/meminfo: memFree=28278988/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 267555 0 0 0 276 33 0 0 20 0 4 0 103824364 1337528320 267373 33554432000 4194304 16246674 140736844285200 140736844268200 5512752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 326545 267373 792 2943 0 323439 0
[pid=32499/tid=32501] ppid=32492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1337528320 267373 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1337528320 267373 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1337528320 267373 33554432000 4194304 16246674 140736844285200 140560164703408 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) 1306180

[startup+6.30038 s]
/proc/loadavg: 1.33 1.87 1.99 4/183 32507
/proc/meminfo: memFree=28277380/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 267577 0 0 0 596 33 0 0 20 0 4 0 103824364 1337528320 267395 33554432000 4194304 16246674 140736844285200 140736844267072 5717503 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 326545 267395 792 2943 0 323439 0
[pid=32499/tid=32501] ppid=32492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1337528320 267395 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1337528320 267395 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1337528320 267395 33554432000 4194304 16246674 140736844285200 140560164703408 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) 1306180

[startup+12.7003 s]
/proc/loadavg: 1.47 1.89 2.00 4/183 32507
/proc/meminfo: memFree=28275892/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 267833 0 0 0 1236 33 0 0 20 0 4 0 103824364 1338576896 267651 33554432000 4194304 16246674 140736844285200 140736844268200 13950222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 326801 267651 792 2943 0 323695 0
[pid=32499/tid=32501] ppid=32492 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1338576896 267651 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1338576896 267651 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1338576896 267651 33554432000 4194304 16246674 140736844285200 140560164703408 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) 1307204

[startup+25.5004 s]
/proc/loadavg: 1.58 1.89 2.00 4/183 32507
/proc/meminfo: memFree=28275324/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 268089 0 0 0 2515 33 0 0 20 0 4 0 103824364 1339625472 267907 33554432000 4194304 16246674 140736844285200 140736844267072 13781202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 327057 267907 792 2943 0 323951 0
[pid=32499/tid=32501] ppid=32492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1339625472 267907 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1339625472 267907 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1339625472 267907 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 1.80 1.92 2.00 4/183 32507
/proc/meminfo: memFree=28272232/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 268346 0 0 0 5075 33 0 0 20 0 4 0 103824364 1340674048 268164 33554432000 4194304 16246674 140736844285200 140736844267072 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 327313 268164 793 2943 0 324207 0
[pid=32499/tid=32501] ppid=32492 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1340674048 268164 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1340674048 268164 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1340674048 268164 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.09 1.98 2.02 4/183 32509
/proc/meminfo: memFree=28268484/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 268602 0 0 0 10194 34 0 0 20 0 4 0 103824364 1341722624 268420 33554432000 4194304 16246674 140736844285200 140736844267072 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 327569 268420 793 2943 0 324463 0
[pid=32499/tid=32501] ppid=32492 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1341722624 268420 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1341722624 268420 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1341722624 268420 33554432000 4194304 16246674 140736844285200 140560164703408 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) 1310276


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

/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1346965504 269703 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.30 2.28 2.19 5/183 32540
/proc/meminfo: memFree=28252712/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1315396 CPUtime=1302.09 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 269885 0 0 0 130169 40 0 0 20 0 4 0 103824364 1346965504 269703 33554432000 4194304 16246674 140736844285200 140736844267072 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 328849 269703 796 2943 0 325743 0
[pid=32499/tid=32501] ppid=32492 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1346965504 269703 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1346965504 269703 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1346965504 269703 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.21 2.25 2.18 4/183 32541
/proc/meminfo: memFree=28252576/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1315396 CPUtime=1362.09 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 269885 0 0 0 136168 41 0 0 20 0 4 0 103824364 1346965504 269703 33554432000 4194304 16246674 140736844285200 140736844267072 12483215 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 328849 269703 796 2943 0 325743 0
[pid=32499/tid=32501] ppid=32492 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1346965504 269703 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1346965504 269703 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1346965504 269703 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.25 2.25 2.18 4/183 32542
/proc/meminfo: memFree=28252124/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1316420 CPUtime=1422.08 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 269983 0 0 0 142167 41 0 0 20 0 4 0 103824364 1348014080 269801 33554432000 4194304 16246674 140736844285200 140736844267072 12483198 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 329105 269801 796 2943 0 325999 0
[pid=32499/tid=32501] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 269801 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 269801 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 269801 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.32 2.27 2.19 5/183 32543
/proc/meminfo: memFree=28251848/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1316420 CPUtime=1482.06 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 270114 0 0 0 148165 41 0 0 20 0 4 0 103824364 1348014080 269932 33554432000 4194304 16246674 140736844285200 140736844267072 12875598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 329105 269932 796 2943 0 325999 0
[pid=32499/tid=32501] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 269932 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 269932 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 269932 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.39 2.29 2.20 4/184 32547
/proc/meminfo: memFree=28251184/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1316420 CPUtime=1542.06 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 270141 0 0 0 154165 41 0 0 20 0 4 0 103824364 1348014080 269959 33554432000 4194304 16246674 140736844285200 140736844267072 13927272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 329105 269959 796 2943 0 325999 0
[pid=32499/tid=32501] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 269959 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 269959 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 269959 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.26 2.27 2.19 4/182 32548
/proc/meminfo: memFree=28251188/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1316420 CPUtime=1602.05 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 270141 0 0 0 160163 42 0 0 20 0 4 0 103824364 1348014080 269959 33554432000 4194304 16246674 140736844285200 140736844267072 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 329105 269959 796 2943 0 325999 0
[pid=32499/tid=32501] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 269959 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 269959 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 269959 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.20 2.25 2.18 5/183 32550
/proc/meminfo: memFree=28250036/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1316420 CPUtime=1662.02 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 270169 0 0 0 166160 42 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140736844267072 12474881 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 329105 270215 796 2943 0 325999 0
[pid=32499/tid=32501] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.27 2.27 2.19 4/183 32551
/proc/meminfo: memFree=28249944/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1316420 CPUtime=1721.99 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 270203 0 0 0 172157 42 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140736844267072 5724479 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 329105 270215 796 2943 0 325999 0
[pid=32499/tid=32501] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.29 2.27 2.19 4/183 32552
/proc/meminfo: memFree=28249612/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1316420 CPUtime=1781.96 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 270237 0 0 0 178154 42 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140736844267072 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 329105 270215 796 2943 0 325999 0
[pid=32499/tid=32501] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.29 2.26 2.19 5/183 32552
/proc/meminfo: memFree=28249580/32872528 swapFree=16080/1655368
[pid=32499] ppid=32492 vsize=1316420 CPUtime=1800.05 cores=0,2,4,6
/proc/32499/stat : 32499 (toysat) R 32492 32499 32454 0 -1 4202496 270251 0 0 0 179963 42 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140736844267072 5546015 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32499/statm: 329105 270215 796 2943 0 325999 0
[pid=32499/tid=32501] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32501/stat : 32501 (toysat) S 32492 32499 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140560185666800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32499/tid=32503] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32503/stat : 32503 (toysat) S 32492 32499 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140560175176944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32499/tid=32504] ppid=32492 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/32499/task/32504/stat : 32504 (toysat) S 32492 32499 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103824364 1348014080 270215 33554432000 4194304 16246674 140736844285200 140560164703408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1316420

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.11
CPU user time (s): 1799.64
CPU system time (s): 0.466929
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.466929
maximum resident set size= 1080860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270251
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= 124
involuntary context switches= 1970

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44202 second user time and 9.65453 second system time

The end

Begin job on node122 at 2016-06-06 15:15:08
IDJOB=4078711
IDBENCH=1168
IDSOLVER=2542
FILE ID=node122/4078711-1465218907
RUNJOBID= node122-1465218907-32470
PBS_JOBID= 19843205
Free space on /tmp= 71744 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army12.21ls.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078711-1465218907/watcher-4078711-1465218907 -o /tmp/evaluation-result-4078711-1465218907/solver-4078711-1465218907 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078711-1465218907.opb

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

MD5SUM BENCH= 3d28f31cd61cfb39466f429c599fdb4f
RANDOM SEED=525952141

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30419892 kB
Buffers:            7544 kB
Cached:            88356 kB
SwapCached:          860 kB
Active:            72776 kB
Inactive:          25488 kB
Active(anon):       3564 kB
Inactive(anon):     1552 kB
Active(file):      69212 kB
Inactive(file):    23936 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099432 kB
Dirty:             32676 kB
Writeback:             4 kB
AnonPages:       1657132 kB
Mapped:             6884 kB
Shmem:                 0 kB
Slab:             566496 kB
SReclaimable:      10740 kB
SUnreclaim:       555756 kB
KernelStack:        1360 kB
PageTables:         7108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1753256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node122 at 2016-06-06 15:45:08