0.00/0.00	c 2016-06-16T15:26:42+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","--wbo","--search=bcd2","HOME/instance-4093396-1466083602.wbo"]
0.00/0.01	c use --random-gen="806621430 3811219692 787181566 543615172 675583884 751664046 3024429333 687151121 3725501909 2143013714 3709529225 3430014307 1073309095 1496774148 1893359867 3560877703 1939708786 2676858893 1326972666 3684836545 1903006490 2282386588 4023788981 73359180 1669599740 986879373 3475667949 4201279698 4100669853 3948570347 1316779397 2087160537 1332266842 3903139246 2972590859 969431152 3875670742 3642956946 1134549119 1003630106 1818016533 23463656 973815944 3050004028 3085676010 444454882 2692893836 303643973 1634614768 2747012562 1074107180 2609385111 151185284 138449699 3422984530 1741204138 157184652 3541663436 3141469766 1929874757 2623826896 2490415329 137440448 3903987183 704009014 460560874 860592944 514051882 3155538956 2283859767 4004039745 3762735073 235594714 705409623 3662473747 1100089447 2297186682 2198494662 2605314175 3365329680 298190718 987966014 2428732057 355928592 25585264 2084661566 1080213378 315315540 649799630 2560998311 309244136 548180753 192034128 850586572 2242238783 3601747485 311450979 2858569045 178740801 1979339839 1714376217 1156320560 370544801 1826646000 3288255609 766217751 4198234731 2245446363 997000267 20094627 1464342183 1433413519 4179149497 3766319684 3029548508 1668378383 1028091321 1571516636 3175656837 1922153512 380544764 1110568260 2157928132 3729014183 1396791401 361687915 3384233444 1304717957 2669798489 3117966030 3035000119 2484692287 2906592046 2464102277 3319420093 3549518454 2180652545 2243717425 2397190674 364868807 610707126 607481087 3881137427 4134392549 3637601535 2250433018 4250347681 540704868 542075524 324489490 3818485154 1454813402 724868288 330901070 2051335777 972479219 4249461807 1939984475 1015327246 1278899007 2265696475 3516815601 3401196977 1871535339 3068459736 1753193414 3646201139 2497901970 3376549105 3567583933 2844248233 3597855278 358787864 2409754918 3807465962 1546968953 1588923172 1735815236 2290609204 705005135 875038087 1989998660 4286181342 2747244780 4048641870 1622160956 3320746122 3169606955 71360176 1341448456 82438377 1335950960 1234425512 2407832684 1073967535 1982743039 2966852753 2554912050 195829756 3508323457 1043123258 786271094 3439558700 3504429683 2066185838 576135829 1056994641 3527388801 2090706494 2532768031 4103491807 3687230499 3088160143 4029122743 2409148974 244816613 257618467 3575652989 873015265 4213078048 1057453356 1805117672 1795347709 2239969930 3531054351 3802602039 4147203671 243957475 1080004037 2226150281 554108691 2554265373 4096130089 1191963049 4284455266 777050398 4145449905 4156729784 3891512619 1695961058 1406530838 3062237116 4252282872 2827323075 118400050 807468927 1305353003 2847332250 529605484 811798810 2423288953 2334896591 1323773254 2580698644 4257754693 1835766947 255 362436" option to reproduce the execution
0.00/0.02	c #vars 420
0.00/0.02	c #constraints 41
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
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 |      157      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      140 |      100 |      157      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      531 |      250 |      173      0 |        0 |        0
0.00/0.09	c  0.1s |       2 |      749 |      256 |      191      1 |        0 |        0
0.00/0.09	c #cpu_time = 0.059s
0.00/0.09	c #wall_clock_time = 0.059s
0.00/0.09	c #decision = 749
0.00/0.09	c #random_decision = 2
0.00/0.09	c #conflict = 256
0.00/0.09	c #restart = 2
0.00/0.09	o 192
0.00/0.09	c BCD2: updating upper bound: 550 -> 191
0.00/0.09	c BCD2: 0 <= obj <= 191
0.00/0.09	c BCD2: #cores=0, #unrelaxed=11, #relaxed=0, #hardened=0
0.00/0.09	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.09	c Solving starts ...
0.00/0.09	c ============================[ Search Statistics ]============================
0.00/0.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.09	c =============================================================================
0.00/0.09	c  0.0s |       0 |        0 |        0 |      191      0 |        0 |        0
0.09/0.12	c  0.0s |       1 |      326 |      100 |      191      0 |        0 |        0
0.09/0.17	c  0.1s |       2 |      717 |      250 |      211      1 |        0 |        0
0.19/0.25	c  0.2s |       3 |     1186 |      475 |      211      2 |        0 |        0
0.29/0.38	c  0.3s |       4 |     1785 |      813 |      233      3 |        0 |        0
0.49/0.58	c  0.5s |       5 |     2571 |     1320 |      257      5 |        0 |        0
0.89/0.94	c  0.9s |       6 |     4025 |     2081 |      283      8 |        0 |        0
1.39/1.42	c  1.3s |       7 |     6593 |     3223 |      312     12 |        0 |        0
2.20/2.26	c  2.2s |       8 |    17096 |     4936 |      344     19 |        0 |        0
3.69/3.79	c  3.7s |       9 |    28455 |     7506 |      379     28 |        0 |        0
5.79/5.81	c  5.7s |       9 |    36549 |    11306 |      417     40 |        0 |        0
5.79/5.84	c  5.8s |      10 |    36609 |    11361 |      417     40 |        0 |        0
7.79/7.87	c  7.8s |      10 |    42989 |    15061 |      417     51 |        0 |        0
8.99/9.04	c  9.0s |      11 |    45804 |    17144 |      459     57 |        0 |        0
10.99/11.09	c 11.0s |      11 |    54954 |    20844 |      459     68 |        0 |        0
13.09/13.17	c 13.1s |      11 |    58941 |    24044 |      459     77 |        0 |        0
14.29/14.36	c 14.3s |      12 |    61678 |    25819 |      505     82 |        0 |        0
16.29/16.36	c 16.3s |      12 |    65846 |    29019 |      505     90 |        0 |        0
18.38/18.41	c 18.3s |      12 |    70508 |    32719 |      505    100 |        0 |        0
20.38/20.46	c 20.4s |      12 |    74340 |    36019 |      505    109 |        0 |        0
21.78/21.88	c 21.8s |      13 |    78371 |    38832 |      556    116 |        0 |        0
23.78/23.89	c 23.8s |      13 |    86743 |    42732 |      556    126 |        0 |        0
25.88/25.96	c 25.9s |      13 |    91178 |    46532 |      556    137 |        0 |        0
27.98/28.00	c 27.9s |      13 |    96052 |    50632 |      556    148 |        0 |        0
29.98/30.03	c 29.9s |      13 |   100824 |    54732 |      556    159 |        0 |        0
31.89/31.94	c 31.9s |      14 |   105025 |    58352 |      612    168 |        0 |        0
33.88/33.94	c 33.9s |      14 |   111142 |    63252 |      612    178 |        0 |        0
35.88/35.98	c 35.9s |      14 |   116436 |    67952 |      612    188 |        0 |        0
37.88/37.99	c 37.9s |      14 |   120485 |    71552 |      612    195 |        0 |        0
39.98/40.04	c 40.0s |      14 |   125789 |    75352 |      612    203 |        0 |        0
41.98/42.04	c 42.0s |      14 |   129216 |    78452 |      612    210 |        0 |        0
43.99/44.05	c 44.0s |      14 |   132635 |    81552 |      612    216 |        0 |        0
45.98/46.09	c 46.0s |      14 |   136715 |    85152 |      612    224 |        0 |        0
47.78/47.82	c 47.7s |      15 |   139478 |    87632 |      674    229 |        0 |        0
49.78/49.84	c 49.7s |      15 |   144829 |    91532 |      674    237 |        0 |        0
51.79/51.89	c 51.8s |      15 |   149507 |    95432 |      674    244 |        0 |        0
53.89/53.91	c 53.8s |      15 |   154348 |    99632 |      674    252 |        0 |        0
55.88/55.92	c 55.8s |      15 |   159167 |   103732 |      674    260 |        0 |        0
57.88/57.94	c 57.8s |      15 |   163504 |   107532 |      674    267 |        0 |        0
59.88/59.95	c 59.9s |      15 |   167740 |   111232 |      674    274 |        0 |        0
61.88/61.99	c 61.9s |      15 |   171900 |   114832 |      674    281 |        0 |        0
63.98/64.01	c 63.9s |      15 |   175350 |   117932 |      674    287 |        0 |        0
65.98/66.07	c 66.0s |      15 |   178825 |   120932 |      674    293 |        0 |        0
67.98/68.08	c 68.0s |      15 |   182766 |   124332 |      674    300 |        0 |        0
70.08/70.10	c 70.0s |      15 |   187946 |   128832 |      674    308 |        0 |        0
71.28/71.36	c 71.3s |      16 |   191016 |   131552 |      742    313 |        0 |        0
73.38/73.41	c 73.3s |      16 |   204535 |   135352 |      742    321 |        0 |        0
75.38/75.42	c 75.3s |      16 |   208823 |   138652 |      742    328 |        0 |        0
77.38/77.43	c 77.3s |      16 |   213905 |   142352 |      742    335 |        0 |        0
79.38/79.49	c 79.4s |      16 |   218152 |   145752 |      742    342 |        0 |        0
81.49/81.55	c 81.5s |      16 |   222122 |   149152 |      742    349 |        0 |        0
83.48/83.55	c 83.5s |      16 |   226244 |   152652 |      742    356 |        0 |        0
85.48/85.58	c 85.5s |      16 |   230103 |   155952 |      742    362 |        0 |        0
87.58/87.60	c 87.5s |      16 |   234201 |   159352 |      742    369 |        0 |        0
89.58/89.61	c 89.5s |      16 |   237826 |   162552 |      742    376 |        0 |        0
91.58/91.63	c 91.5s |      16 |   241330 |   165552 |      742    382 |        0 |        0
93.59/93.66	c 93.6s |      16 |   245441 |   168952 |      742    389 |        0 |        0
95.58/95.67	c 95.6s |      16 |   249548 |   172352 |      742    395 |        0 |        0
97.58/97.68	c 97.6s |      16 |   253368 |   175452 |      742    402 |        0 |        0
99.68/99.70	c 99.6s |      16 |   257275 |   178452 |      742    408 |        0 |        0
101.68/101.71	c  101s |      16 |   261009 |   181552 |      742    414 |        0 |        0
103.68/103.71	c  103s |      16 |   264996 |   184752 |      742    421 |        0 |        0
105.68/105.74	c  105s |      16 |   269613 |   188652 |      742    429 |        0 |        0
107.78/107.82	c  107s |      16 |   274077 |   192152 |      742    436 |        0 |        0
109.77/109.86	c  109s |      16 |   278957 |   196252 |      817    444 |        0 |        0
110.37/110.42	c  110s |      17 |   280394 |   197432 |      817    446 |        0 |        0
112.37/112.42	c  112s |      17 |   285558 |   201732 |      817    453 |        0 |        0
114.38/114.47	c  114s |      17 |   289897 |   205632 |      817    460 |        0 |        0
116.47/116.51	c  116s |      17 |   294249 |   209532 |      817    467 |        0 |        0
118.47/118.56	c  118s |      17 |   298510 |   213332 |      817    473 |        0 |        0
120.47/120.58	c  120s |      17 |   303643 |   217632 |      817    480 |        0 |        0
122.47/122.59	c  122s |      17 |   308039 |   221532 |      817    487 |        0 |        0
124.57/124.62	c  124s |      17 |   312351 |   225432 |      817    493 |        0 |        0
126.58/126.65	c  126s |      17 |   316621 |   229232 |      817    500 |        0 |        0
128.68/128.70	c  128s |      17 |   320934 |   233032 |      817    506 |        0 |        0
130.67/130.73	c  130s |      17 |   325087 |   236732 |      817    513 |        0 |        0
132.67/132.74	c  132s |      17 |   329122 |   240232 |      817    519 |        0 |        0
134.67/134.77	c  134s |      17 |   333013 |   243632 |      817    524 |        0 |        0
136.67/136.77	c  136s |      17 |   336609 |   246932 |      817    530 |        0 |        0
138.77/138.81	c  138s |      17 |   340677 |   250532 |      817    536 |        0 |        0
140.77/140.82	c  140s |      17 |   344511 |   253932 |      817    542 |        0 |        0
142.77/142.88	c  142s |      17 |   348433 |   257432 |      817    548 |        0 |        0
144.87/144.93	c  144s |      17 |   352200 |   260832 |      817    554 |        0 |        0
146.87/146.97	c  146s |      17 |   356122 |   264232 |      817    559 |        0 |        0
148.87/148.98	c  148s |      17 |   359979 |   267732 |      817    565 |        0 |        0
150.87/150.99	c  150s |      17 |   363824 |   271132 |      817    571 |        0 |        0
152.87/153.00	c  152s |      17 |   367336 |   274332 |      817    576 |        0 |        0
154.96/155.05	c  154s |      17 |   370891 |   277532 |      817    582 |        0 |        0
156.96/157.07	c  156s |      17 |   374408 |   280632 |      817    587 |        0 |        0
159.06/159.12	c  159s |      17 |   378434 |   284232 |      817    593 |        0 |        0
161.06/161.17	c  161s |      17 |   382742 |   288032 |      817    600 |        0 |        0
163.06/163.19	c  163s |      17 |   386183 |   291132 |      817    605 |        0 |        0
165.16/165.22	c  165s |      17 |   390354 |   294732 |      899    611 |        0 |        0
166.07/166.15	c  166s |      18 |   392081 |   296252 |      899    613 |        0 |        0
168.06/168.17	c  168s |      18 |   401846 |   300652 |      899    621 |        0 |        0
170.16/170.20	c  170s |      18 |   407263 |   303552 |      899    626 |        0 |        0
172.16/172.23	c  172s |      18 |   410757 |   306252 |      899    630 |        0 |        0
174.16/174.24	c  174s |      18 |   414194 |   309252 |      899    636 |        0 |        0
176.26/176.30	c  176s |      18 |   417677 |   312352 |      899    641 |        0 |        0
178.27/178.31	c  178s |      18 |   420993 |   315252 |      899    646 |        0 |        0
180.26/180.37	c  180s |      18 |   424549 |   317952 |      899    650 |        0 |        0
182.36/182.43	c  182s |      18 |   428644 |   320852 |      899    655 |        0 |        0
184.46/184.51	c  184s |      18 |   431905 |   323652 |      899    660 |        0 |        0
186.46/186.57	c  186s |      18 |   435041 |   326452 |      899    665 |        0 |        0
188.46/188.58	c  188s |      18 |   438699 |   329652 |      899    671 |        0 |        0
190.56/190.61	c  190s |      18 |   442275 |   332752 |      899    676 |        0 |        0
192.56/192.64	c  192s |      18 |   445529 |   335652 |      899    682 |        0 |        0
194.66/194.71	c  194s |      18 |   449315 |   338452 |      899    686 |        0 |        0
196.66/196.73	c  196s |      18 |   452472 |   341152 |      899    691 |        0 |        0
198.76/198.81	c  198s |      18 |   456080 |   344252 |      899    697 |        0 |        0
200.76/200.82	c  200s |      18 |   459519 |   347252 |      899    702 |        0 |        0
202.76/202.84	c  202s |      18 |   462899 |   350252 |      899    707 |        0 |        0
204.85/204.91	c  204s |      18 |   466475 |   353352 |      899    713 |        0 |        0
206.86/206.98	c  206s |      18 |   469949 |   356252 |      899    718 |        0 |        0
208.96/209.00	c  208s |      18 |   473490 |   359352 |      899    723 |        0 |        0
210.95/211.02	c  210s |      18 |   477379 |   362552 |      899    729 |        0 |        0
212.95/213.08	c  212s |      18 |   480787 |   365552 |      899    734 |        0 |        0
215.05/215.13	c  215s |      18 |   483994 |   368352 |      899    739 |        0 |        0
217.05/217.13	c  217s |      18 |   487363 |   371352 |      899    744 |        0 |        0
219.05/219.16	c  219s |      18 |   490720 |   374352 |      899    749 |        0 |        0
221.06/221.17	c  221s |      18 |   493934 |   377252 |      899    754 |        0 |        0
223.05/223.19	c  223s |      18 |   497517 |   379852 |      899    759 |        0 |        0
225.15/225.22	c  225s |      18 |   500523 |   382352 |      899    763 |        0 |        0
227.15/227.30	c  227s |      18 |   503531 |   384652 |      899    767 |        0 |        0
229.26/229.34	c  229s |      18 |   506309 |   387052 |      899    771 |        0 |        0
231.26/231.36	c  231s |      18 |   509317 |   389652 |      899    776 |        0 |        0
233.36/233.44	c  233s |      18 |   512304 |   392152 |      899    780 |        0 |        0
235.47/235.50	c  235s |      18 |   515527 |   394752 |      899    785 |        0 |        0
237.46/237.52	c  237s |      18 |   518445 |   397252 |      899    789 |        0 |        0
239.46/239.54	c  239s |      18 |   521436 |   399852 |      899    794 |        0 |        0
241.46/241.58	c  241s |      18 |   524242 |   402252 |      899    798 |        0 |        0
243.56/243.62	c  243s |      18 |   527466 |   404952 |      899    803 |        0 |        0
245.56/245.64	c  245s |      18 |   529915 |   407052 |      899    807 |        0 |        0
247.56/247.65	c  247s |      18 |   532450 |   409252 |      899    811 |        0 |        0
249.66/249.74	c  249s |      18 |   535064 |   411552 |      899    815 |        0 |        0
251.66/251.79	c  251s |      18 |   537420 |   413652 |      899    819 |        0 |        0
253.76/253.81	c  253s |      18 |   540490 |   416352 |      899    823 |        0 |        0
255.76/255.88	c  255s |      18 |   546353 |   419452 |      899    829 |        0 |        0
257.75/257.89	c  257s |      18 |   549734 |   422052 |      899    833 |        0 |        0
259.85/259.91	c  259s |      18 |   553347 |   425052 |      899    838 |        0 |        0
261.86/261.99	c  261s |      18 |   556441 |   427752 |      899    843 |        0 |        0
263.96/264.03	c  263s |      18 |   560093 |   430852 |      899    848 |        0 |        0
265.95/266.08	c  265s |      18 |   563697 |   433852 |      899    854 |        0 |        0
267.95/268.09	c  267s |      18 |   567100 |   436652 |      899    858 |        0 |        0
269.95/270.10	c  270s |      18 |   570600 |   439652 |      899    864 |        0 |        0
272.05/272.16	c  272s |      18 |   574610 |   443052 |      989    869 |        0 |        0
272.86/272.99	c  272s |      19 |   576258 |   444482 |      989    871 |        0 |        0
274.96/275.04	c  274s |      19 |   581362 |   448282 |      989    877 |        0 |        0
276.95/277.04	c  276s |      19 |   585365 |   451682 |      989    882 |        0 |        0
278.95/279.09	c  279s |      19 |   588886 |   454782 |      989    887 |        0 |        0
281.05/281.11	c  281s |      19 |   592801 |   458282 |      989    892 |        0 |        0
283.05/283.16	c  283s |      19 |   596780 |   461782 |      989    897 |        0 |        0
285.05/285.16	c  285s |      19 |   600377 |   464982 |      989    902 |        0 |        0
287.06/287.18	c  287s |      19 |   603741 |   467982 |      989    906 |        0 |        0
289.05/289.19	c  289s |      19 |   607436 |   471282 |      989    911 |        0 |        0
291.15/291.23	c  291s |      19 |   610771 |   474182 |      989    916 |        0 |        0
293.15/293.27	c  293s |      19 |   613665 |   476782 |      989    920 |        0 |        0
295.15/295.29	c  295s |      19 |   616491 |   479282 |      989    923 |        0 |        0
297.25/297.32	c  297s |      19 |   619475 |   481882 |      989    927 |        0 |        0
299.25/299.33	c  299s |      19 |   622767 |   484782 |      989    932 |        0 |        0
301.25/301.38	c  301s |      19 |   626682 |   488282 |      989    937 |        0 |        0
303.35/303.40	c  303s |      19 |   630589 |   491782 |      989    942 |        0 |        0
305.35/305.46	c  305s |      19 |   634000 |   494782 |      989    947 |        0 |        0
307.45/307.50	c  307s |      19 |   637777 |   498082 |      989    952 |        0 |        0
309.44/309.55	c  309s |      19 |   641665 |   501582 |      989    957 |        0 |        0
311.44/311.59	c  311s |      19 |   645834 |   505282 |      989    962 |        0 |        0
313.55/313.60	c  313s |      19 |   649553 |   508582 |      989    967 |        0 |        0
315.54/315.64	c  315s |      19 |   653576 |   512182 |      989    973 |        0 |        0
317.54/317.64	c  317s |      19 |   657357 |   515482 |      989    978 |        0 |        0
319.54/319.69	c  319s |      19 |   661268 |   518882 |      989    983 |        0 |        0
321.54/321.69	c  321s |      19 |   665081 |   522282 |      989    988 |        0 |        0
323.64/323.74	c  323s |      19 |   668933 |   525782 |      989    993 |        0 |        0
325.65/325.79	c  325s |      19 |   672571 |   528982 |      989    998 |        0 |        0
327.75/327.82	c  327s |      19 |   676208 |   532282 |      989   1003 |        0 |        0
329.74/329.85	c  329s |      19 |   679914 |   535582 |      989   1008 |        0 |        0
331.74/331.87	c  331s |      19 |   683562 |   538882 |      989   1013 |        0 |        0
333.84/333.91	c  333s |      19 |   687492 |   542282 |      989   1018 |        0 |        0
335.84/335.92	c  335s |      19 |   691040 |   545382 |      989   1023 |        0 |        0
337.84/337.96	c  337s |      19 |   694399 |   548382 |      989   1027 |        0 |        0
339.84/339.99	c  339s |      19 |   697608 |   551282 |      989   1032 |        0 |        0
341.94/342.02	c  341s |      19 |   701145 |   554382 |      989   1036 |        0 |        0
343.93/344.05	c  343s |      19 |   704400 |   557182 |      989   1040 |        0 |        0
345.93/346.07	c  345s |      19 |   707629 |   559982 |      989   1045 |        0 |        0
348.03/348.11	c  348s |      19 |   711753 |   563682 |      989   1050 |        0 |        0
350.03/350.12	c  350s |      19 |   715534 |   567082 |      989   1056 |        0 |        0
352.04/352.14	c  352s |      19 |   719666 |   570782 |      989   1061 |        0 |        0
354.03/354.15	c  354s |      19 |   723164 |   573882 |      989   1066 |        0 |        0
356.14/356.20	c  356s |      19 |   726362 |   576782 |      989   1071 |        0 |        0
358.14/358.27	c  358s |      19 |   730232 |   580082 |      989   1076 |        0 |        0
360.24/360.31	c  360s |      19 |   739634 |   583282 |      989   1081 |        0 |        0
362.24/362.31	c  362s |      19 |   746757 |   586482 |      989   1086 |        0 |        0
364.24/364.34	c  364s |      19 |   750877 |   589082 |      989   1091 |        0 |        0
366.25/366.37	c  366s |      19 |   754283 |   591882 |      989   1096 |        0 |        0
368.24/368.38	c  368s |      19 |   757387 |   594482 |      989   1100 |        0 |        0
370.24/370.39	c  370s |      19 |   761575 |   597282 |      989   1105 |        0 |        0
372.34/372.40	c  372s |      19 |   764092 |   599382 |      989   1109 |        0 |        0
374.34/374.49	c  374s |      19 |   766430 |   601382 |      989   1112 |        0 |        0
376.54/376.60	c  376s |      19 |   768827 |   603482 |      989   1116 |        0 |        0
378.54/378.69	c  378s |      19 |   770736 |   605182 |      989   1118 |        0 |        0
380.54/380.70	c  380s |      19 |   773759 |   607182 |      989   1122 |        0 |        0
382.63/382.75	c  382s |      19 |   776502 |   609582 |      989   1126 |        0 |        0
384.73/384.80	c  384s |      19 |   779320 |   611982 |      989   1130 |        0 |        0
386.73/386.83	c  386s |      19 |   782136 |   614282 |      989   1134 |        0 |        0
388.73/388.85	c  388s |      19 |   784615 |   616382 |      989   1138 |        0 |        0
390.73/390.86	c  390s |      19 |   787598 |   618982 |      989   1143 |        0 |        0
392.74/392.87	c  392s |      19 |   791158 |   622182 |      989   1148 |        0 |        0
394.73/394.87	c  394s |      19 |   795974 |   625182 |      989   1154 |        0 |        0
396.83/396.95	c  396s |      19 |   799797 |   627982 |      989   1159 |        0 |        0
398.83/398.95	c  398s |      19 |   804031 |   630982 |      989   1164 |        0 |        0
400.83/400.98	c  400s |      19 |   807468 |   633982 |      989   1169 |        0 |        0
402.83/402.99	c  402s |      19 |   810978 |   637082 |      989   1175 |        0 |        0
404.93/405.02	c  404s |      19 |   814733 |   640282 |      989   1180 |        0 |        0
406.94/407.04	c  406s |      19 |   818494 |   643582 |      989   1186 |        0 |        0
408.93/409.05	c  408s |      19 |   822121 |   646782 |      989   1192 |        0 |        0
410.93/411.06	c  410s |      19 |   826027 |   649882 |      989   1197 |        0 |        0
413.03/413.11	c  413s |      19 |   829590 |   652982 |      989   1203 |        0 |        0
415.03/415.15	c  415s |      19 |   832928 |   655882 |      989   1208 |        0 |        0
417.03/417.17	c  417s |      19 |   836192 |   658782 |      989   1213 |        0 |        0
419.13/419.25	c  419s |      19 |   839547 |   661682 |      989   1218 |        0 |        0
421.13/421.26	c  421s |      19 |   842588 |   664382 |     1088   1222 |        0 |        0
423.03/423.13	c  423s |      20 |   845362 |   666827 |     1088   1226 |        0 |        0
425.03/425.13	c  425s |      20 |   857594 |   669727 |     1088   1231 |        0 |        0
427.03/427.18	c  427s |      20 |   860234 |   671827 |     1088   1234 |        0 |        0
429.12/429.22	c  429s |      20 |   863087 |   674227 |     1088   1238 |        0 |        0
431.13/431.25	c  431s |      20 |   866386 |   677127 |     1088   1243 |        0 |        0
433.12/433.26	c  433s |      20 |   869065 |   679527 |     1088   1247 |        0 |        0
435.12/435.27	c  435s |      20 |   872560 |   681927 |     1088   1250 |        0 |        0
437.12/437.27	c  437s |      20 |   875112 |   684027 |     1088   1254 |        0 |        0
439.22/439.30	c  439s |      20 |   878411 |   686527 |     1088   1258 |        0 |        0
441.22/441.34	c  441s |      20 |   881795 |   689327 |     1088   1262 |        0 |        0
443.23/443.39	c  443s |      20 |   885012 |   692127 |     1088   1266 |        0 |        0
445.32/445.44	c  445s |      20 |   888483 |   694927 |     1088   1271 |        0 |        0
447.32/447.47	c  447s |      20 |   891734 |   697727 |     1088   1275 |        0 |        0
449.42/449.51	c  449s |      20 |   894821 |   700427 |     1088   1280 |        0 |        0
451.42/451.55	c  451s |      20 |   898116 |   703327 |     1088   1284 |        0 |        0
453.52/453.62	c  453s |      20 |   901328 |   706127 |     1088   1289 |        0 |        0
455.52/455.68	c  455s |      20 |   904404 |   708827 |     1088   1293 |        0 |        0
457.72/457.80	c  457s |      20 |   908397 |   711027 |     1088   1297 |        0 |        0
459.73/459.87	c  459s |      20 |   911970 |   712827 |     1088   1299 |        0 |        0
461.82/461.94	c  461s |      20 |   915790 |   715427 |     1088   1304 |        0 |        0
463.82/463.98	c  463s |      20 |   919605 |   718427 |     1088   1308 |        0 |        0
465.92/466.01	c  465s |      20 |   923403 |   721427 |     1088   1313 |        0 |        0
467.92/468.03	c  467s |      20 |   927288 |   724527 |     1088   1318 |        0 |        0
469.92/470.09	c  470s |      20 |   930775 |   727327 |     1088   1323 |        0 |        0
472.02/472.11	c  472s |      20 |   934230 |   730327 |     1088   1327 |        0 |        0
474.02/474.16	c  474s |      20 |   937753 |   733327 |     1088   1332 |        0 |        0
476.01/476.16	c  476s |      20 |   941191 |   736327 |     1088   1337 |        0 |        0
478.11/478.21	c  478s |      20 |   944917 |   739527 |     1088   1342 |        0 |        0
480.11/480.24	c  480s |      20 |   948324 |   742327 |     1088   1347 |        0 |        0
482.11/482.27	c  482s |      20 |   951773 |   745227 |     1088   1351 |        0 |        0
484.11/484.28	c  484s |      20 |   954734 |   747727 |     1088   1355 |        0 |        0
486.12/486.29	c  486s |      20 |   958717 |   750327 |     1088   1359 |        0 |        0
488.21/488.31	c  488s |      20 |   963076 |   753127 |     1088   1364 |        0 |        0
490.21/490.32	c  490s |      20 |   968315 |   756027 |     1088   1368 |        0 |        0
492.31/492.40	c  492s |      20 |   971308 |   758427 |     1088   1372 |        0 |        0
494.31/494.40	c  494s |      20 |   974333 |   760627 |     1088   1376 |        0 |        0
496.31/496.42	c  496s |      20 |   977597 |   762927 |     1088   1380 |        0 |        0
498.32/498.43	c  498s |      20 |   980436 |   765027 |     1088   1383 |        0 |        0
500.42/500.53	c  500s |      20 |   983059 |   767127 |     1088   1386 |        0 |        0
502.41/502.58	c  502s |      20 |   985713 |   769127 |     1088   1390 |        0 |        0
504.51/504.65	c  504s |      20 |   988400 |   771327 |     1088   1393 |        0 |        0
506.51/506.66	c  506s |      20 |   991012 |   773427 |     1088   1397 |        0 |        0
508.51/508.68	c  508s |      20 |   994686 |   776127 |     1088   1401 |        0 |        0
510.51/510.69	c  510s |      20 |   997899 |   778627 |     1088   1406 |        0 |        0
512.62/512.72	c  512s |      20 |  1002531 |   781527 |     1088   1410 |        0 |        0
514.61/514.76	c  514s |      20 |  1005813 |   784227 |     1088   1414 |        0 |        0
516.61/516.79	c  516s |      20 |  1009033 |   786727 |     1088   1418 |        0 |        0
518.61/518.79	c  518s |      20 |  1012926 |   789127 |     1088   1422 |        0 |        0
520.71/520.88	c  520s |      20 |  1018405 |   792327 |     1088   1427 |        0 |        0
522.82/522.93	c  522s |      20 |  1022338 |   794727 |     1088   1431 |        0 |        0
524.92/525.01	c  524s |      20 |  1026821 |   797627 |     1088   1436 |        0 |        0
526.92/527.03	c  526s |      20 |  1031211 |   800627 |     1088   1441 |        0 |        0
528.91/529.04	c  528s |      20 |  1035824 |   803727 |     1088   1446 |        0 |        0
531.01/531.12	c  531s |      20 |  1039605 |   806627 |     1088   1450 |        0 |        0
533.01/533.18	c  533s |      20 |  1042695 |   809127 |     1088   1454 |        0 |        0
535.01/535.18	c  535s |      20 |  1046986 |   811927 |     1088   1459 |        0 |        0
537.01/537.19	c  537s |      20 |  1051480 |   814727 |     1088   1463 |        0 |        0
539.11/539.20	c  539s |      20 |  1055261 |   817527 |     1088   1467 |        0 |        0
541.12/541.27	c  541s |      20 |  1058796 |   820527 |     1088   1472 |        0 |        0
543.11/543.28	c  543s |      20 |  1061943 |   823227 |     1088   1477 |        0 |        0
545.11/545.29	c  545s |      20 |  1065193 |   825827 |     1088   1481 |        0 |        0
547.21/547.34	c  547s |      20 |  1068572 |   828627 |     1088   1485 |        0 |        0
549.21/549.35	c  549s |      20 |  1071754 |   831227 |     1088   1489 |        0 |        0
551.21/551.39	c  551s |      20 |  1074746 |   833727 |     1088   1493 |        0 |        0
553.21/553.40	c  553s |      20 |  1077664 |   836027 |     1088   1497 |        0 |        0
555.31/555.47	c  555s |      20 |  1081107 |   838727 |     1088   1501 |        0 |        0
557.41/557.53	c  557s |      20 |  1084363 |   841427 |     1088   1506 |        0 |        0
559.41/559.59	c  559s |      20 |  1087411 |   843927 |     1088   1510 |        0 |        0
561.41/561.59	c  561s |      20 |  1090438 |   846427 |     1088   1514 |        0 |        0
563.51/563.60	c  563s |      20 |  1093246 |   848827 |     1088   1517 |        0 |        0
565.50/565.63	c  565s |      20 |  1096161 |   851127 |     1088   1521 |        0 |        0
567.51/567.64	c  567s |      20 |  1099803 |   853927 |     1088   1526 |        0 |        0
569.50/569.67	c  569s |      20 |  1104201 |   857227 |     1088   1531 |        0 |        0
571.50/571.67	c  571s |      20 |  1109024 |   860427 |     1088   1536 |        0 |        0
573.60/573.71	c  573s |      20 |  1113727 |   863727 |     1088   1541 |        0 |        0
575.60/575.72	c  575s |      20 |  1117315 |   866627 |     1088   1546 |        0 |        0
577.60/577.73	c  577s |      20 |  1120641 |   869527 |     1088   1550 |        0 |        0
579.61/579.76	c  579s |      20 |  1124055 |   872427 |     1088   1555 |        0 |        0
581.60/581.77	c  581s |      20 |  1127336 |   875227 |     1088   1559 |        0 |        0
583.70/583.82	c  583s |      20 |  1130499 |   877827 |     1088   1563 |        0 |        0
585.70/585.86	c  585s |      20 |  1133828 |   880527 |     1088   1568 |        0 |        0
587.80/587.93	c  587s |      20 |  1137969 |   883427 |     1088   1572 |        0 |        0
589.80/589.98	c  589s |      20 |  1142062 |   886127 |     1088   1577 |        0 |        0
591.90/592.05	c  591s |      20 |  1145988 |   889027 |     1088   1581 |        0 |        0
593.91/594.06	c  593s |      20 |  1150750 |   891827 |     1088   1586 |        0 |        0
595.90/596.08	c  595s |      20 |  1154289 |   894527 |     1088   1590 |        0 |        0
597.90/598.08	c  597s |      20 |  1157352 |   897127 |     1088   1594 |        0 |        0
600.00/600.13	c  600s |      20 |  1160894 |   900127 |     1088   1599 |        0 |        0
602.00/602.17	c  602s |      20 |  1164163 |   902927 |     1088   1604 |        0 |        0
604.10/604.23	c  604s |      20 |  1167331 |   905727 |     1088   1608 |        0 |        0
606.10/606.28	c  606s |      20 |  1170695 |   908327 |     1088   1612 |        0 |        0
608.20/608.33	c  608s |      20 |  1174654 |   911327 |     1088   1617 |        0 |        0
610.19/610.34	c  610s |      20 |  1178428 |   914327 |     1088   1622 |        0 |        0
612.19/612.36	c  612s |      20 |  1181949 |   917327 |     1088   1627 |        0 |        0
614.19/614.37	c  614s |      20 |  1185584 |   920227 |     1088   1631 |        0 |        0
616.29/616.42	c  616s |      20 |  1189334 |   923327 |     1088   1636 |        0 |        0
618.29/618.47	c  618s |      20 |  1193252 |   926427 |     1088   1641 |        0 |        0
620.30/620.50	c  620s |      20 |  1196753 |   929327 |     1088   1646 |        0 |        0
622.39/622.51	c  622s |      20 |  1200225 |   932227 |     1088   1651 |        0 |        0
624.39/624.56	c  624s |      20 |  1203804 |   935227 |     1088   1656 |        0 |        0
626.50/626.61	c  626s |      20 |  1207690 |   938427 |     1088   1661 |        0 |        0
628.50/628.68	c  628s |      20 |  1210636 |   940927 |     1088   1665 |        0 |        0
630.60/630.75	c  630s |      20 |  1213917 |   943627 |     1088   1669 |        0 |        0
632.70/632.84	c  632s |      20 |  1217130 |   946227 |     1088   1674 |        0 |        0
634.70/634.89	c  634s |      20 |  1221284 |   949627 |     1088   1679 |        0 |        0
636.80/636.91	c  636s |      20 |  1224725 |   952627 |     1088   1684 |        0 |        0
638.80/638.98	c  638s |      20 |  1228811 |   956027 |     1088   1690 |        0 |        0
640.80/640.98	c  640s |      20 |  1232596 |   959227 |     1088   1695 |        0 |        0
642.90/643.02	c  642s |      20 |  1236447 |   962427 |     1088   1700 |        0 |        0
644.90/645.07	c  644s |      20 |  1240272 |   965627 |     1088   1705 |        0 |        0
646.89/647.09	c  647s |      20 |  1243998 |   968827 |     1088   1710 |        0 |        0
649.00/649.16	c  649s |      20 |  1247535 |   971927 |     1088   1715 |        0 |        0
650.99/651.19	c  651s |      20 |  1250775 |   974827 |     1088   1720 |        0 |        0
653.09/653.24	c  653s |      20 |  1254138 |   977927 |     1088   1725 |        0 |        0
655.09/655.27	c  655s |      20 |  1258559 |   981127 |     1088   1730 |        0 |        0
657.19/657.33	c  657s |      20 |  1262951 |   983927 |     1088   1735 |        0 |        0
659.19/659.34	c  659s |      20 |  1266897 |   987027 |     1088   1740 |        0 |        0
661.19/661.38	c  661s |      20 |  1270473 |   989927 |     1088   1745 |        0 |        0
663.30/663.41	c  663s |      20 |  1274128 |   993027 |     1197   1749 |        0 |        0
665.29/665.45	c  665s |      20 |  1277425 |   995827 |     1197   1754 |        0 |        0
667.29/667.49	c  667s |      20 |  1281563 |   999127 |     1197   1758 |        0 |        0
668.09/668.21	c  668s |      21 |  1282978 |  1000345 |     1197   1760 |        0 |        0
670.09/670.21	c  670s |      21 |  1291278 |  1004545 |     1197   1766 |        0 |        0
672.10/672.22	c  672s |      21 |  1296583 |  1008545 |     1197   1771 |        0 |        0
674.09/674.26	c  674s |      21 |  1301162 |  1012545 |     1197   1777 |        0 |        0
676.09/676.29	c  676s |      21 |  1305780 |  1016545 |     1197   1782 |        0 |        0
678.19/678.33	c  678s |      21 |  1310765 |  1020945 |     1197   1788 |        0 |        0
680.19/680.35	c  680s |      21 |  1315279 |  1024945 |     1197   1793 |        0 |        0
682.19/682.37	c  682s |      21 |  1318993 |  1028245 |     1197   1797 |        0 |        0
684.29/684.41	c  684s |      21 |  1323808 |  1032345 |     1197   1803 |        0 |        0
686.29/686.45	c  686s |      21 |  1328407 |  1036345 |     1197   1808 |        0 |        0
688.39/688.50	c  688s |      21 |  1333039 |  1040445 |     1197   1813 |        0 |        0
690.39/690.51	c  690s |      21 |  1337348 |  1044345 |     1197   1819 |        0 |        0
692.39/692.54	c  692s |      21 |  1341884 |  1048445 |     1197   1824 |        0 |        0
694.39/694.56	c  694s |      21 |  1346100 |  1052245 |     1197   1829 |        0 |        0
696.49/696.60	c  696s |      21 |  1351309 |  1056845 |     1197   1835 |        0 |        0
698.49/698.65	c  698s |      21 |  1355991 |  1061045 |     1197   1841 |        0 |        0
700.48/700.66	c  700s |      21 |  1360631 |  1065045 |     1197   1846 |        0 |        0
702.48/702.67	c  702s |      21 |  1365097 |  1069045 |     1197   1851 |        0 |        0
704.58/704.70	c  704s |      21 |  1369467 |  1072945 |     1197   1856 |        0 |        0
706.58/706.73	c  706s |      21 |  1374415 |  1077345 |     1197   1862 |        0 |        0
708.58/708.77	c  708s |      21 |  1378910 |  1081345 |     1197   1867 |        0 |        0
710.68/710.82	c  710s |      21 |  1384085 |  1085745 |     1197   1873 |        0 |        0
712.69/712.84	c  712s |      21 |  1389024 |  1090145 |     1197   1879 |        0 |        0
714.68/714.89	c  714s |      21 |  1394078 |  1094645 |     1197   1885 |        0 |        0
716.68/716.89	c  716s |      21 |  1399292 |  1098845 |     1197   1891 |        0 |        0
718.78/718.94	c  718s |      21 |  1404394 |  1102345 |     1197   1895 |        0 |        0
720.78/720.94	c  720s |      21 |  1408118 |  1105545 |     1197   1900 |        0 |        0
722.78/722.98	c  722s |      21 |  1414615 |  1108545 |     1197   1904 |        0 |        0
724.88/725.04	c  724s |      21 |  1417339 |  1110945 |     1197   1907 |        0 |        0
726.88/727.05	c  726s |      21 |  1425145 |  1113645 |     1197   1911 |        0 |        0
728.98/729.10	c  729s |      21 |  1428218 |  1116345 |     1197   1915 |        0 |        0
730.98/731.16	c  731s |      21 |  1431256 |  1118545 |     1197   1918 |        0 |        0
733.08/733.22	c  733s |      21 |  1433809 |  1120745 |     1197   1922 |        0 |        0
735.08/735.22	c  735s |      21 |  1437876 |  1123745 |     1197   1926 |        0 |        0
737.08/737.25	c  737s |      21 |  1441517 |  1126545 |     1197   1930 |        0 |        0
739.09/739.25	c  739s |      21 |  1444793 |  1129145 |     1197   1934 |        0 |        0
741.08/741.26	c  741s |      21 |  1448077 |  1131745 |     1197   1938 |        0 |        0
743.08/743.26	c  743s |      21 |  1451107 |  1134345 |     1197   1942 |        0 |        0
745.08/745.26	c  745s |      21 |  1454156 |  1137045 |     1197   1946 |        0 |        0
747.08/747.29	c  747s |      21 |  1457339 |  1139645 |     1197   1950 |        0 |        0
749.18/749.34	c  749s |      21 |  1460732 |  1142245 |     1197   1954 |        0 |        0
751.18/751.40	c  751s |      21 |  1464330 |  1145045 |     1197   1958 |        0 |        0
753.27/753.41	c  753s |      21 |  1467299 |  1147445 |     1197   1962 |        0 |        0
755.27/755.46	c  755s |      21 |  1470656 |  1150045 |     1197   1966 |        0 |        0
757.27/757.48	c  757s |      21 |  1474020 |  1152745 |     1197   1970 |        0 |        0
759.37/759.51	c  759s |      21 |  1477526 |  1155545 |     1197   1974 |        0 |        0
761.36/761.53	c  761s |      21 |  1480830 |  1158245 |     1197   1978 |        0 |        0
763.37/763.53	c  763s |      21 |  1484311 |  1161045 |     1197   1982 |        0 |        0
765.36/765.57	c  765s |      21 |  1488046 |  1163745 |     1197   1986 |        0 |        0
767.36/767.58	c  767s |      21 |  1491602 |  1166545 |     1197   1990 |        0 |        0
769.46/769.66	c  769s |      21 |  1494467 |  1168845 |     1197   1994 |        0 |        0
771.46/771.69	c  771s |      21 |  1497151 |  1171045 |     1197   1997 |        0 |        0
773.56/773.72	c  773s |      21 |  1500153 |  1173345 |     1197   2001 |        0 |        0
775.56/775.76	c  775s |      21 |  1505103 |  1176145 |     1197   2005 |        0 |        0
777.56/777.79	c  777s |      21 |  1508536 |  1178945 |     1197   2009 |        0 |        0
779.66/779.84	c  779s |      21 |  1511914 |  1181845 |     1197   2013 |        0 |        0
781.65/781.88	c  781s |      21 |  1514943 |  1184445 |     1197   2017 |        0 |        0
783.75/783.93	c  783s |      21 |  1518379 |  1187445 |     1197   2022 |        0 |        0
785.75/785.98	c  785s |      21 |  1521681 |  1190345 |     1197   2026 |        0 |        0
787.75/787.99	c  787s |      21 |  1524819 |  1193145 |     1197   2030 |        0 |        0
789.85/790.00	c  789s |      21 |  1527891 |  1195845 |     1197   2034 |        0 |        0
791.85/792.03	c  791s |      21 |  1530804 |  1198445 |     1197   2038 |        0 |        0
793.85/794.07	c  793s |      21 |  1533905 |  1201145 |     1197   2042 |        0 |        0
795.85/796.09	c  796s |      21 |  1538606 |  1204845 |     1197   2047 |        0 |        0
797.94/798.10	c  798s |      21 |  1543018 |  1208345 |     1197   2053 |        0 |        0
799.94/800.15	c  800s |      21 |  1547519 |  1211945 |     1197   2058 |        0 |        0
802.04/802.22	c  802s |      21 |  1551679 |  1215245 |     1197   2063 |        0 |        0
804.05/804.28	c  804s |      21 |  1555535 |  1218045 |     1197   2067 |        0 |        0
806.15/806.31	c  806s |      21 |  1558854 |  1220745 |     1197   2071 |        0 |        0
808.14/808.36	c  808s |      21 |  1562031 |  1223345 |     1197   2074 |        0 |        0
810.13/810.37	c  810s |      21 |  1567042 |  1226345 |     1197   2079 |        0 |        0
812.23/812.42	c  812s |      21 |  1573445 |  1229645 |     1197   2084 |        0 |        0
814.23/814.45	c  814s |      21 |  1576484 |  1232145 |     1197   2087 |        0 |        0
816.23/816.47	c  816s |      21 |  1579178 |  1234445 |     1197   2091 |        0 |        0
818.34/818.53	c  818s |      21 |  1584453 |  1237545 |     1197   2095 |        0 |        0
820.33/820.57	c  820s |      21 |  1591761 |  1240945 |     1197   2100 |        0 |        0
822.33/822.58	c  822s |      21 |  1595567 |  1243745 |     1197   2104 |        0 |        0
824.43/824.61	c  824s |      21 |  1598839 |  1246345 |     1197   2108 |        0 |        0
826.43/826.63	c  826s |      21 |  1602075 |  1248945 |     1197   2112 |        0 |        0
828.43/828.65	c  828s |      21 |  1605302 |  1251645 |     1197   2116 |        0 |        0
830.43/830.70	c  830s |      21 |  1608479 |  1254145 |     1197   2120 |        0 |        0
832.53/832.72	c  832s |      21 |  1611764 |  1257045 |     1197   2124 |        0 |        0
834.53/834.75	c  834s |      21 |  1614911 |  1259845 |     1197   2128 |        0 |        0
836.52/836.79	c  836s |      21 |  1618230 |  1262745 |     1197   2132 |        0 |        0
838.62/838.86	c  838s |      21 |  1621410 |  1265545 |     1197   2137 |        0 |        0
840.72/840.91	c  840s |      21 |  1624744 |  1268445 |     1197   2141 |        0 |        0
842.72/842.96	c  842s |      21 |  1628097 |  1271245 |     1197   2145 |        0 |        0
844.82/845.01	c  844s |      21 |  1631545 |  1274145 |     1197   2149 |        0 |        0
846.82/847.01	c  846s |      21 |  1634982 |  1277045 |     1197   2154 |        0 |        0
848.82/849.07	c  848s |      21 |  1638385 |  1279945 |     1197   2158 |        0 |        0
850.81/851.07	c  850s |      21 |  1642007 |  1282945 |     1197   2162 |        0 |        0
852.91/853.13	c  853s |      21 |  1645165 |  1285745 |     1197   2167 |        0 |        0
855.01/855.20	c  855s |      21 |  1648289 |  1288545 |     1197   2171 |        0 |        0
857.01/857.23	c  857s |      21 |  1651213 |  1291145 |     1197   2175 |        0 |        0
859.02/859.28	c  859s |      21 |  1654435 |  1293945 |     1197   2179 |        0 |        0
861.11/861.34	c  861s |      21 |  1657595 |  1296745 |     1197   2183 |        0 |        0
863.10/863.34	c  863s |      21 |  1660959 |  1299645 |     1197   2187 |        0 |        0
865.10/865.34	c  865s |      21 |  1664199 |  1302445 |     1197   2191 |        0 |        0
867.10/867.38	c  867s |      21 |  1667682 |  1305345 |     1197   2196 |        0 |        0
869.20/869.40	c  869s |      21 |  1671047 |  1308245 |     1197   2200 |        0 |        0
871.20/871.48	c  871s |      21 |  1674272 |  1311045 |     1197   2204 |        0 |        0
873.21/873.50	c  873s |      21 |  1677245 |  1313645 |     1197   2208 |        0 |        0
875.30/875.59	c  875s |      21 |  1680602 |  1316545 |     1197   2212 |        0 |        0
877.40/877.63	c  877s |      21 |  1683556 |  1319145 |     1197   2216 |        0 |        0
879.50/879.70	c  879s |      21 |  1686512 |  1321745 |     1197   2220 |        0 |        0
881.50/881.72	c  881s |      21 |  1689622 |  1324445 |     1197   2224 |        0 |        0
883.50/883.78	c  883s |      21 |  1692977 |  1327345 |     1197   2228 |        0 |        0
885.50/885.79	c  885s |      21 |  1696479 |  1330345 |     1197   2233 |        0 |        0
887.50/887.80	c  887s |      21 |  1700069 |  1333345 |     1197   2237 |        0 |        0
889.59/889.85	c  889s |      21 |  1703441 |  1336345 |     1197   2242 |        0 |        0
891.69/891.90	c  891s |      21 |  1707022 |  1339545 |     1197   2247 |        0 |        0
893.69/893.93	c  893s |      21 |  1713228 |  1342845 |     1197   2252 |        0 |        0
895.79/896.00	c  895s |      21 |  1718310 |  1346145 |     1197   2256 |        0 |        0
897.79/898.08	c  897s |      21 |  1722689 |  1349245 |     1197   2261 |        0 |        0
899.89/900.14	c  900s |      21 |  1726316 |  1352045 |     1197   2265 |        0 |        0
901.89/902.14	c  902s |      21 |  1730383 |  1354945 |     1197   2269 |        0 |        0
903.99/904.21	c  904s |      21 |  1733793 |  1357745 |     1197   2273 |        0 |        0
905.99/906.26	c  906s |      21 |  1737633 |  1360845 |     1197   2277 |        0 |        0
907.99/908.28	c  908s |      21 |  1741396 |  1363945 |     1197   2281 |        0 |        0
910.08/910.31	c  910s |      21 |  1744766 |  1366745 |     1197   2285 |        0 |        0
912.08/912.35	c  912s |      21 |  1748098 |  1369545 |     1197   2289 |        0 |        0
914.08/914.39	c  914s |      21 |  1752337 |  1372445 |     1197   2294 |        0 |        0
916.19/916.44	c  916s |      21 |  1755918 |  1375545 |     1197   2298 |        0 |        0
918.18/918.46	c  918s |      21 |  1759877 |  1378845 |     1197   2303 |        0 |        0
920.28/920.50	c  920s |      21 |  1763208 |  1381745 |     1197   2307 |        0 |        0
922.27/922.52	c  922s |      21 |  1767226 |  1385045 |     1197   2311 |        0 |        0
924.27/924.53	c  924s |      21 |  1771293 |  1388345 |     1197   2316 |        0 |        0
926.27/926.59	c  926s |      21 |  1775385 |  1391745 |     1197   2321 |        0 |        0
928.37/928.62	c  928s |      21 |  1779822 |  1395345 |     1197   2326 |        0 |        0
930.38/930.63	c  930s |      21 |  1787043 |  1399045 |     1197   2331 |        0 |        0
932.37/932.66	c  932s |      21 |  1791831 |  1402445 |     1197   2336 |        0 |        0
934.37/934.66	c  934s |      21 |  1795255 |  1405545 |     1197   2341 |        0 |        0
936.47/936.72	c  936s |      21 |  1798979 |  1408845 |     1197   2346 |        0 |        0
938.47/938.74	c  938s |      21 |  1802566 |  1412045 |     1197   2351 |        0 |        0
940.46/940.75	c  940s |      21 |  1806193 |  1415045 |     1197   2355 |        0 |        0
942.47/942.79	c  942s |      21 |  1810107 |  1418145 |     1197   2360 |        0 |        0
944.56/944.80	c  944s |      21 |  1813807 |  1421345 |     1197   2365 |        0 |        0
946.56/946.84	c  946s |      21 |  1817628 |  1424545 |     1197   2370 |        0 |        0
948.66/948.92	c  948s |      21 |  1822333 |  1427845 |     1197   2375 |        0 |        0
950.66/950.92	c  950s |      21 |  1826940 |  1430945 |     1197   2379 |        0 |        0
952.66/952.94	c  952s |      21 |  1831374 |  1434145 |     1197   2384 |        0 |        0
954.67/954.99	c  954s |      21 |  1836142 |  1437645 |     1197   2389 |        0 |        0
956.77/957.02	c  956s |      21 |  1840419 |  1441145 |     1197   2394 |        0 |        0
958.76/959.03	c  958s |      21 |  1844149 |  1444245 |     1197   2399 |        0 |        0
960.85/961.11	c  961s |      21 |  1847691 |  1447245 |     1197   2404 |        0 |        0
962.85/963.16	c  963s |      21 |  1851294 |  1450345 |     1197   2408 |        0 |        0
964.85/965.17	c  965s |      21 |  1855108 |  1453445 |     1197   2413 |        0 |        0
966.85/967.19	c  967s |      21 |  1859133 |  1456645 |     1197   2418 |        0 |        0
968.96/969.24	c  969s |      21 |  1862885 |  1459745 |     1197   2422 |        0 |        0
970.95/971.26	c  971s |      21 |  1866966 |  1462845 |     1197   2427 |        0 |        0
972.96/973.29	c  973s |      21 |  1871197 |  1465945 |     1197   2431 |        0 |        0
975.06/975.34	c  975s |      21 |  1875376 |  1468945 |     1197   2436 |        0 |        0
977.06/977.38	c  977s |      21 |  1881774 |  1471945 |     1197   2441 |        0 |        0
979.16/979.42	c  979s |      21 |  1885909 |  1474945 |     1197   2445 |        0 |        0
981.15/981.46	c  981s |      21 |  1890623 |  1477745 |     1197   2449 |        0 |        0
983.26/983.56	c  983s |      21 |  1893722 |  1480045 |     1197   2453 |        0 |        0
985.25/985.59	c  985s |      21 |  1897032 |  1482745 |     1197   2457 |        0 |        0
987.35/987.62	c  987s |      21 |  1900186 |  1485345 |     1197   2461 |        0 |        0
989.35/989.68	c  989s |      21 |  1904007 |  1488445 |     1197   2465 |        0 |        0
991.55/991.80	c  991s |      21 |  1906807 |  1490845 |     1317   2469 |        0 |        0
993.55/993.81	c  993s |      21 |  1910802 |  1493845 |     1317   2473 |        0 |        0
995.55/995.85	c  995s |      21 |  1914681 |  1496845 |     1317   2477 |        0 |        0
997.65/997.92	c  997s |      21 |  1918680 |  1499545 |     1317   2480 |        0 |        0
998.35/998.64	c  998s |      22 |  1920001 |  1500622 |     1317   2482 |        0 |        0
1000.34/1000.69	c 1000s |      22 |  1924340 |  1503922 |     1317   2486 |        0 |        0
1002.44/1002.75	c 1002s |      22 |  1929861 |  1507422 |     1317   2491 |        0 |        0
1004.44/1004.79	c 1004s |      22 |  1933808 |  1510522 |     1317   2495 |        0 |        0
1006.54/1006.81	c 1006s |      22 |  1939049 |  1513522 |     1317   2499 |        0 |        0
1008.54/1008.87	c 1008s |      22 |  1942261 |  1516322 |     1317   2503 |        0 |        0
1010.64/1010.90	c 1010s |      22 |  1945572 |  1519222 |     1317   2507 |        0 |        0
1012.63/1012.91	c 1012s |      22 |  1948901 |  1522022 |     1317   2511 |        0 |        0
1014.63/1014.93	c 1014s |      22 |  1952536 |  1525222 |     1317   2515 |        0 |        0
1016.63/1016.98	c 1016s |      22 |  1956205 |  1528322 |     1317   2520 |        0 |        0
1018.73/1019.03	c 1018s |      22 |  1959807 |  1531322 |     1317   2524 |        0 |        0
1020.73/1021.06	c 1020s |      22 |  1962673 |  1533822 |     1317   2527 |        0 |        0
1022.74/1023.09	c 1023s |      22 |  1965863 |  1536522 |     1317   2531 |        0 |        0
1024.83/1025.16	c 1025s |      22 |  1969500 |  1539322 |     1317   2535 |        0 |        0
1026.83/1027.18	c 1027s |      22 |  1973968 |  1542122 |     1317   2538 |        0 |        0
1028.83/1029.19	c 1029s |      22 |  1977422 |  1545122 |     1317   2543 |        0 |        0
1030.92/1031.20	c 1031s |      22 |  1980922 |  1548222 |     1317   2547 |        0 |        0
1032.92/1033.28	c 1033s |      22 |  1985094 |  1551322 |     1317   2551 |        0 |        0
1035.02/1035.30	c 1035s |      22 |  1988309 |  1554222 |     1317   2555 |        0 |        0
1037.03/1037.34	c 1037s |      22 |  1991726 |  1557222 |     1317   2559 |        0 |        0
1039.02/1039.37	c 1039s |      22 |  1995456 |  1560522 |     1317   2564 |        0 |        0
1041.02/1041.38	c 1041s |      22 |  2003504 |  1563822 |     1317   2568 |        0 |        0
1043.12/1043.48	c 1043s |      22 |  2006981 |  1566222 |     1317   2571 |        0 |        0
1045.22/1045.55	c 1045s |      22 |  2009959 |  1568522 |     1317   2575 |        0 |        0
1047.22/1047.59	c 1047s |      22 |  2012477 |  1570722 |     1317   2578 |        0 |        0
1049.32/1049.62	c 1049s |      22 |  2015101 |  1573022 |     1317   2581 |        0 |        0
1051.42/1051.71	c 1051s |      22 |  2017517 |  1575222 |     1317   2584 |        0 |        0
1053.42/1053.74	c 1053s |      22 |  2019850 |  1577322 |     1317   2587 |        0 |        0
1055.42/1055.78	c 1055s |      22 |  2025789 |  1579922 |     1317   2590 |        0 |        0
1057.52/1057.82	c 1057s |      22 |  2028974 |  1582322 |     1317   2594 |        0 |        0
1059.51/1059.86	c 1059s |      22 |  2032898 |  1584622 |     1317   2597 |        0 |        0
1061.51/1061.89	c 1061s |      22 |  2036148 |  1586922 |     1317   2600 |        0 |        0
1063.61/1063.90	c 1063s |      22 |  2038878 |  1589322 |     1317   2603 |        0 |        0
1065.62/1065.97	c 1065s |      22 |  2041567 |  1591722 |     1317   2606 |        0 |        0
1067.61/1067.98	c 1067s |      22 |  2043897 |  1593822 |     1317   2609 |        0 |        0
1069.71/1070.07	c 1069s |      22 |  2046052 |  1595722 |     1317   2612 |        0 |        0
1071.81/1072.13	c 1072s |      22 |  2048552 |  1597922 |     1317   2615 |        0 |        0
1073.91/1074.21	c 1074s |      22 |  2050780 |  1599922 |     1317   2618 |        0 |        0
1075.91/1076.21	c 1076s |      22 |  2052873 |  1601822 |     1317   2620 |        0 |        0
1077.91/1078.23	c 1078s |      22 |  2055645 |  1603822 |     1317   2623 |        0 |        0
1079.91/1080.28	c 1080s |      22 |  2060630 |  1606422 |     1317   2627 |        0 |        0
1081.90/1082.29	c 1082s |      22 |  2063811 |  1609222 |     1317   2630 |        0 |        0
1084.00/1084.30	c 1084s |      22 |  2067669 |  1612522 |     1317   2635 |        0 |        0
1086.00/1086.33	c 1086s |      22 |  2072507 |  1615922 |     1317   2640 |        0 |        0
1088.10/1088.40	c 1088s |      22 |  2077348 |  1619622 |     1317   2645 |        0 |        0
1090.10/1090.47	c 1090s |      22 |  2081096 |  1622522 |     1317   2649 |        0 |        0
1092.10/1092.48	c 1092s |      22 |  2084146 |  1625222 |     1317   2652 |        0 |        0
1094.20/1094.55	c 1094s |      22 |  2088274 |  1628022 |     1317   2656 |        0 |        0
1096.19/1096.57	c 1096s |      22 |  2093156 |  1630622 |     1317   2660 |        0 |        0
1098.19/1098.58	c 1098s |      22 |  2095435 |  1632622 |     1317   2662 |        0 |        0
1100.29/1100.60	c 1100s |      22 |  2097844 |  1634722 |     1317   2665 |        0 |        0
1102.29/1102.62	c 1102s |      22 |  2100298 |  1636822 |     1317   2668 |        0 |        0
1104.29/1104.67	c 1104s |      22 |  2102845 |  1639122 |     1317   2672 |        0 |        0
1106.40/1106.72	c 1106s |      22 |  2107579 |  1641222 |     1317   2675 |        0 |        0
1108.39/1108.80	c 1108s |      22 |  2110948 |  1643922 |     1317   2679 |        0 |        0
1110.49/1110.88	c 1110s |      22 |  2114151 |  1646722 |     1317   2683 |        0 |        0
1112.59/1112.93	c 1112s |      22 |  2117255 |  1649522 |     1317   2687 |        0 |        0
1114.59/1114.95	c 1114s |      22 |  2120427 |  1652322 |     1317   2691 |        0 |        0
1116.59/1116.97	c 1116s |      22 |  2124541 |  1655622 |     1317   2695 |        0 |        0
1118.69/1119.00	c 1118s |      22 |  2128385 |  1659022 |     1317   2700 |        0 |        0
1120.69/1121.06	c 1120s |      22 |  2131921 |  1662222 |     1317   2705 |        0 |        0
1122.68/1123.09	c 1123s |      22 |  2135608 |  1665522 |     1317   2709 |        0 |        0
1124.78/1125.14	c 1125s |      22 |  2139300 |  1668822 |     1317   2714 |        0 |        0
1126.78/1127.14	c 1127s |      22 |  2142996 |  1672122 |     1317   2718 |        0 |        0
1128.78/1129.17	c 1129s |      22 |  2146692 |  1675422 |     1317   2723 |        0 |        0
1130.78/1131.18	c 1131s |      22 |  2150493 |  1678822 |     1317   2728 |        0 |        0
1132.88/1133.22	c 1133s |      22 |  2154156 |  1682122 |     1317   2733 |        0 |        0
1134.89/1135.23	c 1135s |      22 |  2158047 |  1685522 |     1317   2737 |        0 |        0
1136.88/1137.25	c 1137s |      22 |  2161613 |  1688722 |     1317   2742 |        0 |        0
1138.98/1139.30	c 1139s |      22 |  2165337 |  1692022 |     1317   2747 |        0 |        0
1140.98/1141.31	c 1141s |      22 |  2169217 |  1695322 |     1317   2752 |        0 |        0
1142.98/1143.34	c 1143s |      22 |  2172636 |  1698022 |     1317   2755 |        0 |        0
1144.97/1145.34	c 1145s |      22 |  2176165 |  1701122 |     1317   2760 |        0 |        0
1146.98/1147.39	c 1147s |      22 |  2179840 |  1704222 |     1317   2764 |        0 |        0
1149.07/1149.43	c 1149s |      22 |  2184027 |  1707422 |     1317   2769 |        0 |        0
1151.07/1151.47	c 1151s |      22 |  2187917 |  1710722 |     1317   2773 |        0 |        0
1153.17/1153.52	c 1153s |      22 |  2191697 |  1713922 |     1317   2778 |        0 |        0
1155.17/1155.53	c 1155s |      22 |  2195029 |  1716722 |     1317   2782 |        0 |        0
1157.17/1157.56	c 1157s |      22 |  2199267 |  1720122 |     1317   2786 |        0 |        0
1159.17/1159.58	c 1159s |      22 |  2202905 |  1723222 |     1317   2790 |        0 |        0
1161.27/1161.65	c 1161s |      22 |  2206354 |  1726222 |     1317   2795 |        0 |        0
1163.36/1163.72	c 1163s |      22 |  2210084 |  1729022 |     1317   2798 |        0 |        0
1165.36/1165.72	c 1165s |      22 |  2212883 |  1731422 |     1317   2802 |        0 |        0
1167.36/1167.75	c 1167s |      22 |  2215891 |  1734022 |     1317   2805 |        0 |        0
1169.36/1169.76	c 1169s |      22 |  2219180 |  1736822 |     1317   2809 |        0 |        0
1171.45/1171.82	c 1171s |      22 |  2222915 |  1740122 |     1317   2813 |        0 |        0
1173.46/1173.85	c 1173s |      22 |  2226534 |  1743322 |     1317   2818 |        0 |        0
1175.45/1175.90	c 1175s |      22 |  2230625 |  1746622 |     1317   2822 |        0 |        0
1177.55/1177.91	c 1177s |      22 |  2234848 |  1750222 |     1317   2827 |        0 |        0
1179.55/1179.91	c 1179s |      22 |  2238619 |  1753522 |     1317   2831 |        0 |        0
1181.55/1181.91	c 1181s |      22 |  2242213 |  1756722 |     1317   2836 |        0 |        0
1183.55/1183.94	c 1183s |      22 |  2245565 |  1759722 |     1317   2840 |        0 |        0
1185.56/1185.97	c 1185s |      22 |  2249007 |  1762822 |     1317   2844 |        0 |        0
1187.66/1188.00	c 1187s |      22 |  2252543 |  1766022 |     1317   2848 |        0 |        0
1189.65/1190.04	c 1189s |      22 |  2255867 |  1769022 |     1317   2852 |        0 |        0
1191.65/1192.05	c 1191s |      22 |  2259259 |  1772022 |     1317   2856 |        0 |        0
1193.65/1194.07	c 1193s |      22 |  2263177 |  1775422 |     1317   2861 |        0 |        0
1195.75/1196.10	c 1196s |      22 |  2267312 |  1779022 |     1317   2866 |        0 |        0
1197.75/1198.16	c 1198s |      22 |  2271220 |  1782422 |     1317   2870 |        0 |        0
1199.76/1200.18	c 1200s |      22 |  2275277 |  1785922 |     1317   2875 |        0 |        0
1201.75/1202.19	c 1202s |      22 |  2278882 |  1789122 |     1317   2879 |        0 |        0
1203.85/1204.25	c 1204s |      22 |  2282999 |  1792422 |     1317   2883 |        0 |        0
1205.95/1206.30	c 1206s |      22 |  2286917 |  1795522 |     1317   2887 |        0 |        0
1207.95/1208.37	c 1208s |      22 |  2290712 |  1798722 |     1317   2891 |        0 |        0
1210.04/1210.47	c 1210s |      22 |  2294582 |  1801722 |     1317   2896 |        0 |        0
1212.14/1212.54	c 1212s |      22 |  2297692 |  1804422 |     1317   2899 |        0 |        0
1214.15/1214.56	c 1214s |      22 |  2301303 |  1807322 |     1317   2903 |        0 |        0
1216.25/1216.61	c 1216s |      22 |  2304967 |  1810522 |     1317   2908 |        0 |        0
1218.24/1218.61	c 1218s |      22 |  2308544 |  1813622 |     1317   2912 |        0 |        0
1220.23/1220.62	c 1220s |      22 |  2311933 |  1816622 |     1317   2916 |        0 |        0
1222.23/1222.67	c 1222s |      22 |  2315282 |  1819622 |     1317   2920 |        0 |        0
1224.33/1224.70	c 1224s |      22 |  2318623 |  1822522 |     1317   2924 |        0 |        0
1226.33/1226.76	c 1226s |      22 |  2321757 |  1825322 |     1317   2928 |        0 |        0
1228.34/1228.76	c 1228s |      22 |  2325230 |  1828222 |     1317   2932 |        0 |        0
1230.33/1230.78	c 1230s |      22 |  2328805 |  1831322 |     1317   2936 |        0 |        0
1232.43/1232.80	c 1232s |      22 |  2332247 |  1834322 |     1317   2940 |        0 |        0
1234.43/1234.83	c 1234s |      22 |  2335919 |  1837522 |     1317   2944 |        0 |        0
1236.43/1236.87	c 1236s |      22 |  2339590 |  1840622 |     1317   2948 |        0 |        0
1238.43/1238.89	c 1238s |      22 |  2343195 |  1843722 |     1317   2953 |        0 |        0
1240.53/1240.93	c 1240s |      22 |  2346712 |  1846822 |     1317   2957 |        0 |        0
1242.52/1242.94	c 1242s |      22 |  2350082 |  1849722 |     1317   2961 |        0 |        0
1244.52/1244.99	c 1244s |      22 |  2353444 |  1852622 |     1317   2965 |        0 |        0
1246.62/1247.00	c 1246s |      22 |  2357598 |  1856122 |     1317   2969 |        0 |        0
1248.62/1249.04	c 1248s |      22 |  2361137 |  1859222 |     1317   2974 |        0 |        0
1250.62/1251.05	c 1250s |      22 |  2364678 |  1862322 |     1317   2978 |        0 |        0
1252.62/1253.07	c 1252s |      22 |  2368335 |  1865522 |     1317   2982 |        0 |        0
1254.72/1255.11	c 1255s |      22 |  2371844 |  1868622 |     1317   2986 |        0 |        0
1256.72/1257.13	c 1257s |      22 |  2375424 |  1871722 |     1317   2991 |        0 |        0
1258.72/1259.13	c 1259s |      22 |  2378825 |  1874722 |     1317   2995 |        0 |        0
1260.71/1261.19	c 1261s |      22 |  2382520 |  1877922 |     1317   2999 |        0 |        0
1262.81/1263.23	c 1263s |      22 |  2386060 |  1881022 |     1317   3003 |        0 |        0
1264.81/1265.29	c 1265s |      22 |  2389768 |  1884322 |     1317   3008 |        0 |        0
1266.82/1267.29	c 1267s |      22 |  2393796 |  1887822 |     1317   3013 |        0 |        0
1268.91/1269.33	c 1269s |      22 |  2397947 |  1891522 |     1317   3018 |        0 |        0
1270.91/1271.36	c 1271s |      22 |  2402097 |  1895222 |     1317   3023 |        0 |        0
1272.91/1273.38	c 1273s |      22 |  2406281 |  1898922 |     1317   3028 |        0 |        0
1275.01/1275.44	c 1275s |      22 |  2410353 |  1902522 |     1317   3033 |        0 |        0
1277.01/1277.49	c 1277s |      22 |  2414808 |  1906522 |     1317   3038 |        0 |        0
1279.11/1279.53	c 1279s |      22 |  2418549 |  1909822 |     1317   3042 |        0 |        0
1281.11/1281.55	c 1281s |      22 |  2422121 |  1912922 |     1317   3047 |        0 |        0
1283.10/1283.57	c 1283s |      22 |  2425933 |  1916222 |     1317   3051 |        0 |        0
1285.10/1285.59	c 1285s |      22 |  2429879 |  1919722 |     1317   3056 |        0 |        0
1287.20/1287.65	c 1287s |      22 |  2433949 |  1923222 |     1317   3061 |        0 |        0
1289.20/1289.67	c 1289s |      22 |  2437912 |  1926722 |     1317   3065 |        0 |        0
1291.19/1291.67	c 1291s |      22 |  2442013 |  1930122 |     1317   3070 |        0 |        0
1293.30/1293.71	c 1293s |      22 |  2446193 |  1933622 |     1317   3075 |        0 |        0
1295.29/1295.72	c 1295s |      22 |  2450409 |  1937122 |     1317   3080 |        0 |        0
1297.29/1297.73	c 1297s |      22 |  2454367 |  1940422 |     1317   3084 |        0 |        0
1299.29/1299.73	c 1299s |      22 |  2457816 |  1943322 |     1317   3088 |        0 |        0
1301.29/1301.75	c 1301s |      22 |  2461616 |  1946522 |     1317   3092 |        0 |        0
1303.29/1303.78	c 1303s |      22 |  2465034 |  1949422 |     1317   3096 |        0 |        0
1305.30/1305.80	c 1305s |      22 |  2468539 |  1952422 |     1317   3100 |        0 |        0
1307.39/1307.83	c 1307s |      22 |  2472151 |  1955622 |     1317   3105 |        0 |        0
1309.39/1309.84	c 1309s |      22 |  2475277 |  1958422 |     1317   3109 |        0 |        0
1311.39/1311.89	c 1311s |      22 |  2478530 |  1961222 |     1317   3112 |        0 |        0
1313.49/1313.92	c 1313s |      22 |  2481578 |  1963922 |     1317   3116 |        0 |        0
1315.49/1315.94	c 1315s |      22 |  2485380 |  1967122 |     1317   3120 |        0 |        0
1317.58/1318.00	c 1317s |      22 |  2489118 |  1970322 |     1317   3125 |        0 |        0
1319.59/1320.04	c 1319s |      22 |  2492660 |  1973222 |     1317   3129 |        0 |        0
1321.58/1322.09	c 1321s |      22 |  2495868 |  1976022 |     1317   3133 |        0 |        0
1323.68/1324.17	c 1324s |      22 |  2499457 |  1979122 |     1317   3137 |        0 |        0
1325.78/1326.20	c 1326s |      22 |  2502986 |  1982222 |     1317   3141 |        0 |        0
1327.78/1328.24	c 1328s |      22 |  2506150 |  1985022 |     1317   3145 |        0 |        0
1329.78/1330.24	c 1330s |      22 |  2509414 |  1987822 |     1317   3149 |        0 |        0
1331.78/1332.28	c 1332s |      22 |  2513140 |  1991022 |     1317   3153 |        0 |        0
1333.78/1334.30	c 1334s |      22 |  2516698 |  1994122 |     1317   3157 |        0 |        0
1335.87/1336.36	c 1336s |      22 |  2519988 |  1996922 |     1317   3161 |        0 |        0
1337.88/1338.39	c 1338s |      22 |  2523588 |  1999922 |     1317   3165 |        0 |        0
1339.98/1340.41	c 1340s |      22 |  2526879 |  2002722 |     1317   3169 |        0 |        0
1341.98/1342.45	c 1342s |      22 |  2529936 |  2005422 |     1317   3173 |        0 |        0
1343.98/1344.46	c 1344s |      22 |  2533051 |  2008122 |     1317   3176 |        0 |        0
1346.09/1346.51	c 1346s |      22 |  2536311 |  2011022 |     1317   3180 |        0 |        0
1348.08/1348.56	c 1348s |      22 |  2540275 |  2014422 |     1317   3185 |        0 |        0
1350.17/1350.62	c 1350s |      22 |  2543854 |  2017522 |     1317   3189 |        0 |        0
1352.17/1352.66	c 1352s |      22 |  2547364 |  2020522 |     1317   3193 |        0 |        0
1354.27/1354.71	c 1354s |      22 |  2550710 |  2023422 |     1317   3197 |        0 |        0
1356.27/1356.73	c 1356s |      22 |  2554058 |  2026322 |     1317   3201 |        0 |        0
1358.27/1358.77	c 1358s |      22 |  2557436 |  2029322 |     1317   3205 |        0 |        0
1360.37/1360.82	c 1360s |      22 |  2560803 |  2032322 |     1317   3209 |        0 |        0
1362.36/1362.86	c 1362s |      22 |  2564358 |  2035422 |     1317   3214 |        0 |        0
1364.36/1364.87	c 1364s |      22 |  2567936 |  2038622 |     1317   3218 |        0 |        0
1366.36/1366.87	c 1366s |      22 |  2571182 |  2041522 |     1317   3222 |        0 |        0
1368.36/1368.89	c 1368s |      22 |  2574767 |  2044722 |     1317   3226 |        0 |        0
1370.46/1370.95	c 1370s |      22 |  2578304 |  2047922 |     1317   3231 |        0 |        0
1372.47/1372.97	c 1372s |      22 |  2581610 |  2050922 |     1317   3235 |        0 |        0
1374.57/1375.01	c 1374s |      22 |  2584977 |  2053922 |     1317   3239 |        0 |        0
1376.56/1377.06	c 1376s |      22 |  2588780 |  2057222 |     1317   3243 |        0 |        0
1378.66/1379.11	c 1379s |      22 |  2592503 |  2060522 |     1317   3248 |        0 |        0
1380.66/1381.15	c 1381s |      22 |  2595659 |  2063322 |     1317   3252 |        0 |        0
1382.66/1383.16	c 1383s |      22 |  2599034 |  2066322 |     1317   3256 |        0 |        0
1384.66/1385.18	c 1385s |      22 |  2602069 |  2069022 |     1317   3260 |        0 |        0
1386.76/1387.22	c 1387s |      22 |  2606443 |  2072222 |     1317   3264 |        0 |        0
1388.76/1389.25	c 1389s |      22 |  2610752 |  2076022 |     1317   3269 |        0 |        0
1390.76/1391.25	c 1391s |      22 |  2614778 |  2079522 |     1317   3274 |        0 |        0
1392.76/1393.25	c 1393s |      22 |  2619351 |  2083522 |     1317   3279 |        0 |        0
1394.76/1395.28	c 1395s |      22 |  2623562 |  2087322 |     1317   3284 |        0 |        0
1396.75/1397.28	c 1397s |      22 |  2627947 |  2091222 |     1317   3290 |        0 |        0
1398.86/1399.33	c 1399s |      22 |  2632230 |  2095022 |     1317   3295 |        0 |        0
1400.85/1401.34	c 1401s |      22 |  2636642 |  2098922 |     1317   3300 |        0 |        0
1402.85/1403.35	c 1403s |      22 |  2641058 |  2102822 |     1317   3305 |        0 |        0
1404.85/1405.39	c 1405s |      22 |  2645313 |  2106622 |     1317   3310 |        0 |        0
1406.95/1407.42	c 1407s |      22 |  2649349 |  2110122 |     1317   3315 |        0 |        0
1408.95/1409.44	c 1409s |      22 |  2653339 |  2113622 |     1317   3320 |        0 |        0
1410.96/1411.49	c 1411s |      22 |  2656978 |  2116822 |     1317   3324 |        0 |        0
1413.06/1413.54	c 1413s |      22 |  2660831 |  2120222 |     1317   3329 |        0 |        0
1415.05/1415.58	c 1415s |      22 |  2664956 |  2123822 |     1317   3334 |        0 |        0
1417.15/1417.60	c 1417s |      22 |  2668811 |  2127222 |     1317   3339 |        0 |        0
1419.15/1419.63	c 1419s |      22 |  2672554 |  2130522 |     1317   3343 |        0 |        0
1421.15/1421.64	c 1421s |      22 |  2676362 |  2133922 |     1317   3348 |        0 |        0
1423.25/1423.70	c 1423s |      22 |  2680243 |  2137322 |     1317   3352 |        0 |        0
1425.25/1425.75	c 1425s |      22 |  2684160 |  2140822 |     1317   3357 |        0 |        0
1427.25/1427.78	c 1427s |      22 |  2687747 |  2144022 |     1317   3362 |        0 |        0
1429.25/1429.79	c 1429s |      22 |  2691613 |  2147422 |     1317   3366 |        0 |        0
1431.35/1431.84	c 1431s |      22 |  2695426 |  2150822 |     1317   3371 |        0 |        0
1433.35/1433.87	c 1433s |      22 |  2699310 |  2154122 |     1317   3375 |        0 |        0
1435.45/1435.90	c 1435s |      22 |  2704867 |  2158922 |     1317   3382 |        0 |        0
1437.45/1437.91	c 1437s |      22 |  2710775 |  2163222 |     1317   3387 |        0 |        0
1439.45/1439.91	c 1439s |      22 |  2715432 |  2167122 |     1317   3393 |        0 |        0
1441.44/1441.92	c 1441s |      22 |  2719835 |  2170822 |     1317   3397 |        0 |        0
1443.44/1443.96	c 1443s |      22 |  2723620 |  2174122 |     1317   3402 |        0 |        0
1445.54/1446.00	c 1445s |      22 |  2728000 |  2177822 |     1317   3407 |        0 |        0
1447.54/1448.05	c 1447s |      22 |  2731825 |  2181122 |     1317   3411 |        0 |        0
1449.54/1450.06	c 1449s |      22 |  2735952 |  2184722 |     1317   3416 |        0 |        0
1451.56/1452.08	c 1451s |      22 |  2740022 |  2188222 |     1317   3421 |        0 |        0
1453.65/1454.11	c 1454s |      22 |  2744284 |  2191922 |     1317   3426 |        0 |        0
1455.65/1456.12	c 1456s |      22 |  2748783 |  2195822 |     1317   3431 |        0 |        0
1457.65/1458.13	c 1458s |      22 |  2753254 |  2199522 |     1317   3436 |        0 |        0
1459.65/1460.14	c 1460s |      22 |  2757359 |  2203122 |     1317   3441 |        0 |        0
1461.65/1462.14	c 1462s |      22 |  2761147 |  2206522 |     1317   3446 |        0 |        0
1463.65/1464.17	c 1464s |      22 |  2765108 |  2210022 |     1317   3450 |        0 |        0
1465.75/1466.21	c 1466s |      22 |  2769876 |  2214222 |     1317   3456 |        0 |        0
1467.75/1468.22	c 1468s |      22 |  2774094 |  2217822 |     1317   3461 |        0 |        0
1469.75/1470.26	c 1470s |      22 |  2778385 |  2221622 |     1317   3466 |        0 |        0
1471.75/1472.26	c 1472s |      22 |  2782683 |  2225522 |     1317   3471 |        0 |        0
1473.85/1474.31	c 1474s |      22 |  2787115 |  2229522 |     1317   3477 |        0 |        0
1475.85/1476.34	c 1476s |      22 |  2791308 |  2233322 |     1317   3482 |        0 |        0
1477.84/1478.36	c 1478s |      22 |  2796061 |  2237122 |     1449   3486 |        0 |        0
1479.84/1480.37	c 1480s |      22 |  2800185 |  2240322 |     1449   3490 |        0 |        0
1481.84/1482.37	c 1482s |      22 |  2805208 |  2243922 |     1449   3495 |        0 |        0
1483.94/1484.40	c 1484s |      22 |  2809622 |  2247222 |     1449   3499 |        0 |        0
1485.94/1486.45	c 1486s |      22 |  2814657 |  2250822 |     1449   3503 |        0 |        0
1486.04/1486.57	c 1486s |      23 |  2814921 |  2251038 |     1449   3503 |        0 |        0
1488.14/1488.61	c 1488s |      23 |  2822116 |  2254638 |     1449   3508 |        0 |        0
1490.15/1490.63	c 1490s |      23 |  2826361 |  2258138 |     1449   3512 |        0 |        0
1492.14/1492.69	c 1492s |      23 |  2829948 |  2261138 |     1449   3515 |        0 |        0
1494.24/1494.70	c 1494s |      23 |  2834740 |  2264438 |     1449   3519 |        0 |        0
1496.24/1496.72	c 1496s |      23 |  2839769 |  2267338 |     1449   3523 |        0 |        0
1498.24/1498.73	c 1498s |      23 |  2844685 |  2270138 |     1449   3526 |        0 |        0
1500.24/1500.77	c 1500s |      23 |  2849106 |  2273738 |     1449   3530 |        0 |        0
1502.34/1502.81	c 1502s |      23 |  2855750 |  2277738 |     1449   3535 |        0 |        0
1504.34/1504.83	c 1504s |      23 |  2860123 |  2281238 |     1449   3538 |        0 |        0
1506.34/1506.89	c 1506s |      23 |  2864305 |  2284738 |     1449   3542 |        0 |        0
1508.43/1508.93	c 1508s |      23 |  2868026 |  2287938 |     1449   3546 |        0 |        0
1510.43/1510.97	c 1510s |      23 |  2872266 |  2291438 |     1449   3550 |        0 |        0
1512.53/1513.02	c 1512s |      23 |  2875833 |  2294538 |     1449   3554 |        0 |        0
1514.53/1515.03	c 1514s |      23 |  2879407 |  2297638 |     1449   3557 |        0 |        0
1516.54/1517.04	c 1516s |      23 |  2884991 |  2300538 |     1449   3560 |        0 |        0
1518.53/1519.09	c 1519s |      23 |  2888957 |  2303938 |     1449   3564 |        0 |        0
1520.63/1521.10	c 1521s |      23 |  2893174 |  2307338 |     1449   3568 |        0 |        0
1522.63/1523.16	c 1523s |      23 |  2897473 |  2311038 |     1449   3572 |        0 |        0
1524.63/1525.17	c 1525s |      23 |  2900846 |  2314038 |     1449   3576 |        0 |        0
1526.73/1527.20	c 1527s |      23 |  2904644 |  2316838 |     1449   3579 |        0 |        0
1528.73/1529.23	c 1529s |      23 |  2908624 |  2319538 |     1449   3582 |        0 |        0
1530.74/1531.26	c 1531s |      23 |  2912713 |  2322638 |     1449   3585 |        0 |        0
1532.73/1533.27	c 1533s |      23 |  2917096 |  2325838 |     1449   3589 |        0 |        0
1534.83/1535.30	c 1535s |      23 |  2920750 |  2328538 |     1449   3592 |        0 |        0
1536.83/1537.35	c 1537s |      23 |  2924982 |  2331438 |     1449   3595 |        0 |        0
1538.83/1539.37	c 1539s |      23 |  2930939 |  2334738 |     1449   3599 |        0 |        0
1540.93/1541.40	c 1541s |      23 |  2938023 |  2338038 |     1449   3603 |        0 |        0
1542.94/1543.42	c 1543s |      23 |  2942883 |  2340638 |     1449   3606 |        0 |        0
1544.93/1545.43	c 1545s |      23 |  2948248 |  2343638 |     1449   3610 |        0 |        0
1547.03/1547.51	c 1547s |      23 |  2953765 |  2346738 |     1449   3613 |        0 |        0
1549.03/1549.54	c 1549s |      23 |  2960769 |  2350038 |     1449   3617 |        0 |        0
1551.03/1551.59	c 1551s |      23 |  2966376 |  2353338 |     1449   3621 |        0 |        0
1553.13/1553.62	c 1553s |      23 |  2972209 |  2356538 |     1449   3624 |        0 |        0
1555.13/1555.68	c 1555s |      23 |  2979243 |  2359938 |     1449   3628 |        0 |        0
1557.13/1557.69	c 1557s |      23 |  2985878 |  2363238 |     1449   3632 |        0 |        0
1559.23/1559.70	c 1559s |      23 |  2990812 |  2366538 |     1449   3636 |        0 |        0
1561.23/1561.72	c 1561s |      23 |  2997842 |  2369338 |     1449   3639 |        0 |        0
1563.23/1563.74	c 1563s |      23 |  3002205 |  2371738 |     1449   3642 |        0 |        0
1565.23/1565.74	c 1565s |      23 |  3010105 |  2375338 |     1449   3646 |        0 |        0
1567.23/1567.75	c 1567s |      23 |  3015328 |  2378438 |     1449   3650 |        0 |        0
1569.33/1569.83	c 1569s |      23 |  3020564 |  2381738 |     1449   3654 |        0 |        0
1571.33/1571.87	c 1571s |      23 |  3025156 |  2384638 |     1449   3657 |        0 |        0
1573.42/1573.91	c 1573s |      23 |  3029616 |  2387138 |     1449   3660 |        0 |        0
1575.42/1575.93	c 1575s |      23 |  3036292 |  2390438 |     1449   3664 |        0 |        0
1577.42/1577.98	c 1577s |      23 |  3040665 |  2393738 |     1449   3667 |        0 |        0
1579.52/1580.03	c 1579s |      23 |  3044932 |  2396438 |     1449   3670 |        0 |        0
1581.52/1582.06	c 1581s |      23 |  3048387 |  2399138 |     1449   3674 |        0 |        0
1583.53/1584.10	c 1584s |      23 |  3052908 |  2402038 |     1449   3677 |        0 |        0
1585.62/1586.10	c 1586s |      23 |  3056308 |  2404438 |     1449   3679 |        0 |        0
1587.62/1588.12	c 1588s |      23 |  3062806 |  2407238 |     1449   3683 |        0 |        0
1589.62/1590.17	c 1590s |      23 |  3070964 |  2411338 |     1449   3688 |        0 |        0
1591.72/1592.22	c 1592s |      23 |  3079650 |  2415338 |     1449   3692 |        0 |        0
1593.72/1594.24	c 1594s |      23 |  3084810 |  2418538 |     1449   3696 |        0 |        0
1595.73/1596.27	c 1596s |      23 |  3088997 |  2421738 |     1449   3699 |        0 |        0
1597.72/1598.28	c 1598s |      23 |  3092736 |  2424538 |     1449   3702 |        0 |        0
1599.82/1600.31	c 1600s |      23 |  3099257 |  2427838 |     1449   3706 |        0 |        0
1601.82/1602.32	c 1602s |      23 |  3105153 |  2430938 |     1449   3710 |        0 |        0
1603.82/1604.34	c 1604s |      23 |  3109682 |  2433838 |     1449   3713 |        0 |        0
1605.82/1606.35	c 1606s |      23 |  3115242 |  2437138 |     1449   3717 |        0 |        0
1607.83/1608.35	c 1608s |      23 |  3120879 |  2440238 |     1449   3721 |        0 |        0
1609.93/1610.41	c 1610s |      23 |  3128313 |  2443638 |     1449   3724 |        0 |        0
1611.93/1612.42	c 1612s |      23 |  3132726 |  2446638 |     1449   3728 |        0 |        0
1613.93/1614.43	c 1614s |      23 |  3136355 |  2449338 |     1449   3731 |        0 |        0
1615.93/1616.44	c 1616s |      23 |  3142796 |  2452538 |     1449   3735 |        0 |        0
1617.93/1618.45	c 1618s |      23 |  3148989 |  2456138 |     1449   3739 |        0 |        0
1620.02/1620.51	c 1620s |      23 |  3154289 |  2459338 |     1449   3742 |        0 |        0
1622.03/1622.53	c 1622s |      23 |  3159403 |  2462338 |     1449   3746 |        0 |        0
1624.02/1624.55	c 1624s |      23 |  3164635 |  2465338 |     1449   3749 |        0 |        0
1626.02/1626.59	c 1626s |      23 |  3170226 |  2468838 |     1449   3753 |        0 |        0
1628.12/1628.61	c 1628s |      23 |  3175238 |  2471838 |     1449   3757 |        0 |        0
1630.12/1630.63	c 1630s |      23 |  3180485 |  2475638 |     1449   3761 |        0 |        0
1632.12/1632.65	c 1632s |      23 |  3184942 |  2478938 |     1449   3765 |        0 |        0
1634.13/1634.67	c 1634s |      23 |  3189302 |  2482238 |     1449   3769 |        0 |        0
1636.22/1636.80	c 1636s |      23 |  3193733 |  2485438 |     1449   3772 |        0 |        0
1638.32/1638.82	c 1638s |      23 |  3199415 |  2488838 |     1449   3776 |        0 |        0
1640.32/1640.82	c 1640s |      23 |  3204170 |  2492438 |     1449   3780 |        0 |        0
1642.32/1642.83	c 1642s |      23 |  3208139 |  2495638 |     1449   3784 |        0 |        0
1644.32/1644.88	c 1644s |      23 |  3212670 |  2498838 |     1449   3787 |        0 |        0
1646.42/1646.94	c 1646s |      23 |  3217476 |  2502538 |     1449   3792 |        0 |        0
1648.43/1648.96	c 1648s |      23 |  3223405 |  2506338 |     1449   3796 |        0 |        0
1650.52/1651.01	c 1650s |      23 |  3229099 |  2509738 |     1449   3800 |        0 |        0
1652.52/1653.01	c 1652s |      23 |  3233921 |  2513238 |     1449   3804 |        0 |        0
1654.52/1655.02	c 1654s |      23 |  3238146 |  2516738 |     1449   3808 |        0 |        0
1656.52/1657.07	c 1656s |      23 |  3242320 |  2520438 |     1449   3812 |        0 |        0
1658.62/1659.13	c 1659s |      23 |  3246436 |  2523838 |     1449   3816 |        0 |        0
1660.62/1661.17	c 1661s |      23 |  3250607 |  2527238 |     1449   3820 |        0 |        0
1662.62/1663.20	c 1663s |      23 |  3254502 |  2530538 |     1449   3824 |        0 |        0
1664.72/1665.24	c 1665s |      23 |  3260025 |  2534038 |     1449   3828 |        0 |        0
1666.71/1667.27	c 1667s |      23 |  3265102 |  2537438 |     1449   3832 |        0 |        0
1668.71/1669.29	c 1669s |      23 |  3269709 |  2540338 |     1449   3835 |        0 |        0
1670.81/1671.33	c 1671s |      23 |  3277382 |  2543838 |     1449   3839 |        0 |        0
1672.81/1673.36	c 1673s |      23 |  3282036 |  2547038 |     1449   3843 |        0 |        0
1674.82/1675.38	c 1675s |      23 |  3286623 |  2550338 |     1449   3847 |        0 |        0
1676.81/1677.39	c 1677s |      23 |  3294378 |  2554438 |     1449   3851 |        0 |        0
1678.91/1679.41	c 1679s |      23 |  3299882 |  2558638 |     1449   3856 |        0 |        0
1680.91/1681.42	c 1681s |      23 |  3305198 |  2562138 |     1449   3860 |        0 |        0
1682.91/1683.43	c 1683s |      23 |  3310325 |  2565438 |     1449   3864 |        0 |        0
1685.01/1685.51	c 1685s |      23 |  3315751 |  2569238 |     1449   3869 |        0 |        0
1687.02/1687.56	c 1687s |      23 |  3321345 |  2572338 |     1449   3872 |        0 |        0
1689.12/1689.62	c 1689s |      23 |  3331091 |  2576038 |     1449   3877 |        0 |        0
1691.11/1691.66	c 1691s |      23 |  3336723 |  2579638 |     1449   3881 |        0 |        0
1693.21/1693.71	c 1693s |      23 |  3342021 |  2583338 |     1449   3885 |        0 |        0
1695.21/1695.72	c 1695s |      23 |  3346976 |  2586938 |     1449   3890 |        0 |        0
1697.21/1697.73	c 1697s |      23 |  3352134 |  2590538 |     1449   3894 |        0 |        0
1699.21/1699.73	c 1699s |      23 |  3355911 |  2593738 |     1449   3898 |        0 |        0
1701.21/1701.79	c 1701s |      23 |  3359497 |  2596838 |     1449   3902 |        0 |        0
1703.31/1703.84	c 1703s |      23 |  3363406 |  2600138 |     1449   3906 |        0 |        0
1705.30/1705.87	c 1705s |      23 |  3367689 |  2603638 |     1449   3910 |        0 |        0
1707.40/1707.94	c 1707s |      23 |  3370990 |  2606538 |     1449   3914 |        0 |        0
1709.40/1709.95	c 1709s |      23 |  3374287 |  2609338 |     1449   3917 |        0 |        0
1711.40/1711.98	c 1711s |      23 |  3378375 |  2612838 |     1449   3921 |        0 |        0
1713.50/1714.00	c 1713s |      23 |  3382246 |  2616238 |     1449   3925 |        0 |        0
1715.51/1716.05	c 1715s |      23 |  3386871 |  2619438 |     1449   3929 |        0 |        0
1717.60/1718.11	c 1718s |      23 |  3391244 |  2622938 |     1449   3933 |        0 |        0
1719.60/1720.16	c 1720s |      23 |  3395984 |  2626338 |     1449   3938 |        0 |        0
1721.60/1722.19	c 1722s |      23 |  3400285 |  2629438 |     1449   3941 |        0 |        0
1723.70/1724.25	c 1724s |      23 |  3403938 |  2632438 |     1449   3945 |        0 |        0
1725.80/1726.31	c 1726s |      23 |  3409127 |  2635538 |     1449   3949 |        0 |        0
1727.80/1728.33	c 1728s |      23 |  3413946 |  2638838 |     1449   3953 |        0 |        0
1729.81/1730.39	c 1730s |      23 |  3417626 |  2641538 |     1449   3956 |        0 |        0
1731.90/1732.42	c 1732s |      23 |  3422419 |  2644938 |     1449   3960 |        0 |        0
1733.90/1734.42	c 1734s |      23 |  3428563 |  2648838 |     1449   3965 |        0 |        0
1735.91/1736.48	c 1736s |      23 |  3436575 |  2652838 |     1449   3969 |        0 |        0
1738.01/1738.52	c 1738s |      23 |  3440092 |  2655538 |     1449   3973 |        0 |        0
1740.01/1740.54	c 1740s |      23 |  3445287 |  2659038 |     1449   3977 |        0 |        0
1742.01/1742.56	c 1742s |      23 |  3448510 |  2661238 |     1449   3979 |        0 |        0
1744.01/1744.58	c 1744s |      23 |  3450693 |  2663038 |     1449   3981 |        0 |        0
1746.01/1746.59	c 1746s |      23 |  3455697 |  2666638 |     1449   3985 |        0 |        0
1748.11/1748.61	c 1748s |      23 |  3460961 |  2671038 |     1449   3990 |        0 |        0
1750.11/1750.67	c 1750s |      23 |  3465284 |  2674838 |     1449   3994 |        0 |        0
1752.21/1752.72	c 1752s |      23 |  3470924 |  2678238 |     1449   3998 |        0 |        0
1754.21/1754.72	c 1754s |      23 |  3476266 |  2681638 |     1449   4002 |        0 |        0
1756.31/1756.82	c 1756s |      23 |  3481363 |  2684338 |     1449   4006 |        0 |        0
1758.30/1758.86	c 1758s |      23 |  3487408 |  2686938 |     1449   4009 |        0 |        0
1760.40/1760.91	c 1760s |      23 |  3492708 |  2690038 |     1449   4012 |        0 |        0
1762.40/1762.97	c 1762s |      23 |  3497816 |  2693838 |     1449   4016 |        0 |        0
1764.50/1765.02	c 1764s |      23 |  3502397 |  2697938 |     1449   4021 |        0 |        0
1766.50/1767.07	c 1766s |      23 |  3506343 |  2701438 |     1449   4026 |        0 |        0
1768.50/1769.09	c 1768s |      23 |  3511980 |  2705338 |     1449   4030 |        0 |        0
1770.61/1771.12	c 1771s |      23 |  3516587 |  2708838 |     1449   4034 |        0 |        0
1772.60/1773.15	c 1773s |      23 |  3520599 |  2711238 |     1449   4037 |        0 |        0
1774.70/1775.23	c 1775s |      23 |  3523942 |  2713538 |     1449   4040 |        0 |        0
1776.80/1777.30	c 1777s |      23 |  3528599 |  2715938 |     1449   4042 |        0 |        0
1778.80/1779.37	c 1779s |      23 |  3532698 |  2718438 |     1449   4045 |        0 |        0
1780.90/1781.41	c 1781s |      23 |  3537140 |  2721238 |     1449   4048 |        0 |        0
1782.90/1783.42	c 1783s |      23 |  3542222 |  2724438 |     1449   4052 |        0 |        0
1784.90/1785.47	c 1785s |      23 |  3546592 |  2727538 |     1449   4056 |        0 |        0
1787.00/1787.53	c 1787s |      23 |  3551438 |  2730738 |     1449   4059 |        0 |        0
1789.00/1789.53	c 1789s |      23 |  3555931 |  2733738 |     1449   4063 |        0 |        0
1791.00/1791.55	c 1791s |      23 |  3561001 |  2736938 |     1449   4067 |        0 |        0
1793.00/1793.56	c 1793s |      23 |  3565353 |  2739838 |     1449   4070 |        0 |        0
1795.10/1795.64	c 1795s |      23 |  3570134 |  2742638 |     1449   4073 |        0 |        0
1797.19/1797.72	c 1797s |      23 |  3574072 |  2745338 |     1449   4077 |        0 |        0
1799.29/1799.81	c 1799s |      23 |  3577006 |  2747838 |     1449   4079 |        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-4093396-1466083602/watcher-4093396-1466083602 -o /tmp/evaluation-result-4093396-1466083602/solver-4093396-1466083602 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093396-1466083602.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.30 2.30 2.23 4/179 18238
/proc/meminfo: memFree=29355024/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 2719 0 0 0 0 0 0 0 20 0 4 0 10405948 745992192 3080 33554432000 4194304 16246674 140736321655552 140736321654976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 182895 3088 441 2943 0 179789 0
[pid=18238/tid=18239] ppid=18235 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 763817984 3148 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 768012288 3164 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10405948 773255168 3181 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100217 s]
/proc/loadavg: 2.30 2.30 2.23 4/179 18238
/proc/meminfo: memFree=29355024/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 27606 0 0 0 6 3 0 0 20 0 4 0 10405948 1247350784 27952 33554432000 4194304 16246674 140736321655552 140736321654976 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 304529 27959 808 2943 0 301423 0
[pid=18238/tid=18239] ppid=18235 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1247350784 27968 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1247350784 27979 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10405948 1247350784 27990 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200491 s]
/proc/loadavg: 2.30 2.30 2.23 4/179 18238
/proc/meminfo: memFree=29355024/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 56975 0 0 0 13 6 0 0 20 0 4 0 10405948 1247350784 57322 33554432000 4194304 16246674 140736321655552 140736321654976 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 304529 57337 808 2943 0 301423 0
[pid=18238/tid=18239] ppid=18235 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1247350784 57346 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1247350784 57357 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10405948 1247350784 57369 33554432000 4194304 16246674 140736321655552 140093341813936 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.300461 s]
/proc/loadavg: 2.30 2.30 2.23 4/179 18238
/proc/meminfo: memFree=29355024/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 88404 0 0 0 18 11 0 0 20 0 4 0 10405948 1247350784 88750 33554432000 4194304 16246674 140736321655552 140736321638552 13191389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 304529 88761 808 2943 0 301423 0
[pid=18238/tid=18239] ppid=18235 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1247350784 88766 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1247350784 88772 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10405948 1247350784 88780 33554432000 4194304 16246674 140736321655552 140093341813936 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.700387 s]
/proc/loadavg: 2.30 2.30 2.23 4/179 18238
/proc/meminfo: memFree=29355024/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 214181 0 0 0 41 28 0 0 20 0 4 0 10405948 1247350784 214528 33554432000 4194304 16246674 140736321655552 140736321638552 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 304529 214547 808 2943 0 301423 0
[pid=18238/tid=18239] ppid=18235 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1247350784 214560 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1247350784 214572 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10405948 1247350784 214584 33554432000 4194304 16246674 140736321655552 140093341813936 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.5004 s]
/proc/loadavg: 2.30 2.30 2.23 4/183 18242
/proc/meminfo: memFree=28371228/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 267185 0 0 0 113 36 0 0 20 0 4 0 10405948 1336479744 267509 33554432000 4194304 16246674 140736321655552 140736321637440 12477844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 326289 267509 870 2943 0 323183 0
[pid=18238/tid=18239] ppid=18235 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1336479744 267509 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1336479744 267509 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1336479744 267509 33554432000 4194304 16246674 140736321655552 140093341813936 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) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.28 2.30 2.22 4/183 18242
/proc/meminfo: memFree=28283180/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 267665 0 0 0 273 36 0 0 20 0 4 0 10405948 1337528320 267989 33554432000 4194304 16246674 140736321655552 140736321638552 13191694 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 326545 267989 873 2943 0 323439 0
[pid=18238/tid=18239] ppid=18235 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1337528320 267989 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1337528320 267989 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1337528320 267989 33554432000 4194304 16246674 140736321655552 140093341813936 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.30041 s]
/proc/loadavg: 2.28 2.30 2.22 4/183 18242
/proc/meminfo: memFree=28283220/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 267665 0 0 0 593 36 0 0 20 0 4 0 10405948 1337528320 267989 33554432000 4194304 16246674 140736321655552 140736321637440 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 326545 267989 873 2943 0 323439 0
[pid=18238/tid=18239] ppid=18235 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1337528320 267989 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1337528320 267989 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1337528320 267989 33554432000 4194304 16246674 140736321655552 140093341813936 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.7004 s]
/proc/loadavg: 2.31 2.30 2.23 4/183 18242
/proc/meminfo: memFree=28282920/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 267674 0 0 0 1233 36 0 0 20 0 4 0 10405948 1338576896 267998 33554432000 4194304 16246674 140736321655552 140736321637440 5546023 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 326801 267998 873 2943 0 323695 0
[pid=18238/tid=18239] ppid=18235 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1338576896 267998 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1338576896 267998 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1338576896 267998 33554432000 4194304 16246674 140736321655552 140093341813936 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.5005 s]
/proc/loadavg: 2.26 2.29 2.22 3/183 18242
/proc/meminfo: memFree=28283056/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 267712 0 0 0 2512 36 0 0 20 0 4 0 10405948 1338576896 268036 33554432000 4194304 16246674 140736321655552 140736321637440 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 326801 268036 873 2943 0 323695 0
[pid=18238/tid=18239] ppid=18235 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1338576896 268036 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1338576896 268036 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1338576896 268036 33554432000 4194304 16246674 140736321655552 140093341813936 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) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.23 2.28 2.22 4/183 18242
/proc/meminfo: memFree=28280052/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 268071 0 0 0 5072 36 0 0 20 0 4 0 10405948 1339625472 268395 33554432000 4194304 16246674 140736321655552 140736321638552 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 327057 268395 873 2943 0 323951 0
[pid=18238/tid=18239] ppid=18235 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1339625472 268395 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1339625472 268395 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1339625472 268395 33554432000 4194304 16246674 140736321655552 140093341813936 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) 1308228

[startup+102.3 s]
/proc/loadavg: 2.33 2.30 2.23 3/183 18243
/proc/meminfo: memFree=28279716/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 268071 0 0 0 10191 37 0 0 20 0 4 0 10405948 1339625472 268395 33554432000 4194304 16246674 140736321655552 140736321637440 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 327057 268395 873 2943 0 323951 0
[pid=18238/tid=18239] ppid=18235 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1339625472 268395 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1339625472 268395 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1339625472 268395 33554432000 4194304 16246674 140736321655552 140093341813936 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) 1308228


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

/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1310276

[startup+1302.3 s]
/proc/loadavg: 2.25 2.35 2.29 3/183 18322
/proc/meminfo: memFree=28282124/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1310276 CPUtime=1301.89 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 269073 0 0 0 130145 44 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140736321637440 6021520 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 327569 269018 875 2943 0 324463 0
[pid=18238/tid=18239] ppid=18235 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.39 2.37 2.30 4/183 18323
/proc/meminfo: memFree=28281912/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1310276 CPUtime=1361.87 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 269115 0 0 0 136142 45 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140736321637440 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 327569 269018 875 2943 0 324463 0
[pid=18238/tid=18239] ppid=18235 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.48 2.39 2.31 3/184 18327
/proc/meminfo: memFree=28280820/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1310276 CPUtime=1421.85 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 269122 0 0 0 142140 45 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140736321638552 5546093 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 327569 269018 875 2943 0 324463 0
[pid=18238/tid=18239] ppid=18235 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.41 2.38 2.31 3/183 18329
/proc/meminfo: memFree=28281420/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1310276 CPUtime=1481.84 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 269122 0 0 0 148138 46 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140736321638552 5553792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 327569 269018 875 2943 0 324463 0
[pid=18238/tid=18239] ppid=18235 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1341722624 269018 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.37 2.37 2.30 4/183 18330
/proc/meminfo: memFree=28277724/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1314372 CPUtime=1541.84 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 269915 0 0 0 154138 46 0 0 20 0 4 0 10405948 1345916928 269811 33554432000 4194304 16246674 140736321655552 140736321637440 5545907 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 328593 269811 875 2943 0 325487 0
[pid=18238/tid=18239] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269811 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269811 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269811 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.30 2.35 2.30 4/183 18331
/proc/meminfo: memFree=28277580/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1314372 CPUtime=1601.82 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 269915 0 0 0 160136 46 0 0 20 0 4 0 10405948 1345916928 269811 33554432000 4194304 16246674 140736321655552 140736321637440 12483332 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 328593 269811 875 2943 0 325487 0
[pid=18238/tid=18239] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269811 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269811 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269811 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.26 2.32 2.29 3/183 18332
/proc/meminfo: memFree=28276528/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1314372 CPUtime=1661.82 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 269915 0 0 0 166135 47 0 0 20 0 4 0 10405948 1345916928 269811 33554432000 4194304 16246674 140736321655552 140736321637440 13001425 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 328593 269811 875 2943 0 325487 0
[pid=18238/tid=18239] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269811 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269811 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269811 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.26 2.31 2.28 4/183 18333
/proc/meminfo: memFree=28276460/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1314372 CPUtime=1721.8 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 269931 0 0 0 172133 47 0 0 20 0 4 0 10405948 1345916928 269827 33554432000 4194304 16246674 140736321655552 140736321637440 5546233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 328593 269827 875 2943 0 325487 0
[pid=18238/tid=18239] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269827 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269827 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269827 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.40 2.34 2.29 3/183 18335
/proc/meminfo: memFree=28270368/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1314372 CPUtime=1781.8 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 269931 0 0 0 178132 48 0 0 20 0 4 0 10405948 1345916928 269827 33554432000 4194304 16246674 140736321655552 140736321637440 6845832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 328593 269827 875 2943 0 325487 0
[pid=18238/tid=18239] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269827 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269827 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269827 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.31 2.32 2.29 3/183 18335
/proc/meminfo: memFree=28270976/32872528 swapFree=1402008/1579836
[pid=18238] ppid=18235 vsize=1314372 CPUtime=1800.09 cores=0,2,4,6
/proc/18238/stat : 18238 (toysat) R 18235 18238 13870 0 -1 4202496 269931 0 0 0 179961 48 0 0 20 0 4 0 10405948 1345916928 269827 33554432000 4194304 16246674 140736321655552 140736321637440 13191988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18238/statm: 328593 269827 875 2943 0 325487 0
[pid=18238/tid=18239] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18239/stat : 18239 (toysat) S 18235 18238 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269827 33554432000 4194304 16246674 140736321655552 140093362777328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18238/tid=18240] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18240/stat : 18240 (toysat) S 18235 18238 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269827 33554432000 4194304 16246674 140736321655552 140093352287472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18238/tid=18241] ppid=18235 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18238/task/18241/stat : 18241 (toysat) S 18235 18238 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10405948 1345916928 269827 33554432000 4194304 16246674 140736321655552 140093341813936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1314372

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.62
CPU system time (s): 0.485926
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.485926
maximum resident set size= 1079308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269931
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 445
involuntary context switches= 1973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5663 second user time and 6.96094 second system time

The end

Begin job on node139 at 2016-06-16 15:26:42
IDJOB=4093396
IDBENCH=78718
IDSOLVER=2553
FILE ID=node139/4093396-1466083602
RUNJOBID= node139-1466075487-16983
PBS_JOBID= 19904001
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093396-1466083602/watcher-4093396-1466083602 -o /tmp/evaluation-result-4093396-1466083602/solver-4093396-1466083602 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093396-1466083602.wbo

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

MD5SUM BENCH= 92adeb187a48a927ab5078673cfa945b
RANDOM SEED=836194227

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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:        29355560 kB
Buffers:           31108 kB
Cached:           107332 kB
SwapCached:          960 kB
Active:          1173288 kB
Inactive:          62568 kB
Active(anon):    1098416 kB
Inactive(anon):     1240 kB
Active(file):      74872 kB
Inactive(file):    61328 kB
Unevictable:     1579836 kB
Mlocked:         1402008 kB
SwapTotal:      67108856 kB
SwapFree:       67100120 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       2764140 kB
Mapped:            10588 kB
Shmem:                 0 kB
Slab:             567236 kB
SReclaimable:      11584 kB
SUnreclaim:       555652 kB
KernelStack:        1520 kB
PageTables:         9712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2821652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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= 71596 MiB
End job on node139 at 2016-06-16 15:56:43